半角正接置換
From Wikipedia, the free encyclopedia
半角正接置換（はんかくせいせつちかん、英: Tangent half-angle substitution）とは数学において、主に積分計算で利用される正接 tan による変数変換である。ワイエルシュトラス置換とも呼ばれる。三角関数のみで構成された積分に対してこの置換を施すことにより、有理関数へと変形することができる。すなわち、
なる置換をすることにより、
と変形されるのである。また、正弦 sin や余弦 cos が自乗されている場合や、一次の正弦、余弦どうしの積などが含まれる場合は t = tan θ のように置換することもある。なお本稿では、ことわりのない限り t は半角正接置換を指すものとする。
導出
冒頭でも説明したとおり、半角正接置換を施すことにより、
のように変形することができる。
また t を θ で微分して、
より、
幾何的解釈
半角正接置換は、幾何的に解釈することも可能である。たとえば、右図のように単位円 x2 + y2 = 1 を設定し、座標 (−1, 0) を通過する傾き t の直線を考える。また、この直線と単位円の交点のうち、(−1, 0) でない方を (cos θ, sin θ) とおく。するとこのとき t = tan θ/2 であって、連立方程式：
が成り立つ。これを x 、y について解けば、
すなわち、
が導かれる。
![{\displaystyle {\begin{aligned}I&=\int \csc x\,{\rm {d}}x=\int {\frac {{\rm {d}}x}{\sin x}}\\[3pt]&=\int {\frac {1+t^{2}}{2t}}{\frac {2}{1+t^{2}}}\,{\rm {d}}t&t=\tan {\dfrac {x}{2}}\\[3pt]&=\log |t|+C\\[3pt]&=\log {\biggl |}\!\tan {\frac {x}{2}}{\biggr |}+C\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37cfba8f99ca3b263f12dc571d4ee23ecb4ca9b9)
![{\displaystyle {\begin{aligned}I&=\int \csc x\,{\rm {d}}x\\[3pt]&=\int {\frac {\csc x\,(\csc x-\cot x)}{\csc x-\cot x}}\,{\rm {d}}x\\[3pt]&=\int {\frac {\csc ^{2}x-\cos x}{\csc x-\cot x}}\,{\rm {d}}x\\[3pt]&=\int {\frac {{\rm {d}}u}{u}}&u=\csc x-\cot x\\[3pt]&=\log |u|+C\\[3pt]&=\log |\!\csc x-\cot x|+C\\[3pt]&=\log {\biggl |}\!\tan {\dfrac {x}{2}}{\biggr |}+C&\csc x-\cot x=\tan {\dfrac {x}{2}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c7456f911e193900288f23b05579df4567f8e20)
![{\displaystyle {\begin{aligned}&\sinh \theta ={\frac {2t}{1-t^{2}}},\quad \cosh \theta ={\frac {1+t^{2}}{1-t^{2}}},\quad \tanh \theta ={\frac {2t}{1+t^{2}}},\\[3pt]&\coth \theta ={\frac {1+t^{2}}{2t}},\quad \operatorname {sech} \theta ={\frac {1-t^{2}}{1+t^{2}}},\quad \operatorname {csch} \theta ={\frac {1-t^{2}}{2t}},\\[3pt]&{\text{and}}\quad {\rm {d}}\theta ={\frac {2}{1-t^{2}}}\,{\rm {d}}t.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7fe324149e4e60611a53e27c80f161ee2b13b56)
