Punkt
jest środkiem odcinka
. Okrąg
przechodzący przez punkty
i
przecina okrąg
przechodzący
przez punkty
i
w różnych punktach
i
. Punkt
jest środkiem tego łuku
okręgu
, który nie zawiera
punktu
. Punkt
jest środkiem tego łuku
okręgu
, który nie zawiera punktu
. Dowieść, że proste
i 
są prostopadłe.
Jeśli
, to również
. Wtedy odcinki
i
są odpowiednio średnicami okręgów
i
. Zatem
, skąd wynika, że punkt
leży na odcinku
, a proste
i
są prostopadłe.
Przyjmijmy więc w dalszej części rozwiązania, że
.
Niech
będzie takim punktem leżącym na półprostej
, że
(rys. 3). Wtedy również
.
Z zależności
oraz
wynika, że trójkąty
oraz
są przystające
(cecha bok-kąt-bok). Wobec tego
.
Analogicznie dowodzimy, że
.

Z uzyskanych równości wynika, że punkty
i
są symetryczne względem prostej
. Prosta
jest więc prostopadła
do prostej
, co kończy rozwiązanie zadania.