Rozpatrzmy takich pięć punktów płaszczyzny
,
,
,
,
, że czworokąt
jest równoległobokiem, a na czworokącie wypukłym
można opisać okrąg. Niech
będzie prostą przechodzącą przez punkt
. Przypuśćmy, że prosta
przecina wnętrze odcinka
w punkcie
, a prostą
w punkcie
. Niech ponadto
. Udowodnić, że prosta
jest dwusieczną kąta
.
Niech
i
będą rzutami prostokątnymi punktu
odpowiednio na proste
i
(rys. 1). Z równości
wynika, że punkty
i
są odpowiednio środkami odcinków
i
, a ponadto
i
.

Na czworokącie
można opisać okrąg, zatem
![]() |
To oznacza, że trójkąty prostokątne
i
są podobne, skąd mamy
![]() |
Zauważmy dalej, że na mocy równoległości
trójkąty
i
są podobne. To pozwala przeprowadzić następujący rachunek:
![]() |
Łącząc uzyskaną zależność z równością (1) stwierdzamy, że
![]() |
Zatem trójkąty prostokątne
i
są podobne (cecha bok-kąt-bok). Mają one jednak wspólny odpowiedni bok
; są wobec tego przystające. W konsekwencji
oraz
. Udowodniliśmy w ten sposób, że trójkąt
jest równoramienny. To daje
![]() |
co jest równoznaczne z tezą.