本原多项式

一、本原多项式二、整系数多项式的因式分解§1.9有理系数多项式问题的引入因式分解定理数域P上次数的多项式都可唯一地分解成一些不可约多项式的乘积1数域不可约多项式复数域C实数域R有理数域Q存在任意次不可约多项式仅有一次多项式一次多项式和某些二次不可约多项式§1.9有理系数多项式有理系数多项式的因式分解怎么分？分成什么样？有理数域上多项式不可约性的判定整系数多项式的分解问题化为§1.9有理系数多项式一、本原多项式设1110()0,nnnngxbxbxbxb定义,0,1,2,,.ibZin若没有110,,,,nnbbbb则称为本原多项式．()gx异于的公因子，即110,,,,nnbbbb1是互素的，§1.9有理系数多项式有关性质1．()[],,fxQxrQ使()(),fxrgx其中为本原多项式．()gx（除了相差一个正负号外，这种表示法是唯一的）．2．Gauss引理定理10两个本原多项式的积仍是本原多项式．§1.9有理系数多项式设110(),nnnnfxaxaxa110()mmmmgxbxbxb是两个本原多项式．110()()()nmnmnmnmhxfxgxdxdxd若不是本原的，则存在素数()hx,p证：|,0,1,,.rpdrnm又是本原多项式，所以不能整除的()fxp()fx每一个系数．反证法．§1.9有理系数多项式令为中第一个不能被整除的数，即ia01,,,naaap11|,,,.||iipapapa同理，本原，令为中第一个不能被()gxjb0,,mbbp整除的数，即011|,|,||,,.jjpbpbpbpb又11,ijijijdabab矛盾．11|,,|,|ijijijpdpabpab在这里故是本原的．()hx§1.9有理系数多项式定理11若一非零的整系数多项式可分解成两个次数较低的有理系数多项式，则它一定可分解成两个次数较低的整系数多项式的乘积．二、整系数多项式的因式分解§1.9有理系数多项式设整系数多项式有分解式()fx()()()fxgxhx其中且(),()[],gxhxQx(),()().gxhxfx证：令111()(),()(),()()fxafxgxrgxhxshx这里，皆为本原多项式，111(),(),()fxgxhx,aZ,.rsQ于是111()()().afxrsgxhx由定理10，本原，11()()gxhx即.rsZ11()()().fxrsgxhx,ars从而有得证．§1.9有理系数多项式设是整系数多项式，且是本原(),()fxgx()gx推论的，若则()()(),()[],fxgxhxhxQx()hx必为整系数多项式．§1.9有理系数多项式令11()(),()(),fxafxhxchx11(),()fxhx本原，111()()()()()afxgxchxcgxhx即.cZ1()()hxchx为整系数多项式．证：,,aZcQ于是有，,ca§1.9有理系数多项式定理12设1110()nnnnfxaxaxaxa是一个整系数多项式，而是它的一个有理根，rs其中是互素的，则必有,rs0|,|.nsara§1.9有理系数多项式是的有理根，rs()fx从而()|().sxrfx又互素，,rs1110()()()nnfxsxrbxbxb,0,1,,1.ibZin比较两端系数，得证：()|(),rxfxs∴在有理数域上，由上推论，有sxr本原．100,.nnasbarb所以，|,|.nsara§1.9有理系数多项式定理12是判断整系数多项式有理根的一个必要条件，而非充分条件．例1求方程的有理根.432230xxx可能有理根为131,3,,,22用综合除法可知，只有1为根．注意解：§1.9有理系数多项式例2证明:在上不可约．3()51fxxxQ若可约，()fx但的有理根只可能是()fx1,所以不可约．()fx证：则至少有一个一次因式，()fx也即有一个有理根．而(1)3,f(1)5.f矛盾．§1.9有理系数多项式定理13艾森斯坦因Eisenstein判别法设1110(),nnnnfxaxaxaxa是一个整系数多项式，若有一个素数使得,p1|npa1202|,,,nnpaaa203|pa则在有理数域上是不可约的．()fx§1.9有理系数多项式若在上可约，由定理11，()fxQ()fx可分解为两次数较低的整系数多项式积111010()()()llmmllmmfxbxbxbcxcxc,,,,ijbcZlmnlmn证：000,.nlmabcabc0|,pa又20|,pa不妨设但0|pb0|.pc0|pb0|,pc或00,.bcp不能同时整除§1.9有理系数多项式另一方面，|.npa假设中第一个不能被整除的数为01,,,lbbbp,kb比较两端的系数，得kx0110kkkkabcbcbc上式中皆能被整除，10,,,kkabbp矛盾．0||.kpbpc或|,|.lmpbpc0|kpbc故不可约．()fx§1.9有理系数多项式①Eisenstein判别法是判断不可约的充分条件，而非必要条件．注意也就是说，如果一个整系数多项式不满足Eisenstein判别法条件，则它可能是可约的，也可能是不可约的．②有些整系数多项式不能直接用Eisenstein判别法来判断是其是否可约，此时可考虑用适当的代换使满足Eisenstein判别法条件，从而来判定原多项式不可约．()fx(,,0),aybabZa()()faybgy()fx§1.9有理系数多项式例3证明：在上不可约．2nxQ证：（令即可）．2p(可见存在任意次数的不可约有理系数多项式)例4证明：在上不可约．2()1fxxQ取2,p证：1,xy作变换2()22,fxyy则在Ｑ上不可约，222yy所以在Ｑ上不可约．()fx由Eisenstein判别法知，§1.9有理系数多项式例5判断23()1,2!3!!pxxxfxxp令()!()gxpfx21!!!!,2(1)!ppppppxxxxp则为整系数多项式．()gx!!|1,|,,!,(1)!(2)!ppppppp,但2|!,pp（为素数）在上是否可约．Qp解：()gx在上不可约，Q从而在上不可约．()fxQ§1.9有理系数多项式对于许多上的多项式来说，作适当线性代换后Q再用Eisenstein判别法判定它是否可约是一个较好的多项式无论作怎样的代换都不能(),fx,xayb使满足爱森斯坦因判别法的条件，()()faybgy即找不到相应的素数.p说明：办法，但未必总是凑效的．也就是说，存在上的Q如，3()1.fxxx