Dwusieczna kąta
trójkąta
przecina okrąg opisany na tym trójkącie w punkcie
różnym od
. Punkty
i
są rzutami prostokątnymi odpowiednio punktów
i
na prostą
. Dowieść, że
![]() |
Oznaczmy przez
okrąg opisany na trójkącie
. Z równości kątów
i
wynika, że długości łuków
i
okręgu
są równe (długość łuku
jest mierzona od punktu
do punktu
w kierunku przeciwnym do ruchu wskazówek zegara).


Niech
będzie punktem symetrycznym do punktu
względem symetralnej boku
, zaś niech
będzie rzutem prostokątnym punktu
na prostą
(rys. 1 i 2). Wówczas
. Ponadto długości łuków
i
są równe, co oznacza, że
.
Punkty
i
leżą po dwóch różnych stronach prostej
. Zatem długość odcinka
jest nie mniejsza niż suma odległości punktów
i
od prostej
. Innymi słowy
, czyli
.