张 配 罗 明

(西南大学数学与统计学院， 重庆 400715)



关于不定方程x(x+1)(x+2)(x+3)=39y(y+1)(y+2)(y+3)

张 配 罗 明

(西南大学数学与统计学院， 重庆 400715)

运用递推序列的方法，证明了不定方程x(x+1)(x+2)(x+3)=39y(y+1)(y+2)(y+3)仅有正整数解(x,y)=(12,4)。

不定方程； 正整数解； 递归数列；Jacobi符号

不定方程是指未知数的个数多于方程个数，且未知数受到某些限制(如要求是有理数、整数或正整数等等)的方程。不定方程又称为丢番图方程,是数论的重要分支学科。不定方程大多数是由某些实际问题产生出来的，是反映现实世界数量关系的重要数学模型。

当(m,n)=1，且m,n∈N+时，对于形如

mx(x+1)(x+2)(x+3)=

ny(y+1)(y+2)(y+3)

的不定方程已有不少的研究[1-6]。

为此，在前人研究的基础上，利用同余式和递归数列方法证明当(m,n)=(1,39)时，不定方程

x(x+1)(x+2)(x+3)=

39y(y+1)(y+2)(y+3)

(1)

仅有正整数解(x,y)=(12,4)。

将方程(1)整理后得：

(x2+3x+1)2-39(y2+3y+1)2=-38

(2)

(2y+3)2=±4yn+5

(3)

或

(4)

容易验证式(5) — (11)成立：

un+1=50un-un-1,u0=1,u1=25

(5)

vn+1=50vn-vn-1,v0=0,v1=4

(6)

yn+1=50yn-yn-1,y0=1,y1=29

(7)

u2n= 2un2-1,v2n= 2unvn

(8)

yn=un+4vn

(9)

un+2h≡-un(moduh),vn+2h≡-vn(moduh)

(10)

yn+2h≡-yn(moduh)

(11)

下面证明式(3)仅当n=0,-1时成立。由此求得方程(2)的全部整数解，进而作为推论得到方程(1)的全部正整数解。将式(3)写成2个等式，其中一个为：

(2y+3)2=-4yn+5

(12)

引理1 -4yn+5是平方数仅对n=0成立。

证明 因为当|n|≥1时，-4yn+5<0，所以-4yn+5不可能是平方数；当n=0时，有-4yn+5=12。

式(3)写成另一个等式为：

(2y+3)2=4yn+5

(13)

引理2 设2|m,m>0，则

于是

引理3 若4yn+5为平方数，则必须有n≡0,1(mod180)。

证明 采用对序列4yn+5取模的方法来证明。

mod2 549，排除n≡2(mod5)，此时4yn+5≡703(mod2 549)。

上面的2 549是对{4yn+5}取的，mod5指出所得剩余序列周期为5。“此时”这句话是“排除”的理由：703为mod2 549的平方非剩余。为节省篇幅，只给出每次取模所用的素数以及n的剩余情况：

mod29，剩余n=0,1,6,11,13(mod15)。

mod210 869，剩余n=0,1,11(mod15)。

mod61，剩余n=0,1,15(mod30)。

故得n=0,1(mod30)。

mod7，剩余n=0,1,3,4(mod6)。

mod19，剩余n=0,1,6,9,13(mod18)。

mod71，剩余n=0,1,6,9,27,36,60(mod72)。

mod1 249，排除n=6(mod8)，因此排除n=

6(mod72)。

mod41 617，排除n=6(mod9)，因此排除n=60(mod72)。

mod227，排除n=3,9(mod12)，因此排除n=9,27(mod72)。剩余n=0,1,36(mod72)，即剩余n=0,1(mod36)。

综合即剩余n=0,1(mod180)。

引理4 设n≡0(mod180)，则仅当n=0时，4yn+5是平方数。

Ⅰ)k≡1(mod4)。令

则k≡1(mod4)情况下的数据见表1。

表1 k≡1(mod4)情况下的数据

于是,由式(5)、(11)及引理1,有