Rysunek pomocniczy:

Z treści zadania wiemy, że oraz .

Z równości wynika, że trójkąt jest trójkątem równoramiennym, a więc zachodzi .

To z kolei implikuje, że