楊 群

( 西南大學數(shù)學與統(tǒng)計學院，重慶 400715)

引 言

不定方程作為數(shù)論的一個重要分支，大約是從公元3世紀開始被研究，直到目前仍存有很多問題有待解決，其中一種特殊的形式就是形如nx( x +1) ( x +2) ( x +3) =my( y +1) ( y +2) ( y +3) 的不定方程，這類不定方程已經(jīng)有將近40 年的研究歷史了［1-18］，到目前為止，只那些確定系數(shù)的多項式的解被解決了，而其他的都有待被解決。1971 年，Cohn［17］證明了( m，n) = (1，2) 時，僅有正整數(shù)解( x，y) = (5，4) ; 1975 年，Ponnudurait［18］證明了( m，n) = (1，3) 時，整數(shù)解( x，y) = (2，1) ; 1991年，羅明［15］證明了( m，n) = (1，7) 的整數(shù)解只有( x，y) = (4，2) ; 1996 年，鐘梅、鄧謀杰［14］證明了( m，n) =(3，4) 的整數(shù)解只有( x，y) = (12，13) ; 1997 年徐學文［13］證明了( m，n) = (1，7) 沒有整數(shù)解;2007 年，程瑤、馬 玉 林［12］證 明 了( m，n) = (1，11) 沒 有 整 數(shù)解，．．．，直到2018 年，陳瓊［1］證明( m，n) = (1，33) 的整數(shù)解只有( x，y) = (9，3) 。但是，對于n 和m 的值比較大的數(shù)字還沒有研究過，如當( m，n) = (1，57) 時，不定方程x( x +1) ( x +2) ( x + 3) = 57y( y + 1) ( y + 2)( y +3) 的正整數(shù)解還未知，以及更多該類不定方程都有待被研究。

先將原不定方程化為:

方程x2－57y2= －56 的全部整數(shù)解，由以下4 個類給出:

1 (2x +3) 2 = 4xn +5

將考慮(1) 式的解，即n 取何值時4xn+5 為完全平方數(shù)。

引理2 ( ±228vn+5un) 是一個非平方數(shù)。

證明 用對序列{ ±228vn+5un} 取模的方法證明。

{ ±228vn+5un} 取mod 937，可以得到兩個剩余序列周期都為78;序列2t取mod 78 的剩余序列的周期為12( 除t = 0 以外) 。對k 分兩種情況討論。

令n = 2·k·3·52·11·2t( t ≥1，2 ⊥t) ，當k ≡1( mod 4) 時，令

則有表1:

表1 k ≡1(mod 4) 情況下的數(shù)

對表1 中的所有m，均有4xn+ 5 ≡4x2m+ 5 ≡228v2m+5( mod u2m) ，故:

所以4xn+5 是非平方數(shù)。

當k ≡－1( mod 4) 時，

則有表2:

表2 k ≡－1(mod 4) 情況下的數(shù)據(jù)

對表2 中的所有m，均有4xn+5 ≡－4x2m+5 ≡－228v2m+5( mod u2m) ，故:

所以4xn+5 是非平方數(shù)。

引理3若式(1) 成立，則必需n ≡0( mod 4 × 3 ×52×11)

證明對序列{4xn+5} 取模的方法證明

( 1) mod 151，排除n ≡1，3( mod 4) ，此時4xn+5 ≡35，126( mod 151) ，剩 n ≡0，2( mod 4) 。當 n ≡2( mod 4) ，即n ≡2，6( mod 8) 。mod 31，排除n ≡2，6( mod 8) ，此時4xn+ 5 ≡12，29( mod 31) ，故n ≡0( mod 4) 。

(2) mod 18301，排除n ≡4( mod 5) ，此時4xn+5 ≡14350( mod 18301) ，剩n ≡0，1，2，3( mod 5) ，即n ≡0，1，2，3，5，6，7，8( mod 10) 。mod 90901，排除n ≡2，3，7，8( mod 10) ，此時4xn+5 ≡14212，13008，76699，77903( mod 90901) ，剩n ≡0，1，5，6( mod 10) ，即n ≡0，1，5，6，10，11( mod 15) 。mod 61，排 除n ≡5，10，11( mod 15) ，此時4xn+5 ≡32，35，28( mod 61) ，剩n ≡0，1，6( mod 15) ，即n ≡0，1，5，6，10，11，15，16，20，21，25，26，30，31，35，36( mod 40) 。mod 41，排除后剩n ≡0，6，10，15，20，25，35，36( mod 40) 。mod 79，排除后剩n ≡0，15，20( mod 40) ，即n ≡0，5，10，15，20，25，30，35，40( mod 45) 。mod 541，排 除 后 剩n ≡0，5，30，35( mod 45) 。mod 33029，排除后剩n ≡0( mod 45) ，即n ≡0，5，10，15，20，25，30，35，40，45(mod 50)。mod 10099，排除后剩n ≡0，10，20，25，35，45( mod 50) ，即n ≡0，10，20( mod 25) 。當n ≡10，20( mod 25) ，即n ≡10，20，35，45，60，70，85，95( mod 100) 。mod 2699，排除后剩n ≡45，70，85，95( mod 100) ，即 n ≡ 1，2，3( mod 4) 。mod 151，排除n ≡1，3( mod 4) ，剩n ≡2( mod 4) ，即n ≡2，6( mod 8) 。mod 31，排除n ≡2，6( mod 8) 。故n ≡0( mod 5) 。

(3) mod 197，排除n ≡2，4，5，7，9，10( mod 11) ，剩n ≡0，1，3，6，8(mod11)。mod 13619，排除n ≡8(mod 11)，剩n ≡0，1，3，6( mod 11) 。當n ≡1，3，6( mod 11) ，即n ≡1，3，6，12，14，17( mod 22) 。mod 397，排除n ≡1，12，14( mod 22) ，剩n ≡3，6，17( mod 22) ，即n ≡3，6，17，25，28，39( mod 44) 。mod 1231，排除n ≡6，17，25，28( mod 44) ，剩n ≡3，39( mod 44) ，即n ≡3( mod 4) 。mod 151，排除n ≡3( mod 4) 。故n ≡0( mod 11) 。

2 (2x +3) n = 4+5

引理4若n ≡0 mod(3 ×4 ×52×11) 且n ＞0 時，式(2) 不成立。

證明n = 2·k·3·52·11·2t( t ≥1，2 ⊥t) ，運用分類討論的數(shù)學方法及與引理3 證明過程中選取n 的方式相同，根據(jù)式(5) 、式(6) 以及引理1 可得:

故式(2) 不成立。

引理5若式(2) 成立，則必需n ≡0( mod 4 ×3 ×52×11)

證明

(1) mod 151，排除n ≡1，3( mod 4) ，剩n ≡0，2(mod 4)。當n ≡2(mod 4)，即n ≡2，6(mod 8)。mod 31，排除n ≡2，6( mod 8) ，故n ≡0( mod 4) 。

(2) mod 18301，排除n ≡1( mod 5) ，剩n ≡0，2，3，4( mod 5) ，n ≡0，2，3，4，5，7，8，9( mod 10) 。mod 90901，排除n ≡2，3，7，8( mod 10) ，剩n ≡0，4，5，9( mod 10) ，即n ≡0，4，5，9，10，14( mod 15) 。mod 61，排除n ≡4，9，14( mod 15) ，剩n ≡0，5，10( mod 15) ，即n ≡0，5，10，15，20，25，30，35( mod 40) 。mod 41，排除n ≡15，30( mod 40) ，n ≡10，25，35( mod 40) 。mod 79，排除，剩n ≡0，5，20( mod 40) ，即n ≡0，5，10，15，20，25，30，35，40( mod 45) 。mod 541，排 除n ≡10，15，20，25，30，35(mod 45)，剩n ≡0，5，40(mod 45)。mod 228061，排除n ≡5，40(mod 45)，故n ≡0(mod 45)，即n ≡0(mod 3)。

(3) 由上面可知有n ≡0( mod 45) ，故n ≡0，5，10，15，20，25，30，35，40，45( mod 50) 。mod 10099，排除n ≡10，20，35，45(mod 50)，剩n ≡0，5，15，25，30，40(mod 50)，即n ≡0，5，15( mod 25) 。當n ≡5，15( mod 25) 時，即n ≡5，15，30，40，55，65( mod 75) 。mod 149，排除n ≡5，30，40，55，65( mod 75) ，剩n ≡15( mod 75) ，即n ≡15，40，65，90( mod 100) 。mod 2699，排除n ≡15，40，90( mod 100) ，剩n ≡65( mod 100) ，即n ≡3( mod 4) 。mod 151，排除n ≡3( mod 4) 。故n ≡0( mod 25) 。

(4) mod 197，排除n ≡1，2，5，7，8，9( mod 11) ，剩n ≡0，3，4，6，10( mod 11) 。mod 13619，排除n ≡3，4，6，10( mod 11) 。故n ≡0( mod 11) 。

3 (2x +3) 2 = 4xn' +5

引理6對任意n ≥0，式(3) 都不成立。

證明mod 7，排除n ≡0，1( mod 6) ，剩n ≡2，3，4，5( mod 6) 。mod 43，排除n ≡2，3，4，5( mod 6) 。故對任意n ≥0，4xn' + 5 都是非平方數(shù)。

4 (2x + 3) 2 = 4+5

引理7對任意n ≥0，式(4) 都不成立。

證明mod 7，排除n ≡2，3( mod 6) ，剩n ≡0，1，4，5( mod 6) 。mod 43，排除n ≡0，1，4，5( mod 6) 。故對任意n ≥+5 都是非平方數(shù)。

定理1不定方程( x2+3x +1)2－57y2= －56 的全部整數(shù)解是( －1，－1) ，( －1，1) ，( －2，1) ，( －2，－1) 。

證明由引理2 和引理3 知若式(3)成立，必需n = 0，此時x = －1，－2，這給出了方程的4 組解。

定理2不定方程x( x + 1) ( x + 2) ( x + 3) =57y( y +1) ( y +2) ( y +3) 無正整數(shù)解。

證明由式(2) 和定理1 知，x 只能等于－1，－2，故該不定方程無正整數(shù)解。