管 訓(xùn) 貴

(泰州學(xué)院數(shù)理學(xué)院，江蘇 泰州 225300)

關(guān)于不定方程

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

(1)

的整數(shù)解，迄今已有豐富的研究成果[1-18].但當(dāng)D=7q，q為非7的奇素數(shù)時，方程(1)的求解問題，目前只有一些零散的結(jié)果．

本文討論了不定方程x3±1=7qy2的整數(shù)解，并給出下列結(jié)論.

定理1設(shè)奇素數(shù)q≡11，23，29，53，65，71，95，107，113，137，149，155(mod 168)，則不定方程

x3+1=7qy2

(2)

僅有整數(shù)解(x，y)=(-1，0)．

考慮100以內(nèi)的奇素數(shù)q，得到如下推論1.

推論1當(dāng)q=3，5，11，13，17，19，23，29，41，43，53，59，61，71，73，83，89，97時，方程(2)除開q=5僅有整數(shù)解 (x，y)=(-1，0)和 (19，±14)以及q=13僅有整數(shù)解(x，y)=(-1，0)和(4367，±30252)外，其他情形僅有整數(shù)解(x，y)=(-1，0)．

定理2設(shè)奇素數(shù)q≡11，23，29，53，71，95，107，149，155，167(mod 168)，則不定方程

x3-1=7qy2

(3)

僅有整數(shù)解(x，y)=(1，0)．

考慮100以內(nèi)的奇素數(shù)q，得到如下推論2.

推論2當(dāng)q=3，5，11，13，17，19，23，29，31，37，41，43，53，59，61，67，71，83，89時，方程(3)除開q=17僅有整數(shù)解(x，y)=(1，0)和(18，±7)外，其他情形僅有整數(shù)解(x，y)=(1，0)．

1 若干引理

引理1設(shè)D為正整數(shù)，q≡2(mod 3)為奇素數(shù)，且q|D，則方程x2±x+1=Dy2無整數(shù)解．

引理3i)設(shè)q為奇素數(shù)，且q∈{3，13，61，73，97}或q≡5，11，17，19，23(mod 24)，則不定方程組

x+1=u2，x2-x+1=7qv2，gcd(u，v)=1

(4)

無整數(shù)解．

ii)設(shè)q為奇素數(shù)，且q∈{3，13，37，61，73，97}或q≡5，7，11(mod 12)，則不定方程組

x-1=u2，x2+x+1=7qv2，gcd(u，v)=1

(5)

無整數(shù)解．

證明i)由x=u2-1≡-1，0，3(mod 8)知，x2-x+1≡3，1，7(mod 8)，此時7q≡3，1，7(mod 8)，即q≡5，7，1(mod 8)，若q≡3(mod 8)，則(4)無整數(shù)解.再根據(jù)引理1，若q≡2(mod 3)，則(4)也無整數(shù)解.于是q=3或q≡5，11，17，19，23(mod 24)時，(4)無整數(shù)解．

將x=u2-1代入第二式得u4-3u2+3=7qv2，即(2u2-3)2-7q(2v)2=-3．

ii)由x=u2+1≡1，2(mod 4)知，x2+x+1≡3(mod 4)，此時7q≡3(mod 4)，即q≡1(mod 4).若q≡3(mod 4)，則(5)無整數(shù)解.再根據(jù)引理1，若q≡2(mod 3)，則(5)也無整數(shù)解.于是q=3或q≡5，7，11(mod 12)時，(5)無整數(shù)解．

將x=u2+1代入第二式得u4+3u2+3=7qv2，即(2u2+3)2-7q(2v)2=-3．

當(dāng)q=61時，(2u2+3)2-427(2v)2=-3.由i)中q=61的證明知，(5)無整數(shù)解.引理3得證．

引理4i)設(shè)q為奇素數(shù)，且q∈{3，19，31}或q≡1，5，11，13，17，23，25，29，37，41，43，47，53，

59，61，65，67，71，73，79，83，85，89，95，97，101，107，109，113，121，125，127，131，137，143，145，149，151，

155，157，163，167(mod 168)，則不定方程組

x+1=7u2，x2-x+1=qv2，gcd(u，v)=1

(6)

除開q=3時僅有整數(shù)解(x，u，v)=(-1，0，±1)外，其他情況均無整數(shù)解．

ii)設(shè)q為奇素數(shù)，且q∈{3，19}或q≡1，5，11，13，17，23，25，29，37，41，43，47，53，59，61，65，67，71，79，83，85，89，95，101，107，109，113，121，125，127，131，137，143，149，151，155，157，163，167(mod 168)，則不定方程組

x-1=7u2，x2+x+1=qv2，gcd(u，v)=1

(7)

除開q=3時僅有整數(shù)解(x，u，v)=(1，0，±1)外，其他情況均無整數(shù)解．

證明i)q=3的證明見后文引理11 i)的證明.下證其他情形．

由x=7u2-1≡2，3(mod 4)知，x2-x+1≡3(mod 4)，此時q≡3(mod 4).若q≡1(mod 4)，則(6)無整數(shù)解．

再根據(jù)引理1，若q≡2(mod 3)，則(6)也無整數(shù)解.

若q=19，則將(6)第一式代入第二式得(14u2-3)2-19(2v)2=-3.

容易驗證下式成立：

xn+2=340xn+1-xn，x0=4，x1=1421.

(8)

ii)q=3的證明見后文引理11 ii).q=19的證明見文獻[16].q=31的證明見文獻[22].下證其他情形．

由x=7u2+1≡1，0，5(mod 8)知，x2+x+1≡3，1，7(mod 8)，此時q≡1，3，7(mod 8).若q≡5(mod 8)，則(7)無整數(shù)解.再根據(jù)引理1，若q≡2(mod 3)，則(7)也無整數(shù)解.于是q≡5，11，13，17，23(mod 24)時，(7)無整數(shù)解．

引理5i)設(shè)q為奇素數(shù)，且q∈{3，5，17，41，43，59，83，89}或q≡11，13，19，23，29，31(mod 42)，則不定方程組

x+1=qu2，x2-x+1=7v2，gcd(u，v)=1

(9)

除開p=5時僅有整數(shù)解(x，u，v)=(19，±2，±7)外，其他情況均無整數(shù)解．

ii)設(shè)q為奇素數(shù)，且q∈{3，5，17，37，41，43，59，67，79，83，89}或q≡11，13，19，23，29，31(mod 42)，則不定方程組

x-1=qu2，x2+x+1=7v2，gcd(u，v)=1

(10)

除開q=17時僅有整數(shù)解(x，u，v)=(18，±1，±7)外，其他情況均無整數(shù)解．

將第一式代入第二式得

(2qu2-3)2-7(2v)2=-3.

(11)

2qu2-3=±xn.

(12)

容易驗證下式成立：

xn+2=16xn+1-xn，x0=2，x1=37.

(13)

若2|n，則由(13)知2|xn，此時(12)式不成立．

2qu2=±1(mod 3).

(14)

將第一式代入第二式得

(2qu2+3)2-7(2v)2=-3.

(15)

類似i)中(11)式的討論，對(15)式只需考慮

2qu2+3=±xn.

(16)

且有(13)式成立．

若2|n，則由(13)知2|xn，此時(16)式不成立．

2qu2≡±1(mod 3).

(17)

當(dāng)n≡1(mod 4)時，對遞歸序列(13)取模16，有xn≡5(mod 16)，此時qu2≡1(mod 8)，可得q≡1(mod 8)，故當(dāng)q=5，37，59，67，79，83時，均不成立．

若q=17，則由文獻[13]的討論知n=1，此時(10)僅有整數(shù)解(x，u，v)=(18，±1，±7)．

引理6[20]設(shè)p是一個奇素數(shù)，則方程4x4-py2=1除開p=3，x=y=1和p=7，x=2，y=3外，無其他的正整數(shù)解．

引理7[20]方程x2-3y4=1僅有整數(shù)解(x，y)=(±2，±1)，(±7，±2)，(±1，0)．

引理8[20]設(shè)p是一個奇素數(shù)，則方程x4-py2=1除開p=5，x=3，y=4和p=29，x=99，y=1820外，無其他的正整數(shù)解．

引理9[21]設(shè)b，d>1且不是平方數(shù)，則方程b2x4-dy2=1至多有一組正整數(shù)解(x，y)．

引理10i)設(shè)q為奇素數(shù)，且q=3或q≡1，5，11，13，17，19，23(mod 24)，則不定方程組

x+1=21qu2，x2-x+1=3v2，gcd(u，v)=1

(18)

除開q=13僅有整數(shù)解(x，u，v)=(-1，0，±1)，(4367，±4，±2521)外，其他情況均僅有整數(shù)解(x，u，v)=(-1，0，±1)．

ii)設(shè)q為奇素數(shù)，且q=3或q≡5，7，11，13，17，19，23(mod 24)，則不定方程組

x-1=21qu2，x2+x+1=3v2，gcd(u，v)=1

(19)

除開q=181僅有整數(shù)解(x，u，v)=(1，0，±1)，(60817，±4，±35113)外，其他情況均僅有整數(shù)解(x，u，v)=(1，0，±1)．

證明i)將(18)的第一式代入第二式得(2v)2-3(14qu2-1)2=1，故有

14qu2=yn+1.

(20)

容易驗證下列各式成立：

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

(21)

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

(22)

xn+1=2xn+3yn，yn+1=xn+2yn，

(23)

(24)

xn-1=2xn-3yn，yn-1=-xn+2yn.

(25)

若n≡0(mod 2)，則由(22)知yn≡0(mod 2)，此時(20)式不成立．

又因gcd(x2m，y2m+1)=gcd(x2m，x2m+2y2m)=gcd(x2m，2y2m)=1，所以下列情形之一成立：

x2m=7qa2，y2m+1=b2，u=ab，gcd(a，b)=1；

(26)

x2m=a2，y2m+1=7qb2，u=ab，gcd(a，b)=1；

(27)

x2m=7a2，y2m+1=qb2，u=ab，gcd(a，b)=1；

(28)

x2m=qa2，y2m+1=7b2，u=ab，gcd(a，b)=1.

(29)

對于(29)，由(23)得，y2m+1=x2m+2y2m，故有7b2=qa2+2y2m，即

7b2-qa2=2y2m.

(30)

若n≡-1(mod 4)，令n=4m-1(m∈Z)，則由(23)、(24)、(25)式可得

14qu2=y4m-1+1=-x4m+2y4m+1=

2y2m(2x2m-3y2m)=2y2mx2m-1，

即7qu2=x2m-1y2m.

又因為gcd(x2m-1，y2m)=gcd(2x2m-3y2m，y2m)=gcd(2x2m，y2m)=2，所以下列情形之一成立：

x2m-1=2a2，y2m=14qb2，

u=2ab，gcd(a，b)=1；

(31)

x2m-1=14qa2，y2m=2b2，

u=2ab，gcd(a，b)=1；

(32)

x2m-1=2qa2，y2m=14b2，

u=2ab，gcd(a，b)=1；

(33)

x2m-1=14a2，y2m=2qb2，

u=2ab，gcd(a，b)=1.

(34)

由(32)的第二式得xmym=b2，考慮到gcd(xm，ym)=1，有xm=c2，ym=d2，故(c2)2-3d4=1，根據(jù)引理7知，c2=1，此時xm=1，則m=0，推出(32)的第一式不成立．

由(33)的第二式得xmym=7b2，考慮到gcd(xm，ym)=1，有

xm=c2，ym=7d2，b=cd，gcd(c，d)=1；

(35)

或

xm=7c2，ym=d2，b=cd，gcd(c，d)=1.

(36)

若(35)成立，則有

c4-3(7d2)2=1.

(37)

由引理8知，方程(37)僅有整數(shù)解(c，d)=(±1，0)，此時ym=0，則m=0，推出(33)的第一式不成立．

若(36)成立，則有

(7c2)2-3d4=1.

(38)

由引理7知，方程(38)僅有整數(shù)解(c，d)=(±1，±2)，故xm=7，則m=2.此時n=7，所以由(20)，得14qu2=y7+1=2912，即qu2=208，故u=±4，q=13，得v=±2521，所以該情形(18)有整數(shù)解(x，u，v)=(4367，±4，±2521)．

由(34)的第二式得xmym=qb2，仿(33)式的討論知，(18)無整數(shù)解．

結(jié)合q≡1，3，5(mod 8)或q≡2(mod 3)可得引理10 i)的條件．

完全類似(18)式的討論知，若q≡3，5，7(mod 8)或q≡2(mod 3)，即引理10 ii)的條件，則(19)無整數(shù)解.引理10得證．

引理11i)不定方程組

x+1=7u2，x2-x+1=3v2，gcd(u，v)=1

(39)

僅有整數(shù)解(x，u，v)=(-1，0，±1)．

ii)不定方程組

x-1=7u2，x2+x+1=3v2，gcd(u，v)=1

(40)

僅有整數(shù)解(x，u，v)=(1，0，±1)．

gcd(u，v)=1.

(41)

由引理10知，(41)僅有整數(shù)解(x，u1，v)=(-1，0，±1)，從而(39)僅有整數(shù)解(x，u，v)=(-1，0，±1).

ii)類似(39)式的討論知，(40)式僅有整數(shù)解(x，u，v)=(1，0，±1).引理11得證.

引理12i)設(shè)q為奇素數(shù)，且q∈{3，19，43}或q≡1，5，11(mod 12)，則不定方程組

x+1=3u2，x2-x+1=21qv2，

gcd(u，v)=1

(42)

無整數(shù)解．

ii)設(shè)q為奇素數(shù)，且q∈{3，19，31，43，67，73，97}或q≡5，11，13，17，23(mod 24)，則不定方程組

x-1=3u2，x2+x+1=21qv2，gcd(u，v)=1

(43)

無整數(shù)解．

證明i)由x=3u2-1≡2，3(mod 4)知，x2-x+1≡3(mod 4)，此時q≡3(mod 4).若q≡1(mod 4)，則(42)無整數(shù)解.再根據(jù)引理1，若q≡2(mod 3)，則(42)也無整數(shù)解.于是q≡1，5，11(mod 12)時，(42)無整數(shù)解．

將x=3u2-1代入第二式得3u4-3u2+1=7qv2，即(6u2-3)2-21q(2v)2=-3．

由上式可知，yn為奇數(shù)，但yn=2v為偶數(shù)，矛盾.故此時(42)無整數(shù)解.

ii)由x=3u2+1≡1，4，5(mod 8)知，x2+x+1≡3，5，7(mod 8)，此時21qv2≡5q≡3，5，7(mod 8)，即q≡1，3，7(mod 8).若q≡5(mod 8)，則(43)無整數(shù)解.再根據(jù)引理1，若q≡2(mod 3)，則(43)也無整數(shù)解.于是q≡5，11，13，17，23(mod 24)時，(43)無整數(shù)解．

將x=3u2+1代入第二式得3u4+3u2+1=7qv2，即(6u2+3)2-21q(2v)2=-3．

若q=19，則(6u2+3)2-399(2v)2=-3.由i)中q=19的證明知，(43)無整數(shù)解．

若q=31，由文獻[22]的證明知，(43)無整數(shù)解．

若q=43，則(6u2+3)2-903(2v)2=-3.由i)中q=43的證明知，(43)無整數(shù)解．

n∈N．

于是6u2+3=±xn.又

xn+2=7502xn+1-xn，x0=75，x1=562725.

引理13i)設(shè)q為奇素數(shù)，且q=3或q≡5，11，13，17，19，23，29，31，41，43，47，53，55，59，61，65，67，71，73，83，89，95，97，101，103，107，113，115，125，131，137，139，143，145，149，155，157，163，167 (mod 168)，則不定方程組

x+1=21u2，x2-x+1=3qv2，gcd(u，v)=1

(44)

無整數(shù)解．

ii)設(shè)q為奇素數(shù)，且q∈{3，37}或q≡5，11，13，17，19，23，29，31，41，43，47，53，55，59，61，65，67，71，73，79，83(mod 84)，則不定方程組

x-1=21u2，x2+x+1=3qv2，gcd(u，v)=1

(45)

無整數(shù)解．

于是42u2+3=±xn.又

xn+2=590xn+1-xn，x0=21，x1=12411.

對上式取模7，有xn≡0(mod 7).由此知3≡0(mod 7)，不可能.故此時(45)無整數(shù)解.下證其他情形．

引理14i)設(shè)q為奇素數(shù)，且q≡1，3，5，9，11，13，15，17，19，23，25，27，29，33，37，39，41，43，45，51，53(mod 56)，則不定方程組

x+1=3qu2，x2-x+1=21v2，gcd(u，v)=1

(46)

無整數(shù)解．

ii)設(shè)q為奇素數(shù)，且q≡3，5，11，13，15，17，19，23，27，29，31，33，37，39，41，43，45，47，51，53，55(mod 56)，則不定方程組

x-1=3qu2，x2+x+1=21v2，gcd(u，v)=1

(47)

無整數(shù)解．

證明i)將(46)的第一式代入第二式得

(6qu2-3)2-21(2v)2=-3.

(48)

因此根據(jù)(48)有

6qu2-3=±xn.

(49)

容易驗證下式成立：

xn+2=110xn+1-xn，x0=9，x1=999.

(50)

對遞歸序列(50)取模16得剩余類序列的周期為2：9，7，9，7，…，且n≡0(mod 2)時，xn≡9(mod 16)；n≡1(mod 2)時，xn≡7(mod 16).此時(49)式成為 6qu2-3≡±9，±7(mod 16)，即qu2≡2，7(mod 8)，進一步討論知僅當(dāng)q≡7(mod 8)時才可能成立.若q≡1，3，5(mod 8)，則(46)無整數(shù)解.

結(jié)合q≡1，3，5(mod 8)或q≡5，11，13，15，17，23(mod 28)可得引理14 i)的條件．

ii)完全類似(46)式的討論知，若q≡3，5，7(mod 8)或q≡5，11，13，15，17，23(mod 28)，即引理14 ii)的條件，則(47)式無整數(shù)解.引理14得證．

2 定理的證明

先證定理1．

因為gcd(x+1，x2-x+1)=1或3，故方程(2)給出以下8種可能的分解.

Ⅰx+1=7qu2，x2-x+1=v2，y=uv，gcd(u，v)=1；

Ⅱx+1=u2，x2-x+1=7qv2，y=uv，gcd(u，v)=1；

Ⅲx+1=7u2，x2-x+1=qv2，y=uv，gcd(u，v)=1；

Ⅳx+1=qu2，x2-x+1=7v2，y=uv，gcd(u，v)=1；

Ⅴx+1=21qu2，x2-x+1=3v2，y=3uv，gcd(u，v)=1；

Ⅵx+1=3u2，x2-x+1=21qv2，y=3uv，gcd(u，v)=1；

Ⅶx+1=21u2，x2-x+1=3qv2，y=3uv，gcd(u，v)=1；

Ⅷx+1=3qu2，x2-x+1=21v2，y=3uv，gcd(u，v)=1．

以下討論這8種情形所給的方程(2)的整數(shù)解.

對于情形Ⅰ，解第二式，得x=0，1，均不適合第一式，故該情形方程(2)無整數(shù)解．

對于情形Ⅱ，由引理3 i)知，該情形方程(2)無滿足條件的整數(shù)解．

對于情形Ⅲ，由引理4 i)和引理11 i)知，該情形方程(2)無滿足條件的整數(shù)解．

對于情形Ⅳ，由引理5 i)知，該情形方程(2)無滿足條件的整數(shù)解．

對于情形Ⅴ，由引理10 i)知，該情形方程(2)滿足條件的整數(shù)解僅有(x，y)=(-1，0)．

對于情形Ⅵ，由引理12 i)知，該情形方程(2)無滿足條件的整數(shù)解．

對于情形Ⅶ，由引理13 i)知，該情形方程(2)無滿足條件的整數(shù)解．

對于情形Ⅷ，由引理14 i)知，該情形方程(2)無滿足條件的整數(shù)解.

綜上，定理1得證．

再證定理2．

因為gcd(x-1，x2+x+1)=1或3，故方程(3)給出以下8種可能的分解.

Ⅰx-1=7qu2，x2+x+1=v2，y=uv，gcd(u，v)=1；

Ⅱx-1=u2，x2+x+1=7qv2，y=uv，gcd(u，v)=1；

Ⅲx-1=7u2，x2+x+1=qv2，y=uv，gcd(u，v)=1；

Ⅳx-1=qu2，x2+x+1=7v2，y=uv，gcd(u，v)=1；

Ⅴx-1=21qu2，x2+x+1=3v2，y=3uv，gcd(u，v)=1；

Ⅵx-1=3u2，x2+x+1=21qv2，y=3uv，gcd(u，v)=1；

Ⅶx-1=21u2，x2+x+1=3qv2，y=3uv，gcd(u，v)=1；

Ⅷx-1=3qu2，x2+x+1=21v2，y=3uv，gcd(u，v)=1．

以下討論這8種情形所給的方程(3)的整數(shù)解．

對于情形Ⅰ，解第二式，得x=0，-1，均不適合第一式，故該情形方程(3)無整數(shù)解．

對于情形Ⅱ，由引理3 ii)知，該情形方程(3)無滿足條件的整數(shù)解．

對于情形Ⅲ，由引理4 ii)和引理11 ii)知，該情形方程(3)無滿足條件的整數(shù)解．

對于情形Ⅳ，由引理5 ii)知，該情形方程(3)無滿足條件的整數(shù)解．

對于情形Ⅴ，由引理10 ii)知，該情形方程(3)滿足條件的整數(shù)解僅有(x，y)=(1，0)．

對于情形Ⅵ，由引理12 ii)知，該情形方程(3)無滿足條件的整數(shù)解．

對于情形Ⅶ，由引理13 ii)知，該情形方程(3)無滿足條件的整數(shù)解．

對于情形Ⅷ，由引理14 ii)知，該情形方程(3)無滿足條件的整數(shù)解．

綜上，定理2得證．

3 推論的證明

先證推論1．

當(dāng)q=11，23，29，53，71時，由定理1直接可得方程(2)僅有整數(shù)解(x，y)=(-1，0)．

當(dāng)q=3，5，13，17，19，41，43，59，61，73，83，89，97時，對于情形Ⅰ，方程(2)均無整數(shù)解；對于情形Ⅱ，由引理3 i)知，方程(2)均無整數(shù)解；對于情形Ⅲ，由引理4 i)和引理11 i)知，方程(2)除開q=3時僅有整數(shù)解(x，y)=(-1，0)外，其他情況均無整數(shù)解；對于情形Ⅳ，由引理5 i)知，方程(2)除開q=5僅有整數(shù)解(x，y)=(19，±14)外，其他情況均無整數(shù)解；對于情形Ⅴ，由引理10 i)知，方程(2)除開q=13僅有整數(shù)解(x，y)=(-1，0)和(4367，±30252)外，其他情況僅有整數(shù)解(x，y)=(-1，0)；對于情形Ⅵ，由引理12 i)知，方程(2)均無整數(shù)解；對于情形Ⅶ，由引理13 i)知，方程(2)均無整數(shù)解；對于情形Ⅷ，由引理14 i)知，方程(2)均無整數(shù)解.推論1得證.

說明1對于100以內(nèi)的奇素數(shù)q，仍遺留q=31，37，47，67，79，有待解決．

再證推論2．

當(dāng)q=11，23，29，53，71時，由定理2直接可得方程(3)僅有整數(shù)解(x，y)=(1，0)．

當(dāng)q=3，5，13，17，19，31，37，41，43，59，61，67，83，89時，對于情形Ⅰ，方程(3)均無整數(shù)解；對于情形Ⅱ，由引理3 ii)知，方程(3)均無整數(shù)解；對于情形Ⅲ，由引理4 ii)和引理11 ii)知，方程(3)除開q=3時僅有整數(shù)解(x，y)=(1，0)外，其他情況均無整數(shù)解；對于情形Ⅳ，由引理5 ii)知，除開q=17時方程(3)僅有整數(shù)解(x，y)=(18，±7)外，其他情況均無整數(shù)解；對于情形Ⅴ，由引理10 ii)知，方程(3)均僅有整數(shù)解(x，y)=(1，0)；對于情形Ⅵ，由引理12 ii)知，方程(3)均無整數(shù)解；對于情形Ⅶ，由引理13 ii)知，方程(3)均無整數(shù)解；對于情形Ⅷ，由引理14 ii)知，方程(3)均無整數(shù)解.推論2得證.

說明2對于100以內(nèi)的奇素數(shù)q，仍遺留q=47，73，79，97，有待解決．