Рассмотрим вывод только первого соотношения, поскольку доказательство второго аналогично.
Из теоремы синусов:
имеем:
откуда следует:
С учетом формулы двойного угла для синуса:
- ,
а также формулы для суммы синусов:
имеем:
По теореме о сумме углов треугольника:
откуда с учётом формулы приведения для косинуса следует, что:
как следствие имеем:
что и требовалось доказать.