Punkt
jest środkiem okręgu opisanego na trójkącie
. Punkty
oraz
są odpowiednio punktami wewnętrznymi odcinków
oraz
. Niech
,
oraz
będą odpowiednio środkami odcinków
,
oraz
. Niech ponadto
będzie okręgiem przechodzącym przez punkty
,
oraz
. Załóżmy, że prosta
jest styczna do okręgu
. Wykazać, że
.
Niech
,
,
,
oraz
będą odpowiednio środkami odcinków
,
,
,
oraz
. Wówczas
oraz
. Z twierdzenia odwrotnego do twierdzenia Talesa wynika, że
, a stąd
. Okrąg
jest styczny do odcinka
w punkcie
, więc
, czyli otrzymujemy równość kątów
. Analogicznie dowodzimy, że
. Uzyskane równości kątów dowodzą, że trójkąty
i
są podobne, a zatem
![]() |
czyli
.
![]() |
Wynika stąd, że
.
