胡邦群

(重庆师范大学 数学科学学院,重庆 400047)

关于不定方程Mx(x+1)(x+2)(x+3)=Ny(y+1)(y+2)(y+3)其中(M，N)=(5，11)和(6，11)

胡邦群

(重庆师范大学 数学科学学院,重庆 400047)

主要运用Pell方程、递推序列、同余式及(非)平方剩余等一些初等方法,证明了不定方程Mx(x+1)(x+2)(x+3)=Ny(y+1)(y+2)(y+3)，其中(M，N)=(5，11)和(6，11)无正整数解.

不定方程；整数解；递归数列

当(m,n)=1,m,n∈N*时,对形如mx(x+1)(x+2)(x+3)=ny(y+1)(y+2)(y+3)的不定方程已有不少研究工作[1-11].此处将运用递归数列的方法证明当(M,N)=(5,11)和(6，11)时,不定方程：

5x(x+1)(x+2)(x+3)=11y(y+1)(y+2)(y+3)

(1)

6x(x+1)(x+2)(x+3)=11y(y+1)(y+2)(y+3)

(2)

均无正整数解.

1 不定方程5x(x+1)(x+2)(x+3)=11y(y+1)(y+2)(y+3)

先将方程(1)化为[5(x2+3x+1)]2-55(y2+3y+1)=-30

(3)

易知方程X2-55Y2=-30的全部整数解[12],由以下两个(非结合)类给出：

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

(4)

易得出下列等式：

yn+1=178yn-yn-1,y0=1,y1=149

(5)

un+1=178un-un-1,u0=1,u1=89

(6)

vn+1=178vn-vn-1,v0=1,v1=12

(7)

(8)

yn=un+5vn

(9)

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

(10)

um+n=umun+55vmvn,vm+n=umvn+unvm,u-n=un,v-n=-vn

(11)

下面将证明式(4)仅当n=0时成立,由此求得方程(1)的全部整数解.

(2y+3)2=-4yn+5解的证明.考察式(4)的解,即n取何值时-4yn+5为完全平方数.

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

证明 从式(5)知道yn>1(n≠0),从而-4yn+5是负数,不可能为一个平方数.当n=0时,-4yn+5=1,结论成立.证毕.

2 解的证明

引理3 若4yn+5是平方数,则必须n≡0(mod150).

证明 采用对序列{4yn+5}取模的方法进行证明.

mod151,排除n≡2,3(mod5),此时4yn+5≡87,113(mod151).剩n≡0,1,4(mod5).

为了节省篇幅,每次仅给出每次取模所用的素数以及n的剩余类情况.取mod6301,剩n≡0,4,5,9(mod10).取mod521,剩n≡0,5,10,15,19(mod20).取mod199,149剩n≡0,30,40,50,60,80,85,90,99(mod100).取mod13,59,1289,2437,2699剩余n≡0(mod150)引理得证.

引理4 设n≡0(mod150),则仅当n=0时,4yn+5为平方数.

证明 若n=52×2t×k(t≥1,k≡1(mod2)),对序列{un+4vn}取模71得两个剩余序列周期为36,而对{2t}模36的剩余序列周期为6.对k分两种情况讨论：

1)当k≡1(mod4)时,当t≡0,1,2(mod6)时,令m=2t；当t≡3(mod6)时,令m=5×2t；当t≡5(mod6)时,令m=3×2t；当t≡4(mod6)时,令m=52×2t.则当t(≥1)(mod6)=0,1,2,3,4,5时,m(mod36)=28,20,4,4,4,24,对应{um+4vm}(mod71)=41,39,14,14,14,21,这些数均为模71的平方非剩余.再由式(9),(10)和引理2知:4yn+5≡20v2m+5(modu2m).

2)当k≡3(mod4)时,当t≡3,4,5(mod6)时,令m=2t；当t≡0(mod6)时,令m=5×2t；当t≡2(mod6)时,令m=3×2t；当t≡1(mod6)时,令m=52×2t，则当t(≥1)(mod6)=0,1,2,3,4,5时,m(mod36)=32,32,12,8,16,32,

对应序列{um-4vm}(mod71)=14,14,21,41,39,14,这些数均为模71的平方非剩余,由式(9),(10)和引理2知:4yn+5≡-4y2m+5≡-20v2m+5(modu2m).

2 不定方程6x(x+1)(x+2)(x+3)=11y(y+1)(y+2)(y+3)

先将方程(2)化为[6(x2+3x+1)]2-66(y2+3y+1)=-30

(12)

易知方程X2-66Y2=-30的全部整数解[7],由以下两个(非结合)类给出：

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

(13)

易得出下列等式：

yn+1=130yn-yn-1,y0=1,y1=113

(14)

un+1=130un-un-1,u0=1,u1=65

(15)

vn+1=130vn-vn-1,v0=1,v1=8

(16)

(17)

yn=un+6vn

(18)

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

(19)

um+n=umun+66vmvn,vm+n=umvn+unvm,u-n=un,v-n=-vn

(20)

下面将……