Wykonaj rysunek pomocniczy.
Skorzystaj z twierdzenia sinusów w trójkącie ABC w kącie ABC i BAC.
Skorzystaj ze wzoru na podwojony kąt sinusa.
Podstaw powyższą wartość pod początkową równość i wyznacz z niej wartość
Zapisz miarę kąta ABC.
Skorzystaj z twierdzenia sinusów w kątach ABC i ACB.
Na podstawie wzorów redukcyjnych, zauważ, że
.
Pomnóż na skos.
Skorzystaj ze wzoru na sumę dwóch kątów sinusa oraz podwojony kąt sinusa i cosinusa.
Podstaw wartość
do równania
.
Skorzystaj z obliczonej wcześniej wartości cosinusa:
.
To kończy dowód.