平方完成を用いた有理関数の積分
区間上に定義された有理関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)がそれぞれの\(x\in I\)に対して定める値が、多項式関数\begin{eqnarray*}g &:&\mathbb{R} \supset I\rightarrow \mathbb{R} \\
h &:&\mathbb{R} \supset I\rightarrow \mathbb{R} \backslash \left\{ 0\right\}
\end{eqnarray*}を用いて、\begin{equation*}
f\left( x\right) =\frac{g\left( x\right) }{h\left( x\right) }
\end{equation*}と表されるということです。有理関数は連続であるため原始関数と不定積分が存在することが保証されるとともに両者は一致します。ただ、有理関数をそのままの形で積分するのは容易ではありません。
有理関数\(\frac{g\left( x\right) }{h\left( x\right) }\)の分母を構成する多項式関数\(h\left( x\right) \)が因数分解可能である場合には部分分数分解を行うことにより有理関数を積分できることを明らかにしました。具体例を通じて簡単に復習します。
\int \frac{1}{x^{2}-5x+6}dx
\end{equation*}を求めます。分母の多項式関数を因数分解すると、\begin{equation}
\frac{1}{x^{2}-5x+6}=\frac{1}{\left( x-2\right) \left( x-3\right) } \quad \cdots (1)
\end{equation}となります。そこで、\begin{equation}
\frac{1}{\left( x-2\right) \left( x-3\right) }=\frac{A}{x-2}+\frac{B}{x-3}
\quad \cdots (2)
\end{equation}とおいた上で、両辺に\(\left( x-2\right) \left( x-3\right) \)を掛けると、\begin{equation*}1=A\left( x-3\right) +B\left( x-2\right)
\end{equation*}すなわち、\begin{equation*}
1=\left( A+B\right) x-3A-2B
\end{equation*}となります。係数を比較すると、\begin{eqnarray*}
A+B &=&0 \\
-3A-2B &=&1
\end{eqnarray*}となるため、これを解くことにより、\begin{eqnarray*}
A &=&-1 \\
B &=&1
\end{eqnarray*}を得ます。以上より、\begin{eqnarray*}
\frac{1}{x^{2}-5x+6} &=&\frac{1}{\left( x-2\right) \left( x-3\right) }\quad
\because \left( 1\right) \\
&=&\frac{A}{x-2}+\frac{B}{x-3}\quad \because \left( 2\right) \\
&=&-\frac{1}{x-2}+\frac{1}{x-3}
\end{eqnarray*}という形で部分分数分解できることが明らかになりました。したがって、\begin{eqnarray*}
\int \frac{1}{x^{2}-5x+6}dx &=&\int \left( -\frac{1}{x-2}+\frac{1}{x-3}\right) dx \\
&=&-\int \frac{1}{x-2}dx+\int \frac{1}{x-3}dx \\
&=&-\ln \left( \left\vert x-2\right\vert \right) +\ln \left( \left\vert
x-3\right\vert \right) +C \\
&=&\ln \left( \frac{\left\vert x-3\right\vert }{\left\vert x-2\right\vert }\right) +C \\
&=&\ln \left( \left\vert \frac{x-3}{x-2}\right\vert \right) +C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
有理関数\(\frac{g\left( x\right) }{h\left( x\right) }\)の分母を構成する多項式関数\(h\left( x\right) \)はできるとは限らず、その場合には部分分数分解を用いた手法を利用できません。
\int \frac{1}{x^{2}+4x+7}dx
\end{equation*}を求めます。分母の多項式関数から定義される方程式\begin{equation*}
x^{2}+4x+7=0
\end{equation*}の解は、\begin{equation*}
x=-2\pm \sqrt{3}i
\end{equation*}であり、これは虚数解です。したがって\(x^{2}+4x+7\)を実数係数の範囲で因数分解できないため、部分分数分解を用いた手法を利用できません。
定数\(a\in \mathbb{R} \)および非ゼロの定数\(b\in \mathbb{R} \backslash \left\{ 0\right\} \)が与えられたとき、\begin{eqnarray*}\frac{d}{dx}\frac{1}{b}\arctan \left( \frac{x+a}{b}\right) &=&\frac{1}{b}\cdot \frac{d}{dx}\arctan \left( \frac{x+a}{b}\right) \\
&=&\frac{1}{b}\cdot \left. \frac{d}{dx}\arctan \left( y\right) \right\vert
_{y=\frac{x+a}{b}}\cdot \frac{d}{dx}\frac{x+a}{b}\quad \because \text{合成関数の微分} \\
&=&\frac{1}{b}\cdot \left. \frac{1}{1+y^{2}}\right\vert _{y=\frac{x+a}{b}}\cdot \frac{1}{b} \\
&=&\frac{1}{b}\cdot \frac{1}{1+\left( \frac{x+a}{b}\right) ^{2}}\cdot \frac{1}{b} \\
&=&\frac{1}{b^{2}}\cdot \frac{1}{\frac{b^{2}+\left( x+a\right) ^{2}}{b^{2}}}
\\
&=&\frac{1}{\left( x+a\right) ^{2}+b^{2}}
\end{eqnarray*}すなわち、\begin{equation*}
\frac{d}{dx}\frac{1}{b}\arctan \left( \frac{x+a}{b}\right) =\frac{1}{\left(
x+a\right) ^{2}+b^{2}}
\end{equation*}が成り立つことを踏まえると、\begin{equation}
\int \frac{1}{\left( x+a\right) ^{2}+b^{2}}dx=\frac{1}{b}\arctan \left(
\frac{x+a}{b}\right) +C \quad \cdots (1)
\end{equation}を得ます。
有理関数\(\frac{g\left( x\right) }{h\left( x\right) }\)の分子を構成する多項式関数\(g\left( x\right) \)が定数関数であるものとします。つまり、定数\(c\in \mathbb{R} \)が存在して、\begin{equation}\frac{g\left( x\right) }{h\left( x\right) }=\frac{c}{h\left( x\right) }
\quad \cdots (2)
\end{equation}と表すことができるということです。\(h\left(x\right) \)を因数分解できない場合には部分因数分解を利用できません。しかし、\(h\left( x\right) \)を平方完成できる場合には、\begin{equation}\frac{c}{h\left( x\right) }=\frac{c}{\left( x+a\right) ^{2}+b^{2}} \quad \cdots (3)
\end{equation}となるため、\begin{eqnarray*}
\int \frac{g\left( x\right) }{h\left( x\right) }dx &=&\int \frac{c}{h\left(
x\right) }dx\quad \because \left( 2\right) \\
&=&\int \frac{c}{\left( x+a\right) ^{2}+b^{2}}dx\quad \because \left(
3\right) \\
&=&c\int \frac{c}{\left( x+a\right) ^{2}+b^{2}}dx \\
&=&c\cdot \frac{1}{b}\arctan \left( \frac{x+a}{b}\right) +C\quad \because
\left( 1\right)
\end{eqnarray*}となり、多項式関数の積分が完了します。ただし、\(C\)は積分定数です。
\int \frac{1}{x^{2}+4x+7}dx
\end{equation*}を求めます。先に示したように分母の多項式関数\(x^{2}+4x+7\)は実数係数の範囲で因数分解できません。そこで、平方完成する方針へ切り替えると、\begin{eqnarray*}\int \frac{1}{x^{2}+4x+7}dx &=&\int \frac{1}{\left( x+2\right) ^{2}+3}dx \\
&=&\int \frac{1}{\left( x+2\right) ^{2}+\left( \sqrt{3}\right) ^{2}}dx \\
&=&\frac{1}{\sqrt{3}}\arctan \left( \frac{x+2}{\sqrt{3}}\right) +C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
対数関数を用いた手法との併用
対数関数を用いた手法と平方完成を用いた手法を併用することもできます。
\int \frac{2x+3}{x^{2}-2x+4}dx
\end{equation*}を求めます。分母の多項式関数から定義される方程式\begin{equation*}
x^{2}-2x+4=0
\end{equation*}の解は、\begin{equation*}
x=1\pm \sqrt{3}i
\end{equation*}ですが、これは虚数解であるため先の方程式を実数係数の範囲で因数分解できません。そこで、平方完成を用いる手法へ切り替えたいところですが、分子の多項式関数\(2x+3\)は定数関数ではありません。対数関数を用いる手法を見据えて変形すると、\begin{eqnarray*}&&\int \frac{2x+3}{x^{2}-2x+4}dx \\
&=&\int \frac{\left( 2x-2\right) +5}{x^{2}-2x+4}dx \\
&=&\int \frac{2x-2}{x^{2}-2x+4}dx+\int \frac{5}{x^{2}-2x+4}dx \\
&=&\int \frac{\left( x^{2}-2x+4\right) ^{\prime }}{x^{2}-2x+4}dx+5\int \frac{1}{x^{2}-2x+4}dx \\
&=&\ln \left( \left\vert x^{2}-2x+4\right\vert \right) +5\int \frac{1}{x^{2}-2x+4}dx+C \\
&=&\ln \left( x^{2}-2x+4\right) +5\int \frac{1}{x^{2}-2x+4}dx+C\quad
\because x^{2}-2x+4=\left( x-1\right) ^{2}+3>0
\end{eqnarray*}すなわち、\begin{equation}
\int \frac{2x+3}{x^{2}-2x+4}dx=\ln \left( x^{2}-2x+4\right) +5\int \frac{1}{x^{2}-2x+4}dx+C \quad \cdots (1)
\end{equation}となります。残りの項に対して平方完成を用いる手法を適用すると、\begin{eqnarray*}
\int \frac{1}{x^{2}-2x+4}dx &=&\int \frac{1}{\left( x-1\right) ^{2}+3}dx \\
&=&\int \frac{1}{\left( x-1\right) ^{2}+\left( \sqrt{3}\right) ^{2}}dx \\
&=&\frac{1}{\sqrt{3}}\arctan \left( \frac{x+1}{\sqrt{3}}\right) +C
\end{eqnarray*}すなわち、\begin{equation}
\int \frac{1}{x^{2}-2x+4}dx=\frac{1}{\sqrt{3}}\arctan \left( \frac{x+1}{\sqrt{3}}\right) +C \quad \cdots (2)
\end{equation}となります。したがって、\begin{eqnarray*}
\int \frac{2x+3}{x^{2}-2x+4}dx &=&\ln \left( x^{2}-2x+4\right) +5\int \frac{1}{x^{2}-2x+4}dx+C\quad \because \left( 1\right) \\
&=&\ln \left( x^{2}-2x+4\right) +\frac{5}{\sqrt{3}}\arctan \left( \frac{x+1}{\sqrt{3}}\right) +C\quad \because \left( 2\right)
\end{eqnarray*}となります。
演習問題
\int \frac{4}{x^{2}+2x+5}dx
\end{equation*}を求めてください。
\int \frac{x+3}{x^{2}+2x+5}dx
\end{equation*}を求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】