整系数多项式的因式分解问题

1 整系数多项式的因式分解问题 摘要：多项式理论是高等代数与解析几何的重要内容，是进一步学习代数学及其他数学分支的必要基础。多项式理论是整个高等代数与解析几何课程中一个相对独立而自成体系的部分，它不以高等代数与解析几何的其他章节的内容为基础，但却为高等代数与解析几何的其他部分提供理论依据。本文主要讨论整系数多项式的基本概念与性质，多项式的根及其值，和在有理数域上的因式分解问题。

关键词：多项式；因式分解；Eisenstein判断法；多项式的根；有理数域。 引言：在Q上讨论多项式的因式分解问题，我们已经论证了在有理数域Q上和在整数环Z上其可约性是一致的，即在整数环Z上若

)()()(xhxgxf （1） 当然可以看成有理数域Q上的多项式分解结果。反过来，（1）式中)(xf为整系数多项式，而)()(xhxg、是有理数域Q上的多项式，那么通过)()(xhxg、的系数处理可以使其成为整系数多项

式)()(11xhxg、，满足 )()()(11xhxgxf，

因此在Q上讨论因式分解问题往往给出的只是整数环Z上的多项式。

一.Eisenstein判断法的研究 此处介绍判断整系数多项式可约性的如下方法： 定理1.1 设

0111)(axaxaxaxfnnnn 是一个整系数多项式，若是能够找到一个素数p。使

1）最高次项系数na不能被p整除； 2）其余各项的系数都能被p整除； 3）常数项0a不能2p整除，

那么多项式)(xf在有理数域不可约。 这一方法叫做Eisenstein判断法。在判断一些多项式可约性及诸如无理数判断有其直接作用。 例1. 存在有理数域上的任意次不可约多项式。 事实上，下列整系数多项式

2)(nxxf 不论其n取任意正整数，都存在素数p=2满足Eisenstein判断法的条件。 2

例2. 证明2是无理数。 （2） 上述（2）中取n=2，若2是有理数，则2x2在Q上可约，与Eisenstein判断结果矛盾。 由此，我们可以判断以下数均为无理数

,732,532,72,52,32,732,532,72,52,32,7,5,3,2,7,5,3,2,7,5,3,2

3333344443333

一般地，n21tppp(其中tppp,,,21为互不相同的素数）均为无理数。事实上 tnpppxxf21)(

由Eisenstein判断法可知不可约，若n21tppp为无理数，则多项式可约，矛盾。 Eisenstein判别法为我们判断一个多项式是否不可约提供一种手段，但它并非是多项式不可约的必要条，事实上可以用Eisenstein判断法判断其不可约的多项式并不是很多，经行适当研究可以进一步发挥Eisenstein判断法的作用。

关于变换的问题 例3. 设p为一素数，多项式 1)(21xxxxfpp

叫做分圆多项式，试证明)(xf在有理数域上不可约。 直接用Eisenstein判断法难以找到一个素数，而令1yx，那么 1)1()1()1()()1()(21yyyygyfxfpp 由于 1)()1(pxxfx 即 yCyCyCyyyygpppppppp122111)1()( 3

于是得到 1211)(pppppCyCyyg （3） 因为

!)1()1(kkpppCkp，pk1

是一个整数，均能被p整除，事实上，上式右端分子能被!k整除，pk，!k与p互素，因此 1)k-(p1)-(p|!k

所以kpC是p的倍数。这样，多项式（3）可以找到一个素数p，p不能整除（3）的最高次项的系数，可以整除（3）的其余系数，但常数项pCpp1不能被2p整除，从而（3）在有理数域上不可约，那么)(xf在有理数域上也不可约，因为如果在xQ中存在)()(21xfxf、使 )()()(21xfxfxf ，

那么

根据这个例子我们考虑以下两个问题：

1）)(xf在有理数域上的可约性与)()(byfyg或者)()(bayfyg在有理数域上的可约性是否一致？ 2）当)(xf无法用Eisenstein判断法判断其可约性时是否一定可以通过某种变换后可以使用Eisenstein判断法进行判断？ 我们先来看如下问题。

定理1.2 在有理数域上多项式)(xf与)()(bayfyg可约性相同。

证明 设)(xf在有理数域上不可约，但)(xg在有理数域上可约，且设 )()()()(21xgxgbaxfxg

其中 2,1,)()(00ixgxgi 令abyax1，则 )1()1()1()(21abyagabyagabyagyf，

说明)(xf在有理数域上可约，矛盾。 反过来，)()(bayfyg在有理数域上不可约，但)(xf可约，且设 4

)()()(21xfxfxf 其中2,1,)()(00ixfxfi，那么 )()()(21bayfbayfbayf，

即 )()()(21yfyfyg， 与)(xg不可约矛盾。 这个定理给我们采取变换后使用Eisenstein判断法提供了理论保障，一些不能直接使用Eisenstein判断法的多项式可采用适当的变换。

例4. 证明14x在有理数域上不可约。 证明： 令1yx，则 24641)1(123444yyyyyx 取p=2，用Eisenstein判断法即知 2464)(234yyyyyg

不可约，从而14x也不可约。 二．多项式的根及其值与因式分解 利用根研究多项式的因式分解在复数范围内是很常见的。 例5. 讨论1nx的因式分解。

解： 在复数范围内，1nx的n个根是

nkinkk2sin2cos， 1,,1,0nk，

所以 10)(1nkknxx 在实数域上，当n为奇数时，1nx只有一个实根10， 因此只有一个一次因式1x，其余的均为二次不可约因式，由相互共轭的非实根j及)210(njjn

， 确定 5

)210(12cos2))(())(()(2njnjxxxxxxxjnjjjj

，

所以 2112)12cos2()1(1njnnjxxxx 当n为偶数时，1nx有两个实根：10和12n， 因此只有两个一次因式1x和1x，其余的均为二次不可约因式，由相互共轭的非实根j及)20(njjnj确定

12,,2,1,12cos2)(2njnjxxxj

，

所以 1212)12cos2()1)(1(1njnnjxxxxx 再有理数范围内的分解式根据的不同要具体分析，但有 定理2.1 1|1ndxx的充要条件是nd|

证明 充分性 设nd|，是一个d次单位原根，即12,,,,1d是1dx的所有根，由于1d，所以1n，于是 1,2,1,0,11)()(dsssnns

，

说明1dx的根全是1nx的根，故 1|1ndxx

必要性 因为1|1ndxx，设是1dx的一个原根 diedid22sin2cos

因此1|)(dxx，从而1|)(nxx，说明 12sin2cos)(22dnidneednind

in





，

即nd|，证毕。 例6. 设)()()()(xSxRxQxP、、、是整系数多项式，满足 6

)()1()()()(2345255xSxxxxxRxxxQxP，即1x是

)()()(xRxQxP、、的公因式。

解： 设是15x的原根，则432,,,是1234xxxx的四个根，将32,,带入本题所设的等式得

0)1()1()1(0)1()1()1(0)1()1()1(63422RQPRQPRQP



这是关于)1()1()1(RQP、、的齐次线性方程组，其系数行列式 31634220)(111jiji



，

从而只有零解，即0)1()1()1(RQP，所以)(|1,)(|1,)(|1xRxxQxxPx 例7. 设)(xf是整系数多项式，试证：如果)0(f和)1(f都是奇数，那么)(xf不能有整数根。 证明： 若是)(xf的一个整数根，有 )()()(1xfaxxf，

)(1xf是整系数多项式，于是

)0()0(1ff，

)1()1()1(1ff，

因为与1中有一个是偶数，所以)0(f和)1(f不可能都是奇数。 例8. 设dcxbxxxf23)(是整系数多项式，如果cdbd是奇数，则)(xf在有理数域上不可约。 证明： 如果)(xf在有理数域上可约，则在整数环上可约，于是存在整数rqp,,，使

dcxbxxrqxxpxxf232))(()( 得到