半角正接置換

テンプレート:解析学 半角正接置換（はんかくせいせつちかん、テンプレート:Lang-en-short）とは数学において、主に積分計算で利用される正接 テンプレート:Math による変数変換である。ワイエルシュトラス置換とも呼ばれる。三角関数のみで構成された積分に対してこの置換を施すことにより、有理関数へと変形することができる。すなわち、

$t=\tan \frac{\theta }{2}$

なる置換をすることにより、

$\int f(\sin \theta ,\cos \theta )\mathrm{d}\theta =\int f(\frac{2t}{1+t^2},\frac{1-t^2}{1+t^2})\frac{2}{1+t^2}\mathrm{d}t$

と変形されるのである。また、正弦 テンプレート:Math や余弦 テンプレート:Math が自乗されている場合や、一次の正弦、余弦どうしの積などが含まれる場合は テンプレート:Math のように置換することもある。なお本稿では、ことわりのない限り テンプレート:Math は半角正接置換を指すものとする。

導入

冒頭でも説明したとおり、半角正接置換を施すことにより、

$\sin \theta =\frac{2t}{1+t^2},\cos \theta =\frac{1-t^2}{1+t^2},\mathrm{d}\theta =\frac{2}{1+t^2}\mathrm{d}t$

のように変形することができる。

導出

三角関数の加法定理と相互法則から、

$\sin \theta =\frac{2\sin (\theta /2)\cos (\theta /2)}{{\sin }^2(\theta /2)+{\cos }^2(\theta /2)}=\frac{2\tan (\theta /2)}{{\tan }^2(\theta /2)+1}=\frac{2t}{1+t^2}$

$\cos \theta =\frac{{\cos }^2(\theta /2)-{\sin }^2(\theta /2)}{{\sin }^2(\theta /2)+{\cos }^2(\theta /2)}=\frac{1-{\tan }^2(\theta /2)}{{\tan }^2(\theta /2)+1}=\frac{1-t^2}{1+t^2}$

また テンプレート:Math を テンプレート:Math で微分して、

$\frac{\mathrm{d}t}{\mathrm{d}\theta }=\frac{1}{2{\cos }^2(\theta /2)}=\frac{1+{\tan }^2(\theta /2)}{2}=\frac{1+t^2}{2}$

より、

$\mathrm{d}\theta =\frac{2}{1+t^2}\mathrm{d}t$

幾何的解釈

半角正接置換の幾何的解釈。

半角正接置換は、幾何的に解釈することも可能である。たとえば、右図のように単位円 テンプレート:Math を設定し、座標 テンプレート:Math を通過する傾き テンプレート:Math の直線を考える。また、この直線と単位円の交点のうち、テンプレート:Math でない方を テンプレート:Math とおく。するとこのとき テンプレート:Math であって、連立方程式：

$\{\begin{array}{c}{x}^2+y^2=1\\ y-0=t(x+1)\end{array}\mathrm{w}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{e}x\ne -1$

が成り立つ。これを テンプレート:Math 、テンプレート:Math について解けば、

$x=\frac{1-t^2}{1+t^2},y=\frac{2t}{1+t^2}$

すなわち、

$\cos \theta =\frac{1-t^2}{1+t^2},\sin \theta =\frac{2t}{1+t^2}$

が導かれる。

例

正割

次の積分：

$I=\int \csc x\mathrm{d}x=\int \frac{\mathrm{d}x}{\sin x}$

を解くことを考える。置換 テンプレート:Math を用いれば、

$\begin{array}{cc}I& =\int \csc x\mathrm{d}x=\int \frac{\mathrm{d}x}{\sin x}\\ & =\int \frac{1+t^2}{2t}\frac{2}{1+t^2}\mathrm{d}t& t=\tan \frac{x}{2}\\ & =\log |t|+C\\ & =\log |\tan \frac{x}{2}|+C\end{array}$

のように求まる。ただし、ここで テンプレート:Math は積分定数である。また、この積分は テンプレート:Math と置換せずとも、テンプレート:Math と置換することによって、

$\begin{array}{cc}I& =\int \csc x\mathrm{d}x\\ & =\int \frac{\csc x(\csc x-\cot x)}{\csc x-\cot x}\mathrm{d}x\\ & =\int \frac{{\csc }^{2}x-\cos x}{\csc x-\cot x}\mathrm{d}x\\ & =\int \frac{\mathrm{d}u}{u}& u=\csc x-\cot x\\ & =\log |u|+C\\ & =\log |\csc x-\cot x|+C\\ & =\log |\tan \frac{x}{2}|+C& \csc x-\cot x=\tan \frac{x}{2}\end{array}$

のように求まる。

双曲線関数

三角関数と同じように、双曲線関数でも半角置換が存在する。すなわち、

$t=\tanh \frac{\theta }{2}$

の置換によって、 $$\begin{array}{cc}& \sinh \theta =\frac{2t}{1-t^2},\cosh \theta =\frac{1+t^2}{1-t^2},\tanh \theta =\frac{2t}{1+t^2},\\ & \coth \theta =\frac{1+t^2}{2t},\mathrm{sech}\theta =\frac{1-t^2}{1+t^2},\mathrm{csch}\theta =\frac{1-t^2}{2t},\\ & \text{and}\mathrm{d}\theta =\frac{2}{1-t^2}\mathrm{d}t.\end{array}$$テンプレート:Reflist が導かれる。これにより、グーデルマン関数およびその逆関数の具体的な数式の導出についても応用できることが分かる。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book Second edition 1916, pp. 52–62
• テンプレート:Cite book

• Weierstrass substitution formulas at PlanetMath