W trójkącie
kąt
jest rozwarty oraz
. Prosta przechodząca przez punkt
i prostopadła do
przecina prosta
w punkcie
. Punkt
jest środkiem boku
. Dowieść, ze
.
Niech prosta równoległa do
i przechodząca przez punkt
przecina odcinek
w punkcie
. Oznaczmy przez
środek odcinka
. Wówczas punkty
,
,
są współliniowe. Trójkąt
jest prostokątny, więc
jest środkiem okręgu opisanego na nim. Stąd wynika, że trójkąt
jest równoramienny, co daje następujące równości:
![]() |
Czworokąt
jest więc trapezem równoramiennym, nie będącym równoległobokiem. Zatem punkt
jest obrazem punktu
w symetrii względem symetralnej odcinka
. To oznacza, że
.