Доказательство формул приведения

Формулы приведения отражают периодичность, симметричность и свойства сдвига на углы и . Сразу заметим, что все формулы приведения можно доказывать, отбросив в аргументах слагаемое , так как оно означает изменение угла на целое число полных оборотов, а это не изменяет значения тригонометрических функций. Это слагаемое и служит отражением периодичности.

Первый блок из 16 формул приведения напрямую следует из свойств синуса, косинуса, тангенса и котангенса. На них даже не стоит останавливаться.

Переходим к следующему блоку формул. Сначала докажем первые две из них. Остальные следуют из них. Итак, докажем формулы приведения вида и .

Рассмотрим единичную окружность. Пусть начальная точка A после поворота на угол переходит в точку A₁(x, y), а после поворота на угол - в точку A₂. Проведем A₁H₁ и A₂H₂ – перпендикуляры к прямой Ox.

Несложно видеть, что прямоугольные треугольники OA₁H₁ и OA₂H₂ равны по гипотенузе и двум прилежащим к ней углам. Из равенства треугольников и расположения точек A₁ и A₂ на единичной окружности становится видно, что если точка A₁ имеет координаты x и y, то точку A₂ имеет координаты −y и x. Тогда определения синуса и косинуса позволяют нам записать равенства и , откуда следует, что и . Этим доказаны рассматриваемые формулы приведения для любого угла .

Учитывая, что и (при необходимости смотрите статью основные тригонометрические тождества), а также только что доказанные формулы, получаем и . Так мы доказали две следующие формулы приведения.

Для доказательства формул приведения с аргументом достаточно его представить как , после чего использовать доказанные формулы и свойства тригонометрических функций с противоположными аргументами. Например,.

Аналогично доказываются и все остальные формулы приведения на базе уже доказанных путем двукратного применения. Например, представляется как , а - как . А и - как и соответственно.