APP下载

关于丢番图方程(44n)x+(117n)y=(125n)z*

2021-11-04冉银霞

关键词:正整数整数情形

冉银霞

(陇南师范高等专科学校 数信学院,甘肃 成县 742500)

设a,b,c为两两互素的正整数且满足a2+b2=c2.对于任意的正整数n,丢番图方程

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

(1)

本文主要运用奇偶分析法、简单同余法以及二次剩余理论等方法讨论(a,b,c)=(44,117,125)时,方程(1)的解的情况,得到了如下结论:

定理1 对任意的正整数n,丢番图方程

(44n)x+(117n)y=(125n)z

(2)

仅有正整数解(x,y,z)=(2,2,2).

1 若干引理

引理1[3]设a,b,c满足a2+b2=c2.若z≥max{x,y},则丢番图方程ax+by=cz仅有整数解(x,y,z)=(2,2,2).

引理2[21]如果方程(1)有解(x,y,z)≠(2,2,2),则x,y,z各不相同.

引理3[22]设a,b,c是两两互素的正整数且满足a2+b2=c2.若丢番图方程ax+by=cz仅有整数解,则方程(1)没有满足z

引理4[23,24]设a,b,c是两两互素的正整数且满足a2+b2=c2,且2|b.用d2b表示b中2的最高幂指数.若a,c≡±1(modb/2或d2b),则丢番图方程ax+by=cz仅有正整数解(x,y,z)=(2,2,2).

引理5 丢番图方程

44x+117y=125z

(3)

仅有正整数解(x,y,z)=(2,2,2).

证明因为44=22×11,117≡125≡1(mod 2),所以由引理4知,44x+117y=125z仅有正整数解(x,y,z)=(2,2,2).

引理6 不定方程125z1-32y1=22x-1没有整数解.

证明对方程两边模 5得:-(-1)y1≡22x-1(mod 5),然而由2α模5是周期为4的序列,其余数为1,2,-1,-2知:22x-1≡±1(mod 5)是不可能的.因此,不定方程125z1-32y1=22x-1没有整数解.

引理7 不定方程125z1+32y1=2·11x没有整数解.

证明2y1模11是周期为10的序列,其余数为1,2,4,8,5,-1,-2,-4,-8,-5.所以,若2|y1,则2y1≡1,4,5,-2,-8(mod 11);同样,22z1≡1,4,5,-2,-8(mod 11).对方程两边模11 得:22z1+(-2)y1≡0(mod 11),但当2|y1时,22z1+(-2)y1≡22z1+2y1≡0(mod 11)是不可能的;当2⫮y1时,22z1+(-2)y1≡22z1-2y1≡0(mod 11)显然也是不可能的.

因此,不定方程125z1+32y1=2·11x没有整数解.

2 定理1的证明

根据引理1,2,3和引理4,只需研究(2)在n≥2且min{x,y}

情形1x>z>y.此时方程(2)可化为

117y=nz-y(125z-44xnx-z).

(4)

由于z>y,故gcd(n,117)≠1.设n=32u13vn1,u+v≥1,gcd(n1,117)=1,则此时式(4)成为

32y13y=32u(z-y)13v(z-y)n1z-y(125z-44x32u(x-z)13v(x-z)n1x-z),

(5)

由此可见n1=1.

情形1.1 若n=32u(u≥1),则2y=2u(z-y).于是(5)可化为

44x32u(x-z)=125z-13y.

(6)

对式(6)取模11,有22z-2y≡0(mod 11),得22z-y≡1(mod 11),于是有10|2z-y,从而y≡2z≡0(mod 2).对式(6)取模3,有0≡(-1)z-1(mod 3),得z≡0(mod 2).故y与z均为偶数.

令y=2y1,z=2z1,则由式(6)得

22x11x32u(x-z)=(125z1-13y1)(125z1+13y1).

(7)

注意到gcd(125z1-13y1,125z1+13y1)=2,因此由4|125z1-13y1知,

22x-1|125z1-13y1.

若11|125z1-13y1,则22x-111x|125z1-13y1,但 22x-111x>22z1112z1=484z1>125z1-13y1不可能.所以此时方程(7)没有整数解.

若11|125z1+13y1,3|125z1+13y1,则

125z1-13y1=22x-1.

(8)

对式(8)取模3,得(-1)z1-1≡(-1)2x-1≡-1(mod 3),即(-1)z1≡0(mod 3),但这是不可能的.

若11|125z1+13y1,3|125z1-13y1,则

125z1+13y1=2·11x,125z1-13y1=22x-1·32u(x-z).

(9)

对(9)第一式取模11,得4z1+2y1≡0(mod 11),即2y1≡-4z1(mod 11),因此有

22z1-x≡-1(mod 11),2z1-x≡5(mod 10).

对(9)第二式取模3,得(-1)z1≡1(mod 3),故有2|z1.

对(9)第一式取模3,得(-1)x+1≡(-1)z1+1≡2≡-1(mod 3),于是x≡0(mod 2).但由2z1-x≡5(mod 10)知x为奇数,矛盾.因此式(9)不成立.

情形1.2 若n=13v(v≥1),则y=v(z-y).于是(5)可化为

44x13v(x-z)=125z-32y.

(10)

对式(10)取模8,有5z-1≡0(mod 8),得z≡0(mod 2);对式(10)取模11,有4z≡(-2)y(mod 11).设z=2z1,则有42z1≡5z1≡(-2)y(mod 11).

2y模11是周期为10的序列,其余数为1,2,4,8,5,-1,-2,-4,-8,-5;5y模11是周期为5的序列,其余数为1,5,3,4,-2.

若2⫮y,则5z1≡(-2)y≡-2y≡-1,-4,-5,2,8(mod 11),对比余数发现,这是不可能的.因此2|y.

令y=2y1,z=2z1,则式(10)变成了

22x·11x·13v(x-z)=(125z1-32y1)(125z1+32y1).

(11)

注意到gcd(125z1-32y1,125z1+32y1)=2,因此由4|125z1-32y1知,22x-1|125z1-32y1.若11|125z1-32y1,则22x-111x|125z1-32y1,但22x-111x>22z1112z1=484z1>125z1-32y1,所以此时方程(11)没有整数解.

若11|125z1+32y1,13|125z1+32y1,则

22x-1=125z1-32y1.

(12)

若11|125z1+32y1,13|125z1-32y1,则

125z1+32y1=2·11x.

(13)

根据引理6和引理7知,方程(12),(13)均没有解.

因此,方程(10)没有整数解.

情形1.3 若n=32u13v(u≥1,v≥1),则y=u(z-y)=v(z-y).于是(5)可化为

11y13y=11u(z-y)13v(z-y)(145z-24x11u(x-z)13v(x-z)),

(14)

从而y=u(z-y)=v(z-y),于是(14)可化为

44x32u(x-z)13v(x-z)=125z-1.

(15)

对式(15)模3,有(-1)z-1≡0(mod 3),得z≡0(mod 2).令z=2z1,则(15)变为

(125z1+1)(125z1-1)=22x·11x·32u(x-z)·13v(x-z).

(16)

情形2y>z>x.此时方程(2)可化为

44x=nz-x(125z-117yny-z).

(17)

设n=2r11sn1,r+s≥0,gcd(n1,22)=1,则此时式(17)成为

22x11x=2r(z-x)11s(z-x)n1z-x(125z-117y2r(y-z)11s(y-z)n1y-z).

(18)

由此可见n1=1,且有

125z-117y2r(y-z)11s(y-z)=22x-r(z-x)11x-s(z-x).

(19)

情形2.1 若r=s=0,则由式(19)得

44x+117y=125z.

(20)

由引理5知(20)仅有解(x,y,z)=(2,2,2),与y>z>x矛盾.

情形2.2 若r=0,s>0,则由式(19)得x=s(z-x),且有

125z-22x=32y11s(y-z)13y.

(21)

对(21)模3得(-1)z-1≡0(mod 3),从而2|z.

令z=2z1,则式(21)变为

(125z1-2x)(125z1+2x)=32y11s(y-z)13y.

(22)

注意到gcd(125z1-2x,125z1+2x)=1,则有13y|125z1-2x,或13y|125z1+2x,但13y>13z=132z1=169z1>125z1+2x>125z1-2x,不可能.

所以式(22)不成立.

情形2.3 若r>0,s=0,则由式(19)得2x=r(z-x),且有

125z-11x=2r(y-z)32y13y.

(23)

对(23)模3得(-1)z≡(-1)x(mod 3),故z≡x(mod 2).

对(23)模13得23z≡(-2)x(mod 13).

若x≡0(mod 2),则23z≡2x(mod 13),即有23z-x≡1(mod 13),故12|3z-x,从而z≡0(mod 2).令x=2x1,z=2z1,则式(23)变为

(125z1-11x1)(125z1+11x1)=2r(y-z)32y13y.

(24)

注意到gcd(125z1-11x1,125z1+11x1)=2,因此有13y|125z1-11x1,或13y|125z1+11x1,但13y>13z=132z1=169z1>125z1+11x1>125z1-11x1,不可能.

所以式(24)不成立.

情形2.4 若r>0,s>0,则由式(15)得2x=r(z-x),x=s(z-x),且有

125z-1=2r(z-y)32y11s(y-z)13y.

(25)

对(25)模3得(-1)z≡1(mod 3),于是z≡0(mod 2).因1252-1≡0(mod 7),所以125z-1≡0(mod 7),但2r(z-y)32y11s(y-z)13y≢0(mod 7).因此式(25)不成立.

综上,对任意的正整数n,丢番图方程(44n)x+(117n)y=(125n)z仅有正整数解(x,y,z)=(2,2,2).

猜你喜欢

正整数整数情形
关于包含Euler函数φ(n)的一个方程的正整数解
牺牲
探究一道课本习题的一般情形
方程xy=yx+1的全部正整数解
一类整数递推数列的周期性
从特殊走向一般
对一道IMO题的再研究
爱,就是不说牺不牺牲
答案
求整数解的策略