В треугольнике
Найдите косинус внешнего угла при вершине
Синусы смежных углов равны: тогда синус внешнего угла при вершине
равен
Используя основное тригонометрическое тождество (), находим, что косинус внешнего угла при вершине
равен
Так как то внешний угол при вершине
— тупой, следовательно, его косинус отрицателен. Косинус внешнего угла при вершине
равен