APP下载

关于对整系数多项式在有理数域内不可约问题的研究①

2015-04-13

关键词:易知有理素数

孙 慧

(吉林师范大学 数学学院,吉林 长春130000)

0 引 言

文献[1]中给出了整系数多项式在有理数域内不可约的一种判别方法—Eisenstein 判别法,此判别法仅是判别整系数多项式在有理数域上不可约的充分条件,而非必要条件.本文主要研究了一类整系数多项式虽然所给的具体形式无法应用Eisenstein 判别法,但将其进行变量替换后,则可转化成Eisenstein 判别法的应用范围.此外,还借鉴了Eisenstein 判别法的研究思路,给出了一类整系数多项式在有理数域上不可约的判别方法.

1 预备知识

定理1[1](Eisenstein 判别法) 设f(x)=anxn+an-1xn-1+…+a1x+a0是一个整系数多项式.如果有一个素数p,使得1a0;3,那么f(x)在有理数域上是不可约的.

2 主要结果

定理2 设f(x)为一个有理系数多项式,g(x)为任意次数大于等于1 有理系数多项式,则f(x)在有理数域上可约的充分必要条件是f(g(x))在有理数域上可约.

证 充分性

若f(x)在有理数域上可约,则f(x)在有理数域上可以分解为两个次数较低的多项式的乘积.即f(x)= f1(x)f2(x)其中∂(f(x))> ∂(f1(x)),∂(f2(x)),将 x 换 成 g(x)可 得 f(g(x))=f1(g(x))f2(g(x)), 易 知 ∂(f(g(x))) >∂(f1(g(x))),∂(f2(g(x))),且由于g(x)为有理系数多项式,故f1(g(x)),f2(g(x))均为有理系数多项式.综上,可知f(g(x))在有理数域上可约.

必要性

若f(g(x))在有理数域上可约,则f(g(x))在有理数域上可以分解为两个次数较低的多项式的乘积.即f(g(x))=f1(g(x))f2(g(x)),其中.

∂(f(g(x)))>∂(f1(g(x))),∂(f2(g(x)))

由于g(x)为任意次数大于等于1 有理系数多项式,取g(x)=x,从而有f(x)=f1(x)f2(x),易知∂(f(x))>∂(f1(x)),∂(f2(x)).综上,f(x)在有理数域上可约.

推论2.1 设f(x)为一个有理系数多项式,g(x)为任意次数大于等于1 有理系数多项式,则f(x)在有理数域上不可约的充分必要条件是f(g(x))在有理数域上不可约.

证 推论1 为定理1 的逆否命题.

推论2.2 设f(x)为一个有理系数多项式,g(x)=ax+b,(a,b 均为有理数且a ≠0),则f(x)在有理数域上不可约的充分必要条件是f(ax+b)在有理数域上不可约.

借鉴Eisenstein 判别法的研究思路,给出一类整系数多项式在有理数域上不可约的判别方法.

定理3 设f(x)=x4+ax3+bx2+cx+d 是一个整系数多项式.且f(x)没有有理根,如果b,c,d 均为奇数,那么f(x)在有理数域上是不可约的.

证 假设f(x)在有理数域上是可约的,由已知f(x)没有有理根,故f(x)没有一次有理因式,从而f(x)在有理数域上可分解为两个二次整系数多项式的乘积.设

比较上面式子中x2,x 的系数及常数项有

因为d 为奇数,则n1,n2也为奇数,从而n1+n2为偶数.因为b 为奇数,由(1)可知m1m2=b-(n1+n2)为奇数,可得m1,m2也为奇数,从而m1n2+n1m2为偶数,这与c=m1n2+n1m2是奇数矛盾,从而f(x)在有理数域上是不可约的.

3 举 例

例1 证明:整系数多项式f(x)=xp+px+1(p 是奇素数)在有理数域上不可约.

证明 显然此题不能直接应用Eisenstein 判别法.令x=y-1,代入f(x)=xp+px+1,由于p是奇素数,可得

例2 证明:整系数多项式f(x)=x4+kx3+17x2+11+1(k 为奇数)在有理数域上是不可约多项式.

证明 整系数多项式f(x)在有理数域上可能的有理根为1.易知

[1] 北京大学数学系几何与代数教研室前代数小组编.高等代数[M].北京:高等教育出版社,2003:33-34.

猜你喜欢

易知有理素数
序列(12+Q)(22+Q)…(n2+Q)中的完全平方数
两个素数平方、四个素数立方和2的整数幂
有理 有趣 有深意
有关殆素数的二元丢番图不等式
一个数论函数方程的可解性
《有理数》巩固练习
关于两个素数和一个素数κ次幂的丢番图不等式
关于素数简化剩余系构造的几个问题
从《曲律易知》看民国初年曲学理论的转型
一道高考立体几何题的多维度剖析