部分分数分解

テンプレート:出典の明記 テンプレート:Expand English 代数学における部分分数分解（ぶぶんぶんすうぶんかい、テンプレート:Lang-en-short）とは、有理式（あるいは分数式ともいう、多項式の商で表される式のこと）に対し、その有理式の分母が互いに素な多項式の積で表されるとき、その有理式を多項式と複数の有理式（ただし、分子の次数は分母の次数より小さい）の和で表すことをいう。このとき分解された各々の有理式の分母を通分すれば、当然ながら元の有理式の分母となる。

有理式からその部分分数分解を得ることを 「部分分数に分解する」 と言い回すことがあるが、部分分数という実体があるわけではないことに注意。

例：

• $\frac{1}{x(x+1)}=\frac{1}{x}-\frac{1}{x+1}$
• $\begin{array}{ccc}\frac{2(x-1)}{x^2(x^2+1)}& =\frac{2}{x}-\frac{2}{x^2}-\frac{2(x-1)}{x^2+1}& (\text{for }x\in ℝ)\\ & =\frac{2}{x}-\frac{2}{x^2}-\frac{1-i}{x+i}-\frac{1+i}{x-i}& (\text{for }x\in ℂ)\end{array}$

有理式の和分や積分においては、部分分数に分解することで計算が楽になることがある。

原理

以下、多項式 テンプレート:Math に対し、テンプレート:Math で テンプレート:Math の次数を表すことにする。ただし、テンプレート:Math が[[零多項式|多項式として テンプレート:Math]] （つまり恒等的に テンプレート:Math ）であるなら テンプレート:Math とする。

除法の原理

有理式 テンプレート:Math に対し、テンプレート:Math2 ならば、一変数多項式環の除法の原理より、

$f(x)=Q(x)g(x)+R(x),\mathrm{deg}R<\mathrm{deg}g$

となる多項式 テンプレート:Math2 が存在するから、

$\frac{f(x)}{g(x)}=Q(x)+\frac{R(x)}{g(x)}$

と分解することができる。

互除法

また、一変数多項式環は単項イデアル整域だから、多項式 テンプレート:Math と テンプレート:Math が互いに素（つまり共通因数を含まない）ならば テンプレート:Math2 を満たす多項式 テンプレート:Math2 が存在する（ベズーの等式）。したがって、テンプレート:Math2 で、テンプレート:Math2 が互いに素ならば

$\frac{f(x)}{g(x)}=\frac{{\psi }_1(x)}{g_1(x)}+\frac{{\psi }_2(x)}{g_2(x)}$

と分解される。

分母が冪の場合

また、テンプレート:Math がある多項式の冪になっているとき、それを テンプレート:Math2 と書けば、除法の原理より

テンプレート:Math2

となる多項式 テンプレート:Math がとれる。この テンプレート:Math をさらに テンプレート:Math2 で割り算すれば

テンプレート:Math2

となり、以下帰納的に

テンプレート:Math2

となるものがとれるから、

$\frac{f(x)}{g(x)}=\sum _{i=1}^{m-1}\frac{Q_i(x)}{(g_0(x){)}^i}+\frac{R_{m-1}(x)}{(g_0(x){)}^m}$

が成り立つ。特に、テンプレート:Math2 となる。

複素数係数有理式の分解

任意の複素数係数の一変数有理式は、その極（つまり分母となる多項式の零点）が分かれば因数定理を用いて一次式の積に分解されるから、上で見た三つの原理を使うと、多項式の項以外は、分子が定数で分母が一次式の冪であるような項からなる部分分数分解をもつことが示せる。

実数係数有理式の分解

実数係数多項式が虚根を持てばその複素共役も根であることから、任意の実数係数の一変数多項式は実数の範囲で一次式と二次式の積に分解される。したがって、実数係数の一変数有理式の部分分数分解は、分子が定数で分母が一次式の冪である項と、分子が高々一次式で分母が二次式の冪である項および多項式の項からなる。

有理型関数の展開

有理式の部分分数分解と同様のことは有理型関数にも拡張される。一般に有理型関数の極は有限個とは限らないから、この分解は無限和すなわち、級数への展開となるので、これを部分分数への展開あるいは部分分数展開 (partial fraction expansion) と呼ぶことが多い。

例えば、テンプレート:Math は、テンプレート:Math が整関数であるから、有理型関数である。これは

$\frac{1}{{\sin }^{2}z}=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\frac{1}{(z-n\pi {)}^2}$

という部分分数に展開される。

参考文献

• テンプレート:Cite book

関連項目

• 分数
• 総和
• 不定積分
• 和分
• ヘヴィサイドの展開定理

外部リンク

• テンプレート:高校数学の美しい物語