關于Pell方程組X2-m(4m+1)Y2=1和Y2-bZ2=16的解數

2024-03-07 01:31:24閆檔檔楊海陳江濤

湖北大學學報(自然科學版) 2024年2期

閆檔檔,楊海,陳江濤

(西安工程大學理學院, 陜西西安 710048)

0 引言及結論

設Z,Z+分別是全體整數和全體正整數的集合,a,b是不同的正整數。近年來,關于Pell方程組

x2-ay2=k,y2-bz2=l,(k,l∈Z+)

解的研究已有一些成果:當(k,l)=(1,1)時,Arwin[1]初步研究了方程組的可能性;Ljunggren[2]證明了當(a,b)=(2,3)時,方程組僅有解(x,y,z)=(3,2,1);Mohanty和Ramasamy[3]考慮了(a,b)=(2,20)的情形;Baker和Davenport[4]運用Baker關于對數線性型的下界估計,給出了對于確定的正整數對(a,b)求解方程組的方法;設N(a,b)表示方程組正整數解的個數,Bennett[5]證明了N(a,b)≤3;Cipu和Mignotte M[6]改進了Bennett[5]的結果,證明了N(a,|b)≤2;Yuan[7]證明了當a>3.31×1035時,N(a,b)≤2;Yuan[8]證明了當a=4m(m+1)時,N(a,b)≤1;He[9]改進了Bennett[5]和Yuan[7]的結論,證明了N(a,b)≤2。當(k,l)=(1,16)時,萬飛和杜先存[10]證明了當a=5時,方程組的正整數解只有(x,y,z)=(2 889,1 292,72);瞿云云[11]證明了當a=18時,方程組的正整數解只有(x,y,z)=(1 960 1,4 620,136)。本研究主要討論當a=m(4m+1),b=2p或2pq(p,q為互異的奇素數)時,Pell方程組X2-m(4m+|1)Y2=1和Y2-bZ2=16的正整數解數。

定理如果m和b為正整數,且a=m(4m+1),b=2p或2pq(p,q為互異的奇素數),那么Pell方程組

X2-aY2=1,Y2-bZ2=16

(1)

至多有一組正整數解(X,Y,Z)。

1 關鍵性引理

設a,b是不同的正整數,且a,b都不是完全平方數。令α和β分別是x2-ay2=1和y2-bz2=1的基本解。記

(2)

引理1[12]1)若d=gcd(m,n),則gcd(Um,Un)=Ud;

4)若Um≠1,Um|Un當且僅當m|n;

6)U2m=2UmVm。

引理2[13］設k0,k1,k2,q均為正整數,且k2=2qk1±k0,0≤k0≤k1,那么:

1)Uk2≡±Uk0(bmodUk);

2)若2|q,則Vk2≡Vk0(bmodVk1);

3)若2 |/q,則Vk2≡-Vk0(bmodVk1)。

設(x,y,z)是

x2-ay2=1和y2-bz2=1

(3)

的正整數解,那么存在正整數k,l使得

(4)

用N(a,b)表示(3)式的正整數解(x,y,z)的個數,設(x0,y0,z0)是(3)式的正整數解且對應的y值最小,k0,l0對應(4)式中的k,l,即

(5)

k0|k?y0|y?l0|l

(6)

k=2qk0±s,0

(7)

由(7)式和引理2可知

y=Uk≡±Us(bmodUk0)≡±Us(bmody0),

y=V′l≡±V′t(bmodV′l0)≡±V′t(bmody0).

(8)

(9)

顯然有

Uk=xkyk,其中2 |/k;Uk=2xkyk,其中2|k

(10)

=Uk+1Uk-1,從而由(10)式可得引理4。

引理51)若k為偶數,則xk+1,yk+1,xk-1,yk-1是兩兩互素得;

2)若k為奇數,則gcd(xk+1,xk-1)=1,gcd(yk+1,yk-1)=1;

3)若k≡1(mod 4),則gcd(xk+1,yk-1)=8m+1,gcd(yk+1,xk-1)=1;若k≡3(mod 4),則gcd(xk+1,yk-1)=1,gcd(yk+1,xk-1)=8m+1。

引理5的證明1)可參見Yuan[14]的定理1;2)和3)可由(9)式,引理1的3)和y2=V1=8m+1可得。

引理6[15]對于任意的正整數A和B,丟番圖方程Ax2-By4=1至多有一組正整數解(x,y)。

引理7若k>2,則Uk有一個本原素因子p,此外p|Un當且僅當k|n。

2 定理的證明

x2-16m(4m+1)y2=1,y2-bz2=1

(11)

情形1若2|k0,則由引理4的2)可得

(12)

和

(13)

若k0>3,則由引理7可知,Uk0+1和Uk0-1分別有本原素因子p和q,結合z0|z、(12)式、(13)式和引理7可知

k0+1|k+1或k-1,k0-1|k+1或k-1

(14)

若k0=2,由引理7可知,U3有一個本原素因子p,由k0-1=1、z0|z、(12)式、(13)式和引理7可知,(14)式也成立。由于k0和k均為偶數,根據引理5的(1)可知xk0+1、yk0+1、xk0-1和yk0-1兩兩互素;同理,xk+1、yk+1、xk-1和yk-1兩兩互素。因此,如果k0+1|k+1,k0-1|k-1,那么由(12)式、(13)式、引理1和引理5的1)可知

(15)

其中A,B,C,D均為正整數。由于k0=2,則2 |/(k0+1)(k0-1)(k+1)(k-1),由(8)式和(15)式可得

(16)

和

(17)

情形2若2 |/k。則由引理4的(1)可得

(18)

和

(19)

若k0>3,則由引理7可知,Uk0+1和Uk0-1分別有本原素因子p和q,結合z0|z、(18)式、(19)式和引理7可得

k0+1|k+1或k-1,k0-1|k+1或k-1

(20)