Матеріал з Вікіпедії — вільної енциклопедії.
Геометричне доведення формули тангенса половинного кута
Формула тангенса половинного кута — формула, що пов'язує тангенс половинного кута с тригонометричними функціями повного кута:

де
і визначається умовою
.
З цією формулою пов'язані наступні формули:
![{\displaystyle {\begin{aligned}\operatorname {tg} {\frac {\alpha +\beta }{2}}\ &={\frac {\sin \alpha +\sin \beta }{\cos \alpha +\cos \beta }},\\[10pt]\operatorname {tg} \left({\frac {\theta }{2}}+{\frac {\pi }{4}}\right)&=\sec \theta +\operatorname {tg} \theta ={\frac {1+\operatorname {tg} (\theta /2)}{1-\operatorname {tg} (\theta /2)}}=(-1)^{k}{\sqrt {\frac {1+\sin \theta }{1-\sin \theta }}},\\[10pt]\mathrm {ctg} \left({\frac {\theta }{2}}+{\frac {\pi }{4}}\right)&=\sec \theta -\operatorname {tg} \theta ={\frac {1-\operatorname {tg} (\theta /2)}{1+\operatorname {tg} (\theta /2)}}=(-1)^{k}{\sqrt {\frac {1-\sin \theta }{1+\sin \theta }}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad113dab1aaccc5d81dba4340e2178f516fc55bd)
де
і визначається умовою
.
При
отримуємо:
Універсальна тригонометрична підстановка в інтегральному численні
[ред. | ред. код]
Буває корисно записувати тригонометричні функції через раціональні функції нової змінної
, що дорівнює тангенсу половинного кута.
|
|
|
|
|
|
|
|
В цих формул можна виразити арктангенс через натуральний логарифм

При знаходженні превісних, що містять sin(φ) та cos(φ), підстановка після заміни:

та

виглядає

Можна отримати аналогічні формули для гіперболічних функцій.

Отимуємо
|
|
|
|
|
|
|
|
Відповідно, для арктангенса та натурального логарифма отримуємо:
