普粉麗，尹愛軍

關(guān)于Diophantine方程x3±43＝3py2*

普粉麗，尹愛軍

（普洱學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，云南普洱665000）

設(shè)p為奇素?cái)?shù)，運(yùn)用初等方法得出了Diophantine方程x3±43＝3py2無(wú)正整數(shù)解的兩個(gè)充分條件.

丟番圖方程；奇素?cái)?shù)；同余；正整數(shù)解

方程x3±a3＝Dy2（D是無(wú)平方因子的正整數(shù)）是一類重要的Diophantine方程，其整數(shù)解越來(lái)越受到人們的關(guān)注.杜先存等［1－4］、樂(lè)茂華［5，6］對(duì)a＝1的情況進(jìn)行了系列研究，得到了一系列結(jié)果；但a＝4時(shí)的研究結(jié)果還不多見，目前只有很少人進(jìn)行過(guò)研究，且一般集中在研究D無(wú)平方因子，且不含6k＋1型素?cái)?shù)時(shí)整數(shù)解的情況.其結(jié)論主要為：1994年，李復(fù)中［7］給出D只含一個(gè)6k＋1型素?cái)?shù)因子時(shí)，Diophantine方程x3±64＝3Dy2在一些條件下無(wú)非平凡解的充分條件；1994年，張海燕、李復(fù)中［8］給出D不能被3或6k＋1型的素?cái)?shù)整除且D≠k＋2時(shí)，Diophantine方程x3±64＝Dy2無(wú)非平凡解的充分性條件.本文主要研究D能被3整除，同時(shí)還能被6k＋1型素?cái)?shù)整除時(shí)，方程x3±43＝Dy2無(wú)非平凡解的情況.

引理1［5］設(shè)奇素?cái)?shù)p適合p＝12r2＋1，則方程x3－1＝3py2，x，y∈N無(wú)解（x，y）.

引理2［6］設(shè)p為奇素?cái)?shù)，如果p＝12r2＋1，其中r∈N＋時(shí)，則方程x3＋1＝3py2，x，y∈N＋無(wú)正整數(shù)解.

引理3 設(shè)為奇素?cái)?shù)，則Diophantine方程x3±8＝2Py2，gcd（x，y）＝1無(wú) 2x的正整數(shù)解.

證明：當(dāng)2x時(shí)，有8 x3，由x3－8＝2Py2知，4 y2，即2y，可得gcd（x，y）＝2，與gcd（x，y）＝1矛盾，所以Diophantine方程x3±8＝2Py2，gcd（x，y）＝1無(wú)2x的正整數(shù)解.

定理1 設(shè)奇素?cái)?shù)p＝12r2＋1，其中2r，則Diophantine方程x3－43＝3py2無(wú)正整數(shù)解.

定理2 設(shè)奇素?cái)?shù)p＝12r2＋1，其中2r，則Diophantine方程x3＋43＝3py2無(wú)正整數(shù)解.

定理1證明：當(dāng)x≡0（mod 4）時(shí)，有y≡0（mod 8），令x＝4x1，y＝8y1，則Diophantine方程x3－43＝3py2可以化為x31－1＝3py22，由引理1知，Diophantine方程x3－43＝3py2無(wú) x≡0（mod 4）的正整數(shù)解.

當(dāng)2x時(shí)，有4y，則gcd（x，y）＝2，從而x3－43＝3py2可以化為1，由引理3知，Diophantine方程x3－43＝3py2無(wú)2x的正整數(shù)解.

當(dāng)x?0（mod 2）時(shí)，由x3－43＝3py2知，y?0（mod 2），因?yàn)閤3－43＝（x－4）·（x2＋4x＋16），而gcd（x－4，x2＋4x＋16）＝1或3，從而得出下列八種可能的情形：

情形Ⅰ：x－4＝u2，x2＋4x＋16＝3pv2，y＝uv，gcd（u，v）＝1

情形Ⅱ：x－4＝3u2，x2＋4x＋16＝pv2，y＝uv，gcd（u，v）＝1

情形Ⅲ：x－4＝pu2，x2＋4x＋16＝3v2，y＝uv，gcd（u，v）＝1

情形Ⅳ：x－4＝3pu2，x2＋4x＋16＝v2，y＝uv，gcd（u，v）＝1

情形Ⅴ：x－4＝3u2，x2＋4x＋16＝9pv2，y＝3uv，gcd（u，v）＝1

情形Ⅵ：x－4＝9u2，x2＋4x＋16＝3pv2，y＝3uv，gcd（u，v）＝1

情形Ⅶ：x－4＝3pu2，x2＋4x＋16＝9v2，y＝3uv，gcd（u，v）＝1

情形Ⅷ：x－4＝3pu2，x2＋4x＋16＝3v2，y＝3uv，gcd（u，v）＝1

情形Ⅰ，因?yàn)閤≡1（mod 2），則u≡1（mod 2），故u2≡1（mod 8），由第一式得x≡u(píng)2＋4≡5（mod 8），代入第二式得5≡3pv2（mod 8），而奇素?cái)?shù)p＝12r2＋1，且2r，知p≡1（mod 8），又因3pv2≡pv2≡1（mod 2），知v2≡1（mod 2），則v2≡1（mod 8），所以3pv2≡3（

mod 8），因此5≡3（mod 8），矛盾.所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅱ，由第一式有x＝3u2＋4≡u(píng)2≡1（mod 2），所以x≡7（mod 8），則5≡pv2（mod 8），又因?yàn)閜v2≡1（mod 2），故p≡1（mod 8），所以v2≡1（mod 2），即v2≡1（mod 8），因此pv2≡1（mod 8），所以5≡1（mod 8），矛盾，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅲ，因?yàn)閤≡1（mod 2），所以3v2≡v2≡1（mod 2），即v2≡1（mod 8），由第一式得x＝pu2＋4，又因?yàn)閜≡1（mod 8），所以x＝pu2≡1（mod 2），即u2≡1（mod 2），所以x≡5（mod 8），則5≡3v2（mod 8），又因?yàn)?v2≡3（mod 8），因此5≡3（mod 8），矛盾，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅳ，第二式可化為（x＋2）2＋12＝v2，可得x＝0或－4，代入第一式可知x＝0或－4，均不適合此式，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅴ，由第一式知x＝3u2＋4≡u(píng)2≡1（mod 2），所以u(píng)2≡1（mod 8），進(jìn)而可知x≡7（mod 8），則5≡9pv2（mod 8），又p＝12r2＋1≡1（mod 2），9pv2≡pv2≡1（mod 2），所以v2≡1（mod 2），即v2≡1（mod 8），所以9pv2≡1（mod 8），因此5≡1（mod 8），矛盾，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅵ，由第一式知x＝9u2＋4≡u(píng)2≡1（mod 2），又因?yàn)?，即u2≡1（mod 2），知u2≡1（mod 8），所以x≡5（mod 8），則5≡3pv2（mod 8），而奇素?cái)?shù)p＝12r2＋1，且2r，即p＝4r2＋1≡1（mod 8），又因?yàn)?pv2≡1（mod 2），所以v2≡1（mod 2），即v2≡1（mod 8），因此3pv2≡3（mod 8），所以5≡3（mod 8），矛盾，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅶ，由第一式知x＝3pu2＋4≡pu2（mod 2），又因?yàn)閜＝4r2＋1≡1（mod 2），所以u(píng)2≡1（mod 2），即u2≡1（mod 8），得x≡7（mod 8），則5≡9v2（mod 8），又因?yàn)?v2≡v2≡ 1（mod 2），即v2≡1（mod 8），因此9v2≡1（mod 8），所以5≡x2＋4x＋16＝9v2≡1（mod 8），矛盾，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

情形Ⅷ，由第一式得x＝9pu2＋4≡pu2（mod 2），又因?yàn)閜≡1（mod 2），x≡1（mod 2），所以u(píng)2≡1（mod 2），即u2≡1（mod 8），所以x≡5（mod 8），則5≡3v2（mod 8），又因?yàn)?v2≡v2≡1（mod 2），即v2≡1（mod 8），所以3v2≡3（mod 8），因此5≡3（mod 8），矛盾，所以該情形方程x3－43＝3py2無(wú)x?0（mod 2）的正整數(shù)解.

從以上討論得知，Diophantine方程x3－43＝3py2在題設(shè)條件下無(wú)正整數(shù)解.

綜上，定理1得證.

類似可證定理2.

［1］杜先存，吳叢博，趙金娥.關(guān)于Diophantine方程x3±1＝3Dy2［J］.沈陽(yáng)大學(xué)學(xué)報(bào)（自然科學(xué)版），2013，（1）：84－86.

［2］杜先存，管訓(xùn)貴，楊慧章.關(guān)于不定方程x3＋1＝91y2［J］.內(nèi)蒙古師范大學(xué)學(xué)報(bào)（自然科學(xué)漢文版），2013，（4）：397－399.

［3］杜先存，萬(wàn)飛，楊慧章.關(guān)于丟番圖方程x3±1＝1267y2的整數(shù)解［J］.數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2013，（15）：288－292.

［4］杜先存，趙東晉，趙金娥.關(guān)于不定方程x3±1＝2py2［J］.曲阜師范大學(xué)學(xué)報(bào)（自然科學(xué)版），2013，（1）：42－43.

［5］樂(lè)茂華.關(guān)于Diophantine方程x3－1＝3py2［J］.廣西師范學(xué)院學(xué)報(bào)（自然科學(xué)版），2004，（3）：32－33.

［6］樂(lè)茂華.關(guān)于Diophantine方程x3＋1＝3py2［J］.保定師范?？茖W(xué)校學(xué)報(bào)，2004，（2）：12－13.

［7］李復(fù)中.關(guān)于丟番圖方程x3±64＝3Dy2［J］.東北師范大學(xué)學(xué)報(bào)（自然科學(xué)版），1994，（2）：16－17.

［8］張海燕，李復(fù)中.關(guān)于丟番圖方程x3±64＝3Dy2［J］.哈爾濱科學(xué)技術(shù)大學(xué)學(xué)報(bào)，1994，（3）：107－109.

On the Diophantine Equation x3±43＝3py2

PU Fenli，YIN Aijun
（School of Mathematics and Statistics，Pu’er College，Pu’er Yunnan 665000，China）

Let p be an odd prime.With the elementarymethod，two sufficient conditions are obtained when the Diophantine equation x3±43＝3py2has no integer solutions.

Diophantine equation；odd prime；congruence；positive integer solution

O156.1

A

1008－4681（2014）02－0009－02

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

2014－03－02

普粉麗（1980－），女，云南江川人，普洱學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院講師，碩士.研究方向：數(shù)學(xué)教育、初等數(shù)論.