Diophantine方程( an－1) ( ( a+1)n－1) = x2的可解性

楊　海，裴元太，付瑞琴

( 1．西安工程大學理學院，陜西西安710048; 2．西安石油大學理學院，陜西西安710065)

?

Diophantine方程( an－1) ( ( a+1)n－1) = x2的可解性

楊海1*，裴元太1，付瑞琴2

( 1．西安工程大學理學院，陜西西安710048; 2．西安石油大學理學院，陜西西安710065)

摘要:設a是大于1的正整數，v2( a)表示2可以整除a的最高次冪．運用初等數論方法研究了方程( an－1) ( ( a+1)n－1) = x2的可解性．證明了當a滿足以下3個條件之一時該方程無解( x，n) : ( i) a是偶數，v2( a)是奇數; ( ii) a是偶數，v2( a) = 2; ( iii) a是奇數且a≡5或9( mod 16)．同時也證明了至少有5/6的正整數a可使該方程沒有適合n＞2的解( x，n)．

關鍵詞:指數Diophantine方程;可解性;密率

1引言及主要結論

令N是所有正整數的集合．設a是大于1的正整數，ν2( a)表示2可以整除a的最高次冪．2000年，Szalay［1］證明了當a=2時，方程

無解( x，n)．此后，人們對于方程( 1)及其推廣形式進行了很多研究［2－6］．最近，梁明［7］證明了當a≡2或3 ( mod 4)時，方程( 1)無解;并且提出猜想:對于任何大于1的正整數a，方程( 1)都無解．這是一個至今尚未解決的問題．由文獻［1］的結果可知至少有1/2的正整數a可使方程( 1)無解．

本文運用初等數論方法證明了以下結果:

定理1方程( 1)沒有可使n是偶數的解( x，n)．

推論1如果正整數a滿足下列條件之一，則方程( 1)無解:

( i) a是偶數，ν2( a)是奇數;

( ii) a是偶數，ν2( a) = 2;

( iii) a是奇數，a≡5或9( mod 16)．

推論2至少有5/6的正整數a，可使方程( 1)無解( x，n)．

顯然，上述推論包括了文獻［7］在a是偶數時的結果，并且改進了文獻［7］中a無解的密率．

2若干引理

引理1［8］對于任何非平方正整數d，方程

( u，v) = ( uk，vk) ( k=1，2，…)是方程( 2)的全部解．

引理2設( u，v) = ( ur，vr)和( us，vs)是方程( 2)的兩組解，其中r，s是不同的正整數．如果2| ur且2 us，那么必有2 r和2|s．

證明情形(Ⅰ) :當2|t時，由式( 3)可知

由式( 4)可知此時ut= 2u2

2r－1是奇數．由此可知:如果2|ur，那么

由式( 3)和( 5)可得

因為由式( 2)可知u21－dv21= 1，于是u21和dv21的奇偶性不相同，所以有

因為2|ur，所以由式( 6)和( 7)可知2 | u1．

情形(Ⅱ) :當2 s時，由式( 6)可知u1|us，故根據2|u1可得2|us．由此可知:如果2 us，那么必有2 | s．于是，由式( 5)和2|s即得本引理．證畢．

引理3［9］方程X2+ 1 = Yn，n＞1，X，Y，n∈N無解( X，Y，n)．

引理4［10］設p是奇素數，方程Xp+ 1 = 2Y2，min{ X，Y}＞1，X，Y∈N僅有解( p，X，Y) = ( 3，23，78)．

引理5［3］方程( 1)沒有適合4|n的解( x，n)．

3定理的證明

設( x，n)是式( 1)的一組n為偶數的解可得

當d=1時，根據引理3可知式( 8)無解，于是d＞1為非平方正整數．

如果2 | n，那么由式( 8)中前兩個等式可知方程( 2)有兩組解

因此，根據引理1和式( 9)可得

當a是偶數時，由式( 10)可知2|ur且2 us，所以根據引理2可得

因為( a+1)2

n

同時，由式( 11)可知2 r，所以由式( 6)可知u1| ur，故由式( 10)，( 14)和( 15)可得78|223，矛盾．

同樣，當a是奇數時，因為由式( 10)可知2| us且2 ur，所以根據引理2可得

因為2|r，所以由式( 3)和( 10)可得

綜上所述可知:方程( 1)沒有可使n為偶數的解( x，n)．定理證畢．

因此，由式( 18)可得

4推論1的證明

設( x，n)是方程( 1)的一組解，由式( 1)可得式( 8)．根據本文定理可知n必為奇數．

情形(Ⅰ) :當a為偶數時，由式( 8)中前2個等式分別可得

由式( 19)可知gcd( a，d) = 1，故由式( 20)可得

當ν2( a)是奇數時，由式( 21)可知2a|z2，故有

因此，由式( 8)中第2個等式和式( 22)可得

由于a是偶數，故由式( 23)可知n也是偶數這一矛盾．因此條件( i)成立．

另外，由式( 8)中前2個等式可得

由式( 24)和( 25)可得

由于此時a+1是奇數，所以根據文獻［8］的定理3．6．3和式( 26)可知a+1≡±1( mod 8)．由此可得a≡0或6( mod 8)．因為當a≡6( mod 8)時，ν2( a) = 1，由條件( i)已知此時方程( 1)無解，故必有

由式( 27)可知:當a≡4( mod 8)，即ν2( a) = 2時，方程( 1)也無解．因此條件( ii)成立．

5推論2的證明

對于正整數X，設A( X)是不大于X且使方程( 1)無解的正整數a的個數．對于正整數m，設集合

可知Bm( X)中元素a都是適合ν2( a) = 2m－1為奇數的偶數，而且Bm( X)中元素的個數

其中[X/22m]是X/22m的整數部分．因此，根據推論1和文獻［7］的定理以及式( 28)可知

上式等號右端第一項1/4即由文獻［7］中a≡3( mod 4)部分的結論得出．推論2證畢．

參考文獻:

［1］SZALAY L．On the diophantine equation ( 2n－1) ( 3n－1) = x2［J］．Publ Math Debrecen，2000，57( 1/2) : 1－9．

［2］HAJDU L，SZALAY L．On the diophantine equation ( 2n－1) ( 6n－1) = x2and ( an－1) ( akn－1) = x2［J］．Period Math Hungar，2000，40( 2) : 141－145．

［3］COHN J H E．The diophantine equation ( an－1) ( bn－1) = x2［J］．Period Math Hungar，2002，44( 2) : 169－175．

［4］LE M H．A note on the exponential diophantine equation ( an－1) ( bn－1) = x2［J］．Publ Math Debrecen，2009，74( 3/4) : 401－403．

［5］LI L，SZALAY L．On the exponential diophantine equation ( an－1) ( bn－1) = x2［J］．Publ Math Debrecen，2010，77( 3/ 4) : 465－470．

［6］YUAN P Z，ZHANG Z F．On the diophantine equation ( an－1) ( bn－1) = x2［J］．Publ Math Debrecen，2012，80( 3/4) : 327－331．

［7］梁明．關于Diophantine方程( an－1) ( ( a+1)n－1) = x2［J］．數學雜志，2012，32( 3) : 511－514．

［8］華羅庚．數論導引［M］．北京:科學出版社，1979: 287－289．

［9］LEBESGUE V A．Sur l'impossiblilité en nombres entiers de l'équation xm= y2+ 1［J］．Nouv Ann Math，1850，9( 1) : 178－181．

［10］BENNETT M A，SKINNER C M．Ternary diophantine equation via Galois representations and modular forms［J］．Canada J Math，2004，56( 1) : 23－54．

The Diophantine Equation ( an－1) ( ( a+1)n－1) = x2

YANG Hai1*，PEI Yuantai1，FU Ruiqin2

( 1．School of Science，Xi'an Polytechnic University，Xi'an 710048，China; 2．School of Science，Xi'an Shiyou University，Xi'an 710065，China)

Abstract:Let a be a positive integer with a＞1，and v2( a) denotes the highest power of 2 dividing a．The main purpose of this paper is using elementary number theory methods to study the solvability of the equation ( an－1) ( ( a+1)n－1) = x2．We prove that no solution ( x，n) to the equation exists if one of the following conditions is satisfied: ( i) a is even，and v2( a) is odd; ( ii) a is even，and v2( a) = 2; ( iii) a is odd，and a≡5 or 9 ( mod 16)．We also prove that there are at least five sixths of positive integers a which make the equation have no solution ( x，n) with n＞2．

Key words:exponential Diophantine equation; solvability; density

*通信作者:xpuyhai@ 163．com

基金項目:國家自然科學基金( 11226038，11371012) ;陜西省教育廳科研計劃項目( 14Jk1311)

收稿日期:2015－03－02錄用日期: 2015－05－05

doi:10．6043/j．issn．0438－0479．2016．01．017

中圖分類號:O 156．7

文獻標志碼:A

文章編號:0438－0479( 2016) 01－0091－03

引文格式:楊海，裴元太，付瑞琴．Diophantine方程( an－1) ( ( a+1)n－1) = x2的可解性［J］．廈門大學學報(自然科學版)，2016，55( 1) : 91－93．

Citation: YANG H，PEI Y T，FU R Q．The Diophantine equation ( an－1) ( ( a+1)n－1) = x2［J］．Journal of Xiamen University( Natural Science)，2016，55( 1) : 91－93．( in Chinese)