Punkt
jest środkiem krótszego łuku
okręgu opisanego na
trój kącie
, w którym
. Punkt
jest środkiem
odcinka łączącego środki dwóch okręgów dopisanych do danego trójkąta,
stycznych odpowiednio do boków
i
. Wykazać, że 
(Uwaga: Okrąg dopisany do trójkąta to okrąg styczny do jednego
z boków trójkąta oraz do przedłużeń dwóch pozostałych boków.)
Niech
i
oznaczają środki okręgów dopisanych do
trójkąta
stycznych odpowiednio do boków
i
, niech 
będzie środkiem okręgu wpisanego w trójkąt
oraz niech
i 
będą odpowiednio punktami, w których proste
i
przecinają po
raz drugi okrąg o opisany na trójkącie
(rys. 6).
Wówczas zachodzi równość
(zob. LI Olimpiada Matematyczna,
Sprawozdanie Komitetu Głównego, Warszawa 2001, Dodatek E, str. 113),
zaś z drugiej strony kąt
jest prosty, gdyż proste
i
zawierają dwusieczne kątów odpowiednio wewnętrznego i
zewnętrznego trójkąta
przy wierzchołku
. Wynika stąd, że
punkt
jest środkiem okręgu o średnicy
opisanego na
trójkącie prostokątnym
. W szczególności
.
Podobnie dowodzimy, że
oraz
.

Niech
oznacza drugi punkt przecięcia prostej 
z okręgiem
. (Jeżeli prosta ta jest styczna do okręgu o w punkcie
, to przyjmujemy
.) Udowodnimy, że punkty
i 
pokrywają się.
Punkty
leżą na dwusiecznej kąta wewnętrznego trójkąta
przy wierzchołku
, a punkty
— na
dwusiecznej kąta zewnętrznego przy tym wierzchołku. Dwusieczne te
są prostopadłe, zatem kąt
jest prosty. W efekcie odcinek
jest średnicą okręgu
. (Nietrudno spostrzec, iż stwierdzenie
to zachowuje moc w przypadku, gdy
.)
Punkt
jest środkiem krótszego łuku
okręgu
, więc
punkt
jest środkiem dłuższego łuku
tego okręgu. Ponadto
krótsze łuki
i
mają jednakowe długości (z uwagi na to,
że punkt
leży na dwusiecznej kąta
) i analogicznie krótsze
łuki
i
mają jednakowe długości. Te cztery łuki okręgu o
tworzą łącznie dłuższy łuk
, którego środkiem jest punkt
.
Stąd wniosek, że krótsze łuki
i
mają równe długości oraz
krótsze łuki
i
mają jednakowe długości. W konsekwencji
oraz
, czyli czworokąt
jest
równoległobokiem. Ponieważ punkty
i
są odpowiednio środkami
boków
i
trójkąta
, więc punkt
jest
środkiem trzeciego boku
. Uzyskaliśmy w ten sposób równość
.
Pozostaje zauważyć, że skoro odcinek
jest średnicą okręgu
,
to trójkąt
ma kąt prosty przy wierzchołku
; ponieważ zaś
![]() |
więc trójkąt
jest połową trójkąta równobocznego o boku 
i wysokości
. Stąd bezpośrednio uzyskujemy żądaną równość
.