Przez wierzchołki
,
,
trójkąta ostrokątnego oraz przez środek
okręgu opisanego na tym trójkącie poprowadzono proste
,
,
, które przecinają przeciwległe boki trójkąta odpowiednio w punktach
,
,
. Dowieść, że
![]() |
gdzie
oznacza promień okręgu opisanego na trójkącie
.
Obliczymy długości
,
,
w zależności od
i od kątów
,
,
trójkąta (rys. 9).
Zauważmy, że w trójkącie
bok
, a
, gdyż w trójkącie prostokątnym
, gdzie
jest średnicą okręgu opisanego na
, kąt przy
równa się kątowi
. Wobec tego
i stosując twierdzenie sinusów otrzymujemy
![]() |
i ostatecznie
![]() |
Analogicznie otrzymujemy z trójkąta
:
![]() |
a z trójkąta
:
![]() |
Dodając równości (1), (2) i (3) stronami i uwzględniając fakt, że kąty trójkąta spełniają związek
, otrzymujemy żądaną równość
![]() |