Dowieść, że wysokości trójkąta ostrokątnego są dwusiecznymi kątów trójkąta, którego wierzchołkami są spodki tych wysokości.
Niech
będzie punktem przecięcia wysokości
,
i
trójkąta ostrokątnego
(rys. 3).

Czworokąt
, w którym kąty przy wierzchołkach
i
są proste, jest czworokątem wpisanym w okrąg o średnicy
; zatem
![]() |
(kąty wpisane oparte na tym samym łuku są równe).
Podobnie też, w czworokącie
mamy
![]() |
Lecz
, gdyż każdy z tych kątów równa się
; zatem
.
Istotnie więc wysokość
jest dwusieczną kąta
.
Uwaga. W trójkącie rozwartokątnym (rys. 4) wysokość
poprowadzona z wierzchołka kąta
rozwartego
jest dwusieczną kąta
, a pozostałe dwie wysokości są dwusiecznymi kątów zewnętrznych
trójkąta
; uzasadnienie jest analogiczne do poprzedniego.
