§多项式

    [整值多项式当变数x为整数时,一多项式f(x)的值常为整数,则这种多项式称为整值多项式。

    整系数多项式是整值多项式一特例。

    整值多项式表达式:

    1°  n次整值多项式必可表为

式中为整数,

    2°  整值奇多项式(满足f(x)=f(x))必可表为

式中为整数.

    3°  整值偶多项式(满足f(x)=f(x)) 必可表为

式中为整数.

    [可约多项式与不可约多项式f(x)为一有理系数多项式,若有非常数的有理系数多项式g(x)h(x),使得

f(x)=g(x)h(x)

则称f(x)为在有理数域上可约(或可化),否则称f(x)为有理数域上的不可约多项式(简称不可约多项式).

    [高斯定理f(x)为一整系数多项式,在有理数域上可约,则必有二整系数多项式g(x)h(x),使得

f(x)=g(x)h(x)

    [爱森斯坦判别法]

    1°  为一整系数多项式.若有素数p,使得

 

f(x)为不可约多项式.

    2°  2n+1次整系数多项式,若有素数p,使得

                                                   

f(x)为不可约多项式.

    [派朗判别法]

    1° 

为一首项系数为1n次整系数多项式,满足条件:

(i)                                          (i)                 

(ii)                                        (ii)               

      (iii) 实数)

f(x)为不可约多项式.

    2° 

              

为一首项系数为1n次整系数多项式,满足条件:

  (i) 

  (ii) 

f(x)为不可约多项式.

    3° 

为一首项系数为1n次整系数多项式,满足条件:

                               

f(x)为不可约多项式.

    4° 

为一首项系数为1n次整系数多项式,满足条件:

f(x)为不可约多项式.

    5° 

为一首项系数为1,常数项不为零的n次整系数多项式,满足条件:

f(x)为不可约多项式.

    [多项式的整除性f(x)g(x)为二有理系数多项式,g(x)不恒为零,若有一多项式h(x),使得

f(x)=g(x)h(x)

则称g(x)可整除f(x),记作

这时g(x)称为f(x)的因式,f(x)称为g(x)的倍式.否则,g(x)不能整除f(x),记作.

    以下°f表示多项式f(x)的次数.

    多项式的整除性具有下列性质:

    1° 

    2°  ,fg仅相差一常数因子.

    3°  ,

    4°  ,°f°g

        ,,f称为g的真因式,显然°f<°g.

    5°  p(x)为一不可约多项式,,.

    6°  p(x)为一不可约多项式,

f(x)=0,p(x)=0

有公共根,则必有.

    [多项式的带余除法f(x),g(x)为任意多项式,g(x)不恒为零,则必有两个多项式q(x)r(x),使得

f(x)=g(x)q(x)+r(x)

式中r(x)=0°r<°g.这称为多项式的带余除法.

    [多项式的辗转相除法多项式的辗转相除法与整数的辗转相除法的定义,公式完全类似,只须把本章§1(1)式中的文字符号看作多项式就行了.

    同样,多项式的唯一分解定理,最高公因式和最低公倍式,多项式互素等概念和公式与整数一节完全类似,只须把相应公式中的符号看作多项式就行了.

       求多项式

             

的最高公因式.

       为了避免分数,先用2f(x),然后再用g(x)去除2f(x):

                                      

    在计算过程中,2乘第一个差,因而商式变了样,但余式只获得一个数因子2,这不关紧要.3g(x),除以:

可取

所以所求的公因式为.

    [同余式]

    1°  多项式模同余式  m(x)为一多项式,

则称f(x)g(x)对模m(x)同余,记作

    2°  素数模同余式  p为素数,f(x)g(x)为整系数多项式,若各项对应系数都对模p同余,则称此二多项式对模p同余,记作

    3°  重模同余式  p为素数,(x)为多项式,f(x)g(x)(x)的倍式,mod p,则称f(x)g(x)对重模p, (x)同余,记作

f(x)g(x

    [费马定理的推广p为素数, (x)n次不可约多项式,mod p,则对任一非(x)的倍式的多项式f(x),mod p,恒有

1

对任一多项式常有

 f(x)

特别

x