まず、例を見てみましょう。
を見つけたいとします。
そのための1つの方法は
![{\displaystyle {3x+1 \over x^{2}+x}={3x+1 \over x(x+1)}={A \over x}+{B \over x+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67e4b356493b069bf2d96ee2d4b7791349ecd53a)
を満たすような定数
を見つけて被積分関数を簡単にすることです。
これはたすき掛けを行い
を解くことによって得られます。両辺は共通の分母を持つので
を解くことになりますが、これが
についての恒等式となるので、
の値に関わらず解を持たなくてはなりません。
を代入すると
を得て、
を
代入すると
となり、
を得ます。このようにして
![{\displaystyle {\frac {3x+1}{x^{2}+x}}={\frac {1}{x}}+{\frac {2}{x+1}}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/18968cb00ec42b08522925e429897bab633b020e)
と変形できることが分かります。
これを元の不定積分に適用すると
|
=
|
|
|
=
|
|
|
となります。
被積分関数を単純な分数の和に書き換えることにより、元の不定積分をより単純な積分の和の形にすることができました。この手法はどのような分数関数の積分にも有効です。
部分分数分解の手順をまとめると、以下のようになります。
- Step 1 除算を実行し
の次数を
より低くする。
- Step 2 可能な限り
を因数分解する。
- Step 3 部分分数分解(以下を参照)の適切な形に書き下し、たすき掛けをして定数を求める。
については、1次因数(
の形)と既約の2次因数(
となるような
の形)の積で表さなければいけません。
因数の中には繰り返して現れるものもあります。例えば、
のとき、
は
![{\displaystyle Q(x)=x(x^{2}-6x+9)=x(x-3)(x-3)=x(x-3)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/168ad4b6b984ce7d18be4ed16a8e25c7eeedf679)
のように因数分解されます。
それぞれの2次因数については、
が成立していることが必要です。さもなければ、その因数はさらに分解可能です。例えば、
ならば、
![{\displaystyle Q(x)=x(x^{2}-3x+2)=x(x-1)(x+2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cabd1a19a04a54016ab1073f29dd042b37acb39)
と表すことが可能です。
次に、
を
または ![{\displaystyle {Ax+B \over (ax^{2}+bx+c)^{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/465c58145b4c5e9bf3c7a4a18ad278ee965ad88a)
の形の項の和で表す方法を示します。
この手順は
の因数分解の結果に依存しますが、ここでは起こり得る4つの場合について見ていきます。
場合(a)
が繰り返し現れることのない1次因数の積のとき
これは
においてどの因数も繰り返されることがなく、他の因数の定数倍でないということを意味します。
それぞれの項は
の形になるので、全体では
![{\displaystyle {P(x) \over Q(x)}={A_{1} \over (a_{1}x+b_{1})}+{A_{2} \over (a_{2}x+b_{2})}+\cdots +{A_{n} \over (a_{n}x+b_{n})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb23bdd8ba75a07cfc7dda78d4ff74a9e67e1d73)
と表すことができます。
を求めてみましょう。
ここで
とすると、
は1次式の積に分解可能なので
![{\displaystyle {\frac {1+x^{2}}{(x+3)(x+5)(x+7)}}={\frac {A}{x+3}}+{\frac {B}{x+5}}+{\frac {C}{x+7}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caa30b638214c97325e0f8789156fb9567666abe)
と表されます。
両辺の分母を払います。
この式において変数xに3つの値を代入することにより、未知の定数に関する3本の方程式が得られます。
よって
となり、
![{\displaystyle {\frac {1+x^{2}}{(x+3)(x+5)(x+7)}}={\frac {5}{4x+12}}-{\frac {13}{2x+10}}+{\frac {25}{4x+28}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4c99b865c9c1f30403f318c8472f8e06317d5c6)
を得ます。以上より左辺を積分することができます。
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aecd168036a9fb51f1dc59ceea2ff8430b291a88)
場合(b)
が1次式の積であり、繰り返し現れる因数があるとき
を因数分解した結果、
がk回現れたとします。このとき
のかわりにより複雑な表現を用います。
を求めてみましょう。
ここで
とすると、
と書け、両辺の分母を払うと
となります。
変数xに3つの値を代入することにより、未知の定数に関する3本の方程式が得られます。
よってA=1, B=-1, C=-1 となるので、
以上より左辺を積分することができます。
![{\displaystyle \int {\frac {1}{(x+1)(x+2)^{2}}}dx=\ln \left|{\frac {x+1}{x+2}}\right|+{\frac {1}{x+2}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbff56e0133b848367276f3b74378e261aa7d958)
場合(c)
が繰り返し現れることのない2次の因数を含むとき
が現れるときは、
を用います。
場合(d)
が繰り返し出現する2次の因数を含むとき
がk回現れた場合には
![{\displaystyle {A_{1}x+B_{1} \over ax^{2}+bx+c}+{A_{2}x+B_{2} \over (ax^{2}+bx+c)^{2}}+{A_{3}x+B_{3} \over (ax^{2}+bx+c)^{3}}+\cdots +{A_{k}x+B_{k} \over (ax^{2}+bx+c)^{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d335d7c47abbf7bc5dc7a18f690273b32db898c)
を用います。
被積分関数が
または
または
の形をした因数をただ一つ持つ場合には、三角関数の置換により積分ができる場合があります。
- 被積分関数が
を含むときは、
とし、恒等式
を用います。
- 被積分関数が
を含むときは、
とし、恒等式
を用います。
- 被積分関数が
を含むときは、
とし、恒等式
を用います。
被積分関数が
を含む場合には、以下のような置換を行います。
![{\displaystyle x=a\sin \theta \quad dx=a\cos \theta d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1720d23068be6ca415036b23d4ea21bae889f1ed)
このようにすることで被積分関数を三角関数に変形できます。変形後の被積分関数がすぐには積分できない場合は、一般に下で述べる正接半角公式を代入すると代数的により扱いやすい被積分関数に変形することができます。
例:被積分関数が√(1-x2)のとき
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df7b9b2c4857a1acce94412237890c83614cc50f)
被積分関数が√(1+x)/√(1-x)のとき、
![{\displaystyle {\sqrt {\frac {1+x}{1-x}}}={\sqrt {{\frac {1+x}{1+x}}{\frac {1+x}{1-x}}}}={\frac {1+x}{\sqrt {1-x^{2}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59ac6412ed3854058333cc3c0af9915b3cf6b220)
と変形できます。したがって以下のように置換を行うことができます。
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59fa51a29ac72e10a9d6d5ff365e8c7d08fdf80b)
被積分関数が
を含むときには、以下のような置換を行います。
![{\displaystyle x=a\tan \theta \quad {\sqrt {x^{2}+a^{2}}}=a\sec \theta \quad dx=a\sec ^{2}\theta d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f552b19ba745802b4d11efbf125e5572ba28cb)
例:被積分関数が (x2+a2)-3/2
のとき、この置換により
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c7368596aac696666d8d9a87b2f62177283599d)
となります。
積分が
![{\displaystyle I=\int _{0}^{z}{\sqrt {x^{2}+a^{2}}}dx\quad z>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c5a7440573ee9616a2578a7a6a805f1afa004f3)
であるとき、この置換により
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/313f2a452d4c096c9221cc6445317c894bb7eec0)
となります。
部分積分や三角関数の恒等式を用いて積分をして、元の積分についての式に帰着しました。このような場合には元の積分が一方の辺のみに現れるように整理します。
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4956a3f8d36b6f4c66300206f532abf27611d64b)
被積分関数から予想した通り、この積分値はzに対し、およそz2/2となります。
被積分関数が
の形の因数を持つときには、以下のような代入を行います。
![{\displaystyle x=a\sec \theta \quad dx=a\sec \theta \tan \theta d\theta \quad {\sqrt {x^{2}-a^{2}}}=a\tan \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/92ff56781d3589d4d487870a36238d00dd8bb39b)
を求めてみましょう。
を求めてみましょう。
これは部分積分により計算可能です。
ここでは cosm (x)sinn(x) の形をした関数の一般的な積分の求め方を学びます。まず、例を見てみましょう。
![{\displaystyle \int (\cos ^{3}{x})(\sin ^{2}{x})\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f74b76f29649bb58505259d5312e6679ce27d25)
被積分関数がコサインの奇数乗を含むことに注意してください。そこでこれを書き直すと以下のようになります。
![{\displaystyle \int (\cos ^{2}{x})(\sin ^{2}{x})\cos {x}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e4c9ca055b013ea024872e3baefbf068318805c)
これは、u = sin(x), du = cos(x) dx という置換を行うことにより解くことができます。そこで恒等式
- cos(x)2 = 1 - sin2(x) = 1 - u2
を用いることにより、被積分関数全体をuで表すことが可能です。したがって
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ff54174cb4b5da9f46eea2d8c698f49e61c3174)
となります。
この手法はサインまたはコサインの奇数乗が含まれるのならどのようなときにも有効です。
mとnの少なくとも一方が奇数のときに
を求めるには
- mが奇数の場合には u=sinx という置換を行い、恒等式cos2x = 1 - sin2x=1-u2 を用います。
- nが奇数の場合には u=cosx という置換を行い、恒等式sin2x = 1 - cos2x=1-u2 を用います。
を求めてみましょう。
サインの奇数乗があるので、
と置換します。ここで、x=0 のとき u=cos(0)=1であり、
のとき
であることに注意してください。
mとnの両方が偶数であるときには、話は少し複雑になります。
mとnの両方が偶数のときに
を求めるには
恒等式 sin2x = 1/2 (1- cos 2x) , cos2x = 1/2 (1+ cos 2x) を用います。
を求めてみましょう。
sin2x = 1/2 (1 - cos2x), cos2x = 1/2 (1+cos2x)であるので、
![{\displaystyle \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,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40653a9c0c3f9cda5e3b32d4ed8bcdefa8d0ce46)
and expanding, the integrand becomes
![{\displaystyle {\frac {1}{8}}\left(\int 1-\cos ^{2}2x+\cos 2x-\cos ^{3}2x\,dx\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a4e9e1db0fa1264660cffca80b0a250cb6cf578)
倍角の公式より
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c0a3b0872d0eb420124f641bf93c872740e889)
以上より
![{\displaystyle I={\frac {x}{16}}-{\frac {\sin 4x}{64}}+{\frac {\sin ^{3}2x}{48}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54bc733bfe4d963fbf5fc1ad2190d5954955b62c)
を得ます。
を求めるには
- nが偶数かつ
ならば u=tanx と置換し恒等式 sec2 x = 1 + tan2x を用います。
- nとmの両方が奇数ならば u=secx と置換し恒等式tan2x = sec2x-1 を用います。
- nが奇数かつmが偶数ならば恒等式tan2x = sec2x-1を用い、
を積分するために換算公式を適用します。
を求めてみましょう。
の偶数乗があります。
と置換すると、
となり、
![{\displaystyle \int \sec ^{2}{x}\,dx=\int \,du=u+C=\tan {x}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e1ff7e384c58fa547b749babe7498f2e75d2ec4)
が得られます。
を求めてみましょう。
と置換すると
となり、
が得られます。
を求めてみましょう。
これを解くための鍵は、以下のように同じものを掛けて割ることです。
と置換を行うと、
となり、
が得られます。
積分
や
や
を求めるためには、恒等式
![{\displaystyle \sin {a}\cos {b}={1 \over 2}(\sin {(a+b)}+\sin {(a-b)}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38e4649a61e125acc4e397306d07d9168a8deb35)
![{\displaystyle \sin {a}\sin {b}={1 \over 2}(\cos {(a-b)}-\cos {(a+b)})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a14e01ab3f348b6b9dd6ef4b4546d76273b4d8b)
![{\displaystyle \cos {a}\cos {b}={1 \over 2}(\cos {(a-b)}+\cos {(a+b)})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da588637d9eced3b9e6de129323d3d9bf53708e5)
を用います。
を求めてみましょう。
ここでは、 sin a cos b=(1/2)(sin(a+b)+sin(a-b)) 、つまり
![{\displaystyle \sin {3x}\cos {5x}=(\sin {8x}+\sin {(-2x)})/2\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e939a6ef7ecc2670749e36ec90bdb8d14d2c6e20)
という事実を使うことができます。そこでsin(x)の奇関数特性を用いて簡単にすると
![{\displaystyle \sin {3x}\cos {5x}=(\sin {8x}-\sin {2x})/2\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d259b8909146c49459a66b747c52868b20862a16)
これを積分することができ、
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec736128e16a3e76696156bff52e7247d405af27)
を得ます。
を求めてみましょう。
恒等式
![{\displaystyle \sin x\sin 2x={\frac {1}{2}}\left(\cos(-x)-\cos(3x)\right)={\frac {1}{2}}(\cos x-\cos 3x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1ec91f89a99baaa07e1acf6cb72ea27eb25ceb1)
を用いると
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df528f2b32792e6750a788d77b9a87e54f2c3051)
を得ます。
換算公式とは、ある積分問題をより易しい積分問題、ひいては更に易しい問題を解くことへと帰着させたりする公式のことです。
例えば、
![{\displaystyle I_{n}=\int x^{n}e^{x}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/747796c3c97ccfd936fa935e77075c7f58b08945)
とすると、これは部分積分により
![{\displaystyle I_{n}=x^{n}e^{x}-n\int x^{n-1}e^{x}\,dx=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01ab01b318eaa0ab617c361baf9bb804c2b72b24)
![{\displaystyle I_{n}=x^{n}e^{x}-nI_{n-1}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1f227b975e0c06d8a15a8a5fee75750e2a9e966)
と簡単にすることができ、これが求めてたかった換算公式です。ここで
![{\displaystyle I_{0}=e^{x}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1cbc5fd8d82f8b79d942d6b30a4649b39bd954b)
であることに注意してください。
同様にして、
![{\displaystyle I_{n}=\int _{0}^{\alpha }\sec ^{n}\theta \,d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a55ec0ec26f20ca45debbb90dfccaee9d262b55b)
とすると、部分積分により
![{\displaystyle I_{n}=\sec ^{n-2}\alpha \tan \alpha -(n-2)\int _{0}^{\alpha }\sec ^{n-2}\theta \tan ^{2}\theta \,d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e7eb3dd9eaf24fde2f0810d33d659922d5902f1)
とすることができ、三角関数の恒等式 tan2=sec2-1 を用いると、
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2839f206f61e889a6a32763ebcd05580a9b6d74b)
と書き直すことができます。さらにこれを整理すると
![{\displaystyle I_{n}={\frac {1}{n-1}}\sec ^{n-2}\alpha \tan \alpha +{\frac {n-2}{n-1}}I_{n-2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b07780c70f8de5709cdc0fafe9b7814787ee1918)
となります。ここで、nが奇数でも偶数でも、それぞれn=1 または 2 で止めることができることに注意してください。
これら2つの例で見たように、被積分関数が累乗を含む場合には、部分積分により換算公式に帰着可能なことが多くあります。
他の有用な変数変換の一つは、
![{\displaystyle t=\tan(x/2)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f1dd752d52f725a7dcf947a3f538974340c75db)
とすることです。この変換により、三角関数の倍角の公式を用いると
![{\displaystyle \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}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/576ee92030c92b31e435a1260788c6dea3480a2d)
となります。この変換により、三角関数の積分は代数の積分に置き換わり、より積分しやすくなります。
例えば、被積分関数が 1/(1+ sinx) であるとき、
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fdb0132f635c900591dfac586f3312449705cb4)
この手法は、前に説明したように変数変換ににより生じる三角関数の積分をさらに簡単にするのに用いられます。
例えば、積分
![{\displaystyle I=\int _{-1}^{1}{\frac {\sqrt {1-x^{2}}}{1+x^{2}}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfa8ae86c19be44126bf85cc3d177e1cafc03bba)
を考えるとき、まず x = sin θ, と置換し、
![{\displaystyle I=\int _{-\pi /2}^{\pi /2}{\frac {\cos ^{2}\theta }{1+\sin ^{2}\theta }}d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/94999232e1eee9f8ea79b4272cd1ba46181d9e10)
とした後に、正接半角置換を用い、
![{\displaystyle I=\int _{-1}^{1}{\frac {(1-t^{2})^{2}}{1+6t^{2}+t^{4}}}{\frac {2dt}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/609e4a7c18cf3d791991dae4b3a70719187213db)
を得ます。
事実上、元の被積分関数から平方根が取れたことになります。一回の変数変換でも解くことは可能ですが、2つのステップを経ることにより三角関数の積分を別の方法で実行することができます。
これを行った結果、新しい被積分関数を部分分数に分解し、積分することができます。
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5135858f0ed8a81774b9f5429fe817bc53a33786)
この結果は、恒等式
![{\displaystyle 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 }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddc6e8720bcf56f33d5fb5c496caa59b5e783ce8)
を用いるとさらに簡単にすることができ、結局
![{\displaystyle I=({\sqrt {2}}-1)\pi \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8263d47c0bc9ee43650811f3ff3bb1cfb84540a5)
となります。
原理的には、このアプローチは、被積分関数が2つの多項式の比をかけたものの平方根であればどのようなものにも使えます。だからと言って、機械的に全ての場合に適用するべきではありません。
最後の例を見てみましょう。以前
![{\displaystyle I=\int _{-\pi /2}^{\pi /2}{\frac {\cos ^{2}\theta }{1+\sin ^{2}\theta }}d\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/94999232e1eee9f8ea79b4272cd1ba46181d9e10)
を演繹により求めました。この関数はcosとsinの偶数乗のみを含むので、倍角の公式を使うことができました。こうすることにより、
![{\displaystyle 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 }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f829ddd832f5ed404ab022b958c65a87aa5ae9f3)
となります。正接半角置換を簡単にした新しい被積分関数に対して行うと
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/984af90472013bc38888b0818675fefc8d306715)
となり、即座に積分することができます。
![{\displaystyle I={\frac {4}{\sqrt {2}}}{\frac {\pi }{2}}-2{\frac {\pi }{2}}=({\sqrt {2}}-1)\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/78b8fe950d74ec9a069f7e641cb5518b8aaf61ae)
これは以前と同じ結果ですが、より低い代数学で得られるため、どのような局面でも最も直接的な手法を探るのが一番良いと言えます。
Iを求めるためのより直接的な方法は、最初から t = tanθ と置換することです。これにより、
![{\displaystyle I=\int _{-\infty }^{\infty }{\frac {1}{1+2t^{2}}}{\frac {dt}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1524e8be77baee67786b4599e64743b86078334d)
が直接求められます。
上記のように、より一般的には、 t = tanx と置換することにより
![{\displaystyle \sin x={\frac {t}{\sqrt {1+t^{2}}}}\quad \cos x={\frac {1}{\sqrt {1+t^{2}}}}\quad dx={\frac {dt}{1+t^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63b06c48cf645e83b81ff32637e67536b8141033)
となります。したがって、上記の例のように、置換により被積分関数の全ての平方根が消えるときにはこの置換を使う価値があります。
一般に、
![{\displaystyle \int {\frac {A+B\cos x+C\sin x}{a+b\cos x+c\sin x}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cab7cd427ece3696de7669fc212af476bb4218fd)
のような形をした積分を求めるためには、前述の正接半角置換を直接用いるのはとても冗長です。というのも、分母が4次式となる有理関数に容易に帰着できるからです。そのかわり、まず分子を
![{\displaystyle 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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d114e241a1093277ba301521339357755664ede)
のように表します。すると、この積分は
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7a22a34213955a4997a35b4de6a483179157d4)
と表すことができ、ずっと簡単に求められます。
を求めてみましょう。
.
とすると、
![{\displaystyle \cos x+2\equiv p(\cos x+\sin x)+q(-\sin x+\cos x)+r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56f77ff5c84f6f987429f9c99e77d10ca9ba6668)
![{\displaystyle \cos x+2\equiv (p+q)\cos x+(p-q)\sin x+r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76b58fc4326efc2588c1e8a5ba22ce62fe850c28)
両辺のcosx, sinxと定数の係数を比較することにより、
![{\displaystyle \left\{{\begin{matrix}p+q&=&1\\p-q&=&0\\r&=&2\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcb341b57ba636a20e5288a5998fb602fd44623d)
が得られ、p = q = 1/2, r = 2 となります。これを被積分関数に代入し直すと、
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f7d0d7b05c5a1077850a89a02bd66276cda95bf)
となりますが、ここで最後の積分は上述の正接半角置換を用いることにより求められ、
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2317056b73370a7b144532193c791b3fd669c171)
を得ます。よって元の積分は
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7509788f7eec7588be47dc0b9410313b27bf7243)
となります。
無理関数の積分は有理関数の積分より困難で、多くは計算不可能です。しかし、中には適当な置換により有理関数に帰着できるものもあります。
被積分関数が
を含むとき
という置換をします。
例
を求めてみましょう。
INTEGRLAL OF 'X'DX DIVIDED CUBE ROOT OF aX+b
積分が
の形をしているとき
を
のように表します。
例
を求めてみましょう。
被積分関数が
,
または
を含むとき
前述の三角関数の置換で述べました。ここでまとめておきます。
に対しては、
と置換します。
に対しては、
と置換します。
に対しては、
と置換します。
被積分関数が
の形をしているとき
という置換をします。
例
を求めてみましょう。
無理関数
を含む他の分数式
のときは、
と置換します。
のときは、
と置換します。
が
と因数分解できるときは、
と置換します。
かつ
が
と因数分解できるときは、
,
と置換します。