Na płaszczyźnie dany jest trójkat
, w którym
, oraz odcinek
, którego środkiem jest punkt
. Dowieść, że
![]() |
Oznaczmy przez
środek boku
trójkąta
, a przez
- środek okręgu
opisanego na tym trójkącie. Kąt
jest z założenia rozwarty. Stąd wynika, że punkty
i
leżą po przeciwnych stronach prostej
; w szczególności punkt
nie pokrywa się z
.
Niech
będzie promieniem okręgu
przechodzącym przez punkt
(rysunek 4). Okrąg
o środku
i promieniu
jest styczny do okręgu
w punkcie
, a punkt
leży na zewnątrz okręgu
(lub na nim - gdy pokrywa się z
). W takim razie
.

Punkty
i
leżą symetrycznie względem prostej
, która wobec tego połowi kąt
. A ponieważ
(kąty wpisane oparte na długim łuku
), dostajemy równość
![]() |
Na przedłużeniu boku
odkładamy równy mu długością odcinek
. Powstaje trójkąt
; punkty
i
są środkami jego boków
i
. Trójkąty
i
są więc podobne. Otrzymujemy zależność
![]() |
Punkt
jest wspólnym środkiem odcinków
i
. Zatem czworokąt
jest równoległobokiem (który może degenerować się do odcinka; zauważmy, że rozumowanie jest w tym fragmencie zupełnie niezależne od położenia punktów
i
względem rozważanych do tej pory odcinków i okręgów). Tak więc
, skąd
![]() |
Mnożymy stronami nierówności (1) i (2) i otrzymujemy nierówność
![]() |
która była dana do udowodnienia.