
Z twierdzenia cosinusów:
![]()
Z sinusa kąta alfa:
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
Co kończy dowód.
Korzystamy z twierdzenia cosinusów:
. Wysokość ostrosłupa H wyznaczamy przy użyciu sinusa kąta alfa. Dochodzimy do równania
, które jest tożsame z równaniem: ![]()
Na tej podstawie
, co kończy dowód.