Punkty
,
,
,
leżą w tej właśnie kolejności na okręgu
. Punkt
jest środkiem tego łuku
okręgu
, który nie zawiera punktów
i
; punkt
jest środkiem tego łuku
okręgu o, który nie zawiera punktów
i
. Dowieść, że
![]() |
Z twierdzenia Ptolemeusza (zob. LI Olimpiada Matematyczna, Sprawozdanie Komitetu Głównego, Dodatek D, str. 112) zastosowanego do czworokąta
uzyskujemy równość
. Stąd
![]() |
Zatem zadanie sprowadza się do wykazania, że
![]() |
Bez straty ogólności przyjmijmy, że
; wtedy
. Niech
będzie punktem symetrycznym do
względem prostej
(rys. 2). Ponieważ
jest dwusieczną kąta
, punkt
leży na odcinku
. Ponadto
.
Analogicznie, oznaczając przez
punkt symetryczny do
względem prostej
wnioskujemy, że punkt
leży na odcinku
oraz
. Na mocy równości
![]() |

trójkąty równoramienne
i
są podobne. Stąd
![]() |
co jest równoważne dowodzonej równości (1).