F_n=(a+b+c)^(2n+1)-{a^(2n+1)+b^(2n+1)+c^(2n+1)} の因数分解

質問

F_n=(a+b+c)^(2n+1)-{a^(2n+1)+b^(2n+1)+c^(2n+1)}　
(n=1,2,3,4,5)
を因数分解せよ、という問題なのですが、どすればよいのでしょうか？

なお、答えは、

F_1=3(b+c)(c+a)(a+b)
F_2=5(b+c)(c+a)(a+b)(Σa^2+Σab)
F_3=7(b+c)(c+a)(a+b)(Σa^4+2Σa^3 b+3Σa^2 b^2+5Σa^2 bc)
F_4=3(b+c)(c+a)(a+b)(3Σa^6+9Σa^5 b+19Σa^4 b^2+35Σa^4 bc+23Σa^3 b^3+63Σa^3 b^2 c)
F_5=11(b+c)(c+a)(a+b)(Σa^8+4Σa^7 b+11Σa^6 b^2+21Σa^6 bc+9Σa^5 b^3+54Σa^5 b^2 c+23Σa^4 b^4+84Σa^4 b^3 c+123Σa^4 b^2 c^2+159Σa^3 b^3 c^2)

のようなのですが、(b+c)(c+a)(a+b)を因数に持つことは分かりますが、残りの因数はどうやってもとめるのでしょうか？

一文字を変数と見て、地道に割り算するしかないのでしょうか?
効率的な計算方法はありますでしょうか?

回答No.2

adinat

>>♯1様
Σa^2とはa^2+b^2+c^2、Σabとはab+bc+caのことと解釈するものと思われます。

質問者様．
(a+b)で割るぐらいなら、二項定理を使えば楽に計算できます。F_3ぐらいまではそれで何とかなりました。具体的な等式変形でやるのはかなり困難だと思います。何かよい案が他の回答者様から出るかも知れませんけれど。

恒等式であることを示すだけなら、次のように考えるとよいかと思います。両辺は2n+1次の斉次多項式（2n+1次の単項式のみからなる）であることに気をつけて、a^p b^q c^r (p+q+r=2n+1)の係数を比べるのです。それらがすべて一致すれば両辺が等しいことが示されます。右辺は簡単です。左辺は多項定理（3項定理）を使えば容易でしょう。

何かうまく左辺を変形して右辺に持っていければ気分がいいですが、係数がすごいことになっているので、そういう解法はあまり見通しはよくなさそうです。

インチキですが、計算機にかければすぐに答えが出ます＾＾

お礼

ありがとうございました。