吳華明

(湛江師范學(xué)院數(shù)學(xué)與計(jì)算科學(xué)學(xué)院，廣東湛江 524048)

三項(xiàng)式xn-bx+a的二次不可約因式

吳華明*

(湛江師范學(xué)院數(shù)學(xué)與計(jì)算科學(xué)學(xué)院，廣東湛江 524048)

三項(xiàng)式； 二次不可約因式； Lucas數(shù)； 本原素因數(shù)

設(shè)n是大于1的正整數(shù)，f(x)=xn-bx+a，其中a,b是非零整數(shù).三項(xiàng)式f(x)在有理數(shù)域的可約性和因式分解在代數(shù)學(xué)及其應(yīng)用領(lǐng)域有著重要的意義[1].根據(jù)Gauss引理可知：如果f(x)在有理數(shù)域上可約，則f(x)可表成2個(gè)次數(shù)都小于n且首項(xiàng)系數(shù)等于1的整系數(shù)多項(xiàng)式的乘積(參見文獻(xiàn)[2]的定理1.13.2).本文主要討論f(x)的首項(xiàng)系數(shù)等于1的二次整系數(shù)不可約因式(以下簡(jiǎn)稱二次因式)的存在性.對(duì)此，陳宏基[3]證明了：當(dāng)b=1且n>512 880時(shí)，如果f(x)有二次因式，則必有

n≡2(mod 6),a=1,b=1,g(x)=x2-x+1.

(1)

(2)

上述結(jié)果的證明要用到有關(guān)代數(shù)數(shù)對(duì)數(shù)線性型的下界估計(jì).這里應(yīng)該指出：當(dāng)a=1,b=-1,n≡5(mod 6)時(shí)，因?yàn)閤3≡-1(modx2-x+1)，故有f(x)≡-x2+x-1≡0(modx2-x+1),由此可知文獻(xiàn)[5]遺漏了以下情況

n≡5(mod 6),a=-1,b=-1,g(x)=x2-x+1.

(3)

本文將運(yùn)用有關(guān)Lucas數(shù)本原素因數(shù)的存在性方面的結(jié)果，修正并改進(jìn)文獻(xiàn)[5]得到的下界，即證明了：

1 若干引理

設(shè)g(x)=x2-sx+t是整系數(shù)二次多項(xiàng)式，又設(shè)r=s2-4t.已知g(x)在有理數(shù)域上不可約的充要條件是r為非平方整數(shù).此時(shí)，g(x)有2個(gè)不同的根

(4)

對(duì)于非負(fù)整數(shù)k，設(shè)

(5)

引理1[6]設(shè)m是正整數(shù)，u和v是任意復(fù)數(shù).此時(shí)

對(duì)此，教師在平時(shí)的教學(xué)中可以讓學(xué)生在閱讀時(shí)養(yǎng)成積累寫作素材的好習(xí)慣，調(diào)動(dòng)學(xué)生寫作的積極性，讓學(xué)生能夠在寫作的過程中大膽進(jìn)行創(chuàng)新，展示自我，另外，教師也要對(duì)學(xué)生的寫作進(jìn)行適當(dāng)?shù)墓膭?lì)，讓學(xué)生逐漸喜歡上寫作，培養(yǎng)其寫作的積極性，增加寫作和閱讀的熱情。

其中[m/2]表示m/2的整數(shù)部分，

都是正整數(shù).

引理2 設(shè)d=gcd(s,t).當(dāng)k是正整數(shù)時(shí)，Lk(α,β)是適合

Lk(α,β)≡0(modd[k/2])

(6)

的非零整數(shù).

證明因?yàn)棣痢佴?，所以?dāng)k是正整數(shù)時(shí)，Lk(α,β)≠0.由于d=gcd(s,t)，故有

r=dr1,s=ds1,t=dt1,

(7)

其中r1,s1,t1都是非零整數(shù).當(dāng)k是奇數(shù)時(shí)，根據(jù)引理1，從式(4)可知

(8)

從式(7)和式(8)可知此時(shí)式(6)成立.當(dāng)k是偶數(shù)時(shí)，k可表成k=2lk1，其中l(wèi)是正整數(shù)，k1是正奇數(shù).此時(shí)，因?yàn)?/p>

(9)

所以根據(jù)引理1也可推出式(6).證畢.

引理3f(x)有二次因式g(x)的充要條件是b=Ln(α,β).

引理3的證明可參見文獻(xiàn)[5]的引理3，在此略.

當(dāng)gcd(s,t)=1且α/β不是單位根時(shí)，(α,β)稱為一個(gè)Lucas對(duì).此時(shí)，Lk(α,β)稱為與Lucas對(duì)應(yīng)的Lucas數(shù).當(dāng)k是大于1的正整數(shù)時(shí)，如果Lk(α,β)的素因數(shù)p不能整除tL1(α,β)…Lk-1(α,β)，則稱p是Lk(α,β)的本原素因數(shù).

引理4 當(dāng)k>30時(shí)，Lucas數(shù)Lk(α,β)必有本原素因數(shù).

引理5 如果p是Lucas數(shù)Lk(α,β)的本原素因數(shù)，則必有p≡±1(mod 2k).

引理4和引理5的證明可分別參見文獻(xiàn)[7]、文獻(xiàn)[8]，在此略.

2 定理的證明

設(shè)g(x)是f(x)的二次因式.根據(jù)文獻(xiàn)[5]中定理的證明過程以及本文的分析可知：當(dāng)α/β是單位根時(shí)，n,a,b必定滿足式(1)、(2)或(3).因此，以下僅需考慮α/β不是單位根的情況.

設(shè)n是適合

(10)

的正整數(shù)，又設(shè)d=gcd(s,t).當(dāng)d>1時(shí)，根據(jù)引理2可知

(11)

同時(shí)，從引理3可知

(12)

結(jié)合式(11)和(12)立得

(13)

與式(10)矛盾，故不可能.

當(dāng)d=1時(shí)，(α,β)是Lucas對(duì)，Ln(α,β)是相應(yīng)的Lucas數(shù).因?yàn)閚>30，所以從引理4可知Ln(α,β)必有本原素因數(shù)p，故有

(14)

又從引理5可知p≥2n-1，故從式(14)立得

(15)

[1] 劉木蘭.數(shù)學(xué)在密碼中的某些應(yīng)用[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，1986，16(3):47-55.

[2] 華羅庚.數(shù)論導(dǎo)引[M].北京：科學(xué)出版社，1979:19-20.

[3] 陳宏基.關(guān)于三項(xiàng)式xn-x-a的二次因式[J].數(shù)學(xué)雜志，2002，22(3):319-322.

CHEN Hongji.On the quadratic factorization ofxn-x-a[J].Journal of Mathematics,2002,22(3):319-322.

[4] 樂茂華.三項(xiàng)式xn-x-a的二次不可約因式[J].數(shù)學(xué)雜志，2004，24(6):635-637.

LE Maohua.The irreducible quadratic factor of the trinomialxn-x-a[J].Journal of Mathematics,2004,24(6):635-637.

[5] 楊仕椿.關(guān)于三項(xiàng)式xn-bx-a的二次整系數(shù)因式[J].南京大學(xué)學(xué)報(bào):數(shù)學(xué)半年刊，2004，21(1):178-183.

YANG Shichun.On the intergral coefficient quadratic factorization ofxn-bx-a[J].Journal of Nanjing University:Mathematical Biquarterly,2004,21(1):178-183.

[6] LIDI R,NIEDERREITER H.Finite fields[M].Massachusetts: Addison-Wesley,1983:176-178.

[7] BILU Y,HANROT G,VOUTIER P M.Existence of primitive divisors of Lucas and Lehmer numbers[J].J Reine Angew Math,2001,539:75-122.

[8] LEHMER D H.An extended theory of Lucas’ functions[J].Ann Math,1930,31:419-448.

Keywords： trinomial； irreducible quadratic factor； Lucas number； primitive divisor

【責(zé)任編輯 莊曉瓊】

THEIRREDUCIBLEQUADRATICFACTORSOFTHETRINOMIALxn-bx+a

WU Huaming

(School of Mathematics and Computation, Zhanjiang Normal University, Zhanjiang, Guangdong 524048, China)

2010-06-01

國家自然科學(xué)基金項(xiàng)目(10771186,10971184)

*通訊作者,wuhuam3329@126.com

1000-5463(2011)02-0046-03

O156.7

A