常 青，高 麗

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

指數(shù)型Diophantine方程是Diophantine方程中比較有意義且較難的一類方程,給定正整數(shù)a,b,c,Diophantine方程ax+by=cz,x,y,z∈N的求解一直以來都是一個重要的課題。設(shè)a,b,c是商高數(shù)組,即a,b,c是滿足a2+b2=c2的兩兩互素的正整數(shù),則Diophantine方程

(na)x+(nb)y=(nc)z

(*)

顯然有整數(shù)解(x,y,z)=(2,2,2)。1956年,Sierpinski[1]證明了當(dāng)n=1,(a,b,c)=(3,4,5)時,方程(*)僅有正整數(shù)解(x,y,z)=(2,2,2);Jesmanowicz[2]證明了當(dāng)n=1,(a,b,c)=(5,12,13),(7,24,25),(9,40,41),(11,60,61)時,方程(*)僅有正整數(shù)解(x,y,z)=(2,2,2),并且猜測對任意的正整數(shù)n,方程(*)僅有正整數(shù)解(x,y,z)=(2,2,2),這就是著名的Jesmanowicz猜想，又稱為商高數(shù)猜想。目前有許多數(shù)學(xué)愛好者對它的研究已經(jīng)取得了不少成果[3-10]?；趯σ陨衔墨I的研究，本文主要運用簡單同余法、奇偶分析法、二次剩余理論以及分類討論等初等方法,證明了對任意的正整數(shù)n,當(dāng)(a,b,c)=(36,323,325)時Jesmanowicz猜想成立,即Diophantine方程(36n)x+(323n)y=(325n)z僅有正整數(shù)解(x,y,z)=(2,2,2)。

1 相關(guān)引理

引理1[11]若z≥max{x,y},且正整數(shù)a,b,c(不一定互素)滿足a2+b2=c2,則Diophantine方程ax+by=cz僅有正整數(shù)解(x,y,z)=(2,2,2)。

引理3 Diophantine方程36x+323y=325z僅有正整數(shù)解(x,y,z)=(2,2,2)。

證明因為36=22×32,323≡1(mod2),

325≡-1(mod2),

所以由引理2知,36x+323y=325z僅有正整數(shù)解(x,y,z)=(2,2,2)。

2 定理及其證明

定理對任意的正整數(shù)n,Diophantine方程

(36n)x+(323n)y=(325n)z

(1)

僅有正整數(shù)解(x,y,z)=(2,2,2)。

證明根據(jù)引理1，只需證明(1)式在n≥2且min{x,y}

情形1y

323y=nz-y(325z-36xnx-z)

。

(2)

由于y

設(shè)n=17u19vn,u+v≥1,gcd(n,323)=1,此時(2)式可化為

17y19y=17u(z-y)19v(z-y)n1z-y·

(325z-36x17u(x-z)19v(x-z)n1x-z)，

(3)

由此可見,n1=1。

情形1.1 若n=17u(u≥1),則y=u(z-y)。于是(3)式可化為

36x17u(x-z)=325z-19y，

(4)

對上式兩邊同取模8,模17,則有

(-3)z≡3y(mod8);2z≡2y(mod17)。

則y與z奇偶性相同，因此

y≡0(mod4),z≡0(mod2)。

令z=2z1,y=4y1,則由(4)式得

22x32x17u(x-z)=(325z1-192y1)(325z1+192y1)

，

(5)

這里gcd(325z1-192y1,325z1+192y1)=2,

由4|(325z1-192y1)知,23x-1|(325z1-192y1),

又3|(325z1-192y1),則

23x-1-32x|(325z1-192y1),

但23x-132x>23z134z1=648z1>325z1-192y1不成立。

所以(5)式?jīng)]有整數(shù)解。

情形1.2 若n=19v(v≥1),則y=v(z-y)。于是(3)式可化為

36x19v(x-z)=325z-17y，

(6)

對上式兩邊同取模4,模19,則有

1≡(-3)y(mod4),y≡0(mod2);

2z≡(-2)y≡2y(mod19)，

得2(y-z)≡1(mod19)。

則y與z奇偶性相同。

若y≡z≡0(mod4),令z=4z1,y=4y1,則由(6)式得

22x32x19v(x-z)=(3252z1-172y1)(3252z1+172y1)。

(7)

注意這里gcd(325z1-17y1,325z1+17y1)=2,

由4|(325z1-17y1)知,23x-1|(325z1-17y1)，

又3|(325z1-17y1),則23x-132x|(325z1-17y1)。

但23x-132x>(24)2z1(33)2z1=4322z1>3252z1-172y1。

所以(6)式?jīng)]有整數(shù)解。

若y≡z≡2(mod4),

令z=4z1+2,y=4y1+2,且y1,z1為奇數(shù),則由(6)式得

22x32x19v(x-z)=

(3252z1+1-172y1+1)(3252z1+1+172y1+1)。

(8)

因為4|(3252z1+1+172y1+1),

3|(3252z1+1+172y1+1),

所以23x-132x|(3252z1+1+172y1+1)。

但23x-132x>24(2z1+1)33(2z1+1)=4322z1+1>

(325+17)2z1+1>3252z1+1+172z1+1>3252z1+1+172y1+1。

所以(6)式?jīng)]有整數(shù)解。

情形1.3 若n=17u+19v(u≥1,v≥1),則

y=v(z-y)。

于是(3)式可化為

17y19y=17u(z-y)19v(z-y)·

(325z-36x17u(x-z)19v(x-z))，

(9)

則y=u(z-y)=v(z-y),

于是(9)式可化為

36x17u(x-z)19v(x-z)=325z-1。

(10)

對(10)式取模19,有2z≡1(mod19),得

z≡0(mod18)。

由于

35317|(3253-1)=34328124=22·35·35317,

故由(10)式可知,35317|36x17u(x-z)19v(x-z),但是由于35317是質(zhì)數(shù),所以35317|36x17u(x-z)19v(x-z)不成立。

所以(6)式?jīng)]有整數(shù)解。

情形2x

36x=nz-x(325z-323yny-z)。

(11)

設(shè)n=2r3sn1,r+s≥0,gcd(n,6)=1,此時(11)式可化為

22x32x=2r(z-x)3s(z-x)n1z-x·

(325z-323y2r(y-z)3s(y-z)n1y-z)，

(12)

由此可見n1=1，且有

325z-323y2r(y-z)3s(y-z)=22x-r(z-x)32x-s(z-x)。

(13)

情形2.1 若r=s=0,則由(13)式得

36x+323y=325z。

(14)

由引理3知，(14)式僅有解(x,y,z)=(2,2,2)與x

情形2.2 若r=0,s>0,則由(13)式得

x=s(z-x),且有

325z-4x=17y19y3s(y-z)。

(15)

對(15)式取模3，得1≡(-2)x(mod3),則2|x；

對(15)式取模17，得2z≡22x(mod17)；

對(15)式取模19,得2z≡22x(mod19)。

若z=2x,則可設(shè)x=2x1,z=4x1,

于是(15)式變?yōu)?/p>

(3252x1+4x1)(3252x1-4x1)=17y19y3s(y-z)。

(16)

因17|(3252x1+4x1),17|(3252x1-4x1),

19|(3252x1-4x1),

則323y|(3252x1-4x1),但

323y>3236x1=(3233)2x1>3252x1>3252x1-4x1。

所以(15)式?jīng)]有整數(shù)解。

若z>2x,則2z-2x≡1mod(323)。

于是120|(z-2x)且x為偶數(shù),則6|z。

設(shè)x=3x1,z=6z1,因此

(3252z1-22x1)(3254z1+24x1+3252z122x1)=

17y19y3s(y-z)。

(17)

若17|(3252z1-22x1),

則17y|(3252z1-22x1),

但17y>17z>11z=116z1=(1331)2z1>3252z1-22x1不可能。

若17|(3254z1+24x1+3252z122x1),

即17|(54z1+5x1+4x1+z1)不成立。

所以(15)式?jīng)]有整數(shù)解。

若x

于是120|(3x-z)且x為偶數(shù),則6|z,這與z>2x情形一樣。

所以(15)式?jīng)]有整數(shù)解。

情形2.3 若r>0,s=0,則由(13)式得

x=s(z-x),且有

(325z-3x)2r(z-y)=17y19y。

(18)

顯然r(z-y)≠0,則(18)式左為偶數(shù),右為奇數(shù),矛盾。

所以(15)式?jīng)]有整數(shù)解。

情形2.4 若r>0,s>0,則由(13)式得

3x=r(z-x),x=s(z-x),且有

(325z-1)2r(z-y)=17y19y3x(y-z)。

(19)

顯然r(z-y)≠0,則(19)式左為偶數(shù),右為奇數(shù)，矛盾。

所以(15)式?jīng)]有整數(shù)解。

綜上所述,對任意的正整數(shù)n,Diophantine方程

(36n)x+(323n)y=(325n)z

僅有正整數(shù)解(x,y,z)=(2,2,2)。