Twitterを眺めていると、とても楽しいツイートが流れてきました。
部分分数分解のこのテクニックなんだ。
— やまごえ@情数教育 (@awellbottom) 2018年4月23日
知らなかった。 pic.twitter.com/DwfFX3JSB4
部分分数分解のテクニックだそうです。私も知りませんでした!
という多項式の積で書かれた分数を、 を使って以下のように置きます。
この を求めよ、というのが部分分数分解の問題です。
上の式を素朴に計算しようと思うなら、右辺を展開して連立方程式を解いたら良いわけですが、これがなかなか面倒です。
式
となります。左辺と係数比較すると
なる連立方程式が得られます。これを解くと
となり、解が得られた。
これをエレガントに解く方法が冒頭のツイートだったのでした。
どのように計算するかというと
を求めるためには、元の分数の
を隠して、
を代入する
を求めるためには、元の分数の
を隠して、
を代入する
たったこれだけです。簡単でしょう。
実際にやってみると
となり、この を
式に代入すると
となって、あっという間に部分分数分解の答えが求まりました。すごいですね!
なぜこれでうまくいくのか
どうしてこんな方法でうまくいくのか考えてみましょう。
の方で考えます。まず「元の分数の
を隠して」の部分ですが、これは
をかけることに相当します。そこで、式
の両辺に
をかけてみましょう。
ここで、 を代入すると
となり、 だけが取り出せます。
をかけると
の分母が消え、一方で
の分母がキャンセレーションしない、というのがポイントのようですね。
の計算も同様の方法で証明できます。
この方法を使えば、たとえばこんな複雑な部分分数分解も簡単に求まります。
暇な人はやってみてください。
どこまでうまくいくのか
ここで気になるのは、この方法の適用範囲ですね。たとえば、 の部分が
のように次数が
以上の多項式の場合はどうでしょう。
この場合は簡単で、複素数の範囲で因数分解してあげれば良いです。
このようにすれば1次の多項式の積になりますから、同じ方法で部分分数分解が求まります。
あとは、分母の多項式が重解を持つときが気になります。
この場合も、少し手間がかかりますが、似たような方法(2階微分とかが入る)で計算が可能です。
この方向で一般化していくと、以下のブログに書かれた方法に行き着きます。この記事の「補題1」を御覧ください。
integers.hatenablog.com
INTEGERSというブログは、数学の面白いことならほぼ何でも書いてある素敵なブログです。
留数計算に似てる
この方法をみて私が思ったことは「留数計算に似てる」ということでした。実際、まったく等価な方法であることが以下のように示されます。
留数計算とは、複素関数論に出てくる定番の計算です。 に極を持つ関数
を考えて、
の周りの経路
で複素積分することを考えます。

普通に計算しようとすると面倒ですが、実は留数を使って簡単に計算ができるというのが面白いところです。
テイラー展開に「負べきの項」を加えたものがローラン展開ですが、一般に任意の複素関数はローラン展開できます。 が
で
位の極を持つと仮定して、
の周りでローラン展開すると、以下のようになります:
以降の部分がテイラー展開の部分(こういう部分を正則部分といいます)で、
の項が本質的に極に関係する部分です。
の項の係数
を
の留数といいます。
先ほどの積分は、この留数を使って
と簡潔に表せます。
綺麗ですね。これが複素関数論の面白いところです。
この留数の求め方ですが、ローラン展開の式 に対して、
をかけてあげると
という具合に、一個ずつ項がずれます。これに を代入すると、
となり、留数 が取り出せました。
さて、ここで元々の部分分数分解を思い出して欲しいのですが、
これと
これ
は、まったく同じことをやっていますよね。
実際、部分分数分解の方の
は、 で発散しません。つまり、正則関数になっています。ローラン展開で言うところの正則部分になっていたのです。
したがって、テイラー展開できるので、留数計算とまったく同じ計算になるのです。
実際「部分分数展開 ローラン展開」で調べてみると、それらしい記事がたくさん出てきますね。tsujimotterは初めて知ったのですが、この方法自体は定番な方法のようです。
大変勉強になりました。
それでは、今日はこの辺で。