王志兰

(1.泰州学院 数理学院,江苏 泰州 225300;2.江苏省吴江中等专业学校,江苏 吴江 215200)

1 引言及主要结论

x2-dy2=1与y2-Dz2=4,x,y,z∈,

(1)

的求解一直是热门话题.目前的结论主要有：

(i)d=2,D≢-1(mod 12)且D为不超过6个不同的奇素数之积以及D≡-1(mod 12)且D为不超过3个不同的奇素数之积时，陈永高[1]分别证明了除D为3×5×7×11×17×577，17×19×29×41×59×577外，(1)仅有平凡解z=0，以及除D为5×7，29×41×239外，(1)仅有平凡解z=0.

(ii)d=2,D=2p1…ps(p1,…,ps为不同的奇素数, 1≤s≤6)时，管训贵[2]证明了除D为2×17，2×3×5×7×11×17以及2×17×113×239×337×577×665857外，(1)仅有平凡解z=0.

(iii)d=2,D为偶数且D没有适合p≡1(mod 8)的素因子p时，乐茂华[3]证明了(1)仅有平凡解z=0.

(iv)d=6,D=p为奇素数时，苏小燕[4]证明了除D=11外，(1)仅有平凡解z=0.

(v)d=6,D=2p1…ps(p1,…,ps是不同的奇素数, 1≤s≤4)时，杜先存等[5]证明了除D为2×11×97外，(1)仅有平凡解z=0.

本文进一步讨论d=s(s+1)，D=2q1或2q1q2(q1,q2为不同的奇素数)时方程(1)的求解问题,得出以下一般性的结果.

定理1设p,q1,q2为不同的奇素数，且p=2s+1，s≡2(mod 4)，D=2c(c∈N*，c=q1或q1q2)，则Pell方程组

(2)

除平凡解(X,Y,Z)=(2s+1,2,0)外，当2p2-1=cr2(r∈N*)时，(2)仅有解(X,Y,Z)=(4p3-3p,8p2-2,4pr).

2 引理

引理1设D∈N*且不是平方数，则Pell方程

x2-Dy2=1，x,y∈N*,

(3)

证明参见文[6，定理6.11].

证明参见文[7].

引理3不定方程

2Y2=X4-4X2+2，X,Y∈N,

仅有解(X,Y)=(2,1)和(0,1).

证明参见文[8].

引理4若D是一个非平方的正整数,则不定方程x4-Dy2=1(x,y∈N*)除当D=1785，4·1785，16·1785时，分别有两组解(x,y)=(13,4)，(239,1352)；(x,y)=(13,2)，(239,676)；(x,y)=(13,1)，(239,338)外，至多只有一组解(x1,y1)，且满足

证明参见文[9].

引理5若D是一个非平方的正整数,则不定方程

x2-Dy4=1，x,y∈N*,

证明参见文[10].

由引理5立得

引理6设p为奇素数，则不定方程x2-(p2-1)y4=1(x,y∈N*)仅有解(x,y)=(p,1).

3 定理1的证明

因D≡2(mod 4)，故由(2)的第二式知，Y,Z均为偶数. 令X=x，Y=2y，Z=2z，则(2)成为

(4)

容易验证下列各式成立：

xk+2=2pxk+1-xk，x0=1，x1=p，x2=2p2-1；

(5)

yk+2=2pyk+1-yk，y0=0，y1=1，y2=2p；

(6)

xk+l=xkxl+(p2-1)ykyl，yk+l=xkyl+xlyk；

(7)

x-k=xk，y-k=-yk；

(8)

(9)

若(x,y,z)=(xk,yk,z)是(4)的解，则根据k的奇偶性分以下两种情形讨论.

情形1当2|k时，可令k=2l(l∈N*).由(4)的第一式知

(10)

将式(10)代入(4)的第二式，并结合式(9)得

(11)

因为

故式(11)可改写成

(12)

又

因而

令D=b1b2，gcd(b1,b2)=1,则式(12)可化为

(13)

或

(14)

若式(13)成立，则由(13)的第二式得

(15)

由gcd(s,p)=gcd(s,2s+1)=1知，式(15)成为

(16)

根据式(5)，当2|l时，xl≡±1(mod 2s+1)；……