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

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

$\mathrm{tg}\tfrac{1}{2}\theta = \frac{\sin\theta}{1 + \cos\theta} = \frac{1-\cos\theta}{\sin\theta}.$

Различные вариации этой формулы выглядят следующим образом:

$\begin{align} \mathrm{tg}\left(\frac{\alpha + \beta}{2}\right) & = \frac{\sin\alpha + \sin\beta}{\cos\alpha + \cos\beta}, \\[10pt] \mathrm{tg}\left(\frac{\varphi}{2} + \frac{\pi}{4}\right) & = \mathrm{tg}\varphi + \sec\varphi, \\[10pt] \sqrt{\frac{1 - \sin\theta}{1 + \sin\theta}} & = \frac{1 - \mathrm{tg}(\theta/2)}{1 + \mathrm{tg}(\theta/2)}. \end{align}$

В области определения угла θ имеем

$\mathrm{tg}\tfrac{1}{2}\theta = \frac{\mathrm{tg}\theta}{1 + \sqrt{1+\mathrm{tg}^2\theta}}, \quad \theta \in \left(-\tfrac{\pi}{2},\tfrac{\pi}{2} \right).$

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

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

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

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

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

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

Геометрические построения выглядят следующим образом: на тригонометрическом круге для любой точки, имеющей координаты (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 к тригонометрическому кругу и стандартной угловой координате φ.

Имеем

$\cos\varphi = \frac{1 - t^2}{1 + t^2},$		$\sin\varphi = \frac{2t}{1 + t^2},$
$tg\varphi = \frac{2t}{1 - t^2},$		$ctg\varphi = \frac{1 - t^2}{2t},$
$\sec\varphi = \frac{1 + t^2}{1 - t^2},$		$\csc\varphi = \frac{1 + t^2}{2t},$

и

$e^{i \varphi} = \frac{1 + i t}{1 - i t},$

$e^{-i \varphi} = \frac{1 - i t}{1 + i t}.$

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

$arctg (t) = \frac{1}{2i}\ln\frac{1+it}{1-it}.$

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

$t=tg\tfrac{1}{2}\varphi.$

получаем

$\varphi=2arctg(t), \,$

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

$d\varphi = {{2\,dt} \over {1 + t^2}}.$

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

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

$t = th \frac{1}{2}\theta = \frac{sh\theta}{ch\theta+1} = \frac{ch\theta-1}{sh\theta}$

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

$ch\theta = \frac{1 + t^2}{1 - t^2},$		$sh\theta = \frac{2t}{1 - t^2},$
$th\theta = \frac{2t}{1 + t^2},$		$cth\theta = \frac{1 + t^2}{2t},$
$\mathrm{sech}\,\theta = \frac{1 - t^2}{1 + t^2},$		$\mathrm{csch}\,\theta = \frac{1 - t^2}{2t},$

и

$e^{\theta} = \frac{1 + t}{1 - t},$

$e^{-\theta} = \frac{1 - t}{1 + t}.$

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

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

$arcth(t) = \frac{1}{2}\ln\frac{1+t}{1-t}.$

См. также

• Тригонометрические тождества
• Формула половины стороны
• Стереографическая проекция
• Функция Гудермана

Ссылки

• Тангенс половинного угла на Planetmath