Dany jest czworościan
, o którego kątach płaskich wiadomo, że
![]() |
Dowieść, że krawędzie
i
są prostopadłe.
Ponieważ suma miar kątów trójkąta
jest równa
, więc
. Wynika stąd, że trójkąt
jest równoramienny:
.
Jak wiadomo, iloczyn skalarny dwóch wektorów jest równy iloczynowi ich długości i cosinusa kąta między nimi. W szczególności wektory są prostopadłe wtedy i tylko wtedy, gdy ich iloczyn skalarny jest równy zeru. Mamy więc
![]() |
![]() |
Z twierdzenia sinusów zastosowanego do trójkąta
otrzymujemy
, czyli
,
ponieważ
. Z (2) wynika więc, że
![]() |
Wobec tego z (1) i (3) otrzymujemy
![]() |
Oznacza to, że wektory
i
są prostopadłe.