§1.8有理系数多项式
§1.8 有理系数多项式
本节讨论有理数域上多项式的可约性,以及如 何求Q上多项式的有理根,由于f(x)与(x)在 Q[x]上的可约性相同。因此讨论f(x)在Q上的可约 性可转化为求整系数多项式在Q上的可约性。 整系数多项式的可约性 定义1(本原多项式): 若整系数多项式f(x)的系数互素,则称f(x) 是一个本原多项式。 例如:f(x)=3x2+6x-4,g(x)=5x2+ 是本原多项式。 本原多项式的加、减运算所得的未必是本原多 项式,但相乘之后必是本原多项式 第一章多项式
第一章 多项式 本节讨论有理数域上多项式的可约性，以及如 何求Q上多项式的有理根，由于 f x( ) 与 cf x( ) 在 Q x 上的可约性相同。因此讨论 f x( ) 在Q上的可约 性可转化为求整系数多项式在Q上的可约性。 一、整系数多项式的可约性 定义1（本原多项式）： 若整系数多项式 f x( ) 的系数互素，则称 f x( ) 是一个本原多项式。 例如： ( ) ( ) 2 2 f x x x g x x = + − = + 3 6 4, 5 1 本原多项式的加、减运算所得的未必是本原多 项式，但相乘之后必是本原多项式。 是本原多项式
引理(高斯定理): 两个本原多项式的乘积仍是本原多项式。 证:设f(x)=a+ax+…+ax+…+a1x,an2≠0 g(x)=b+bx+…+bx+…+bnx bm≠0 都是本原多项式 f(g(x) m+n C+C1x+∴+C:x+…+Cx m+n 若f(x)g(x)不是本原多项式,则存在素数p,使 plk,k=12…,m+n,由于f(x,(x)都是本原多 项式,故f(x)的系数不能都被p整除,8(x)的系数 也不能被p整除, 第一章多项式
第一章 多项式 引理（高斯定理）： 两个本原多项式的乘积仍是本原多项式。 证：设 ( ) 0 1 , 0 i n i n n f x a a x a x a x a = + + + + + ( ) 0 1 , 0 j m j m m g x b b x b x b x b = + + + + + 都是本原多项式 ( ) ( ) 0 1 . i j m n i j m n f x g x c c x c x c x + + = + + + + + + + 若 f x g x ( ) ( ) 不是本原多项式，则存在素数p，使 , 1, 2, , , k p c k m n = + 由于 f x g x ( ), ( ) 都是本原多 项式，故 f x( ) 的系数不能都被p整除， g x( ) 的系数 也不能被p整除
可设pa,r=01…1-1,但P|a, 6. s=0.1 1,但Pb 现考虑 b++…+a-1b++ab+a:b1+…+a+1b 除了ab这一项外,p能整除其余各项, 因此P+c+,这是一个矛盾, 故f(x)g(x)是本原多项式 定理191:一个整系数n(n>0)次多项式f(x) 在有理数域上可约的充要条件是它在整数环上可约 第一章多项式
第一章 多项式 可设 , 0,1, , 1, r p a r i = − 但 , i p a , 0,1, , 1, s p b s j = − 但 , j p b 现考虑 0 1 1 1 1 0. i j i j i j i j i j i j c a b a b a b a b a b + + − + + − + = + + + + + + 除了 i j a b 这一项外，p能整除其余各项， , i j p c 因此 + 这是一个矛盾， 故 f x g x ( ) ( ) 是本原多项式。 定理1.9.1：一个整系数n（n>0）次多项式 f x( ) 在有理数域上可约的充要条件是它在整数环上可约
证:充分性显然 下证必要性。 设f(x)可分解成Q[x中两个次数都小于n的 设8(x)的系数的公分母为m,则mg()) 多项式g(x)与h(x)的乘积,即有f(x)=g(x)h( 个整系数多项式,把mg(x)系数的公因式n 提出来,mg(x)=mg1(x),g1(x)是本原多项式, 即g(x)=g1(x)=r·81(x) 同理,存在有理数S,使h(x)=sh(x) h(x)也是本原多项式 第一章多项式
第一章 多项式 证：充分性显然。 下证必要性。 设 f x( ) 可分解成 Q x 中两个次数都小于n的 多项式 g x( ) 与 h x( ) 的乘积，即有 f x g x h x ( ) = ( ) ( ). 设 g x( ) 的系数的公分母为m，则 mg x( ) 一个整系数多项式，把 是 mg x( ) 系数的公因式n 提出来， mg x ng x ( ) = 1 ( ), g x 1 ( ) 是本原多项式， 即 ( ) 1 1 ( ) ( ). n g x g x r g x m = = 同理，存在有理数S，使 h x sh x ( ) = 1 ( ), h x 1 ( ) 也是本原多项式