含連續(xù)整數(shù)的3維本原勾股數(shù)問題

袁 淑 麗

(東莞市經(jīng)濟(jì)貿(mào)易學(xué)校，廣東 東莞 523106)

1 引言

在不定方程x2+y2=z2中有一類特殊的正整數(shù)解，3、4、5；5、12、13；7、24、25；9、180、181；……。它們整體互素，且有兩個為連續(xù)的正整數(shù)。這些解也被稱之為本原勾股數(shù)。它們可以通過公式：a=2n+1、b=2n2+2n、c=2n2+2n+1得到。顯見，具有這些性質(zhì)的勾股數(shù)有無窮多個。人們把滿足不定方程x2+y2+z2=w2且互素的正整數(shù)解稱之為3維本原勾股數(shù)。我們不禁會想3維本原勾股數(shù)也有類似的奇妙現(xiàn)象嗎？對應(yīng)這樣的解有多少個？怎樣求出對應(yīng)的解呢？筆者試就以上問題作一些探索。

2 具有三個連續(xù)正整數(shù)的3維本原勾股數(shù)的解

由于3維本原勾股數(shù)是由四個數(shù)組成，設(shè)為a、b、c、d，且(a、b、c、d)=1，其中必然有兩個為偶數(shù)兩個為奇數(shù)，其中最大的一個數(shù)d一定是奇數(shù)[1]，若a、b、c、d四個數(shù)是連續(xù)正整數(shù)，只能是a=2n、b=2n+1、c=2n+2、d=2n+3，則有

(2n)2+(2n+1)2+(2n+2)2=(2n+3)2

所以，至多只能有三個連續(xù)的整數(shù)。

定理1：設(shè)a、b、c、d是本原3 維勾股數(shù)，其中含有三個連續(xù)的正整數(shù)的只有1、2、2、3唯一的一組解。

證：若a、b、c為連續(xù)的整數(shù)，因為其中有兩個偶數(shù)一個奇數(shù)，分別設(shè)為a=2n+1、b=2n、c=2n+2，若存在奇數(shù)d=2m+1使得a2+b2+c2=d2，則有

(2n+1)2+(2n)2+(2n+2)2=(2m+1)2

于是有

3n(n+1)+1=m(m+1)

上式中，左邊是奇數(shù)而右邊為偶數(shù)，顯然不能成立。故a、b、c不能成為連續(xù)的整數(shù)。

若a、b、d為連續(xù)的整數(shù)，因為其中有兩個奇數(shù)一個偶數(shù)，分別設(shè)為a=2n-1、b=2n、d=2n+1代入a2+b2+c2=d2有

(2n-1)2+(2n)2+c2=(2n+1)2

于是有

c2=4-4(n-1)2

由于a、b、c、d都是正整數(shù)，只有n=1，即只有1、2、2、3唯一的一組解。

3 具有兩對連續(xù)正整數(shù)的3維本原勾股數(shù)及其算法

對于不定方程x2+y2+z2=w2具有兩對連續(xù)整數(shù)的3維本原勾股數(shù)解的問題，我們有如下的結(jié)論：

定理2：設(shè)a、b、c、d是本原3維勾股數(shù)，當(dāng)a、b為兩個連續(xù)整數(shù)，則c、d也是連續(xù)整數(shù)的充分且必要條件是c=ab。

證：若b=a+1，d=c+1為兩對連續(xù)正整數(shù)，代入a2+b2+c2=d2有

a2+(a+1)2+c2=(c+1)2

展開化簡，即得

c=a(a+1)=ab

若

b=a+1,c=ab=a(a+1)

那么

a2+(a+1)2+[a(a+1)]2=a4+2a3+3a2+2a+1=(a2+a+1)2

即

d=a2+a+1=a(a+1)+1=c+1

c、d也是連續(xù)整數(shù)。

根據(jù)以上的結(jié)論，可構(gòu)造計算公式，并計算結(jié)果如下：

令a=nb=n+1c=n(n+1)d=n(n+1)+1ì?í????可得abcd12232367341213452021563031674243…………

滿足以上性質(zhì)的3維本原勾股數(shù)都可以由唯一的參數(shù)a的取值而隨之確定。顯然，a可以取任何正整數(shù)，對于一個確定a的值有且僅有一組解。

4 具有一對連續(xù)正整數(shù)的3維本原勾股數(shù)的求解問題

假設(shè)a2+b2+c2=d2中c=d-1，我們觀察一下a、b、c、d有什么關(guān)系。

由于

d2-c2=d2-(d-1)2=2d-1

若2d-1=a2+b2有整數(shù)解，即已經(jīng)得到問題的答案。

當(dāng)2d-1為模4余1的素數(shù)時，顯然成立[2]128。

如：d=7,2d-1=13為模4余1的素數(shù)，對應(yīng)有解3、2、6、7；

d=9,2d-1=17為模4余1的素數(shù)，對應(yīng)有解1、4、8、9；

當(dāng)2d-1含有4x-1的素數(shù)(即：模4余3的素數(shù))時，2d-1不能表示成a2+b2形式[3]113，也就是說找不到具有以上性質(zhì)的解。

如：d=5, 2d-1=9=32，因為9不是素數(shù)，而3是模4余3的素數(shù)，則不存在正整數(shù)a、b使a、b、4、5為勾股數(shù)。

對于d=11,2d-1=21=3×7，3和7都是模4余3的素數(shù)，也不存在正整數(shù)a、b使a、b、10、11為3維勾股數(shù)。綜上所述，我們得到以下結(jié)論。

定理3：對于奇數(shù)d，存在一組正整數(shù)a、b、c、d是本原3維勾股數(shù)，且c、d為連續(xù)整數(shù)的充分必要條件是2d-1為模4余1的素數(shù)。

如果2d-1不是素數(shù)，而是若干個素數(shù)的乘積，設(shè)2d-1=p1p2…prM2，其中p1、p2…pr是互不相同的素因子，則2d-1可以表示成兩個平方數(shù)之和的充要條件是，每一個pi為模4余1的素數(shù)[2]128。這表明只要2d-1中除平方因子外不含有模4余3的素因子，則對于奇數(shù)d，存在正整數(shù)a、b使得a、b、d-1、d是本原3維勾股數(shù)。

比如d=33,2d-1=65=5×13，5和13都為模4余1的素數(shù)，對應(yīng)有

2d-1=5×13=(12+22)(22+32)

作如下變式

即可得到a=7、b=4、c=32、d=33為一組具有兩個連續(xù)正整數(shù)的3維本原勾股數(shù)。

接下來的問題是，這樣的本原3維勾股數(shù)有多少個呢？

定理4：對于奇數(shù)d，若2d-1=p1p2…prM2，且p1、p2…pr是互不相同的模4余1的素因子，則存在正整數(shù)a、b使得a、b、d-1、d是本原3維勾股數(shù)的個數(shù)有2r-1個(r是模4余1的素因子的個數(shù))。

證(數(shù)學(xué)歸納法)：當(dāng)r=1時2d-1=p1M2，根據(jù)參考文獻(xiàn)[3]109結(jié)論

p1=a12+b12

那么

2d-1=(a12+b12)M2=(a1M)2+(b1M)2

取a=a1M、b=b1M得a、b、d-1、d是一組本原3維勾股數(shù)，且是唯一的一組解。

結(jié)論成立。

假設(shè)r=k時結(jié)論成立，

當(dāng)r=k+1時，2d-1=p1p2…pk+1M2；根據(jù)歸納假設(shè)，對于p1p2…pkM2有2k-1組不同的正整數(shù)Ai、Bi(i=1,2,3,…,2k-1)的值，使得p1p2…pkM2=Ai2+Bi2；

又pk+1是模4余1的素數(shù)，因此pk+1=ak+12+bk+12

而

=(Aiak+1-Bibk+1)2+(Aibk+1+Biak+1)2

或

=(Aiak+1+Bibk+1)2+(Aibk+1-Biak+1)2

i=1,2,3,…,2k-1

所以，對于2d-1=p1p2…pk+1M2，存在2k-1×2=2(k+1)-1組不同的正整數(shù)Si、Ti的值，使得2d-1=p1p2…pk+1M2=Si2+Ti2；

即r=k+1時結(jié)論成立。

根據(jù)數(shù)學(xué)歸納法原理，該結(jié)論對一切正整數(shù)r成立。

例如：d=553,2d-1=1105=5×13×17，符合條件的解應(yīng)有4組。它們可以通過如下方式求得：

則

=92+322

=232+242

=312+122

=332+42

從而得到9、32、552、553；23、24、552、553；31、12、552、553；33、4、552、553四組具有一對連續(xù)正整數(shù)的本原3維勾股數(shù)。

5 結(jié)語

二維勾股數(shù)中具有許多奇妙的性質(zhì)，與之對應(yīng)三維勾股數(shù)也有相應(yīng)的性質(zhì)。但由于維數(shù)的增加，其對應(yīng)的性質(zhì)是大不相同的，變得更加復(fù)雜和奇妙。筆者在這里探索了有連續(xù)正整數(shù)的3維本原勾股數(shù)解的條件和求解的方法及其解的個數(shù)，并以行列式的計算形式給出了構(gòu)造有兩個連續(xù)正整數(shù)的3維本原三維勾股數(shù)的計算范例。

[1]顏有祥.三維勾股數(shù)的性質(zhì)及其計算方法[J].新鄉(xiāng)學(xué)院學(xué)報：自然科學(xué)版，2010，(3).

[2][美]Joseph H.Silverman.數(shù)論概論[M].孫智偉，等，譯.北京：機(jī)械工業(yè)出版社，2008.

[3]閩嗣鶴，嚴(yán)士鍵.初等數(shù)論(第三版)[M].北京：高等教育出版社，2003.