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.