李潤琪

(德宏師范高等?？茖W(xué)校數(shù)學(xué)系，云南 芒市 678400)

Diophantine方程x3+8=397y2的整數(shù)解

李潤琪

(德宏師范高等專科學(xué)校數(shù)學(xué)系，云南 芒市 678400)

摘要：利用遞歸序列、同余式、Maple小程序、Pell方程的解的性質(zhì)證明了Diophantine方程x3+8=397y2僅有整數(shù)解(x,y)=(-2,0)．

關(guān)鍵詞：Diophantine方程；整數(shù)解；同余式；遞歸序列; Maple小程序

方程

x3+8=Dy2(x,y∈N,D>0，且無平方因子)

(1)

是一類重要的Diophantine方程，其整數(shù)解已有不少人研究過．1981年文[1]證明了D不能被3或6k+1型素因子整除時(shí)，如果D≡0,2,3(mod4)，則方程x3+8=Dy2僅有整數(shù)解；如果D≡11,19(mod20)，則方程x3+8=3Dy2無非平凡整數(shù)解；1991年文[2]給出了D含6k+1型素因子時(shí)方程x3+8=Dy2無非平凡整數(shù)解的一些充分條件；1992年文[3]給出了D含6k+1型素因子時(shí)，方程x3+8=Dy2無非平凡整數(shù)解的一些充分件．對于具體的D，文[4]-[8]已給出一些結(jié)果，但對于D=397時(shí)的情況至今沒有解決.本文主要研D=397時(shí)方程(1)的解的情況.

引理1[9]設(shè)p=3n(n+1)+1≡13(mod24)為奇素?cái)?shù)，則不定方程x3+1=2py2無正整數(shù)解．

引理2[10]方程x4-3y2=1僅有整數(shù)解(x,y)=(±1,0)．

定理Diophantine方程

x3+8=397y2

(2)

僅有整數(shù)解(x,y)=(-2,0)．

證明：因?yàn)閤3+8=(x+2)(x2-2x+4)，所以gcd(x+2,x2-2x+4)=gcd(x+2,(x+2)2-6(x+2)+12)=

gcd(x+2,12)=gcd(x+2,22×3)．

(3)

又794=2×397，而397=3×11×12+1，且397≡13(mod24)為奇素?cái)?shù)，故由引理1知，方程(3)僅有整數(shù)解(x1,y1)=(-1,0)，故方程(2)在此情形下只有整數(shù)解(x,y)=(-2,0)．

當(dāng)2?x時(shí)有2?(x+2)，因此gcd(x-2,2×3)=1或3，即gcd(x-2,x2+2x+4)=

=1或3，從而方程(2)得出下列4種可能的分解：

因?yàn)??x，則x+2和x2-2x+4也為奇數(shù)，故a和b也為奇數(shù)，則a2≡1(mod8)，b2≡1(mod8)．

下面分別討論這4種情形下方程(2)的整數(shù)解的情況：

情形Ⅰ 由x+2=a2，得x=a2-2≡7(mod8)，代入x2-2x+4=397b2，得7≡x2

-2x+4=397b2≡5(mod8)，矛盾.故該情形下方程(2)無2?x的正整數(shù)解.

情形Ⅲ由x+2=3a2，得x=3a2-2≡1(mod8)，代入x2-2x+4=1191b2，得3≡x2-2x+4=1191b2≡7(mod8)，矛盾.故該情形下方程(2)無2?x的正整數(shù)解.

情形Ⅳ將x+2=1191a2代入x2-2x+4=3b2，整理得

b2-3(397a2-1)2=1

(4)

顯然b=±xn，397a2-1=±yn(n∈Z).因此397a2=±yn+1．又y-n=-yn，所以只需考慮：

397a2=yn+1

(5)

由(5)，得yn≡-1(mod397).

容易驗(yàn)證下式成立：

yn+2=4yn+1-yn，y0=0，y1=1

(6)

下面對n進(jìn)行討論：

對遞歸序列(6)取模397，得周期為396的剩余類序列，且僅當(dāng)n≡199,395(mod396)時(shí)，yn≡-1(mod397)．所以(5)式要成立，需n≡199,395(mod396)，則需n≡1(mod2)．

對遞歸序列(6)取模2，得周期為2的剩余類序列，且當(dāng)n≡1(mod2)時(shí)，有yn≡1

(mod2)，當(dāng)n≡0(mod2)時(shí)，有yn≡0(mod2)．又a為奇數(shù)，故397a2也為奇數(shù)，則由(5)得yn為偶數(shù)，因此有n≡0(mod2)．所以(5)式要成立，需n≡0(mod2)．

綜上有，(5)式要成立，需n≡1(mod2)且n≡0(mod2)，顯然不可能，故該情形下方程(2)無2?x的正整數(shù)解.

由此可見2?x時(shí)方程(2)無整數(shù)解．

綜上有，不定方程方程(2)在僅有整數(shù)解(x,y)=(-2,0)．

參考文獻(xiàn)：

[1] 柯召，孫琦．關(guān)于丟番圖方程x3±8=Dy2和x3±8=3Dy2[J]．四川大學(xué)學(xué)報(bào)(自然科學(xué)版)，1981，(4)：1-5.

[2] 曹玉書．關(guān)于丟番圖方程x3±8=3Dy2[J]．黑龍江大學(xué)學(xué)報(bào)自然科學(xué)學(xué)報(bào)，1991，(4)：18-21.

[3] 曹玉書，黃龍鉉．關(guān)于丟番圖方程x3±8=3Dy2[J]．黑龍江大學(xué)學(xué)報(bào)自然科學(xué)學(xué)報(bào)，1992，(2)：3-5.

[4] 黃勇慶．關(guān)于不定方程x3±8=Dy2[D]．重慶:重慶師范大學(xué)碩士學(xué)位論文，2007.

[5] 李亞卓.關(guān)于不定方程x3+8=21y2[J].科學(xué)技術(shù)與工程, 2009,(2)：364-365.

[6] 婁思遠(yuǎn).關(guān)于不定方程x3+8=37y2[J].重慶工商大學(xué)學(xué)報(bào)(自然科學(xué)版)，2012，(1)：14-15.

[7] 孫浩娜.關(guān)于不定方程x3+8=103y2[J].重慶工商大學(xué)學(xué)報(bào)(自然科學(xué)版)，2014，(1)：14-15,21.

[8] 玉龍.關(guān)于不定方程x3+8=61y2的整數(shù)解[J].延安大學(xué)學(xué)報(bào)(自然科學(xué)版),2014,(3)：4-5,10.

[9] 杜先存，趙東晉，趙金娥.關(guān)于不定方程x3±1=2py2的整數(shù)解[J].曲阜師范大學(xué)學(xué)報(bào),2013, (1)：42-43.

[10] 柯召，孫琦．談?wù)劜欢ǚ匠?[M]．哈爾濱：哈爾濱工業(yè)大學(xué)出版社，2011.

(責(zé)任編校：晴川)

On Study of the Diophantine Equation x3+8=397y2

LI Runqi

(College of Mathematics, Dehong Normal College , Mangshi Yunnan 678400, China)

Abstract：That the Diophantine equationx3+8=397y2has only integer solution(x,y)=(-2,0) was proved with the assistance of recurrent sequence, congruence, Maple formality and some properties of the solutions to Pell equation.

Key Words：Diophantine equation; integer solution; congruence; recurrent sequence; Maple Formality

作者簡介：李潤琪(1965— )，男，云南騰沖人，德宏師范高等?？茖W(xué)校數(shù)學(xué)系講師.研究方向：初等數(shù)論.

基金項(xiàng)目：云南省教育廳科學(xué)研究基金(批準(zhǔn)號：2014Y462)資助項(xiàng)目.

收稿日期：2015-01-15

中圖分類號:O156

文獻(xiàn)標(biāo)識碼：A

文章編號：1008-4681(2015)02-0004-02