Okrąg wpisany w trójkąt
jest styczny do boków
,
,
odpowiednio w punktach
,
,
. Punkty
,
,
są odpowiednio środkami okręgów wpisanych w trójkąty
,
,
. Dowieść, że punkty
i
są symetryczne względem prostej
.

Udowodnimy najpierw, że punkty
i
są odpowiednio środkami krótszych łuków
i 
okręgu wpisanego w trójkąt
.
Rzeczywiście, niech
będzie środkiem krótszego łuku
tego
okręgu. Prosta
jest doń styczna w punkcie
, zatem (rys. 2)
![]() |
Ponieważ punkt
jest środkiem łuku
, więc trójkąt
jest równoramienny. Wobec tego
, co wraz
z równością (1) dowodzi, że punkt
leży na dwusiecznej kąta
. Analogicznie dowodzimy,
iż punkt ten leży na dwusiecznej kąta
, więc pokrywa się on
ze środkiem
okręgu wpisanego w trójkąt
. Podobnie rozumujemy
dla punktu
.
Okrąg wpisany w trójkąt
jest jednocześnie okręgiem opisanym
na trójkącie
. Skoro
jest środkiem krótszego łuku
tego
okręgu, prosta
zawiera dwusieczną kąta
. Na tej prostej
leży więc punkt
, który jest środkiem okręgu wpisanego w ten kąt.
Analogicznie dochodzimy do wniosku, że punkt
leży na prostej
.
Aby uzasadnić, że punkty
i
są symetryczne względem prostej
, wystarczy wykazać, iż trójkąty
oraz
są przystające,
gdyż będzie to oznaczało, że są one symetryczne względem prostej
.
Mamy jednak
![]() |
gdzie druga równość wynika z tego, że
jest środkiem łuku
.
Podobnie dostajemy
. Trójkąty
i
mają więc
równe odpowiednie kąty oraz wspólny bok
, zatem są przystające
(cecha kąt-bok-kąt). Kończy to rozwiązanie zadania.