Dwusieczne kątów
trójkąta
przecinają okrąg opisany na tym trójkącie odpowiednio w punktach
. Dowieść, że
![]() |

Oznaczmy krótko przez
,
,
odpowiednie kąty trójkąta
. Kąt
jest oparty na tym samym łuku, co kąt
, więc
. W trójkącie
suma miar kątów wynosi
, więc
. Stąd i z twierdzenia sinusów zastosowanego do trójkąta
otrzymujemy
. Analogicznie mamy
![]() |
![]() |
skąd wynika, że
![]() |
natomiast
![]() |
Dana w zadaniu nierówność jest więc równoważna nierówności
![]() |
a ta ostatnia była treścią zadania 2 z zawodów stopnia pierwszego.