To kończy dowód.
Skorzystaj z twierdzenia cosinusów dla kątów
i
Skorzystaj z tego, że
i odejmij oba równania stronami.
Skorzystaj ze wzoru na cosinus podwojonego kąta:
Skorzystaj z twierdzenia sinusów dla kątów
i
Skorzystaj z tego, że
i ze wzoru na sinus podwojonego kąta:
.
Z powyższego równania wyznacz wartość
Pod powyższe równanie z cosinusami w miejsce
z prawej strony równania podstaw wyznaczoną powyżej wartość.
Powstałe równanie doprowadź do najprostszej postaci.
To kończy dowód.