吴小英

(四川师范大学 数学科学学院,四川 成都 610068)

0 引言

设整数D>2,且无平方因子.丢番图方程

x3±1=Dy2

(1)

是一类重要的丢番图方程,对这类方程整数解的研究已产出大量的文献.柯召、孙琦在文[1,2]中证明了当且仅当D不含6k+1型素数时,方程(1)无非平凡解.但当D含6k+1型素因数时,方程的解的情况比较复杂，求解过程亦较为困难.2003年，罗明证明了x3+1=7y2仅有整数解(x,y)=(-1,0)，(3,±2)[3].2009年，瞿云云等人证明了x3+1=119y2仅有整数解(x,y)=(-1,0)[4].本文利用Pell方程的解所给出的递归数列的性质与同余式证明了丢番图方程x3-1=1261y2仅有整数解(x,y)=(1,0).

1 引理

引理1[5]若D是一个非平方的正整数,则Pell方程

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

(2)

引理2[6]方程4x4-3y2=1仅有整数解(x,y)=(±1,±1).

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

引理4[6]丢番图方程x4-3y2=1仅有整数解(x,y)=(±1,0).

2 主要结果

定理1 丢番图方程

x3-1=1261y2

(3)

仅有正整数解(x,y)=(1,0).

定理1的证明设(x,y)是(3)的解.因为gcd(x+1,x2-x+1)=1或3,故分以下8种情况进行讨论：

(I)x-1=a2，x2+x+1=1261b2,y=ab;

(II)x-1=13a2，x2+x+1=97b2,y=ab;

(III)x-1=97a2，x2+x+1=13b2,y=ab;

(IV)x-1=1261a2，x2+x+1=b2,y=ab;

(V)x-1=3a2，x2+x+1=3783b2,y=3ab;

(VI)x-1=39a2，x2+x+1=291b2,y=3ab;

(VII)x-1=291a2，x2+x+1=39b2,y=3ab;

(VIII)x-1=3783a2，x2+x+1=3b2,y=3ab，

这里，a≥0,b>0,gcd(a,b)=1.

情形(I)将第二式两边模13,得x2+x+1≡0(mod 13),解之得x≡3,9(mod 13),代入第一个方程，有a2=x-1≡2,8(mod 13).但模13的Legendre符号

故在该情形时方程(3)无整数解.

情形(II)将第一式的两边模13,得x≡1(mod 13).代入第二个方程，得3≡x2+x+1=97b2≡6b2(mod 13).因而， 2b2≡1(mod 13),解之得,b2≡7(mod 13). 但模13的Legendre符号

故在该情形时方程(3)无整数解.

情形(III)将第二式两边模8,得x2+x+1≡5(mod 8),解之得x≡3,4(mod 8),代入第一个方程，有2,3≡x-1=97a2≡a2(mod 8).这是不可能的.

故在该情形时方程(3)无整数解.

情形(IV)由第二个方程,得x=0，-1.但x=0，-1，均不满足第一个方程,故在该情形时方程(3)无整数解.

情形(V)将第二式两边模13,得x2+x+1≡0(mod 13),解之得x≡3,9(mod 13),代入第一个方程，有3a2=x-1≡2,8(mod 13)，解之得,b2≡5,7(mod 13).但模13的Legendre符号

故在该情形时方程(3)无整数解.

情形(VI)将第一式的两边模13,得x≡1(mod 13)，代入第二个方程，得3≡x2+x+1=291b2≡5b2(mod 13).因而，2b2≡1(mod 13),解之得,b2≡11(mod 13). 但模13的Legendre符号

故在该情形时方程(……