解析学基礎/基本的な積分のソースを表示

==部分分数==
まず、例を見てみましょう。<math>\int {3x+ 1 \over x^2+x} dx </math>を見つけたいとします。
そのための１つの方法は
:<math>{3x+ 1 \over x^2+x}={3x+ 1 \over x(x+1)}= {A \over x}+ {B \over x+1}</math>
を満たすような定数<math>A,\,B</math>を見つけて被積分関数を簡単にすることです。
これはたすき掛けを行い
<math>{3x+1\over x(x+1)} = {{A(x+1) + Bx} \over {x(x+1)}}</math>
を解くことによって得られます。両辺は共通の分母を持つので
<math> 3x+1 = A(x+1)+Bx</math>
を解くことになりますが、これが<math>x</math>についての恒等式となるので、<math>x</math>
の値に関わらず解を持たなくてはなりません。
<math>x=0</math>を代入すると<math> 1 = A </math>を得て、<math>x=-1</math>を
代入すると<math>-2=-B</math>となり、<math>B=2</math>を得ます。このようにして
:<math> \frac{3x+ 1}{x^2+x} = \frac{1}{x} + \frac{2}{x+1} \ </math>
と変形できることが分かります。

これを元の不定積分に適用すると
:{|
|<math> \int \frac{3x+1}{x^2+x} dx </math>
|=
|<math> \int \frac{dx}{x} + \int \frac{2}{x+1} dx</math>
|-
|
|=
|<math> \ln \left| x \right| + 2 \ln \left| x+1 \right| + C </math>
|-
|
|}
となります。

被積分関数を単純な分数の和に書き換えることにより、元の不定積分をより単純な積分の和の形にすることができました。この手法はどのような分数関数の積分にも有効です。

部分分数分解の手順をまとめると、以下のようになります。

<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*<b>Step 1</b> 除算を実行し<math>P(x)</math>の次数を<math>Q(x)</math>より低くする。
*<b>Step 2</b> 可能な限り<math>Q(x)</math>を因数分解する。
*<b>Step 3</b> 部分分数分解（以下を参照）の適切な形に書き下し、たすき掛けをして定数を求める。
</blockquote>

<math>Q(x)</math>については、１次因数（<math>ax+b</math>の形）と既約の２次因数（<math>b^2-4ac<0</math>となるような<math>ax^2+bx+c</math>の形）の積で表さなければいけません。

因数の中には繰り返して現れるものもあります。例えば、<math>Q(x) = x^3-6x^2+9x</math>のとき、<math>Q(x)</math>は
:<math> Q(x) = x(x^2-6x+9) = x(x-3)(x-3)=x(x-3)^2</math>
のように因数分解されます。

それぞれの２次因数については、<math>b^2-4ac<0</math>が成立していることが必要です。さもなければ、その因数はさらに分解可能です。例えば、<math>Q(x) = x^3-3x^2-2x</math>ならば、
:<math> Q(x) = x(x^2-3x+2) = x(x-1)(x+2)</math>
と表すことが可能です。


次に、<math>P(x)/Q(x)</math>を
:<math> {A \over (ax+b)^k}</math> または <math>{Ax+B \over (ax^2+bx+c)^k}</math>
の形の項の和で表す方法を示します。
この手順は<math>Q(x)</math>の因数分解の結果に依存しますが、ここでは起こり得る４つの場合について見ていきます。

<blockquote style="background: white; border: 1px solid black; padding: 1em;">
<b>場合(a)</b> <math>Q(x)</math>が繰り返し現れることのない１次因数の積のとき
</blockquote>

これは<math>Q(x) = (a_1x+b_1)(a_2x+b_2)...(a_nx+b_n)</math> においてどの因数も繰り返されることがなく、他の因数の定数倍でないということを意味します。

それぞれの項は<math>{A \over (ax+b)}</math>の形になるので、全体では

:<math> {P(x) \over Q(x)} = {A_1 \over (a_1x+b_1)} + {A_2 \over (a_2x+b_2)} + \cdots +  {A_n \over (a_nx+b_n)} </math>

と表すことができます。

=== 例1 ===
<math> \int {1+x^2 \over (x+3)(x+5)(x+7)}dx</math>を求めてみましょう。

ここで<math>P(x)=1+x^2,\, Q(x)=(x+3)(x+5)(x+7)</math>とすると、<math>Q(x)</math>は１次式の積に分解可能なので
:<math> \frac{1+x^2}{(x+3)(x+5)(x+7)}=\frac{A}{x+3}+\frac{B}{x+5}+\frac{C}{x+7} </math>
と表されます。

両辺の分母を払います。

<math>1+x^2=A(x+5)(x+7)+B(x+3)(x+7)+C(x+3)(x+5)</math>

この式において変数''x''に３つの値を代入することにより、未知の定数に関する３本の方程式が得られます。

<math>\begin{matrix} x=-3 & 1+3^2=2\cdot 4 A \\ 
 x=-5 & 1+5^2=-2\cdot 2 B \\  
x=-7 & 1+7^2=(-4)\cdot (-2) C \end{matrix}</math>

よって<math>A=5/4,\,B=-13/2,\,C=25/4</math>となり、
:<math> \frac{1+x^2}{(x+3)(x+5)(x+7)}=\frac{5}{4x+12} -\frac{13}{2x+10} +\frac{25}{4x+28}  </math>
を得ます。以上より左辺を積分することができます。
:<math>\int \frac{1+x^2 \, dx}{(x+3)(x+5)(x+7)}=
\frac{5}{4} \ln|x+3| - \frac{13}{2}\ln|x+5|+ \frac{25}{4}\ln|x+7|+ C </math>


 <blockquote style="background: white; border: 1px solid black; padding: 1em;">
<b>場合(b)</b> <math>Q(x)</math>が１次式の積であり、繰り返し現れる因数があるとき
</blockquote>

<math>Q(x)</math>を因数分解した結果、<math>(ax+b)</math>が''k''回現れたとします。このとき<math> {A \over (ax+b)}</math>のかわりにより複雑な表現を用います。

<math> {A_1\over ax+b} + {A_2\over (ax+b)^2} +  {A_3\over (ax+b)^3} + \cdots + {A_k\over (ax+b)^k}</math>

=== 例２ ===
<math> \int {1 \over (x+1)(x+2)^2}dx </math>を求めてみましょう。

ここで<math>P(x)=1,\, Q(x)=(x+1)(x+2)^2</math>とすると、

<math> \frac{1}{(x+1)(x+2)^2}=\frac{A}{x+1}+\frac{B}{x+2}+\frac{C}{(x+2)^2} </math>

と書け、両辺の分母を払うと
<math> 1= A(x+2)^2+B(x+1)(x+2)+C(x+1) </math>
となります。

変数''x''に３つの値を代入することにより、未知の定数に関する３本の方程式が得られます。

<math>\begin{matrix} x=0 & 1= 2^2A +2B+C \\ 
 x=-1 & 1=A \\  
x=-2 & 1= -C \end{matrix}</math>

よって''A''=1, ''B''=-1, ''C''=-1 となるので、

<math> \frac{1}{(x+1)(x+2)^2}=\frac{1}{x+1}-\frac{1}{x+2}-\frac{1}{(x+2)^2} </math>

以上より左辺を積分することができます。
:<math>\int \frac{1}{(x+1)(x+2)^2} dx= \ln \left|\frac{x+1}{x+2}\right| + \frac{1}{x+2} +C
</math>


<blockquote style="background: white; border: 1px solid black; padding: 1em;">
<b>場合(c)</b> <math>Q(x)</math>が繰り返し現れることのない２次の因数を含むとき
</blockquote>

<math>ax^2+bx+c</math>が現れるときは、<math> {Ax+B \over ax^2+bx+c}</math>を用います。

<blockquote style="background: white; border: 1px solid black; padding: 1em;">
<b>場合(d)</b> <math>Q(x)</math>が繰り返し出現する２次の因数を含むとき
</blockquote>

<math>ax^2+bx+c</math>が''k''回現れた場合には
:<math> {A_1x+B_1 \over ax^2+bx+c} +  {A_2x+B_2 \over (ax^2+bx+c)^2} + {A_3x+B_3 \over (ax^2+bx+c)^3} + \cdots + {A_kx+B_k \over (ax^2+bx+c)^k}</math>
を用います。

==三角関数の置換==

被積分関数が<math>\sqrt{a^2-x^2}</math>または<math>\sqrt{a^2+x^2}</math>または<math>\sqrt{x^2-a^2}</math>の形をした因数をただ一つ持つ場合には、三角関数の置換により積分ができる場合があります。

<blockquote style="background: white; border: 1px solid black; padding: 1em;">
*被積分関数が<math>\sqrt{a^2-x^2}</math>を含むときは、<math>x = a \sin\theta</math>とし、恒等式<math>1-\sin^2 \theta = \cos^2 \theta</math>を用います。
*被積分関数が<math>\sqrt{a^2+x^2}</math>を含むときは、<math>x = a \tan\theta</math>とし、恒等式<math>1+\tan^2 \theta  = \sec^2 \theta</math>を用います。
*被積分関数が<math>\sqrt{x^2-a^2}</math>を含むときは、<math>x = a \sec\theta</math>とし、恒等式<math>\sec^2 \theta - 1 = \tan^2 \theta</math>を用います。
</blockquote>

===正弦の置換===
<!--[[Image:Trig_Sub_Triangle_1.png|frame|right|273px|This substitution is easily derived from a triangle, using the [[w:Pythagorean_Theorem|Pythagorean Theorem]].]]-->

被積分関数が<math> \sqrt{a^2-x^2} </math>を含む場合には、以下のような置換を行います。

:<math>x=a\sin \theta \quad dx=a \cos \theta d\theta</math>

このようにすることで被積分関数を三角関数に変形できます。変形後の被積分関数がすぐには積分できない場合は、一般に下で述べる正接半角公式を代入すると代数的により扱いやすい被積分関数に変形することができます。

例：被積分関数が&radic;(1-''x''<sup>2</sup>)のとき

:<math>\begin{matrix}
\int_0^1 \sqrt{1-x^2} dx 
& = & \int_0^{\pi/2} \sqrt{1-\sin^2 \theta} \cos \theta \, d\theta \\
& = & \int_0^{\pi/2}  \cos^2 \theta \, d\theta \\
& = & \frac{1}{2} \int_0^{\pi/2}  1+ \cos 2\theta \, d\theta \\
& = & \frac{\pi}{4} 
\end{matrix}</math>

被積分関数が&radic;(1+x)/&radic;(1-x)のとき、

:<math>\sqrt{\frac{1+x}{1-x}} = \sqrt{\frac{1+x}{1+x}\frac{1+x}{1-x}}
=\frac{1+x}{\sqrt{1-x^2}} </math>

と変形できます。したがって以下のように置換を行うことができます。

:<math>\begin{matrix}
\int_0^a \frac{1+x}{\sqrt{1-x^2}} dx
& = & \int_0^\alpha \frac{1+\sin \theta}{\cos \theta} \cos \theta \, d\theta
& 0 <a < 1 \\
& = & \int_0^\alpha 1+ \sin \theta \, d\theta & \alpha = \sin^{-1} a \\
& = & \alpha + \left[ - \cos \theta \right]_0^\alpha & \\
& = & \alpha + 1 - \cos \alpha & \\
& = & 1+ \sin^{-1} a - \sqrt{1-a^2} & \\  
\end{matrix}</math>

===正接の置換===
<!--[[Image:Trig_Sub_Triangle_2.png|frame|right|273px|This substitution is easily derived from a triangle, using the [[w:Pythagorean_Theorem|Pythagorean Theorem]].]]-->

被積分関数が<math>\sqrt{a^2+x^2}</math>を含むときには、以下のような置換を行います。
:<math> x = a \tan \theta \quad \sqrt{x^2+a^2} = a \sec \theta \quad 
dx = a \sec^2 \theta d\theta </math>

例：被積分関数が (''x''<sup>2</sup>+''a''<sup>2</sup>)<sup>-3/2</sup>
のとき、この置換により

:<math>\begin{matrix}
\int_0^z \left( x^2+a^2 \right)^{-\frac{3}{2}}dx & = & 
a^{-2} \int_0^\alpha \cos \theta \, d\theta & z>0 \\
& = & a^{-2} \left[ \sin \theta \right]_0^\alpha & \alpha = \tan^{-1} (z/a) \\
& = & a^{-2} \sin \alpha & \\
& = & a^{-2} \frac{z/a}{\sqrt{1+z^2/a^2}} 
& = \frac{1}{a^2} \frac{z}{\sqrt{a^2+z^2}} \\
\end{matrix}</math>

となります。

積分が

:<math>I= \int_0^z \sqrt{x^2+a^2}dx \quad z>0</math>

であるとき、この置換により

:<math>\begin{matrix}
I & = & a^2 \int_0^\alpha \sec^3 \theta \, d\theta 
& & & \alpha = \tan^{-1} (z/a) \\
& = & a^2 \int_0^\alpha \sec \theta \, d\tan \theta & & & \\
& = & a^2 [ \sec \theta \tan \theta ]_0^\alpha & - & 
a^2 \int_0^\alpha \sec \theta \tan^2 \theta \, d\theta & \\
& = & a^2 \sec \alpha \tan \alpha & - 
& a^2 \int_0^\alpha \sec^3 \theta \, d\theta & +
a^2 \int_0^\alpha \sec \theta \, d\theta \\
& = & a^2 \sec \alpha \tan \alpha & -
& I & + a^2 \int_0^\alpha \sec \theta \, d\theta \\
\end{matrix}</math>

となります。

部分積分や三角関数の恒等式を用いて積分をして、元の積分についての式に帰着しました。このような場合には元の積分が一方の辺のみに現れるように整理します。

:<math>\begin{matrix}
I & =  & \frac{1}{2}a^2 \sec \alpha \tan \alpha & 
+ & \frac{1}{2}a^2 \int_0^\alpha \sec \theta \, d\theta \\
& = & \frac{1}{2}a^2 \sec \alpha \tan \alpha & 
+ &  \frac{1}{2}a^2 \left[ \ln \left( \sec \theta 
+ \tan \theta \right) \right]_0^\alpha \\
& = & \frac{1}{2}a^2 \sec \alpha \tan \alpha & 
+ &  \frac{1}{2}a^2 \ln \left( \sec \alpha  + \tan \alpha \right) \\
& = & \frac{1}{2}a^2 \left( \sqrt{1+\frac{z^2}{a^2}} \right) \frac{z}{a} & 
+ & \frac{1}{2}a^2 \ln \left( \sqrt{1+\frac{z^2}{a^2}}+\frac{z}{a} \right) \\
& = & \frac{1}{2}z\sqrt{z^2+a^2} & 
+ & \frac{1}{2}a^2 \ln \left(\frac{z}{a} + \sqrt{1+\frac{z^2}{a^2}} \right) \\
\end{matrix}</math>

被積分関数から予想した通り、この積分値は''z''に対し、およそ''z''<sup>2</sup>/2となります。

===正割の置換===
<!--[[Image:Trig_Sub_Triangle_3.png|frame|right|273px|This substitution is easily derived from a triangle, using the [[w:Pythagorean_Theorem|Pythagorean Theorem]].]]-->

被積分関数が<math>\sqrt{x^2-a^2}</math>の形の因数を持つときには、以下のような代入を行います。

:<math>x = a \sec \theta \quad dx = a \sec \theta \tan \theta d\theta \quad
\sqrt{x^2-a^2} = a \tan \theta</math>

==== 例１ ====
<math>\int_1^z \frac{\sqrt{x^2-1}}{x}dx</math>を求めてみましょう。

<math>\begin{matrix}
\int_1^z \frac{\sqrt{x^2-1}}{x}dx & = & 
\int_1^\alpha \frac{\tan \theta }{\sec \theta }\sec \theta \tan \theta \,d\theta & z>1 \\
& =  & \int_0^\alpha \tan^2 \theta \, d\theta & \alpha = \sec^{-1} z \\
& = & \left[ \tan \theta  -\theta \right]_0^\alpha & 
\tan \alpha = \sqrt{\sec^2 \alpha -1} \\
& =& \tan \alpha  -\alpha & \tan \alpha = \sqrt{z^2-1} \\
& =& \sqrt{z^2-1} - \sec^{-1} z & \\
\end{matrix}</math>

==== 例２ ====
<math>\int_1^z \frac{\sqrt{x^2-1}}{x^2} dx</math>を求めてみましょう。

<math>\begin{matrix}
\int_1^z \frac{\sqrt{x^2-1}}{x^2}dx & = & 
\int_1^\alpha \frac{\tan \theta}{\sec^2 \theta}\sec \theta \tan \theta \, d\theta &
z>1 \\
& =  & \int_0^\alpha \frac{\sin^2 \theta}{\cos \theta} d\theta & 
\alpha = \sec^{-1} z \\
\end{matrix}</math>

これは部分積分により計算可能です。

<math>\begin{matrix}
\int_1^z \frac{\sqrt{x^2-1}}{x^2}dx & = & 
-\left[ \tan \theta \cos \theta \right]_0^\alpha 
+ \int_0^\alpha \sec \theta \, d\theta \\ 
& = & -\sin \alpha  +\left[ \ln (\sec \theta + \tan \theta ) \right]_0^\alpha \\
& = & \ln (\sec \alpha + \tan \alpha ) - \sin \alpha \\
& = & \ln (z+ \sqrt{z^2-1} ) - \frac{\sqrt{z^2-1}}{z}\\
\end{matrix}</math>



==三角関数の積分==

===正弦・余弦の累乗===
ここでは cos<sup>''m''</sup> (''x'')sin<sup>''n''</sup>(''x'') の形をした関数の一般的な積分の求め方を学びます。まず、例を見てみましょう。

:<math>\int (\cos^3{x})(\sin^2{x})\,dx</math>

被積分関数がコサインの奇数乗を含むことに注意してください。そこでこれを書き直すと以下のようになります。

:<math>\int (\cos^2{x})(\sin^2{x}) \cos{x}\,dx</math>

これは、''u'' = sin(''x''), d''u'' = cos(''x'') d''x'' という置換を行うことにより解くことができます。そこで恒等式
:cos(''x'')<sup>2</sup> = 1 - sin<sup>2</sup>(''x'') = 1 - u<sup>2</sup>
を用いることにより、被積分関数全体を''u''で表すことが可能です。したがって
:<math>\begin{matrix}
\int (\cos^3{x})(\sin^2{x})\,dx &=&\int (\cos^2{x})(\sin^2{x}) \cos{x}\,dx\\
&=&\int (1-u^2)u^2\,du\\
&=&\int u^2\,du - \int u^4\,du\\
&=&{1\over 3} u^3+{1\over 5}u^5 + C\\
&=&{1\over 3} \sin^3{x}- {1\over 5} \sin^5{x} + C 
\end{matrix}</math>
となります。

この手法はサインまたはコサインの奇数乗が含まれるのならどのようなときにも有効です。

<blockquote style="background: white; border: 1px solid black; padding: 1em;">
''m''と''n''の'''少なくとも一方が奇数'''のときに<math>\int (\cos^m{x})(\sin^n{x})\,dx</math>を求めるには
*''m''が奇数の場合には ''u''=sin''x'' という置換を行い、恒等式cos<sup>2</sup>''x'' = 1 - sin<sup>2</sup>''x''=1-u<sup>2</sup> を用います。
*''n''が奇数の場合には ''u''=cos''x'' という置換を行い、恒等式sin<sup>2</sup>''x'' = 1 - cos<sup>2</sup>''x''=1-u<sup>2</sup> を用います。
</blockquote>

====例====
<math>\int_0^{\pi/2} \cos^{40}{x}\sin^3{x}\,dx</math>を求めてみましょう。

サインの奇数乗があるので、<math>u=\cos{x},\,du=-\sin{x}\,dx</math>と置換します。ここで、''x''=0 のとき ''u=cos(0)=1''であり、<math>x=\pi/2</math>のとき<math>u = \cos(\pi/2) = 0</math>であることに注意してください。

<math>\begin{matrix}
\int_0^{\pi/2} \cos^{40}(x)\sin^3(x) dx &=&  \int_0^{\pi/2} \cos^{40}(x)\sin^2(x) \sin(x) dx \\ 
&=& -\int_{1}^{0} u^{40} (1-u^2) du \\
&=&\int_{0}^{1} u^{40} (1-u^2) du\\
&=& \int_{0}^{1} u^{40} - u^{42} du \\
&=& [\frac{1}{41}u^{41} - \frac{1}{43}u^{43}]_0^1 \\
&=& \frac{1}{41}-\frac{1}{43}
\end{matrix}
</math>



''m''と''n''の両方が偶数であるときには、話は少し複雑になります。

<blockquote style="background: white; border: 1px solid black; padding: 1em;">
''m''と''n''の'''両方が偶数'''のときに<math>\int (\cos^m{x})(\sin^n{x})\,dx</math>を求めるには

<br>恒等式 sin<sup>2</sup>''x'' = 1/2 (1- cos 2''x'') , cos<sup>2</sup>''x'' = 1/2 (1+ cos 2''x'') を用います。
</blockquote>

====例====
<math>\int \sin^2{x}\cos^4{x}\,dx</math>を求めてみましょう。


sin<sup>2</sup>''x'' = 1/2 (1 - cos2''x''), cos<sup>2</sup>''x'' = 1/2 (1+cos2''x'')であるので、
:<math>
\int \sin^2 x\cos^4 x\,dx = \int \left( {1 \over 2}(1 - \cos 2x) \right)
  \left( {1 \over 2}(1 + \cos 2x) \right)^2 \,dx,
</math>
and expanding, the integrand becomes
:<math>\frac{1}{8} \left(\int 1 - \cos^2 2x + \cos 2x- \cos^3 2x \,dx\right).</math>

倍角の公式より
:<math>\begin{matrix}
I & = & \frac{1}{8} \left( \int 1 \, dx  - \int \cos^2 2x \, dx 
 + \int \cos 2x \,dx  -\int \cos^3 2x \,dx \right) \\ 
& = & \frac{1}{8}  \left( x  - \frac{1}{2} \int (1 + \cos{4x})\,dx 
 + \frac{1}{2}\sin{2x}  -\int \cos^2 2x \cos 2x \,dx\right) \\
& = & \frac{1}{16}  \left( x + \sin{2x} + \int \cos{4x} \,dx   
-2 \int(1-\sin^2 2x)\cos 2x \,dx\right) \\
\end{matrix}</math>

以上より
:<math>I=\frac{x}{16}-\frac{\sin 4x}{64} + \frac{\sin^3 2x }{48}+C </math>
を得ます。

===正接・正割の累乗===
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
<math>\int (\tan^m{x})(\sec^n{x})\,dx</math>を求めるには
#''n''が偶数かつ<math>n \ge 2</math>ならば ''u''=tan''x'' と置換し恒等式 sec<sup>2</sup> ''x'' = 1 + tan<sup>2</sup>''x'' を用います。
#''n''と''m''の両方が奇数ならば ''u''=sec''x'' と置換し恒等式tan<sup>2</sup>''x'' = sec<sup>2</sup>''x''-1 を用います。
#''n''が奇数かつ''m''が偶数ならば恒等式tan<sup>2</sup>''x'' = sec<sup>2</sup>''x''-1を用い、<math>\sec^j{x}\,dx</math>を積分するために換算公式を適用します。
</blockquote>

==== 例１ ====
<math>\int \sec^2{x}\,dx</math>を求めてみましょう。

<math>\sec{x}</math>の偶数乗があります。<math>u=\tan{x}</math>と置換すると、<math>du = \sec^2{x}\,dx</math>となり、

:<math>\int \sec^2{x}\,dx = \int\,du = u + C = \tan{x} + C</math>
が得られます。

==== 例２ ====
<math>\int \tan{x}\,dx</math>を求めてみましょう。

<math>u = \cos{x}</math>と置換すると<math>du = -\sin{x}\,dx</math>となり、

<math>\begin{matrix}
\int \tan x dx &=& \int \frac{\sin x}{\cos x} dx \\
&=& \int \frac{-1}{u} du \\
&=& -\ln |u| + C \\
&=& -\ln |\cos x | + C\\
&=& \ln |\sec x| +C
\end{matrix}</math>

が得られます。

==== 例３ ====
<math>\int \sec{x}\,dx</math>を求めてみましょう。

これを解くための鍵は、以下のように同じものを掛けて割ることです。

<math>\begin{matrix}
\int \sec x dx &=& \int \sec x \frac{\sec x + \tan x}{\sec x + \tan x} dx \\
&=& \int \frac{\sec^2 x + \sec x \tan x}{\sec x+ \tan x}\,dx
\end{matrix}</math>

<math>u = \sec{x} + \tan{x}</math>と置換を行うと、<math>du = (\sec{x}\tan{x} + \sec^2{x})\,dx</math>となり、

<math>\begin{matrix}
\int \sec x dx &=& \int \frac{1}{u} du\\
&=& \ln |u| + C \\
&=& \ln |\sec x + \tan x| + C
\end{matrix}</math>

が得られます。

===更なる三角関数の組合せ===
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
積分<math>\int \sin{nx}\cos{mx}\,dx</math>や<math>\int \sin{nx}\sin{mx}\,dx</math>や<math>\int \cos{nx}\cos{mx}\,dx</math>を求めるためには、恒等式
*<math> \sin{a}\cos{b} = { 1 \over 2}(\sin{(a+b)}+\sin{(a-b)} \, </math>
*<math> \sin{a}\sin{b} = {1\over 2}(\cos{(a-b)}-\cos{(a+b)}) \,</math>
*<math> \cos{a}\cos{b} = {1\over 2}(\cos{(a-b)}+\cos{(a+b)}) \,</math>
を用います。
</blockquote>

==== 例１ ====
<math> \int \sin{3x}\cos{5x}\,dx</math>を求めてみましょう。

ここでは、 sin ''a'' cos ''b''=(1/2)(sin(''a''+''b'')+sin(''a''-''b'')) 、つまり
:<math>\sin{3x}\cos{5x}=(\sin{8x}+\sin{(-2x)})/2 \,</math>
という事実を使うことができます。そこでsin(''x'')の奇関数特性を用いて簡単にすると
:<math>\sin{3x}\cos{5x}=(\sin{8x}-\sin{2x})/2 \,</math>
これを積分することができ、
:<math>\begin{matrix}
\int \sin{3x}\cos{5x}\,dx & = & \frac{1}{2} \int \sin{8x}-\sin{2x}dx \\
& = &  \frac{1}{2}(-\frac{1}{8}\cos{8x}+\frac{1}{2}\cos{2x}) +C \\
\end{matrix}</math>
を得ます。

==== 例２ ====
<math>\int \sin x \sin{2x} \, dx</math>を求めてみましょう。

恒等式
:<math>\sin x \sin 2x= \frac{1}{2} \left( \cos (-x)-\cos (3x) \right)
= \frac{1}{2} (\cos x -\cos 3x).</math>
を用いると
:<math>\begin{matrix} 
\int \sin{x}\sin{2x}\,dx & = & \frac{1}{2} \int (\cos{x}-\cos{3x})\,dx  \\
& = &  \frac{1}{2}(\sin{x}-\frac{1}{3}\sin{3x}) + C
\end{matrix}</math>
を得ます。



==換算公式==
'''換算公式'''とは、ある積分問題をより易しい積分問題、ひいては更に易しい問題を解くことへと帰着させたりする公式のことです。

例えば、
:<math>I_n = \int x^n e^x\,dx</math>
とすると、これは部分積分により
:<math>I_n = x^n e^x - n\int x^{n-1}e^x\,dx =</math>
:<math>I_n = x^ne^x - nI_{n-1} \,\!</math>
と簡単にすることができ、これが求めてたかった換算公式です。ここで
:<math>I_0 = e^x \,\!</math>
であることに注意してください。

同様にして、

:<math>I_n = \int_0^\alpha \sec^n \theta \, d\theta </math>

とすると、部分積分により

:<math>I_n = \sec^{n-2}\alpha \tan \alpha - (n-2)\int_0^\alpha \sec^{n-2} \theta \tan^2 \theta \, d\theta</math>

とすることができ、三角関数の恒等式 tan<sup>2</sup>=sec<sup>2</sup>-1 を用いると、

:<math>\begin{matrix}
I_n & = & \sec^{n-2}\alpha \tan \alpha & 
+ (n-2) \left( \int_0^\alpha \sec^{n-2} \theta \, d\theta
- \int_0^\alpha \sec^n \theta \, d\theta \right) \\
& = & \sec^{n-2}\alpha \tan \alpha & + (n-2) \left( I_{n-2}  - I_n \right) \\
\end{matrix}</math>

と書き直すことができます。さらにこれを整理すると

:<math>I_n=\frac{1}{n-1}\sec^{n-2}\alpha \tan \alpha + \frac{n-2}{n-1} I_{n-2}</math>

となります。ここで、''n''が奇数でも偶数でも、それぞれ''n''=1 または 2 で止めることができることに注意してください。

これら２つの例で見たように、被積分関数が累乗を含む場合には、部分積分により換算公式に帰着可能なことが多くあります。




==正弦・余弦の有理関数==

===正接半角置換===

他の有用な変数変換の一つは、
:<math>t=\tan (x/2) \,</math>
とすることです。この変換により、三角関数の倍角の公式を用いると
:<math>\sin x = \frac{2t}{1+ t^2} \quad \cos x = \frac{1-t^2}{1+t^2} \quad
\tan x = \frac{2t}{1-t^2} \quad dx = \frac{2\,dt}{1+t^2}</math>
となります。この変換により、三角関数の積分は代数の積分に置き換わり、より積分しやすくなります。

例えば、被積分関数が 1/(1+ sin''x'') であるとき、

:<math>\begin{matrix}
\int_0^{\pi/2} \frac{dx}{1 + \sin x} 
& = & \int_0^1 \frac{2dt}{(1+t)^2} \\
& = & \left[ -\frac{2}{1+t} \right]_0^1 \\
& = & 1 \\
\end{matrix}</math>

この手法は、前に説明したように変数変換ににより生じる三角関数の積分をさらに簡単にするのに用いられます。

例えば、積分

:<math>I = \int_{-1}^1 \frac{\sqrt{1-x^2}}{1+x^2}\,dx</math>

を考えるとき、まず ''x'' = sin &theta;, と置換し、

:<math>I = \int_{-\pi/2}^{\pi/2} \frac{ \cos^2 \theta}{1+ \sin^2 \theta} d\theta </math>

とした後に、正接半角置換を用い、

:<math>I = \int_{-1}^1 \frac{(1-t^2)^2}{1+6t^2+t^4}\frac{2dt}{1+t^2}</math>

を得ます。

事実上、元の被積分関数から平方根が取れたことになります。一回の変数変換でも解くことは可能ですが、２つのステップを経ることにより三角関数の積分を別の方法で実行することができます。

これを行った結果、新しい被積分関数を部分分数に分解し、積分することができます。

:<math>\begin{matrix}
I & = & \int_{-1}^1 \frac{2-\sqrt{2}}{t^2+3-\sqrt{8}}dt 
+ \int_{-1}^1 \frac{2+\sqrt{2}}{t^2+3+\sqrt{8}}dt 
- \int_{-1}^1 \frac{2}{1+t^2}dt \\
& = &\frac{4-\sqrt{8}}{\sqrt{3-\sqrt{8}}} \tan^{-1} (\sqrt{3+\sqrt{8}})
+ \frac{4+\sqrt{8}}{\sqrt{3+\sqrt{8}}} \tan^{-1}(\sqrt{3-\sqrt{8}})
- \pi \\ \end{matrix} </math>

この結果は、恒等式

:<math> 3 \pm \sqrt{8}= \left( \sqrt{2} \pm 1 \right)^2 \quad 
\tan  \left( \sqrt{2} \pm 1 \right) = 
\left( \frac{1}{4} \pm \frac{1}{8} \right)\pi </math>

を用いるとさらに簡単にすることができ、結局

:<math>I=(\sqrt{2}-1)\pi \, </math>

となります。

原理的には、このアプローチは、被積分関数が２つの多項式の比をかけたものの平方根であればどのようなものにも使えます。だからと言って、機械的に全ての場合に適用するべきではありません。

最後の例を見てみましょう。以前

:<math>I = \int_{-\pi/2}^{\pi/2} \frac{ \cos^2 \theta}{1+ \sin^2 \theta} d\theta </math>

を演繹により求めました。この関数はcosとsinの偶数乗のみを含むので、倍角の公式を使うことができました。こうすることにより、

:<math>I = \int_{-\pi/2}^{\pi/2} \frac{1+\cos 2\theta}{3 - \cos 2\theta} d\theta
= \frac{1}{2} \int_{-\pi}^\pi  \frac{1+\cos \phi}{3 - \cos \phi} d\phi
</math>

となります。正接半角置換を簡単にした新しい被積分関数に対して行うと

:<math>\begin{matrix}
I & = & \int_{-\infty}^\infty \frac{1}{1+2t^2} \frac{dt}{1+t^2} \\
&= & \int_{-\infty}^\infty \frac{2dt}{1+2t^2} 
- \int_{-\infty}^\infty \frac{dt}{1+t^2} 
\end{matrix}</math>

となり、即座に積分することができます。

:<math>I = \frac{4}{\sqrt{2}}\frac{\pi}{2}-2\frac{\pi}{2} = 
(\sqrt{2}-1) \pi </math>

これは以前と同じ結果ですが、より低い代数学で得られるため、どのような局面でも最も直接的な手法を探るのが一番良いと言えます。

''I''を求めるためのより直接的な方法は、最初から ''t'' = tan''&theta;'' と置換することです。これにより、

:<math>I = \int_{-\infty}^\infty \frac{1}{1+2t^2} \frac{dt}{1+t^2}</math>

が直接求められます。

上記のように、より一般的には、 ''t'' = tan''x'' と置換することにより

:<math>\sin x =\frac{t}{\sqrt{1+t^2}} \quad \cos x = \frac{1}{\sqrt{1+t^2}} \quad
dx=\frac{dt}{1+t^2}</math>

となります。したがって、上記の例のように、置換により被積分関数の全ての平方根が消えるときにはこの置換を使う価値があります。


===相互法===

一般に、
:<math>\int \frac{A + B \cos x + C \sin x}{a + b \cos x + c \sin x} \, dx</math>
のような形をした積分を求めるためには、前述の正接半角置換を直接用いるのはとても冗長です。というのも、分母が４次式となる有理関数に容易に帰着できるからです。そのかわり、まず分子を
:<math>A + B \cos x + C \sin x \equiv p (a + b \cos x + c \sin x) + q \frac{d}{dx} (a + b \cos x + c \sin x) + r</math>
のように表します。すると、この積分は
:<math>\int \left(p+\frac{q \frac{d}{dx} (a + b \cos x + c \sin x)}{a + b \cos x + c \sin x} + \frac{r}{a + b \cos x + c \sin x} \right) \, dx</math>
と表すことができ、ずっと簡単に求められます。

==== 例 ====
<math>\int \frac{\cos x + 2}{\cos x + \sin x} \, dx</math>を求めてみましょう。

:<math>\cos x + 2 \equiv p (\cos x + \sin x) + q \frac{d}{dx} (\cos x + \sin x) + r</math>.

とすると、

:<math>\cos x + 2 \equiv p (\cos x + \sin x) + q (-\sin x + \cos x) + r</math>
:<math>\cos x + 2 \equiv (p+q) \cos x + (p-q) \sin x + r</math>

両辺のcos''x'', sin''x''と定数の係数を比較することにより、

:<math> \left\{\begin{matrix} p+q & = & 1 \\ p-q & = & 0 \\ r & = & 2 \end{matrix} \right.</math>

が得られ、''p'' = ''q'' = 1/2, r = 2 となります。これを被積分関数に代入し直すと、

:<math>\int \frac{\cos x + 2}{\cos x + \sin x} \, dx = \int \frac{1}{2} \, dx + \frac{1}{2} \int \frac{d(\cos x + \sin x)}{\cos x + \sin x} + \int \frac{2}{\cos x + \sin x} \, dx</math>

となりますが、ここで最後の積分は上述の正接半角置換を用いることにより求められ、

:<math>\int \frac{2}{\cos x + \sin x} \, dx = \sqrt{2} \ln \left| \frac{\tan \frac{x}{2} - 1 + \sqrt{2}}{\tan \frac{x}{2} - 1 - \sqrt{2}} \right| + C</math>

を得ます。よって元の積分は

:<math>\int \frac{\cos x + 2}{\cos x + \sin x} \, dx = \frac{x}{2} + \frac{1}{2} \ln |\cos x + \sin x| + \sqrt{2} \ln \left| \frac{\tan \frac{x}{2} - 1 + \sqrt{2}}{\tan \frac{x}{2} - 1 - \sqrt{2}} \right| + C</math>

となります。






==無理関数==
無理関数の積分は有理関数の積分より困難で、多くは計算不可能です。しかし、中には適当な置換により有理関数に帰着できるものもあります。

===タイプ１===
'''被積分関数が'''<math>\sqrt[n]{\frac{ax+b}{cx+d}}</math>'''を含むとき'''

<math>u=\sqrt[n]{\frac{ax+b}{cx+d}}</math>という置換をします。

'''例'''

<math>\int \frac{1}{x} \sqrt[3]{\frac{1-x}{x}} \, dx</math>を求めてみましょう。

 INTEGRLAL OF 'X'DX DIVIDED CUBE ROOT OF aX+b

===タイプ２===
'''積分が'''<math>\int \frac{Px+Q}{\sqrt{ax^2+bx+c}} \, dx</math>'''の形をしているとき'''

<math>Px+Q</math>を<math>Px+ Q = p \frac{d}{dx}(ax^2+bx+c)+q</math>のように表します。

'''例'''

<math>\int \frac{4x-1}{\sqrt{5-4x-x^2}} \, dx</math>を求めてみましょう。

===タイプ３===
'''被積分関数が'''<math>\sqrt{a^2-x^2}</math>, <math>\sqrt{a^2+x^2}</math> または <math>\sqrt{x^2-a^2}</math>'''を含むとき'''

前述の'''三角関数の置換'''で述べました。ここでまとめておきます。

# <math>\sqrt{a^2-x^2}</math>に対しては、<math>x = a \sin \theta</math>と置換します。
# <math>\sqrt{a^2+x^2}</math>に対しては、<math>x = a \tan \theta</math>と置換します。
# <math>\sqrt{x^2-a^2}</math>に対しては、<math>x = a \sec \theta</math>と置換します。

===タイプ４===
'''被積分関数が'''<math>\int \frac{1}{(px+q) \sqrt{ax^2+bx+c}} \, dx</math>'''の形をしているとき'''

<math>u=\frac{1}{px+q}</math>という置換をします。

'''例'''

<math>\int \frac{1}{(1+x)\sqrt{3+6x+x^2}} \, dx</math>を求めてみましょう。

===タイプ５===
'''無理関数'''<math>\sqrt{ax^2+bx+c}</math>'''を含む他の分数式'''

# <math>a>0</math>のときは、<math>u=\sqrt{ax^2+bx+c} \pm \sqrt{a}x</math>と置換します。
# <math>c>0</math>のときは、<math>u=\frac{\sqrt{ax^2+bx+c} \pm \sqrt{c}}{x}</math>と置換します。
# <math>ax^2+bx+c</math>が<math>a(x-\alpha)(x-\beta)</math>と因数分解できるときは、<math>u=\sqrt{\frac{a(x-\alpha)}{x-\beta}}</math>と置換します。
# <math>a<0</math> かつ <math>ax^2+bx+c</math>が<math>-a(\alpha-x)(x-\beta)</math>と因数分解できるときは、<math>x=\alpha\cos^2\theta+\beta\sin^2\theta</math>, <math>/\theta + \beta</math>と置換します。

[[カテゴリ:積分法|きほんてきなせきふん]]