鐵之狂傲

標題: 多項式的因式分解 [列印本頁]

---

作者: 傲月光希    時間: 07-5-12 17:32
標題: 多項式的因式分解
請證明f(x)=1+x+...+x^(p-1)不可以分解成係數在有理數集合中的多項式相乘，其中p為質數。

歡迎大家討論，一段時間我再把我的解法給PO出來。

---

作者: M.N.M.    時間: 07-5-12 20:45
f(x)=x^(p-1)+x^p-2)+...+x+1

=[(x^p)-1]/(p-1)

令x=y+1

[(x^p)-1]/(p-1)

={[(y+1)^2]-1}/(p-1)

={pC0*(y^p)+pC1*[y^(p-1)]+...+pCp*y}/y

=pC0*[y^(p-1)]+pC1*[y^(p-2)]+...+pCp

∵p不能整除pC0，p^2不能整除pCp，其餘係數都能被p整除

∴ 根據艾氏判別法，f(x)=1+x+...+x^(p-1)不可以分解成係數在有理數集合中的多項式相乘，其中p為質數

故得證

[ 本文最後由 M.N.M. 於 07-5-12 08:46 PM 編輯 ]

---

作者: 傲月光希    時間: 07-5-12 21:14

原文由M.N.M. 於 07-5-12 08:45 PM 發表
f(x)=x^(p-1)+x^p-2)+...+x+1

=/(p-1)

令x=y+1

/(p-1)

={-1}/(p-1)

={pC0*(y^p)+pC1*+...+pCp*y}/y

=pC0*+pC1*+...+pCp

∵p不能整除pC0，p^2不能整除pCp，其餘係數都能被p整除

∴ 根據艾氏判別法，f(x)=1+x+...+x^ ...

小M，你用的是Eisenstein Criterion吧?可是，Eisenstien只保證說在Z中不可分喔，你必須要再加上Gauss' Lemma才能說在Q中不可分
Q為Z的field of fractions，所以才能這樣說，懂了嗎?
所以你之前學的艾式判別法都沒有說清楚為什麼在Q中不可分

---

歡迎光臨 鐵之狂傲 (https://www.gamez.com.tw/)