朱 哲，管訓貴

（泰州學院 數(shù)理學院，江蘇 泰州 225300）

1 引言及主要結(jié)論

不定方程

的整數(shù)解已有不少人研究過?？抡?、孫琦[1-2]證明了當D＞2，D無平方因子且不含6k+1 型的素因子時，方程(1)無非平凡解。當D含6k+1 型的素因子時，求方程的非平凡解顯得尤為困難[3]，其中一類典型的不定方程是

對方程(2)的研究，目前只有一些零散的結(jié)果[4-10]。本文利用初等方法給出q=683時方程(2)的解，即證明了如下定理

定理不定方程

僅有整數(shù)解(x,y)=(-1,0)。

2 若干引理

引理1[11]20-21設p是一個奇素數(shù)，則方程

除p=3,x=y=1和p=7，x=2,y=3外，無其他的正整數(shù)解。

引理2[11]273-275方程x2-3y4=1僅有整數(shù)解

引理3[11]260-261設p是一個奇素數(shù)，則方程

除p=5,x=3,y=4和p=29,x=99,y=1820外，無其他的正整數(shù)解。

3 定理的證明

證明因為(x+1,x2-x+1)=1或3，故方程(3)給出8 種情形，如表1 所示。

表1 方程(3)給出的8 種情形

情形Ⅰ由第一式得x≡-1(mod683)，代入第二式得7v2≡3(mod683)，即(7v)2≡21(mod683)，但Legendre 符號

不可能成立，故該情形不定方程(3)無整數(shù)解。

情形Ⅱ由第二式得

故(2x-1)2≡-3(mod683)，但Legendre 符號

不可能成立，故該情形不定方程(3)無整數(shù)解。

情形Ⅲ由第二式得

故(2x-1)2≡ -3(mod683)，由情形Ⅱ知，該式不可能成立，故該情形不定方程(3)無整數(shù)解。

情形Ⅳ由解第二式得

解得x=0,1，均不適合第一式，故該情形不定方程(3)無整數(shù)解。

情形Ⅴ由第一式得x≡-1(mod683)，代入第二式得3 ≡21v2(mod683)，即(7v)2≡7(mod683)，但

不可能成立，故該情形不定方程(3)無整數(shù)解。

情形Ⅵ由第二式得

所以(2x-1)2≡-3(mod683)，由情形Ⅱ知，不可能，故該情形不定方程(3)無整數(shù)解。

情形Ⅶ由第二式得

所以(2x-1)2≡-3(mod683)，由情形Ⅱ知，該式不可能成立，故該情形不定方程(3)無整數(shù)解。

情形Ⅷ將第一式代入第二式整理得

故有

即

又y-n=-yn，所以只需考慮

可驗證下列各式成立：

若n≡0(mod2)，則由(6)知yn≡0(mod2)，此時(4)式不成立。

若n≡1(mod4)，令n=4k+1(k∈Z)，則由(7)、(8)可得

又因

所以下列情形之一成立（u=mh，(m,h)=1）：

將(11)的第一式x2k=m2代入，得。根據(jù)引理3 知，m2=1，即x2k=1，則k=0，但由(6)及(11)的第二式知，y1≠4781h2，所以(11)式不成立。

因x2k≡/0(mod2)，故m為奇數(shù)，則m2≡1(mod8)；而y2k+1≡/0(mod2)，故h為奇數(shù)，則h2≡1(mod8)。又y2k≡0,4(mod8)，故2y2k≡0(mod8)。對(14)兩邊取模8，得 -4 ≡0(mod8)，該式不可能成立。

類似(12)式的討論知，(13)也不可能成立。

若n≡-1(mod4)，令n=4k-1(k∈Z)，則由(7)、(8)、(9)可得

所以下列情形之一成立（u=2mh，(m,h)=1）：

由(16)的第二式得x k y k=h2，因(xk,yk)=1，有xk=a2，yk=b2，故(a2)2-3b4=1，由引理2 知，a2=1，此時xk=1，則k=0，推出(16)的第一式不成立。

由(17)的第二式得x k yk=7h2，因(x k,yk)=1，有

或

若(19)成立，則有

由引理3 知，方程(21)僅有整數(shù)解(a,b)=(±1,0)，此時y2k=0，則k=0，推出(17)的第一式不成立。

若(20)成立，則有

由引理2 知，方程(22)僅有整數(shù)解(a,b)=(±1,± 2)，故xk=7，則k=2。此時n=7，所以由(4)，得9562u2=y7+1=2912，該式不可能成立。

由(18)的第二式得x k yk=683h2，因(x k,yk)=1，有

若(23)成立，則有

由引理3 知，方程(25)僅有整數(shù)解(e,f)=(±1,0)，此時y2k=0，則k=0，推出(18)的第一式不成立。

若(24)成立，則有

由引理2 知，方程(26)給出683e2=2,7,1，顯然不可能。

綜上，不定方程(3)僅有整數(shù)解(x,y)=(-1,0)，定理得證。