Wzór na pole trójkąta:

Wykonajmy rysunek pomocniczy:

Skoro odcinek x jest dwusieczną kąta  to 

Musimy udowodnić, że trójkąt ABC jest równoramienny, czyli, że 

Z treści zadania