
![]()
![]()
![]()
Z twierdzenia cosinusów:
![]()
![]()
![]()
![]()
Wysokość ostrosłupa jest wysokością trójkąta równobocznego. Załóżmy, że bok kwadratu w podstawie ma długość, więc przekątna ma długość
, natomiast krawędź boczna ma długość a. Wtedy zachodzi równość
. Z twierdzenia cosinusów wyznaczamy cosinus kąta alfa (nachylenie krawędzi bocznej do krawędzi podstawy).