Odcinki
i
przecinają się w punkcie
, przy czym
,
. Niech
będzie środkiem okręgu opisanego na trójkącie
. Dowieść, że proste
i
są prostopadłe.

Niech prosta
będzie dwusieczną kątów
i
, a prosta
niech będzie dwusieczną kątów
i
. Proste
oraz
są prostopadłe. Z danych w założeniach równości odcinków wynika, że trójkąt
jest obrazem trójkąta
w symetrii osiowej względem prostej
. Oznaczmy przez
punkt przecięcia prostej
z okręgiem opisanym na trójkącie
(różny od
). Prosta
jest dwusieczną kąta
, więc kąty wpisane
i
są równe (przystające). W takim razie także i odpowiednie kąty środkowe
i
są równe. Zatem prosta
jest osią symetrii trójkąta równoramiennego
; jest więc prostopadła do cięciwy
.
Osią symetrii trójkąta równoramiennego
jest prosta
, prostopadła do
, więc równoległa do
. Odcinek
jest symetryczny do
względem prostej
; odcinek
jest symetryczny do
względem prostej
. Ze związków:
i
wynika więc, że
- czyli teza zadania. (Rysunek 11 przedstawia sytuację, gdy trójkąt
jest ostrokątny, czyli gdy punkt
leży w jego wnętrzu; rozumowanie nie wymaga jednak żadnych zmian, gdy któryś z kątów trójkąta
jest rozwarty.)