韓 帆,賀艷峰,李 勰

(延安大學(xué) 數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,陜西 延安 716000)

不定方程

x3-1=Dy2(D>0且無平方因子)

(1)

是一類重要的三次不定方程,其整數(shù)解的問題吸引許多專家學(xué)者去研究。例如,當(dāng)D無形如6k+1的素因子時(shí),不定方程(1)的全部整數(shù)解已由柯召等[1-2]給出,但當(dāng)D含6k+1形狀的素因子時(shí),此方程的求解比較困難,即便如此,針對(duì)該方程解的研究也有很多成果。例如,當(dāng)0100時(shí)的情況,只有一些零散的結(jié)果:楊曉柳等[12]證明了不定方程x3-1=229y2的整數(shù)解僅有(x,y)=(1,0);管訓(xùn)貴[13]證明了不定方程x3-1=511y2僅有整數(shù)解(x,y)=(1,0),(8,±1);宋曉禹等[14]證明了不定方程x3-1=749y2僅有整數(shù)解(x,y)=(1,0)。

本文在深入學(xué)習(xí)相關(guān)文獻(xiàn)[15-23]的基礎(chǔ)上,利用初等的數(shù)論方法證明了當(dāng)D含有3以及6k+1型素因數(shù)時(shí),不定方程x3-1=114y2僅有整數(shù)解(x,y)=(1,0)。

1 若干引理

引理1[24]設(shè)D是一個(gè)非平方的正整數(shù),則Pell方程

x2-Dy2=1

(2)

引理2[25]不定方程x4-3y2=1僅有整數(shù)解(x,y)=(±1,0)。

引理3[25]設(shè)p是一個(gè)奇素?cái)?shù),則方程4x4-py2=1除開p=3,x=y=1和p=7,x=2,y=3外,無其他的正整數(shù)解。

引理4同余方程x2+x+1≡0(mod 9)無整數(shù)解。

證明任意取x∈Z,當(dāng)x≡0,8(mod 9)時(shí),x2+x+1≡1(mod 9);當(dāng)x≡1,4,7(mod 9)時(shí),x2+x+1≡3(mod 9);當(dāng)x≡2,6(mod 9)時(shí),x2+x+1≡7(mod 9);當(dāng)x≡3,5(mod 9)時(shí),x2+x+1≡4(mod 9)。由此可見,原同余方程無解。

2 主要結(jié)果及證明

定理不定方程

x3-1=114y2

(3)

僅有整數(shù)解(x,y)=(1,0)。

情形1:x-1=114a2,x2+x+1=b2,y=ab,gcd(a,b)=1;

情形2:x-1=2a2,x2+x+1=57b2,y=ab,

gcd(a,b)=1;

情形3:x-1=6a2,x2+x+1=19b2,y=ab,

gcd(a,b)=1;

情形4:x-1=38a2,x2+x+1=3b2,y=ab,

gcd(a,b)=1;

情形5:x-1=342a2,x2+x+1=3b2,y=3ab,

gcd(a,b)=1;

情形6:x-1=18a2,x2+x+1=57b2,y=3ab,

gcd(a,b)=1;

情形7:x-1=6a2,x2+x+1=171b2,y=3ab,

gcd(a,b)=1;

情形8:x-1=114a2,x2+x+1=9b2,y=3ab,

gcd(a,b)=1。

現(xiàn)在分別對(duì)這8種情形進(jìn)行討論:

情形1由第2式x2+x+1=b2可化為(2b)2-(2x+1)2=3,解此式,得x=0,-1,都不滿足第1式,故該情形無不定方程(3)的整數(shù)解。

情形2對(duì)第1式取模8,因?yàn)閍2≡0,1,4(mod 8),所以有x=2a2+1≡1,3(mod 8),代入第2式,有x2+x+1≡3,5(mod 8),從而有57b2≡3,5(mod 8),又因?yàn)閤2+x+1=x(x+1)+1為奇數(shù),則b也為奇數(shù),此時(shí)b2=1(mod 8),推出57b2≡1(mod 8),進(jìn)而1≡3,5(mod 8),但這不可能,故該情形無不定方程(3)的整數(shù)解。

情形3對(duì)第1式取模3,有x≡1(mod 3),代入第2式,則有0≡x2+x+1≡19b2(mod 3),推出3|b,因此x2+x+1≡0(mod 9),即(2x+1)2+3≡0(mod 9),但2x+1≡0(mod 3),即(2x+1)2≡0(mod 9),從而3≡0(mod 9),而這不可能,故該情形無不定方程(3)的整數(shù)解。

情形4由x2+x+1=3b2,得(2x+1)2+3=3(2b)2,將x-1=38a2代入,得(76a2+3)2+3=3(2b)2,所以3|a,令a=3c,得(2b)2-3(228c2+1)2=1,由引理1知Pell方程X2-3Y2=1的基本解為(2,1),故

易驗(yàn)證下列關(guān)系式成立:

xn+2=4xn+1-xn,x0=1,x1=2

(4)

yn+2=4yn+1-yn,y0=0,y1=1

(5)

xn+1=2xn+3yn,yn+1=xn+2yn

(6)

(7)

由yn=228c2+1,得yn≡1(mod 228),對(duì)遞歸序列(5)取模228,得周期為60的剩余序列,且當(dāng)n≡1(mod 60),才有yn≡1(mod 228)。設(shè)n=60k+1,結(jié)合式(6)和(7)得

228c2=y60k + 1-1=x60k+ 2y60k-1

=2y30k(3y30k+ 2x30k)=2y30kx30k + 1

即 114c2=y30kx30k+1

(8)

又(y30k,x30k+1)=(y30k,3y30k+2x30k)=(y30k,2x30k)=2,因此式(8)必有下列情形之一成立:

x30k+1=76u2,y30k=6v2,c=2uv,gcd(u,v)=1

(9)

x30k+1=2u2,y30k=228v2,c=2uv,gcd(u,v)=1

(10)

x30k+1=4u2,y30k=114v2,c=2uv,gcd(u,v)=1

(11)

x30k+1=38u2,y30k=12v2,c=2uv,gcd(u,v)=1

(12)

對(duì)遞歸序列(4)分別取模4和38,得到x30k+1?0(mod 4),x30k+1?0(mod 38),因此式(11)和(12)中的第1式均不成立。

x15k=d2,y15k=3e2,v=de,gcd(d,e)=1

(13)

若式(13)成立,結(jié)合式(7),得

d4-3(3e2)2=1

(14)

由引理2知,式(14)僅有整數(shù)解(d,3e2)=(±1,0),此時(shí)y15k=0,則k=0,代入式(9)的第1式x30k+1=76u2中,有2=76u2,這顯然不可能。

情形5將第1式代入第2式,得(2b)2-3(228a2+1)2=1,與情形4的討論方法類似。

情形6對(duì)第1式取模8,由18≡2(mod 8),a2≡0,1,4(mod 8),則有x=18a2+1≡1,3(mod 8),代入第2式,有x2+x+1≡3,5(mod 8),即57b2≡3,5(mod 8),考慮到b2≡1(mod 8),則有57b2≡1(mod 8),從而1≡3,5(mod 8),但這不可能,故該情形無不定方程(3)的整數(shù)解。

針對(duì)情形7和8,分別對(duì)第2式取模9,根據(jù)引理4可知均不成立,故這兩種情形無不定方程(3)的整數(shù)解。

綜上所述,不定方程x2-1=114y2僅有整數(shù)解(x,y)=(1,0)。