部分分数分解のソースを表示
←
部分分数分解
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{出典の明記|date=2015-07}} {{Expand English|Partial fraction decomposition |date=2024年5月}} [[代数学]]における'''部分分数分解'''（ぶぶんぶんすうぶんかい、{{lang-en-short|partial fraction decomposition}}）とは、[[有理式]]（あるいは分数式ともいう、[[多項式]]の商で表される式のこと）に対し、その有理式の分母が[[互いに素]]な多項式の積で表されるとき、その有理式を多項式と複数の有理式（ただし、分子の次数は分母の次数より小さい）の和で表すことをいう。このとき分解された各々の有理式の分母を通分すれば、当然ながら元の有理式の分母となる。 有理式からその部分分数分解を得ることを 「部分分数に分解する」 と言い回すことがあるが、部分分数という実体があるわけではないことに注意。 ;例： *<math>\frac{1}{x(x+1)}=\frac{1}{x}-\frac{1}{x+1}</math> *<math>\begin{align} \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{align}</math> 有理式の和分や積分においては、部分分数に分解することで計算が楽になることがある。 == 原理 == 以下、多項式 {{math|''h''(''x'')}} に対し、{{math|deg ''h''}} で {{math|''h''(''x'')}} の[[多項式の次数|次数]]を表すことにする。ただし、{{math|''h''(''x'')}} が[[零多項式|多項式として {{math|0}}]] （つまり恒等的に {{math|1=''h''(''x'') = 0}} ）であるなら {{math|1=deg ''h'' := −∞}} とする。 === 除法の原理 === 有理式 {{math|{{sfrac|''f''(''x'')|''g''(''x'')}}}} に対し、{{math2|deg ''f'' ≥ deg ''g''}} ならば、一変数[[多項式環]]の[[除法の原理]]より、 :<math>f(x)=Q(x)g(x)+R(x), \quad \deg R < \deg g</math> となる多項式 {{math2|''Q''(''x''), ''R''(''x'')}} が存在するから、 :<math>\frac{f(x)}{g(x)} = Q(x) + \frac{R(x)}{g(x)}</math> と分解することができる。 === 互除法 === また、一変数多項式環は[[単項イデアル整域]]だから、多項式 {{math|''p''(''x'')}} と {{math|''q''(''x'')}} が[[互いに素]]（つまり共通因数を含まない）ならば {{math2|1=''a''(''x'')''p''(''x'') + ''b''(''x'')''q''(''x'') = 1}} を満たす多項式 {{math2|''a''(''x''), ''b''(''x'')}} が存在する（[[ベズーの等式]]）。したがって、{{math2|1=''g''(''x'') = ''g''{{sub|1}}(''x'')''g''{{sub|2}}(''x'')}} で、{{math2|''g''{{sub|1}}(''x''), ''g''{{sub|2}}(''x'')}} が互いに素ならば :<math>\frac{f(x)}{g(x)} = \frac{\psi_1(x)}{g_1(x)} + \frac{\psi_2(x)}{g_2(x)}</math> と分解される。 === 分母が冪の場合 === また、{{math|''g''(''x'')}} がある多項式の冪になっているとき、それを {{math2|1=''g''(''x'') = (''g''{{sub|0}}(''x'')){{sup|''m''}}}} と書けば、除法の原理より : {{math2|1=''f''(''x'') = ''Q''{{sub|1}}(''x'')(''g''{{sub|0}}(''x'')){{sup|''m''−1}} + ''R''{{sub|1}}(''x''), deg ''R''{{sub|1}} < (''m'' − 1)deg ''g''{{sub|0}}}} となる多項式 {{math|''Q''{{sub|1}}(''x''), ''R''{{sub|1}}(''x'')}} がとれる。この {{math|''R''{{sub|1}}(''x'')}} をさらに {{math2|(''g''{{sub|0}}(''x'')){{sup|''m''−2}}}} で割り算すれば :{{math2|1=''R''{{sub|1}}(''x'') = ''Q''{{sub|2}}(''x'')(''g''{{sub|0}}(''x'')){{sup|''m''−2}} + ''R''{{sub|2}}(''x''), deg ''R''{{sub|2}} < (''m'' − 2)deg ''g''{{sub|0}}}} となり、以下帰納的に :{{math2|1=''R''{{sub|''i''−1}}(''x'') = ''Q{{sub|i}}''(''x'')(''g''{{sub|0}}(''x'')){{sup|''m''−''i''}} + ''R{{sub|i}}''(''x''), deg ''R{{sub|i}}'' < (''m'' − ''i'')deg ''g''{{sub|0}}}} となるものがとれるから、 :<math>\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}</math> が成り立つ。特に、{{math2|deg ''Q{{sub|i}}'' ≤ deg ''R''{{sub|''i''−1}} − (''m'' − ''i'')deg ''g''{{sub|0}} ≤ deg ''g''{{sub|0}}}} となる。 == 複素数係数有理式の分解 == 任意の[[複素数]]係数の一変数有理式は、その[[極 (複素解析)|極]]（つまり分母となる多項式の[[零点]]）が分かれば[[因数定理]]を用いて一次式の積に分解されるから、上で見た三つの原理を使うと、多項式の項以外は、分子が定数で分母が一次式の[[冪]]であるような項からなる部分分数分解をもつことが示せる。 == 実数係数有理式の分解 == 実数係数多項式が虚根を持てばその[[共役複素数|複素共役]]も根であることから、任意の実数係数の一変数多項式は実数の範囲で一次式と二次式の積に分解される。したがって、実数係数の一変数有理式の部分分数分解は、分子が定数で分母が一次式の冪である項と、分子が高々一次式で分母が二次式の冪である項および多項式の項からなる。 == 有理型関数の展開 == 有理式の部分分数分解と同様のことは[[有理型関数]]にも拡張される。一般に有理型関数の極は有限個とは限らないから、この分解は[[無限和]]すなわち、級数への展開となるので、これを'''部分分数への展開'''あるいは'''部分分数展開''' (''partial fraction expansion'') と呼ぶことが多い。 例えば、{{math|1/sin{{sup|2}} ''z''}} は、{{math|sin ''z''}} が整関数であるから、有理型関数である。これは :<math>\frac{1}{\sin^2 z} = \sum_{n=-\infty}^\infty \frac{1}{(z - n\pi)^2} </math> という部分分数に展開される。 == 参考文献 == * {{Cite book |first=B. L. |last=van der Waerden |year=2003 |title=Algebra |chapter=5.10 Partial Fraction Decomposition |chapterurl={{google books|XDN8yR8R1OUC|Algebra|plainurl=yes|page=107}} |url={{google books|XDN8yR8R1OUC|Algebra|plainurl=yes}} |publisher=Springer-Verlag |volume=I |isbn=0-387-40624-7 |ref=harv}} == 関連項目 == * [[分数]] * [[総和]] * [[不定積分]] * [[和分]] * [[ヘヴィサイドの展開定理]] == 外部リンク == * {{高校数学の美しい物語|755|部分分数分解の３通りの方法}} {{Normdaten}} {{DEFAULTSORT:ふふんふんすうふんかい}} [[Category:代数学]] [[Category:数学に関する記事]] [[Category:分数]]
このページで使用されているテンプレート:
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Expand English
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:Math2
(
ソースを閲覧
)
テンプレート:Normdaten
(
ソースを閲覧
)
テンプレート:出典の明記
(
ソースを閲覧
)
テンプレート:高校数学の美しい物語
(
ソースを閲覧
)
部分分数分解
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報