关于不定方程x3±53=3Dy2

普粉丽，杜先存

(1.普洱学院 数学与统计学院，云南 普洱 665000;2.红河学院 教师教育学院，云南 蒙自 661199)

方程x3±a3=Dy2(D 是无平方因子的正整数)是一类重要的不定方程，其整数解越来越受到学者们的关注.杜先存等［1－4］、刘杰［5］、张淑静［6］对a=1 的情况进行了研究，得到了一系列结果.但a=5 时研究结果还不多见，主要成果有:李复中［7］用简单同余法给出了不定方程x3±125=Dy2的全部非平凡正整数解，其中D＞0 且不能被3 或6k+1 形的素数整除;李复中［8］用简单同余法给出了一类不定方程x3±(5k)3=Dy2的全部非平凡整数解，其中D＞0 无平方因子且不能被3 或6k+1 型的素数整除;刘晓敏［9］用二次剩余法给出了不定方程x3±125=Dy2无正整数解的充分性条件，其中D＞0，D 含6k+1 形素因子.笔者主要给出了不定方程x3±53=3Dy2无正整数解的2 个充分性条件.

引理1［6］设D=2a·q·p，其中p，q 均为奇素数，a=0 或1，q≡5(mod 6)，则当p=12r2+1，其中r是正整数时，方程x3±1=3Dy2无解(x，y).

无正整数解(x，y).

无正整数解(x，y).

当x≢0(mod 5)时，不妨设(x，y)是不定方程(1)的一组正整数解解，则有不定方程(1)可分解为(x－5)(x2+5x+25)=3Dy2，由gcd(x－5，x2+5x+25)=1 或3.根据奇偶性质，可知x2+5x+25 必为奇数，即x2+5x+25≢0(mod 2)，则不定方程(1)可分解为以下8 种情形:

情形Ⅰ x－5=3Da2，x2+5x+25=b2，y=ab，gcd (a，b)=1;

情形Ⅱ x－5=a2，x2+5x+25=3Db2，y=ab，gcd (a，b)=1;

情形Ⅲ x－5=3a2，x2+5x+25=Db2，y=ab，gcd (a，b)=1;

情形Ⅳ x－5=Da2，x2+5x+25=3b2，y=ab，gcd (a，b)=1;

情形Ⅴ x－5=9Da2，x2+5x+25=3b2，y=3ab，gcd (a，b)=1;

情形Ⅵ x－5=3a2，x2+5x+25=9Db2，y=3ab，gcd (a，b)=1;

情形Ⅶ x－5=9a2，x2+5x+25=3Db2，y=3ab，gcd (a，b)=1;

情形Ⅷ x－5=3Da2，x2+5x+25=9b2，y=3ab，gcd (a，b)=1.

情形Ⅰ 由x2+5x+25=b2得，(2x+5)2+75=4b2，即(2b)2－(2x+5)2=75，也即［2b－(2x+5)］［2b+(2x+5)］=75，又75=1×75，3×25，5×15，15×5，25×3，75×1，故可解得x=－21，－8，3，16，代入x－5=3Da2，得3Du2=－26，－13，－2，11，显然无解.故情形Ⅰ不成立.

由证明可知，当D=12r2+1，且r≡0，2，3(mod 5)时，矛盾.故情形Ⅱ不成立.

情形Ⅲ 由x2+5x+25=Db2配方得(2x+5)2+75=D(2b)2，把x=3a2+5 代入得(6a2+15)2+75=D(2b)2，即9(2a2+5)2+75=D(2b)2，因9(2a2+5)2+75≡0(mod 3)，而D=12r2+1，由此可得D≢0(mod 3)，要使9(2a2+5)2+75=D(2b)2成立，则有b≡0(mod 3)，即x2+5x+25≡0(mod 3)，即gcd(x－5，x2+5x+25)=3，这与gcd (x－5，x2+5x+25)=1 矛盾.故情形Ⅲ不成立.

由情形Ⅳ的证明可知，情形Ⅴ不成立.

情形Ⅵ 由x2+5x+25=9Db2配方得(2x+5)2+75=9D(2b)2，把x=3a2+5 代入得(6a2+15)2+75=9D(2b)2，即3(2a2+5)2+25=3D(2b)2，又因为3D(2b)2≡0(mod 3)，而25≢0(mod 3)，即3(2a2+5)2+25≢0(mod 3)，矛盾.故情形Ⅵ不成立.

由情形Ⅱ的证明可知，情形Ⅶ不成立.

由情形Ⅵ的证明可知，情形Ⅷ不成立.

同理可证定理2.

［1］杜先存，万飞，杨慧章.关于丢番图方程x3±1=1267y2的整数解［J］.数学的实践与认识，2013，43(15):288－292.

［2］杜先存，管训贵，杨慧章.关于不定方程x3+1=91y2［J］.内蒙古师范大学学报:自然科学汉文版，2013，42(4):397－399.

［3］杜先存，吴丛博，赵金娥.关于Diophantine 方程x3±1=3Dy2［J］.沈阳大学学报:自然科学版，2013，25(1):84－86.

［4］杜先存，赵东晋，赵金娥.关于不定方程x3±1=2py2［J］.曲阜师范大学学报:自然科学版，2013，39(1):42－43.

［5］刘杰.关于Diophantine 方程x3+1=111y2［J］.海南大学学报:自然科学版，2010，28(13):205－208.

［6］张淑静.关于Diophantine 方程x3±1=3Dy2［J］.高师理科学刊，2009，29(2):16.

［7］李复中.关于丢番图方程x3±125=Dy2［J］.东北师范大学学报:自然科学版，1996(3):15－16.

［8］李复中.关于一类丢番图方程x3±(5k)3=Dy2［J］.东北师范大学学报:自然科学版，1998(2):16-19.

［9］刘晓敏.关于丢番图方程x3±p3=Dy2解的讨论［D］.哈尔滨:哈尔滨理工大学，2006.