部分分数分解

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "部分分数分解" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年7月)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Partial fraction decomposition|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

代数学における部分分数分解（ぶぶんぶんすうぶんかい、英: partial fraction decomposition）とは、有理式（あるいは分数式ともいう、多項式の商で表される式のこと）に対し、その有理式の分母が互いに素な多項式の積で表されるとき、その有理式を多項式と複数の有理式（ただし、分子の次数は分母の次数より小さい）の和で表すことをいう。このとき分解された各々の有理式の分母を通分すれば、当然ながら元の有理式の分母となる。

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

例：

• ${\displaystyle {\frac {1}{x(x+1)}}={\frac {1}{x}}-{\frac {1}{x+1}}}$
• ${\displaystyle {\begin{aligned}{\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 \mathbb {R} )\\&={\frac {2}{x}}-{\frac {2}{x^{2}}}-{\frac {1-i}{x+i}}-{\frac {1+i}{x-i}}&({\text{for }}x\in \mathbb {C} )\end{aligned}}}$

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

以下、多項式 h(x) に対し、deg h で h(x) の次数を表すことにする。ただし、h(x) が多項式として 0 （つまり恒等的に h(x) = 0 ）であるなら deg h := −∞ とする。

有理式 f(x)/g(x) に対し、deg f ≥ deg g ならば、一変数多項式環の除法の原理より、

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

となる多項式 Q(x), R(x) が存在するから、

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

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

また、一変数多項式環は単項イデアル整域だから、多項式 p(x) と q(x) が互いに素（つまり共通因数を含まない）ならば a(x)p(x) + b(x)q(x) = 1 を満たす多項式 a(x), b(x) が存在する（ベズーの等式）。したがって、g(x) = g₁(x)g₂(x) で、g₁(x), g₂(x) が互いに素ならば

${\displaystyle {\frac {f(x)}{g(x)}}={\frac {\psi _{1}(x)}{g_{1}(x)}}+{\frac {\psi _{2}(x)}{g_{2}(x)}}}$

と分解される。

また、g(x) がある多項式の冪になっているとき、それを g(x) = (g₀(x))^m と書けば、除法の原理より

f(x) = Q₁(x)(g₀(x))^m−1 + R₁(x), deg R₁ < (m − 1)deg g₀

となる多項式 Q₁(x), R₁(x) がとれる。この R₁(x) をさらに (g₀(x))^m−2 で割り算すれば

R₁(x) = Q₂(x)(g₀(x))^m−2 + R₂(x), deg R₂ < (m − 2)deg g₀

となり、以下帰納的に

R_i−1(x) = Q_i(x)(g₀(x))^m−i + R_i(x), deg R_i < (m − i)deg g₀

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

${\displaystyle {\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}}}}$

が成り立つ。特に、deg Q_i ≤ deg R_i−1 − (m − i)deg g₀ ≤ deg g₀ となる。

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

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

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

例えば、1/sin² z は、sin z が整関数であるから、有理型関数である。これは

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

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

• van der Waerden, B. L. (2003). “5.10 Partial Fraction Decomposition”. Algebra. I. Springer-Verlag. ISBN 0-387-40624-7. https://books.google.co.jp/books?id=XDN8yR8R1OUC&pg=PA107 

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

• 『部分分数分解の３通りの方法』 - 高校数学の美しい物語