Czworokąt
wpisany jest w okrąg, przy czym
. Na odcinkach
i
wybrano punkty odpowiednio
i
, dla których
. Odcinek
jest wysokością trójkąta
, zaś
jego środkową. Punkt
jest symetryczny do
względem
. Wykazać, że proste
oraz
są równoległe.
Niech
będzie obrazem punktu
w symetrii względem prostej
. Wtedy
![]() |
i
, więc
jest również obrazem punktu
w symetrii względem prostej
. Stąd otrzymujemy następujące pary trójkątów przystających:
oraz
. W konsekwencji
![]() |
i wnioskujemy, że
należy do odcinka
.
Niech
oznacza odległość punktu
od prostej
. Wówczas
![]() |
przy czym ostatnie dwie równości wynikają z przystawania odpowiednich trójkątów.
Zatem punkt
znajduje się w takiej samej odległości od wszystkich trzech prostych zawierających boki trójkąta
, jest więc środkiem okręgu dopisanego do trójkąta
. Okrąg ten jest styczny do
w punkcie
. Z własności okręgu wpisanego i dopisanego, okrąg wpisany w trójkąt
jest styczny do
w punkcie
.
Oznaczmy przez
odbicie symetryczne punktu
względem
. Istnieje jednokładność o środku
, w której obrazem okręgu wpisanego w trójkąt
jest okrąg dopisany, więc punkty
,
,
są współliniowe. Aby zakończyć dowód, wystarczy zauważyć, że
, a jest to prosty wniosek z twierdzenia Talesa (
).