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