管訓貴

(泰州學院 數理學院，江蘇 泰州 225300)

設

a

,

b

,

c

為兩兩互素的正整數且滿足

a

+

b

=

c

.

對于任意的正整數

n

,丟番圖方程(

na

)+(

nb

)=(

nc

)

(1)

論文考慮方程(1)中(

a

,

b

,

c

)=(56,33,65),(80,39,89)以及(20,99,101)的情形,得到了如下結論.

定理1

對任意的正整數

n

,丟番圖方程(56

n

)+(33

n

)=(65

n

)

(2)

僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

定理2

對任意的正整數

n

,丟番圖方程(80

n

)+(39

n

)=(89

n

)

(3)

僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

定理3

對任意的正整數

n

,丟番圖方程(20

n

)+(99

n

)=(101

n

)

(4)

僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

1 若干引理

引理1

設正整數

a

,

b

,

c

滿足

a

+

b

=

c

.

若

z

≥max{

x

,

y

},則丟番圖方程

a

+

b

=

c

僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

引理2

如果方程(1)有解(

x

,

y

,

z

)≠(2,2,2),則

x

,

y

,

z

互不相同.

引理3

設

a

,

b

,

c

是兩兩互素的正整數且滿足

a

+

b

=

c

.

若丟番圖方程

a

+

b

=

c

僅有正整數解(

x

,

y

,

z

)=(2,2,2),則方程(1)沒有滿足

z

<

y

<

x

或

z

<

x

<

y

的正整數解.

引理4

在丟番圖方程(2

uv

)+(

u

-

v

)=(

u

+

v

)

(5)

中，令

u

-

v

=

m

，

v

=

n

，gcd(

m

,

n

)=1，則(5)變成(2

n

(

n

+

m

))+(

m

(2

n

+

m

))=(2

n

(

n

+

m

)+

m

),

(6)

若

m

≡3,5(mod8)，則方程(6)僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

取

m

=3，

n

=4，可得引理5.

引理5

丟番圖方程56+33=65僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

引理6

設

a

,

b

,

c

為兩兩互素的正整數滿足

a

+

b

=

c

，且2|

b

，或者

d

(

b

)=

f

表示

b

中2的最高方冪，若

a

,

c

≡±1(mod

b/

2)，則丟番圖方程

a

+

b

=

c

僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

由引理6立得引理7，8.

引理7

丟番圖方程80+39=89僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

引理8

丟番圖方程20+99=101僅有正整數解(

x

,

y

,

z

)=(2,2,2)

.

2 定理的證明

先證定理1.根據引理1～3和引理5，只需研究方程(2)在

n

≥2且min{

x

,

y

}<

z

x

,

y

}時的情形.

情形1

x

>

z

>

y.

此時方程(2)可化為33=

n

-(65-56

n

-)

.

(7)

由于

z

>

y

,故gcd(

n

,33)>1

.

設

n

=311

n

,

u

+

v

≥1,gcd(

n

,33)=1,此時(7)式成為

(8)

由此可見

n

=1

.

(i) 若

n

=3(

u

≥1),則

y

=

u

(

z

-

y

)

.

于是(8)式可化為563(-)=65-11

.

(9)

對(9)式取模4，有1≡(-1)(mod4),得

y

≡0(mod2)

.

對(9)式取模3，有(-1)≡(-1)≡1(mod3),得

z

≡0(mod2)

.

令

z

=2

z

,

y

=2

y

,則由(9)式得2373(-)=(65+11)(65-11)

.

注意到gcd(65+11,65-11)=2

.

① 當2|

y

時，由4|(65-11)知，23-1|(65-11)

.

若7|(65-11),則(23-1·7)|(65-11),但23-1·7>23·72=392>65-11,不可能.若7|(65+11),3|(65+11),則2?

z

,且有65-11=23-1

.

(10)

若7|(65+11),3?(65+11),則2|

z

,且有65+11=2·7

.

(11)

② 當2?

y

時，由4|(65+11)知，23-1|(65+11)

.

若7|(65+11),則(23-1·7)|(65+11),但23-1·7>23·72=392>65+11,不可能.若7|(65-11),3|(65-11),則2?

z

,且有65+11=23-1

.

(12)

65-11=2·7

.

(13)

(ii) 若

n

=11(

v

≥1),則

y

=

v

(

z

-

y

)

.

于是(8)式可化為5611(-)=65-3

.

(14)

23711(-)=(65+3)(65-3)

.

(15)

類似(i)的討論知，(15) 式不成立，從而(14)式不成立.

(iii) 若

n

=311(

u

≥1,

v

≥1),則

y

=

u

(

z

-

y

)=

v

(

z

-

y

)

.

于是(8)式可化為563(-)11(-)=65-1

.

(16)

對(16)式取模7，有2≡1(mod7),得

z

≡0(mod3)

.

因613|(65-1),故613|(65-1),但613?563(-)11(-),因此(16)式不成立.

情形2

y

>

z

>

x.

此時方程(2)可化為56=

n

-(65-33

n

-)

.

(17)

設

n

=27

n

,這里gcd(

n

,14)=1,

r

+

s

≥0,則(17)式成為

(18)

由(18)式可知

n

=1,且有65-332(-)7(-)=23-(-)7-(-)

.

(19)

(i) 若

r

=

s

=0,則由(19)式得56+33=65

.

(20)

根據引理5，方程(20)僅有正整數解(

x

,

y

,

z

)=(2,2,2),與

y

>

z

>

x

矛盾.故(20)式不成立.(ii) 若

r

=0,

s

>0,則由(19)式得

x

=

s

(

z

-

x

),且有3117(-)=65-8

.

(21)

對(21)式取模7，有2≡1(mod7),得

z

≡0(mod3)

.

令

z

=3

z

,則(21)式成為3117(-)=(65-2)(652+652+22)

.

(22)

(iii) 若

r

>0,

s

=0,則由(19)式得3

x

=

r

(

z

-

x

),且有3112(-)=65-7

.

(23)

11>11=112=121>(65+7)>65+7>65-7

不可能， 因此(23)式不成立.

(iv) 若

r

>0,

s

>0,則由(19)式得3

x

=

r

(

z

-

x

),

x

=

s

(

z

-

x

),且有332(-)7(-)=65-1

.

(24)

對(24)式取模7，有2≡1(mod7),得

z

≡0(mod3)

.

因613|(65-1),故613|(65-1),但613?332(-)7(-),因此(24)式不成立.定理1得證.再證定理2.根據引理1～3和引理7，只需研究方程(3)在

n

≥2且min{

x

,

y

}<

z

x

,

y

}時的情形.

情形1

x

>

z

>

y.

此時方程(3)可化為39=

n

-(89-80

n

-)

.

(25)

由于

z

>

y

,故gcd(

n

,39)>1

.

設

n

=313

n

,

u

+

v

≥1,gcd(

n

,39)=1,此時(25)式成為

(26)

由此可見

n

=1

.

(i) 若

n

=3(

u

≥1),則

y

=

u

(

z

-

y

)

.

于是(26)式可化為803(-)=89-13

.

(27)

對(27)式取模3，有(-1)≡1(mod3),得

z

≡0(mod2)

.

對(27)式取模8，有1≡5(mod8),得

y

≡0(mod2)

.

令

z

=2

z

,

y

=2

y

,則由(27)式得2453(-)=(89+13)(89-13)

.

(28)

注意到gcd(89+13,89-13)=2,由4|(89-13)知，24-1|(89-13),但24-1>24=28=256>89-13不可能.因此(28)式不成立，從而(27)式不成立.

(ii) 若

n

=13(

v

≥1),則

y

=

v

(

z

-

y

)

.

于是(26)式可化為8013(-)=89-3

.

(29)

24513(-)=(89+3)(89-3)

.

(30)

注意到gcd(89+3,89-3)=2,有24-1|(89+3)或24-1|(89-3),但24-1>24=28=256>89+3>89-3不可能.因此(30)式不成立，從而(29)式不成立.

(iii) 若

n

=313(

u

≥1,

v

≥1),則

y

=

u

(

z

-

y

)=

v

(

z

-

y

)

.

于是(26)式可化為803(-)13(-)=89-1

.

(31)

因11|(89-1),而11?803(-)13(-),故(31)式不成立.

情形2

y

>

z

>

x.

此時方程(3)可化為80=

n

-(89-39

n

-),

(32)

設

n

=25

n

,這里gcd(

n

,10)=1,

r

+

s

≥0,則(32)式成為

(33)

由(33)式可知

n

=1,且有89-392(-)5(-)=24-(-)5-(-)

.

(34)

(i) 若

r

=

s

=0,則由(34)式得80+39=89

.

(35)

根據引理7，方程(35)僅有正整數解(

x

,

y

,

z

)=(2,2,2),與

y

>

z

>

x

矛盾.故(35)式不成立.(ii) 若

r

=0,

s

>0,則由(34)式得

x

=

s

(

z

-

x

),且有3135(-)=89-16

.

(36)

對(36)式取模5，有(-1)≡1(mod5),得

z

≡0(mod2)

.

令

z

=2

z

,則(36)式成為3135(-)=(89+4)(89-4)

.

注意到gcd(89+4,89-4)=1,有13|(89+4)或13|(89-4),但13>13=132=169>89+4>89-4不可能.因此(36)式不成立.

(iii) 若

r

>0,

s

=0,則由(34)式得4

x

=

r

(

z

-

x

),且有

3132(-)=89-5,

(37)

若

r

=1,則

z

=5

x

,此時(37)式成為3132-5=895-5

.

易知，127|(89-5),故127|(895-5),而127?3132-5,故

r

≠1

.

若

r

=2,則

z

=3

x

,此時(37)式成為31322(-3)=893-5

.

易知，4519|(89-5),故4 519|(893-5),而4 519?31322(-3),故

r

≠2

.

于是

r

≥3

.

對(37)式取模8，有1≡(-3)(mod8),得

x

≡0(mod2)

.

再對(37)式取模3，有(-1)≡(-1)≡1(mod3),得

z

≡0(mod2)

.

令

z

=2

z

,

x

=2

x

,則(37)式成為3132(-)=(89+5)(89-5)

.

注意到gcd(89+5,89-5)=2,有13|(89+5)或13|(89-5),但13>13=132=169>(89+5)>89+5>89-5不可能， 因此(37)式不成立.

(iv) 若

r

>0,

s

>0,則由(34)式得4

x

=

r

(

z

-

x

),

x

=

s

(

z

-

x

),且有

392(-)5(-)=89-1,

(38)

因11|(89-1),而11?392(-)5(-),因此(38)式不成立.定理2得證.

最后證定理3.根據引理1～3和引理8，只需研究方程(4)在

n

≥2且min{

x

,

y

}<

z

x

,

y

}時的情形.

情形1

x

>

z

>

y.

此時方程(4)可化為99=

n

-(101-20

n

-)

.

(39)

由于

z

>

y

,故gcd(

n

,99)>1

.

設

n

=311

n

,

u

+

v

≥1,gcd(

n

,33)=1,此時(39)式成為

(40)

由此可見

n

=1

.

(i) 若

n

=3(

u

≥1),則2

y

=

u

(

z

-

y

)

.

于是(40)式可化為203(-)=101-11

.

(41)

對(41)式取模3,有(-1)≡(-1)(mod3),得

z

≡

y

(mod2)

.

對(41)式取模4，有1≡(-1)(mod4),得

y

≡0(mod2),故

z

≡

y

≡0(mod2)

.

令

z

=2

z

,

y

=2

y

,則由(41)式得2253(-)=(101+11)(101-11)

.

注意到gcd(101+11,101-11)=2,5|(101-11)

.

① 當2|

y

時，由4|(101-11),知22-1|(101-11)

.

此時(22-1·5)|(101-11),但22-1·5>22·5=20=202=400>101-11不可能.② 當2?

y

時，由4|(101+11),知22-1|(101+11)

.

若2|

z

,則3|(101+11)

.

此時101-11=2·5

.

(42)

101+11=22-1,

(43)

101-11=2·5·3(-)

.

(44)

將(43),(44)兩式相減得

11=22-2-5·3(-)

.

(45)

對(45)式取模3，有(-1)≡1(mod3),得2|

y

,與2?

y

矛盾.(ii) 若

n

=11(

v

≥1),則

y

=

v

(

z

-

y

)

.

于是(40)式可化為2011(-)=101-9

.

(46)

對(46)式取模8，有5≡1(mod8),得

z

≡0(mod2)

.

對(46)式取模5，有1≡(-1)(mod5),得

y

≡0(mod2)

.

令

z

=2

z

,

y

=2

y

,則由(46)式得22511(-)=(101+9)(101-9)

.

注意到gcd(101+9,101-9)=2,22-1|(101-9)

.

① 當2|

y

時，5|(101-9)

.

此時(22-1·5)|(101-9),但22-1·5>22·5=20=202=400>101-9不可能.② 當2?

y

時，5|(101+9)

.

若11|(101+9),則

101+9=2·5·11(-),

(47)

101-9=22-1

.

(48)

將(47),(48)兩式相減得

9=5·11(-)-22-2

.

(49)

101+9=2·5,

(50)

101-9=22-1·11(-)

.

(51)

將(50),(51)兩式相加得

101=5+22-2·11(-)

.

(52)

(iii) 若

n

=311(

u

≥1,

v

≥1),則2

y

=

u

(

z

-

y

),

y

=

v

(

z

-

y

)

.

于是(40)式可化為203(-)11(-)=101-1

.

(53)

對(53)式取模3，有(-1)≡1(mod3),得

z

≡0(mod2)

.

因17|(101-1),故17|(101-1),但17?203(-)11(-),因此(53)式不成立.

情形2

y

>

z

>

x.

此時方程(4)可化為20=

n

-(101-99

n

-)

.

(54)

設

n

=25

n

,這里gcd(

n

,10)=1,

r

+

s

≥0,則(54)式成為

(55)

由(55)式可知

n

=1,且有101-992(-)5(-)=22-(-)5-(-)

.

(56)

(i) 若

r

=

s

=0,則由(56)式得20+99=101

.

(57)

根據引理8，方程(57)僅有正整數解(

x

,

y

,

z

)=(2,2,2),與

y

>

z

>

x

矛盾.故(57)式不成立.(ii) 若

r

=0,

s

>0,則由(56)式得

x

=

s

(

z

-

x

),且有32115(-)=101-4

.

(58)

對(58)式取模3，有(-1)≡1(mod3),得

z

≡0(mod2)

.

令

z

=2

z

,則(58)式成為32115(-)=(101+2)(101-2)

.

注意到gcd(101+2,101-2)=1,有11|(101+2)或11|(101-2),但11>11=112=121>101+2>101-2不可能. 因此(58)式不成立.(iii) 若

r

>0,

s

=0,則由(56)式得2

x

=

r

(

z

-

x

),且有32112(-)=101-5

.

(59)

(iv) 若

r

>0,

s

>0,則由(56)式得2

x

=

r

(

z

-

x

),

x

=

s

(

z

-

x

),且有992(-)5(-)=101-1

.

(60)

對(60)式取模3，有(-1)≡1(mod3),得

z

≡0(mod2)

.

因17|(101-1),故17|(101-1),但17?992(-)5(-),因此(60)式不成立.定理3得證.

安徽大學學報(自然科學版)2021年5期

安徽大學學報(自然科學版)的其它文章

外源獨腳金內酯緩解小麥干旱脅迫的機制研究

蚯蚓糞中微生物群落特征分析

Fisher矩陣與Fisher張量

模擬研究和設計高強度低生熱聚合物復合材料

基于混合算法的機器人路徑規(guī)劃

基于關聯規(guī)則及BP神經網絡的風電場輸出功率預測