张 雪，瞿云云，徐 彬

(1.贵州师范大学数学科学学院，贵州 贵阳 550001； 2.武昌首义学院基础科学部，湖北 武汉 430064)

1 引言及主要结论

设Z，N*分别表示所有整数以及正整数的集合，D>0，且D中不含有平方因子.方程

x3-1=Dy2，x，y∈Z

(1)

对于任意给定的数r(r∈N*)，r可以唯一地表示成

r=st2，s，t∈N*，s无平方因子.

(2)

设A(r)=s，B(r)=t.本文主要讨论当D=709q，q≡1(mod 12)为奇素数时，方程

x3-1=709qy2，x，y∈N*

(3)

解的情况，即证明如下定理1和推论1.

定理1 方程(3)有正整数解的充要条件是q适合

q=A(3×7092a4+2 127a2+1)，a∈N*.

(4)

当q适合条件(4)时，方程(3)有正整数解

(x，y)=(1+2 127a2，3aB(3×7092a4+2 127a2+1)).

(5)

推论1 如果q满足以下条件之一，则方程(3)无正整数解：

(ⅰ)q=12k2+12k+1，k∈N*；

(ⅱ)q=108k2±12k+1，k∈N*；

(ⅲ)q=12k2+1，k∈N*；

2 关键性引理

引理2[6]若p是一个奇质数，那么方程4x4-py2=1除了p=3，x=y=1和p=7，x=2，y=3这2组正整数解外，没有其他的正整数解.

引理3[6]方程x2-3y4=1仅有整数解(x，y)=(±2，±1)，(±7，±2)，(±1，0).

引理4[6]若p是一个奇质数，那么方程x4-py2=1除了p=5，x=3，y=4和p=29，x=99，y=1 820这2组正整数解外，没有其他的正整数解.

引理5[7]设k>1，l>1(k，l∈Z)为给定的数，(k，l)=1，kl不是平方数.若不定方程

kx2-ly2=1

(6)

(7)

引理6 如果(x，y)是方程(3)的1组正整数解，则必有

x-1=2 127a2，x2+x+1=3qb2，y=3ab，gcd(a，b)=1，a，b∈N*.

(8)

证明从方程(3)可知(x-1)(x2+x+1)=709qy2，而d=gcd(x-1，x2+x+1)=gcd(x-1，(x-1)2+3(x-1)+3)=gcd(x-1，3)=1或3.

当d=1时，方程(3)有以下4种可能的分解：

(Ⅰ)x-1=709qa2，x2+x+1=b2，y=ab，gcd(a，b)=1，a，b∈N*；

(Ⅱ)x-1=a2，x2+x+1=709qb2，y=ab，gcd(a，b)=1，a，b∈N*；

(Ⅲ)x-1=qa2，x2+x+1=709b2，y=ab，gcd(a，b)=1，a，b∈N*；

(Ⅳ)x-1=709a2，x2+x+1=qb2，y=ab，gcd(a，b)=1，a，b∈N*.

当x和y满足(Ⅰ)式时，由4(x2+x+1)-(2x+1)2=3可知，3=4b2-(2x+1)2=(2b)2-(2x+1)2≥2b+2x+1>3，矛盾，故x和y不满足(Ⅰ)式.

当x和y满足(Ⅲ)式时，由a2≡0，1(mod 4)，q≡1(mod 12)可知qa2≡0，1(mod 4).由x-1=qa2可知x=qa2+1≡1，2(mod 4)，则有x2+x+1≡3(mod 4)成立，即有709b2≡3(mod 4).由x2+x+1=709b2可知b为奇数，故b2≡1(mod 4)，则709b2≡1(mod 4)，矛盾，故x和y不满足(Ⅲ)式.

当x和y满足(Ⅳ)式时，由a2≡0，1(mod 4)，709≡1(mod 4)可知709a2≡0，1(mod 4).由x-1=709a2可知x=709a2+1≡1，2(mod 4)，则有x2+x+1≡3(mod 4)成立，即有qb2≡3(mod 4).由x2+x+1=qb2可知b为奇数，故b2≡1(mod 4).由q≡1(mod 12)可知q≡1(mod 4)，则qb2≡1(mod 4)，矛盾，故x和y不满足(Ⅳ)式.

因此，当d=1时，x和y不满足上面4种情况.

当d=3时，方程(3)有以下4种可能的分解：

(Ⅴ)x-1=2 127qa2，x2+x+1=3b2，y=3ab，gcd(a，b)=1，a，b∈N*；

(Ⅵ)x-1=3a2，x2+x+1=2 127qb2，y=3ab，gcd(a，b)=1，a，b∈N*；

(Ⅶ)x-1=3qa2，x2+x+1=2 127b2，y=3ab，gcd(a，b)=1，a，b∈N*；

(Ⅷ)x-1=2 127a2，x2+x+1=3qb2，y=3ab，gcd(a，b)=1，a，b∈N*.

1 418qa2=yn-1.

(9)

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

(10)

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

(11)

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

(12)

(13)

当n≡0(mod 2)时，由(11)式可知yn≡0(mod 2)，此时由(9)式可知矛盾，故n≡1，3(mod 4).

x2m+1=2u2，y2m=1 418qv2，a=2uv，gcd(u，v)=1；

(14)

x2m+1=1 418qu2，y2m=2v2，a=2uv，gcd(u，v)=1；

(15)

x2m+1=1 418u2，y2m=2qv2，a=2uv，gcd(u，v)=1；

(16)

x2m+1=2qu2，y2m=1 418v2，a=2uv，gcd(u，v)=1.

(17)

(15)式中由y2m=2v2与(13)式可得xmym=v2，又gcd(xm，ym)=1，故设xm=c2，ym=d2，gcd(c，d)=1，有(c2)2-3d4=1，由引理3可知c2=1，d=0，即xm=1，ym=0.由(10)和(11)式可知m=0，又q≡1(mod 12)为奇素数，则x2m+1=x1=2≠1 418qu2，因此在该情况下，方程(3)没有整数解.

(16)式中由y2m=2qv2可得xmym=qv2，又gcd(xm，ym)=1，则有以下情形之一成立：

xm=c2，ym=qd2，v=cd，gcd(c，d)=1；

(18)

xm=qc2，ym=d2，v=cd，gcd(c，d)=1.

(19)

将(18)式中的xm=c2和ym=qd2代入X2-……