Trójkąt o obwodzie
jest wpisany w koło o promieniu
i opisany na kole o promieniu
. Dowieść, że
.
Niech
będzie rozważanym trójkątem; przyjmijmy zwykłe oznaczenia
![]() |
zakładając (bez straty ogólności), że
jest największym kątem tego trójkąta. Zatem
. Oznaczmy przez
środek okręgu wpisanego w trójkąt
, a przez
,
,
punkty styczności tego okręgu z bokami
,
,
.

Przyjmijmy ponadto
![]() |
(rysunek 5). Tak więc
,
,
. Zauważmy teraz, że
![]() |
Stąd, wobec oczywistego oszacowania
, otrzymujemy nierówność
![]() |
którą mieliśmy udowodnić.
{\kom Uwaga:} Jak widać, zachodzi nierówność silniejsza od wymaganej:
![]() |
Jest to faktycznie nierówność ostra, bo wykorzystane w niej oszacowania
oraz
nie mogą jednocześnie stać się równościami: pierwsze z nich przechodzi w równość tylko dla trójkąta równobocznego, a drugie - tylko dla trójkąta prostokątnego.