Прежде всего, получим формулы, по которым тригонометрические функции углов вида можно выражать через тригонометрические функции угла α. Эти формулы называются формулами приведения.
|
Рисунок 2.4.2.1 |
Отложим от положительного направления оси абсцисс угол α (см. рис. 2.4.2.1). Отразим точку
Несложно сообразить, что угол между положительным направлением оси абсцисс и радиус-вектором
равен
Пусть координаты радиус-вектора
будут
Так как
Рассмотрим радиус-вектор
угол между которым и осью абсцисс равен –α. Очевидно, что координаты этого радиус-вектора равны
Отсюда легко получить, что
Последние равенства означают, что функции синус, тангенс и котангенс − нечётные, а функция косинус − чётная.
Заменим в формулах
и
угол α на –α. Имеем
Итак, доказано, что
Выполним следующие преобразования:
Итак,
Аналогично доказываются формулы:
Из последних формул следует, что
Учтём теперь, что
Тогда из вышеприведённых формул следует:
Запишем все формулы приведения в виде таблицы.
|
|||||||||||||||||||||||||||||||||||||||||||||
Таблица 2.4.2.1 |
Обратимся снова к тригонометрической окружности.
|
Рисунок 2.4.2.2 |
Пусть точка
Но
Отсюда следует, что
Знак + или − выбирается в зависимости от того, в какой четверти лежит угол α.
Разделим основное тригонометрическое тождество на
Получим:
Разделим основное тригонометрическое тождество на
Получим:
Из определений тангенса и котангенса
следует:
|
Рисунок 2.4.2.3 |
Для вывода формул сложения для тригонометрических функций рассмотрим тригонометрическую окружность и два радиус-вектора и отвечающих углам α и –β (см. рис. 2.4.2.3).
Координаты этих векторов по определению тригонометрических функций равны: Поскольку это радиус-векторы, то их длины равны 1. Вычислим скалярное произведение этих векторов двумя способами:
1. По определению.
2. Через координаты. Имеем:
Итак, получена следующая формула сложения:
Заменим в этой формуле β на –β. Получим ещё одну формулу.
Имеем:
Заменим в этой формуле β на –β, получим ещё одну формулу.
Из этих формул непосредственно следует, что
Эта формула справедлива при
Заменяя в последних формулах β на –β, получим ещё две формулы:
Эта формула справедлива при
Итак, нами получены все формулы сложения для тригонометрических функций. Получим из них прямые следствия, положив в них во всех α = β.
Воспользуется теперь второй из этих формул и основным тригонометрическим тождеством. Получим:
Если же теперь воспользоваться формулой разности квадратов, то получится
Если в формулах сложения положить, например, β = 2α, то получим формулы кратного аргумента.
Совершенно аналогично получается формула
Перепишем теперь формулу синуса двойного угла в следующем виде:
Аналогично можно поступить с косинусом двойного угла. Получается
Эти формулы показывают, что все основные тригонометрические функции могут быть рационально выражены через
а именно:
Говорят, что замена является универсальной подстановкой для основных тригонометрических функций.
Из формулы косинуса двойного угла
Если в последних формулах заменить α на
то получатся формулы половинного аргумента:
Можно получить немного другие формулы половинного аргумента для тангенса и котангенса. А именно:
Совершенно аналогично получается формула
Запишем теперь две формулы сложения:
Если рассмотреть две другие формулы сложения:
Три полученные формулы называются формулами преобразования произведения в сумму.
Перепишем первую из полученных формул преобразования произведения в сумму в виде
Сделаем замену переменных:
Совершенно аналогично получаются другие формулы преобразования суммы в произведение.