Теоретический материал
Алгебра
Глава 11. Основные тригонометрические формулы.
11.4. Формулы приведения
Определение
Формулами привидения называются тождества, связывающие тригонометрические функции аргументов ,
,
Эти формулы позволяют приводить тригонометрические функции любого аргумента к равной по значению тригонометрической функции острого угла. Все формулы приведения можно разбить на 3 группы.
Первая группа — для или (или
):
;
;
;
;
;
;
;
.
Вторая группа — для (или
):
;
;
;
;
;
;
;
.
Третья группа — для (или
):
;
;
;
;
;
;
;
.
Каждую из этих формул можно написать, если знать следующих два правила.
Правило 1 для определения названия функции:
если откладывается от горизонтального диаметра (
, вторая группа формул), то наименование приводимой функции (т.е. функции аргумента
) не меняется;
если же откладывается от вертикального диаметра (
,
; первая и третья группы), то наименование приводимой функции заменяется на сходное (синус на косинус, тангенс на котангенс и наоборот).
Правило 2 для определения знака функции:
какой знак (или
) имеет приводимая функция (стоящая в левой части тождества) в данной четверти, такой знак ставится и перед функцией аргумента а в правой части.
Определение
Два угла и
, в сумме составляющие
(или
), называются дополнительными (дополняют друг друга до
).
Первая колонка в первой группе формул выражает свойство таких углов.
Сходные по наименованию функции дополнительных углов равны.
Еще одно важное свойство (формулы второй группы):
синусы углов и
, составляющих в сумме
или
, равны, а косинусы их отличаются только знаками.
В формулах приведения может принимать любые значения из области определения функции, в том числе и
, т.е.
можно рассматривать как острый угол.
Можно убедиться в правильности формул приведения, например, с помощью единичных тригонометрических кругов. Так, из равенства трех прямоугольных треугольников (см. рисунок ниже) следует что названия формул из второй группы меняться не будут: абсолютные величины одноименных функций, например ,
и
будут одинаковые, так как равны меньшие катеты треугольников, и только знаком будет отличаться
от
.
Отсюда: и
;
Из равенства больших катетов и противоположной направленности абсцисс следует: и
;
Для тангенса (и котангенса) можно получить так: и т.д.
Из равенства треугольников на следующем рисунке видно, что абсцисса радиус-вектора равна ординате радиус-вектора
,
поэтому ; а ордината
отличается от абсциссы
только знаком, поэтому получим равенство
и т.д.