No.5ベストアンサー
- 回答日時:
4/{(x+1)^2(x^2+3)} の部分分数分解を考えるために、
4/(x^2+3) を x=-1 中心にテイラー展開してみます。
4/(x^2+3) は x=-1 で正則だから、展開できて、
4/(x^2+3) = α + β(x-1) + { (x-1)の二次以上の級数 }
となります。これを (x+1)^2 で割ると、
4/{(x+1)^2(x^2+3)} = α/(x-1)^2 + β/(x-1) + { (x-1)の整級数 } ←(*)
となりますね。
最右の { (x-1)の整級数 } が、(x^2+3) を分母に持つので、
同様に (最右項)・{ x-√(-3) } を x=√(-3) 中心にテイラー展開して…
と繰り返せば、最初の式の分母の因子が何個であっても
全て部分分数分解することができます。
係数に虚数が現れるのが嫌いであれば、分解ができてから、
1{ (x-√(-3) } と 1/{ x+√(-3) } を組み合せて、実係数にすればよいです。
(*) の式に α, β が出てくる様子を見れば、
4/{(x+1)^2(x^2+3)}=A/(x+1)^2+B/(x^2+3) ではなく
4/{(x+1)^2(x^2+3)}=A/(x+1)+B/(x+1)^2+(Cx+D)/(x^2+3) であることが
自然に思えるのではないでしょうか。
この回答へのお礼
お礼日時:2011/11/20 18:35
テイラー展開についてはまだ勉強不足のため詳しく知りませんが、かなり参考になりました。感覚的には掴めたので繰り返しで身に付けていこうと思います。回答ありがとうございました。
No.4
- 回答日時:
>4/{(x+1)^2(x^2+3)}=A/(x+1)+B/(x+1)^2+(Cx+D)/(x^2+3) …(★)
と表せるのはなぜですか?
このように分解しないと恒等的に左辺と右辺が等しくならないからです。
両辺に左辺の分母「(x+1)^2*(x^2+3)」を掛けると
4=A(x+1)(x^2+3)+B(x^2+3)+(Cx+D)(x+1)^2
右辺を展開すると
4=(A+C)x^3+(A+B+2C+D)x^2+(3A+C+2D)x+(3A+3B+D)
これが恒等的に成り立つようなA,B,C,Dは一意に決まります。
つまり
A+C=0, A+B+2C+D=0, 3A+C+2D=0, 3A+3B+D=4
未知の定数A,B,C,Dについての4つの方程式が4つあるので、連立方程式として解けば
A=1/2,B=1,C=D=-1/2
とただ1組みのA,B,C,Dが決定出来ます。
このA,B,C,Dの組みを(★)に代入すれば(★)は恒等式になります。
つまり左辺は右辺のように部分分数分解形式に式の変形ができるということです。
>A/(x+1)^2+B/(x^2+3)と表せるのはわかりますが
表せないのに、なぜわかるのですか?
仮に
4/{(x+1)^2(x^2+3)}=A/(x+1)^2+B/(x^2+3) …(■)
が恒等的に成り立つとして、A,Bが求まるでしょうか?
両辺に「(x+1)^2(x^2+3)」を掛けても恒等的成り立つはずだから
4=A(x^2+3)+B(x+1)^2
展開すると
4=(A+B)x^2+2Bx+(3A+B)
これも恒等的成り立つはずだから各次の係数を比較して
A+B=0, 2B=0, 3A+B=4
未知定数A,Bが2つに対して方程式が3つ有り、連立方程式の解が存在しません。
つまり、(■)の部分分数分解の式が間違っていることを意味します。
つまり、2項に部分分数分解するなら
4/{(x+1)^2(x^2+3)}=(Ax+B)/(x+1)^2 +(Cx+D)/(x^2+3) …(◆)
の形式でないといけないです。
分母が2次の場合は分子は1次少ない1次式の「(Ax+B)」や「(Cx+D)」としないといけません。
前の項は
(Ax+B)/(x+1)^2={A(x+1)+(B-A)}/(x+1)^2=A/(x+1)+(B-A)/(x+1)^2
と変形できるので(◆)は(★)の分解式の形式に変形できますね。
No.3
- 回答日時:
No.2
- 回答日時:
そういうもの
と慣れてしまうのが一番現実的なんだけど.
はっきりいってしまえば
積分がしやすいように「こうなったらいいな」的に決めたと
考えるのが納得しやすいかも
A/(x+1)^2+B/(x^2+3)
って変形しても積分が簡単にできる?
最初の項はともかく,B/(x^2+3)は積分できるけど
それほど簡単(なれてれば簡単なんだけど,Arctanがでてきてしまう)ではない
A/(x+1)+B/(x+1)^2+(Cx+D)/(x^2+3)
の形なら簡単にできる.1/xとx^{-2}の積分とf'/f型の積分の和にすぎない
そもそも,もともとの式を
A/(x+1)^2+B/(x^2+3)
ほんとうにこうできる?
これを通分すると分子は
A(x^2+3)+B(x+1)^2 = (A+B)x^2 + 2Bx + 3A+B
だけど
これが 4 になるってことは
A+B=0,2B=0,3A+B=4
だけど,こんなAとBは存在しない
===========
数学的には・・・・
多項式gとhが互いに素であるならば
pg+hq=1
となる多項式pとqが存在するので
(整数のときは「ユークリッドの互除法」で有名だから知ってると思う)
任意の多項式fに大して
(fp)g+(fq)h=f
両辺を gh で割って
f/(gh) = (fp)/h + (fq)/g
これがまず部分分数展開の基本
今回の質問は
f=4,g=(x+1)^2,h=x^2+3
とすることになる.いったん
4/{(x+1)^2(x^2+3)} = P(x)/(x+2)^2 + Q(x)/(x^2+3)
という形に変形することになる.
ここで,PとQは多項式だということに注意.
実際にPとQを計算してみるのはちょっと面倒だけど
存在するということが大事.
次に・・・・
fとgを多項式として,
f/g^n を考える
割り算の原理より
f= pq^{n-1} + q (qの次数はq^{n-1}の次数未満)
つぎに q を g^{n-2} で割れば
q = rq^{n-2} + s (sの次数はq^{n-2}の次数未満)
なる
これを繰り返していけば
f= p1 q^{n-1} + p2 q^{n-2} + ・・・ + pn-1 q + pn
となりこの両辺を g^n でわれば
f/g^n = p1/g + p2/g^2 + ・・・ + pn/g^n
となる
以上を考えれば
4/{(x+1)^2(x^2+3)}=A(x)/(x+1) + B(x)/(x+1)^2 + C(x)/(x^2+3)
という形にできることはわかる
注意は,一般論では分子の次数はそれほど考えてなかったので
このままでは分子は多項式にすぎないということ.
けど,どうして分母がこういう形になるのかは理解できると思う.
分母が g^n の形のときの
分子の次数まで精密に考えるのは
掲示板に書くのが厄介だから
興味があれば自分で考えてみて.
基本的には割り算の余りの次数とか商の次数を
丁寧に考えればいいだけ.
f/gh の形のときの分子の次数を考えるのは
たぶん一般論としては厄介かも.
ユークリッドの互除法の多項式版の証明を丁寧に検証すればできるのかもしれないけど
代数(多項式環)に詳しい人にお任せ
#高木貞治の本(初等整数論講義あたり)とかにでてるのかな。。。部分分数展開
No.1
- 回答日時:
積分できる形になれば、別にどんな形でも構わないと思うのですが・・・
そもそも、
4/{(x+1)^2(x^2+3)}=A/(x+1)^2+B/(x^2+3)
で表現すると、
AとBは原理的には、1次式でなければならないですよね。
A=ax+b
B=cx+d
部分分数に分ける際は、分母の次数よりも分子の次数が小さいはずです。
というわけで、
4/{(x+1)^2(x^2+3)}=A/(x+1)+B/(x+1)^2+(Cx+D)/(x^2+3)
という表現は、一番上の式をさらに分解して、最大限細かくした式になります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 t=tan(x/2)の置換積分について質問です。写真の問題では、(1)でt=tan(x/2)として、 6 2022/11/21 22:59
- 数学 重積分の積分領域について D={(x,y)∈R^2 | 0≦y≦x≦∞} で表される領域で、∫[0→ 3 2023/05/05 23:33
- 数学 数学積分の問題です x=a(t+sint) y=a(1-cost) tは0〜π グラフの形は「ハ」を 3 2022/08/27 12:26
- 数学 積分(面積計算) 計算する面積がX軸より下の場合マイナスをかけますが それはX軸とで囲まれている場合 3 2023/05/02 21:00
- 数学 次の関数を微分せよ y=sin^4 x cos^4 x という問題で自分は積の微分法で微分して y' 3 2023/05/17 20:38
- 数学 積分の問題について 2 2023/04/30 06:05
- 数学 数学3の式と曲線の、媒介変数表示の曲線の問題で、わからない点がございます。 次の媒介変数表示された曲 3 2022/04/21 14:52
- 数学 二重積分 1 2023/01/28 19:51
- 物理学 『数か物か』 4 2022/06/13 06:54
- 数学 『因数に分解するということ』 9 2022/06/27 06:14
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
e^sinXの展開式について。。。
-
斉次とは?(漢字と意味)
-
データのノイズ除去法 - Savitz...
-
約数と因数の違い
-
(x-1)(x-2)(x-3)の展開の...
-
多項式について質問です。 エク...
-
arcsinのマクローリン展開について
-
問題が理解できません
-
組立除法 1次式 ax-k の係数...
-
三乗根を含んだ最小多項式
-
約数と因数の違い(∈N)
-
フルビッツの安定判別法
-
a~2+2a+1の因数は[a+1]だけで...
-
deg f?
-
基本対称式ってなんでしょうか?
-
(X-a)(a+X) を展開するとど...
-
数学 有理式 無理式
-
中三数学 (-5X+1)(5X+1)の答...
-
調和多項式について
-
エルミート補間について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
多項式について質問です。 エク...
-
単項式と分数式の違いについて
-
斉次とは?(漢字と意味)
-
データのノイズ除去法 - Savitz...
-
阪大2014年数学挑戦枠2問からで...
-
余次元って何?
-
(x-1)(x-2)(x-3)の展開の...
-
数学 因数分解 X^3+x^2+x−1 ...
-
(x+y+2z)(2x+3y-z)(4x-y-3z)を...
-
約数と因数の違い(∈N)
-
数を拡張するとはなんですか? ...
-
等差×等比 型の数列の和を求め...
-
arcsinのマクローリン展開について
-
ローラン展開についてです。
-
CRCのアルゴリズムって、どんな...
-
なぜ、2変数以上の多項式を因数...
-
deg f?
-
0は偶関数?
-
原始多項式の求め方
-
テイラー展開の剰余項
おすすめ情報