W koło o promieniu 1 wpisano trójkąt o długościach boków
. Dowieść, że trójkąt ten jest ostrokątny wtedy i tylko wtedy, gdy
, prostokątny wtedy i tylko wtedy, gdy
, rozwartokątny wtedy i tylko wtedy, gdy
.
Z twierdzenia sinusów mamy
, gdzie
,
,
są kątami rozważanego trójkąta leżącymi naprzeciwko boków o długości
,
,
odpowiednio. Stąd
![]() |
Z twierdzenia cosinusów mamy
. Zatem na mocy (1) otrzymujemy
![]() |
Ponieważ
, więc
. Wynika stąd, że
![]() |
Jeżeli kąty
,
,
są ostre, to liczby
,
,
są dodatnie; jeżeli jeden z kątów
,
,
jest prosty, to jedna z tych liczb jest równa zeru; jeżeli zaś jeden z kątów
,
,
jest rozwarty, to jedna z tych liczb jest ujemna. Zatem liczba
jest dodatnia (równa zeru, ujemna) wtedy i tylko wtedy, gdy dany trójkąt jest ostrokątny (odpowiednio: prostokątny lub rozwartokątny). Wobec tego z (2) wynika teza zadania.