Формула тангенса половинного угла

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Формула тангенса половинного угла — тригонометрическая формула, связывающая тангенс половинного угла с тригонометрическими функциями полного угла:

где и определяется из условия .

С этой формулой связаны также следующие соотношения:

В последних двух выражениях и определяется из условия .

При имеем:

Геометрическое доказательство

[править | править код]
Геометрическое доказательство формулы тангенса половинного угла

Универсальная тригонометрическая подстановка

[править | править код]

В различных приложениях полезно записывать тригонометрические функции (такие как синус и косинус) через рациональные функции новой переменной t, равной тангенсу половинного угла. Эти тождества полезны при вычислении первообразных.

Существование формулы тангенса половинного угла основано на том факте, что окружность является алгебраической кривой порядка 2. Поэтому можно ожидать, что 'круговые функции' могут быть сведены к рациональным функциям.

Геометрические построения выглядят следующим образом: на тригонометрическом круге для любой точки, имеющей координаты (cos φ, sin φ), проведём прямую, проходящую через круг и точку с координатами (−1,0). Эта прямая пересекает ось ординат (ось y) в некоторой точке с координатой y = t. Путём простых геометрических построений можно показать, что t = tg(φ/2). Уравнение проведённой прямой таково y = (1 + x)t. Уравнение для определения точек пересечения указанной прямой и окружности представляет собой квадратное уравнение относительно t. Два решения этого уравнения — это (−1, 0) и (cos φ, sin φ). Это позволяет нам записать (cos φ, sin φ) как рациональные функции от t (решения даны ниже).

Заметим также, что параметр t стереографическую проекцию точки (cos φ, sin φ) на ось y с центром проекции, расположенным в точке (−1,0). Поэтому формула тангенса половинного угла даёт нам переход от стереографической координаты t к тригонометрическому кругу и стандартной угловой координате φ.

Имеем

 
 
 

и

 

Из этих формул можно выразить арктангенс через натуральный логарифм

При нахождении первообразных от функций, содержащих sin(φ) и cos(φ), подстановка Вейерштрасса выглядит следующим образом. Принимая

получаем

и следовательно

Гиперболические тождества

[править | править код]

Можно получить полностью аналогичные выводы для гиперболических функций. Точка на гиперболе (на её правой ветви) определяется координатами (ch θ, sh θ). Проецируя её на ось y из центра (−1, 0), получаем следующее:

и тогда тождества для гиперболических функций таковы

 
 
 

и

 

Использование этих подстановок для нахождения первообразных было представлено Карлом Вейерштрассом.

Выражение θ через t приводит к следующим соотношениям между гиперболическим арктангенсом и натуральным логарифмом: