賀艷峰

(延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院,陜西延安 716000)

1 引言和結(jié)論

設(shè)Z,N分別是全體整數(shù)和正整數(shù)的集合.D>1是正整數(shù),p是適合p-D 的素?cái)?shù).50多年前,陳景潤(rùn)[1]在研究數(shù)論中有關(guān)本原商高數(shù)的Je?manowicz猜想時(shí),曾涉及到方程

的求解問(wèn)題.這是一類指數(shù)型的廣義Ramanujan-Nagell方程,它與數(shù)論、組合數(shù)學(xué)和編碼理論中的很多重要問(wèn)題的研究有關(guān)(參考文獻(xiàn)[2]).對(duì)此,佟瑞洲在文獻(xiàn)[3]中確定了方程(1.1)的所有適合m=1的解(x,m,n);在文獻(xiàn)[4]中提出,除了

以外,方程(1.1)適合m>1的解必定滿足下列兩個(gè)條件之一:

(i)D是奇數(shù),p≡1(mod 8),m=2,n=1;

(ii)D是偶數(shù),D含有2kq+1之形素因數(shù),其中q是m的奇素因數(shù).然而,方程(1.1)除了(1.2)以外,顯然還有解

不滿足上述(i)和(ii).由此可知文獻(xiàn)[4]的結(jié)果是不完整的.

對(duì)于非負(fù)整數(shù)t,設(shè)

其中

本文根據(jù)Diophantine方程的性質(zhì)和若干已知結(jié)果,運(yùn)用初等方法,完整地確定了方程(1.1)適合m>1的所有解,即證明了

定理 除了(1.2)和(1.3)以外,方程(1.1)適合m>1的解僅有

2 若干引理

為了證明定理,首先需要證明下面的幾個(gè)引理.為此,設(shè)X>1,r>1均是正整數(shù),q是奇素?cái)?shù).

引理 2.1如果 Xr?1是素?cái)?shù),則X=2且r是素?cái)?shù).

證 參見(jiàn)文獻(xiàn)[5]的定理1.10.1.

引理 2.2 如果Xr+1是素?cái)?shù),則X是偶數(shù)且r=2s,其中s是正整數(shù).

證 參見(jiàn)文獻(xiàn)[5]的定理1.10.2.

引理 2.3設(shè)X>1,r>1均是正整數(shù),q是奇素?cái)?shù),則

(i)

(ii)當(dāng)X+1≡0(mod q)時(shí),q k(Xq+1)/(X+1),且(Xq+1)/q(X+1)的素因數(shù)p滿足p≡1(mod 2q);當(dāng)X+1 6≡0(mod q)時(shí),(Xq+1)/(X+1)的素因數(shù)p滿足p≡1(mod 2q).

證 參見(jiàn)文獻(xiàn)[6].

引理 2.4當(dāng) U2t+1,V2t+1適合(1.4)和(1.5)式時(shí),(U,V)=(U2t+1,V2t+1)(t=0,1,···)是方程

的全部解.

證 因?yàn)?U,V)=(1,1)是方程(2.1)的最小解,所以從文獻(xiàn)[7]第5.3節(jié)直接可得本引理.

引理2.5方程組

僅有解(X,Y,Z)=(1,1,1).

證 參見(jiàn)文獻(xiàn)[4]的引理6.

引理2.6方程

僅有解(X,Y)=(1,1).

證 參見(jiàn)文獻(xiàn)[7]第6.2節(jié).

引理2.7方程

僅有解(X,Y,r)=(78,23,3).

證 參見(jiàn)文獻(xiàn)[8]的定理8.1.

引理2.8方程

無(wú)解(X,r,s).

證 參見(jiàn)文獻(xiàn)[9].

引理2.9方程

僅有解(X,Y,r,s)=(3,2,2,3).

證 參見(jiàn)文獻(xiàn)[10].

引理2.10對(duì)于奇素?cái)?shù)p,方程

證 設(shè)(p,X,r,s)是方程(2.7)的一組解.此時(shí)顯然X>1.因?yàn)楫?dāng)r是偶數(shù)時(shí),3-Xr+1,所以r必為奇數(shù);又因r>1,所以r必為奇素?cái)?shù)q.

根據(jù)引理2.9可知,方程(2.7)僅有解(p,X,r,s)=(3,2,3,1)適合p=3.當(dāng)p 6=3時(shí),因?yàn)閺姆匠?2.7)可知3|Xr+1且32-Xr+1,所以q>3.設(shè)

根據(jù)引理2.3,從(2.7)式可知d=1或p且q=p.

如果d=1,則從(2.7)式可知

由于從(2.8)式中第一個(gè)等式可得X=2,且r=q,又結(jié)合引理2.8和(2.8)式的第二個(gè)等式可得s=1,故有其中q是大于3的奇素?cái)?shù).

如果d=p,且q=p,則根據(jù)引理2.3的結(jié)論(ii),從(2.7)式可得Xr/q+1=3ps?1≥3p,以及p=(Xr+1)/(Xr/q+1)>Xr/q+1>p,這就得出一對(duì)矛盾不等式,故d=p不成立.引理證完.

引理2.11對(duì)于奇素?cái)?shù)p和q,方程

無(wú)解(X,Y,Z).

證 設(shè)(X,Y,Z)是方程(2.9)的一組解.因?yàn)閜>1,所以(X,Y)6=(1,1),故有X+Y>2.由于(Xq+Yq)/(X+Y)是大于1的奇數(shù),所以從(2.9)式可得

因?yàn)閺?2.10)式可知p|gcd(X+Y,(Xq+Yq)/(X+Y)),所以q=p.然而,由于q k(Xq+Yq)/(X+Y),所以(2.10)式中的 s=1,并且可得q=p=(Xq+Yq)/(X+Y)>q,矛盾.因此方程(2.9)無(wú)解.引理證完.

引理2.12當(dāng)r是大于2的正整數(shù)時(shí),方程

無(wú)解(X,Y,Z,t).

證 參見(jiàn)文獻(xiàn)[11].

3 定理的證明

設(shè)(x,m,n)是方程(1.1)的一組滿足m>1的解.

首先討論p=2時(shí)的情況.此時(shí)D是大于1的奇數(shù),方程(1.1)可表示成

因?yàn)镈是奇數(shù),所以從(3.1)式可知x也是奇數(shù),故從x2≡D2m≡1(mod 8)以及0≡x2?D2m≡?2n(Dm?2n)(mod 8)可知n≥3.

從(3.1)式可得

因?yàn)間cd(x+|Dm?2n?1|,x?|Dm?2n?1|)=2,所以從(3.2)式可得

或

當(dāng)(3.3)式成立時(shí),在其中消去x可得

由于 n ≥ 3,所以 22n?4·3?1>22n?3>2n?1,故從 (3.5)式可知 Dm>2n?1以及

從(3.6)式可得

因?yàn)閚≥3,所以從(3.7)式可知m必為奇數(shù),故有m≥3.又因(Dm+1)/(D+1)是奇數(shù),所以從 (3.7)式可得 D+1 ≥ 2n?1,以及 2n?1>2n?3·3+1 ≥ (Dm+1)/(D+1)≥(D3+1)/(D+1)=D2?D+1>D+1≥2n?1這一矛盾.

當(dāng)(3.4)式成立時(shí),在其中消去x可得

如果n=3,則從(3.8)式可得|Dm?4|=1.然而,因?yàn)閙>1,這是不可能的.如果n>3,

則因 22n?4?3>2n?1,所以從 (3.8)式可知 Dm>2n?1以及

由于 gcd(2n?2?1,2n?2+3)=1,故從 (3.9)式可得

然而因?yàn)閙>1,所以根據(jù)引理2.9,從(3.10)式中第一個(gè)等式可知n=3,又從第二個(gè)等式可得bm=5這一矛盾.

從以上分析可知,當(dāng)p=2時(shí),方程(1.1)沒(méi)有適合m>1的解(x,m,n).

其次討論p是奇素?cái)?shù)時(shí)的情況.此時(shí)從(1.1)式可知

因?yàn)閜-D,所以p-x且gcd(2x+|2Dm?pn|,2x?|2Dm?pn|)=1,故從(3.11)式可得

或

現(xiàn)分別按照(3,12)式和(3.13)式成立這兩種情況進(jìn)行討論.

情況I(3.12)式成立.從(3.12)式可得

和

如果pn≡1(mod 4),則因與是互素的奇數(shù),故從(3.16)式可得

從(3.17)式可得

和

由于m>1,根據(jù)引理2.11,從(3.18)式可知m沒(méi)有奇素因數(shù),所以m=2s,其中s是正整數(shù).同時(shí),因?yàn)閺?3.18)式可知(a,b)6=(1,1),所以根據(jù)引理2.6,結(jié)合(3.19)式可知s<2.因此s=1,即m=2.將此代入(3.17)式中第一個(gè)等式,可得

當(dāng)n>2時(shí),根據(jù)引理2.7,結(jié)合(3.20)式可知,僅有(a,p,n)=(78,23,3),然而,此時(shí)從(3.17)式中第二個(gè)等式可得=18250,故這是不可能的.

當(dāng)n=2時(shí),聯(lián)合(3.19)式和(3.20)式可知,方程組(2.2)有解(X,Y,Z)=(p,a,b)6=(1,1,1).然而,根據(jù)引理2.5可知這是不可能的.

當(dāng)n=1時(shí),根據(jù)引理2.4,聯(lián)合(3.14),(3.19)和(3.20)式可得形如(1.6)式的解.

如果pn≡3(mod 8),則因是與3pn?1互素的奇數(shù),后者是偶數(shù),所以從(3.16)式可得

因?yàn)閙>1,所以根據(jù)引理2.10,從(3.21)式中第二個(gè)等式可得

或

當(dāng)(3.22)式成立時(shí),聯(lián)合(3.14)和(3.21)式可得解(1.2).當(dāng)(3.23)式成立時(shí),從(3.21)式中第一個(gè)等式可得

如果pn≡7(mod 8),則因是與pn+1互素的奇數(shù),后者是偶數(shù),所以從(3.16)式可得

因?yàn)閙>1,所以根據(jù)引理2.9,從(3.25)式中的第二個(gè)等式可知n=1,以及

再根據(jù)引理2.1,從(3,26)式可知b=1.將此代入(3.25)式中的第一個(gè)等式可得

然而,由于1<3·2m?2?1<2m,所以(3.27)式不可能成立.

從以上分析可知:方程(1.1)僅有解(1.2)和(1.6),滿足m>1和(3.12)式.

情況II(3.13)式成立.從(3.13)式可得

和

如果pn≡1(mod 8),則因是與pn?1互素的奇數(shù),后者是偶數(shù),所以從(3.30)式可得

因?yàn)閙>1,而且從(3.13)式可知p 6=3,所以根據(jù)引理2.9,從(3.31)式中第二個(gè)等式可得n=1,以及

再根據(jù)引理2.2,從(3.32)式可知m必為偶數(shù).然而,此時(shí)在(3.31)式中消去pn,可得1=am?2m?2bm≥ am/2+2m/2?1bm/2>1,矛盾.

如果pn≡3(mod 4),則因與是互素的奇數(shù),所以從(3.30)式可得

然而,因?yàn)閙>1,又從(3.33)式可知b>a≥1,所以在(3.33)式中消去pn,可得

矛盾.

如果pn≡5(mod 8),則因是與pn+3互素的奇數(shù),后者是偶數(shù),所以從(3.30)式可得

在(3.34)式中消去pn,可得

顯然,從(3.35)式可知m必為奇數(shù).又因m>1,所以根據(jù)引理2.12,從(3.35)式可知,僅有m=3以及a=b=1.將此代入(3.28)和(3.34)式即得解(1.3).由此可知,方程(1.1)僅有解(1.3)滿足m>1以及(3.13)式.

綜合以上所有,定理證完.