鄧乃娟，袁平之

(1.湛江幼兒師范專(zhuān)科學(xué)校 數(shù)學(xué)系，廣東 湛江，524000； 2.華南師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，廣東 廣州，510631)

丟番圖方程是數(shù)論的一個(gè)重要的分支，而指數(shù)型的丟番圖方程又是其中較難的一個(gè)類(lèi)型。到目前為止，指數(shù)型的丟番圖方程仍是一個(gè)熱門(mén)的研究課題，有很多的數(shù)論學(xué)者從事其研究，并且也得到了大量的研究結(jié)果。 比如： LJUNGGREN[1]得到了丟番圖方程：

(1)

的全部正整數(shù)解。孫琦和袁平之[2]得到丟番圖方程

的全部正整數(shù)解。隨后羅家貴[3-4]、曹珍富[5]和袁平之[6]分別得到了丟番圖方程

的全部正整數(shù)解。2001年,袁平之和羅家貴[7]又得到了丟番圖方程

的全部正整數(shù)解。在最近幾年，數(shù)論工作者們又得到了一些指數(shù)型丟番圖方程的一些正整數(shù)解，具體可見(jiàn)文獻(xiàn)[ 8-14]。

本文主要運(yùn)用二次丟番圖方程的結(jié)論繼續(xù)研究高次丟番圖方程

的全部正整數(shù)解(a,x,y,m,n)，并且得到如下結(jié)論。

定理1不定方程

(2)

僅有平凡解a=cxn-2m,y=x(n-m)/2。

定理2不定方程

(3)

無(wú)正整數(shù)解。

在本文中要求a>0,x>1,y>0,n>m且a,x,y,m,n∈N。下面先介紹一些預(yù)備知識(shí)。

1 引理

引理1.1[4]設(shè)D是非完全平方正整數(shù)，(x0,y0)是Pell方程

x2-Dy2=±1

(4)

引理1.2[4]1) 設(shè)D是1個(gè)非完全平方正整數(shù),則方程

x2-Dy2=1

(5)

2)設(shè)D是1個(gè)正整數(shù)且非完全平方數(shù),若方程

x2-Dy2=-1

(6)

引理1.3[6]設(shè)方程

kx2-ly2=c,c=1,2,4.

當(dāng)k>1或c=2時(shí)，該方程的所有正整數(shù)解(xn,yn)滿(mǎn)足

引理1.4[6]設(shè)D是非平方數(shù)且8或不整除D。

1)若2|D，則這些方程kx2-ly2=1,k>1,kl=D中有且只有一個(gè)方程有正整數(shù)解。

2)若2不整除D，則這些方程kx2-ly2=1,k>1,kl=D;kx2-ly2=2,k>0,kl=D中有且只有一個(gè)方程有正整數(shù)解。

3)若2不整除D和x2-Dy2=4有正整數(shù)解(x,y)，其中x,y為奇數(shù)，則這些不定方程kx2-ly2=4,k>1,kl=D中有且只有1個(gè)方程有正整數(shù)解。

2 定理的證明

定理1的證明情形1：當(dāng)c=1時(shí)，令axm=bu2,u>0,b>0無(wú)平方因子，于是，指數(shù)方程(axn-1)/(axm+1)=y2-1可變形成

bu2(xn-m+1)=(bu2+1)y2

(7)

由于(bu2,bu2+1)=1，因此，bu|y。不妨設(shè)y=buy1，代入(7)得

b(bu2+1)y12-xn-m=1

(8)

另一方面，方程

(bu2+1)X2-bY2=1

(9)

綜上，(axn-1)/(axm+1)=y2-1僅有平凡解a=xn-2m,y=x(n-m)/2。

情形2：當(dāng)c=2時(shí)，若2不整除axm，令axm=bu2,u>0,b>0無(wú)平方因子，于是，指數(shù)方程(axn-2)/(axm+2)=y2-1可變形成

bu2(xn-m+1)=(bu2+2)y2

(10)

由于(bu2,bu2+2)=1，因此，bu|y。不妨設(shè)y=buy1，代入(10)式得

b(bu2+2)y12-xn-m=1

(11)

另一方面，方程

(bu2+2)X2-bY2=2

(12)

若2|axm，令axm=2bu2,u>0,b>0無(wú)平方因子，于是，指數(shù)方程(axn-2)/(axm+2)=y2-1可變形成

bu2(xn-m+1)=(bu2+1)y2。

由c=1時(shí)的公式(7)，(8)和(9)的討論知b=1，即axm=2u2。再由引理1.2知

從而，x與u同奇偶，故x(n-m)/2的所有素因子因子整除u。再由引理1.5得u=x(n-m)/2,y1=1，即a=2xn-2m,y=x(n-m)/2。

綜上，(axn-2)/(axm+2)=y2-1僅有平凡解a=2xn-2m,y=x(n-m)/2。

情形3：當(dāng)c=4時(shí)，若2不整除axm，令axm=bu2,u>0,b>0無(wú)平方因子，則指數(shù)方程(axn-4)/(axm+4)=y2-1可變形成

bu2(xn-m+1)=(bu2+4)y2

(13)

由于(bu2,bu2+4)=1，因此，bu|y。不妨設(shè)y=buy1，代入(13)式得

b(bu2+4)y12-xn-m=1

(14)

另一方面，方程

(bu2+4)X2-bY2=4

(15)

(bu2+4)X2-bY2=1

從而，axm=u2，即x(n-m)/2的所有素因子整除u(u2+3)/2。這時(shí)，結(jié)合引理2.5可得x(n-m)/2=u(u2+3)/2,y1=(u2+1)/2。這與u≡1(mod 2),y1≡0(mod 2)相矛盾。

若2‖axm，令axm=2bu2,u>0,b>0無(wú)平方因子且2不整除bu2，于是，指數(shù)方程(axn-4)/(axm+4)=y2-1可變形成

bu2(xn-m+1)=(bu2+2)y2。

由c=2時(shí)的公式(10)，(11)和(12)的討論知(13)式無(wú)正整數(shù)解。

若4|axm，令axm=4bu2,u>0,b>0無(wú)平方因子，則指數(shù)方程(axn-4)/(axm+4)=y2-1可變形成

bu2(xn-m+1)=(bu2+1)y2。

由c=1時(shí)的公式(7)，(8)和(9)的討論知b=1，即axm=4u2。再由引理1.2知

從而x與u同奇偶，故x(n-m)/2的所有素因子因子整除u。再由引理1.5得u=x(n-m)/2,y1=1，即a=4xn-2m,y=x(n-m)/2。

綜上，(axn-4)/(axm+4)=y2-1僅有平凡解a=4xn-2m,y=x(n-m)/2。

定理2的證明情形1：當(dāng)c=1時(shí)，令axm=bu2>1,u>0,b>0無(wú)平方因子，于是指數(shù)方程(axn+1)/(axm-1)=y2-1可變形成

bu2(xn-m+1)=(bu2-1)y2

(16)

由于(bu2,bu2-1)=1，因此，bu|y。不妨設(shè)y=buy1，代入(16)式得

b(bu2-1)y12-xn-m=1

(17)

另一方面，方程

bX2-(bu2-1)Y2=1

(18)

若b=1，則u2-1>1。將b=1代入(18)式得

(u2-1)y12-xn-m=1

(19)

而不定方程

(u+1)X2-(u-1)Y2=2

(20)

有整數(shù)解(X,Y)=(1,1)。若2不整除u2-1，則結(jié)合引理1.4知(19)式不成立。若2|(u2-1)，則2|(u-1),2|(u+1),4|(u2-1)，于是，方程

(21)

有正整數(shù)解(X,Y)=(1,1)，且(20)可變形為

(22)

故axm=u2=9,即(a,m,x)的可能取值為(1,2,3),(1,1,9),(3,1,3)。分別代入(18)式得3n-2+1=8y12,9n-1+1=8y12,3n-1+1=8y12,這均與n≡m(mod2)相矛盾。

若b>1，則由引理1.4、公式(17)和(18)式知bu2-1=1，即axm=bu2=2。將b=2,u=1代入(16)式知x≡1(mod2)，于是axm=2與x>1相矛盾。

綜上，(axn+1)/(axm-1)=y2-1無(wú)正整數(shù)解。

情形2：當(dāng)c=2時(shí)，若2不整除axm，令axm=bu2>2,u>0,b>0無(wú)平方因子，于是，指數(shù)方程(axn+2)/(axm-2)=y2-1可變形成

bu2(xn-m+1)=(bu2-2)y2

(23)

由于(bu2,bu2-2)=1，因此bu|y。不妨設(shè)y=buy1，代入(23)式得

b(bu2-2)y12-xn-m=1

(24)

另一方面，方程

bX2-(bu2-2)Y2=2

(25)

有正整數(shù)解(X,Y)=(1,1)。根據(jù)引理1.4、公式(24)、(25)和2不整除b(bu2-2)且b(bu2-2)>1知(24)式不成立。

若2|axm，令axm=2bu2,u>0,b>0無(wú)平方因子，于是，指數(shù)方程(axn+2)/(axm-2)=y2-1可變形成

bu2(xn-m+1)=(bu2-1)y2

(26)

由c=1時(shí)的公式(16)，(17)和(18)的討論知bu2=9或bu2=2。

當(dāng)bu2=9時(shí)，代入(25)式得9(xn-m+1)=8y2，于是，x≡1(mod2)。又axm=2bu2=18，故(a,m,x)=(2,2,3),(2,1,9),(6,1,3)。分別代入(26)式得9(3n-m+1)=8y2,9(9n-m+1)=8y2,9(3n-m+1)=8y2,這均與n≡m(mod2)相矛盾。

當(dāng)bu2=2時(shí)，b=2,axm=4，即2|x。又由于(bu2,bu2-1)=1，故由(26)式知bu2|y2，不妨設(shè)y=buy1，于是(26)式可變形為

b(bu2-1)y2-xn-m=1

(27)

從而由(27)式得x≡1(mod2)。這與axm=4,x>1相矛盾。

綜上，(axn+2)/(axm-2)=y2-1無(wú)正整數(shù)解。

情形3：當(dāng)c=4時(shí)，若2不整除axm，令axm=bu2>4,u>0,b>0無(wú)平方因子，于是指數(shù)方程(axn+4)/(axm-4)=y2-1可變形成

bu2(xn-m+1)=(bu2-4)y2

(28)

由于(bu2,bu2-4)=1，因此，bu|y。不妨設(shè)y=buy1，代入(28)式得

b(bu2-4)y12-xn-m=1

(29)

另一方面，方程

bX2-(bu2-4)Y2=4

(30)

bX2-(bu2-4)Y2=1

(31)

有正整數(shù)解。

當(dāng)b>1時(shí)，由引理1.4、公式(29)和(31)知bu2=5，即axm=5，故 (a,m,x)=(1,1,5)，將其代入(29)式得5n-m+1=5y12，這與5n-m+1≡2(mod4)相矛盾。

當(dāng)b=1時(shí)，代入(29)式得(u2-4)y12-xn-m=1。又因?yàn)?/p>

(u+2)X2-(u-2)Y2=4

(32)

有正整數(shù)解(X,Y)=(1,1)，故由引理1.6知方程 (u+2)X2-(u-2)Y2=1有正整數(shù)解。這時(shí)再結(jié)合引理1.4可得u2-4=u+2，即u=3,axm=9。從而(a,m,x)=(1,2,3),(1,1,9),(3,1,3)，分別代入(u2-4)y12-xn-m=1中得3n-m+1=5y12,9n-m+1=5y12,3n-m+1=5y12，這與3n-m+1≡9n-m+1≡2(mod4)相矛盾。

若2||axm，令axm=2bu2>4,u>0,b>0無(wú)平方因子且2不整除bu2，于是，指數(shù)方程(axn+4)/(axm-4)=y2-1可變形成

bu2(xn-m+1)=(bu2-2)y2

(33)

當(dāng)c=2時(shí)，由公式(23)，(24)和(25)的討論知(32)式無(wú)正整數(shù)解。

若4|axm，令axm=4bu2,u>0,b>0無(wú)平方因子，于是，指數(shù)方程(axn+4)/(axm-4)=y2-1可變形成

bu2(xn-m+1)=(bu2-1)y2

(34)

由c=1時(shí)的公式(16)，(17)和(18)的討論知bu2=9或bu2=2。

當(dāng)bu2=9時(shí)，代入(34)式得9(xn-m+1)=8y2，于是，x≡1(mod 2)。又axm=4bu2=36，故(a,m,x)=(4,2,3),(4,1,9),(12,1,3)。分別代入(34)式得9(3n-m+1)=8y2,9(9n-m+1)=8y2,9(3n-m+1)=8y2,這均與n≡m(mod 2)相矛盾。

當(dāng)bu2=2時(shí)，b=2,axm=8，即2|x。又由于(bu2,bu2-1)=1，故由(34)式知bu2|y2，不妨設(shè)y=buy1，于是，(34)式可變形為

b(bu2-1)y2-xn-m=1

(35)

從而由(35)式得x≡1(mod2)。這與axm=8,x>1相矛盾。

綜上，(axn+4)/(axm-4)=y2-1無(wú)正整數(shù)解。