常 秀 芳

(山西大同大學煤炭工程學院，山西 大同 037003)

?

關于不定方程x2+y2+z2=2(xy+yz+xz)解及其性質(zhì)的研究

常 秀 芳

(山西大同大學煤炭工程學院，山西 大同 037003)

目的探求不定方程x2+y2+z2=2(xy+yz+xz)正整數(shù)解的形式及該方程解所具有的性質(zhì)。方法由于方程x2+y2+z2=2(xy+yz+xz)為三元不定方程，因此方程的解可以看成是三維空間的坐標(a,b,c)。又因為該方程本身具有對稱性等特性，所以方程必有零解和直線解。為進一步研究解的特征，給出方程的同族解、相鄰解、奇異解與非奇異解、互質(zhì)解等概念。在同族解中，已知其中的一組解，其余5組解便知。方程的正整數(shù)解即為非奇異解，是三維空間在第一卦限內(nèi)一點的坐標。對這些概念進行剖析探究可得到方程解的形式與結(jié)構(gòu)所蘊涵的特性。結(jié)果通過對同族解、相鄰解、奇異解與非奇異解、互質(zhì)解等概念的研究，得出方程的最簡單的解和互質(zhì)解譜圖的重要結(jié)果。又從最簡單的解和互質(zhì)解譜圖可推導出方程一系列解的性質(zhì)。結(jié)論方程可由最簡單的解(4,1,1)和互質(zhì)解譜圖求出方程全部解的結(jié)果。

相鄰解;奇異解;互質(zhì)解;解譜圖

關于方程[1-3]

x2+y2+z2=2(xy+yz+xz)

(1)

的任何一組正數(shù)解：x=a,y=b,z=c，都可以看成是三維空間的一點的坐標(a,b,c)。由于方程的左端總是非負的，因此可知方程的解除零解外，a、b、c必同時為正，或同時為負。只要把(a,b,c)寫成(|a|,|b|,|c|)即同為正，所以下面只研究正數(shù)解的情形。若(a,b,c)是方程的解，由方程的對稱性知，方程必定存在(a,c,b)、(b,a,c)、(b,c,a)、(c,a,b)、(c,b,a)的5組解，這6組解實際是三維坐標a,b,c的不同的排列，只與坐標值有關，而與其次序無關，這6組解不妨稱為同族解。在同族解中，已知其中的1組解，其余5組解便知。規(guī)定方程的解指的是同族解中的1組解，同族解當中另外5組解不作研究。

1　關于方程x2+y2+z2=2(xy+yz+xz)解的概念

1.1相鄰解

如果(a,b,c)是方程(1)的一組正數(shù)解，則a必為方程

φa(x)=x2-2(b+c)x+(b-c)2=0

(2)

的一個正數(shù)根，且一定存在另一個根a′，由一元二次方程根與系數(shù)的關系知

a+a′=2(b+c)aa′=(b-c)2

若a′>0，(a′,b,c)也是方程(1)的一組正數(shù)解。規(guī)定這一數(shù)組(a′，b,c)稱為方程(1)的解(a,b,c)的a的相鄰解，即(a,b,c)與(a′,b,c)互為相鄰解。

同理，方程(1)的一組正數(shù)解(a,b,c)中，b也有相鄰解(a,b′,c)。同樣c也有相鄰解為(a,b,c′)。

結(jié)論：如果已知方程(1)的一組正數(shù)解，則方程(1)必有3組相鄰的正解。

1.2零解

因為x=0,y=0,z=0滿足方程(1)，所以方程(1)必有一組解(0,0,0)，稱該組解為方程的零解。

1.3奇異解

由于所關注的是方程(1)的正整數(shù)解，而方程(1)的任一組正整數(shù)解(a,b,c)都是三維空間在第一卦限內(nèi)一點的坐標。因此，如果方程(1)的解至少有1個坐標值為零，就不予考慮，應把它剔除掉。所以，規(guī)定在方程(1)的解(a,b,c)的相鄰解當中，只要有1個坐標值分量為零，則稱解(a,b,c)為方程(1)的奇異解，否則稱為非奇異解。顯然，零解是方程(1)的奇異解，方程(1)的正整數(shù)解即為非奇異解。

在方程(1)的解(a,b,c)當中，若有2個坐標值相等，不妨設b=c，可得一解(4,1,1)，稱(4,1,1)為方程最簡單的解。將之代入(2)式可得關于4的相鄰解(0,1,1)，顯然(4,1,1)是奇異解。

1.4直線解

直線x=y=z上的點的坐標都是方程(1)的解，即方程(1)有無限多組正整數(shù)解，稱為方程的直線解。

1.5互質(zhì)解

在方程(1)的解(a,b,c)當中，若3個坐標兩兩互質(zhì)，則稱該組解為互質(zhì)解。

2　關于方程x2+y2+z2=2(xy+yz+xz)解的性質(zhì)

性質(zhì)1如果方程(1)有1組解(a,b,c)，則(ka,kb,kc)也是方程(1)的解[4，5]。

性質(zhì)2在方程(1)的解中，如果有2個坐標分量值相等，則必得奇異解，而且奇異解只有1個相鄰解。

特別地，非奇異解(a,b,c)有3個相鄰解(a′,b,c)、(a,b′,c)、(a,b,c′)，其中a′、b′、c′可由下式求得

不妨b=c，可得(4b,b,b)，由性質(zhì)1得奇異解(4,1,1)，又由

42+y2+12=2(4y+y+4)

得奇異解(4,1,1)的1個相鄰解(4,9,1)。該相鄰解(4,9,1)除去(4,1,1)外，還有(16,9,1)、(4,9,25)的2個相鄰解。

性質(zhì)3在方程(1)的解(a,b,c)中，如果3個坐標值最大公因子為1，則解的3個坐標值必為兩兩互質(zhì)。

如果a與b有1個大于1的公因子d，則d也必是c的因子，這與a、b、c的最大公因子為1相矛盾。故a、b、c兩兩互質(zhì)。

性質(zhì)4互質(zhì)解的相鄰解也是互質(zhì)解。

若(a,b,c)是互質(zhì)解，在它的3個相鄰解(a′,b,c)、(a,b′,c)、(a,b,c′)中，不妨設(a′,b,c)不是互質(zhì)解，則a′與b，或a′與c必有1個大于1的公因子d，兩者必居其一。不妨設a′與b有公因子d>1，則a′=nd、b=md。由韋達定理知aa′=(b-c)2，即aa′=and=(b-c)2=(md-c)2=m2d2-2mdc+c2，所以d|c2。從而b與c有1個大于1的公因子d，而與(a,b,c)互質(zhì)產(chǎn)生矛盾，故(a′,b,c)是互質(zhì)解。

性質(zhì)5在方程(1)的互質(zhì)解(a,b,c)當中，a、b、c 3個量必兩奇一偶。

性質(zhì)6在方程(1)的互質(zhì)解(a,b,c)中，a,b,c均為平方數(shù)。

由下面方程

可得

因為(a,b,c)是方程的互質(zhì)解，那么3個坐標分量a、b、c必然是兩兩互質(zhì)的正整數(shù)，所以a、b、c必然都是平方數(shù)。

性質(zhì)7在方程(1)的非奇異解(a,b,c)的3個相鄰解中，只有1個解的最大坐標比原來的小，另2個具有較大的最大坐標。

證明：假如a>b>c,設φa(x)=x2-2(b+c)x+(b-c)2=0的2個根為a和a′。

由于

(b-a)(b-a′)=φa(x)=b2-2(b+c)b+(b-c)2=-c(4b-c)<0

所以b介于a與a′之間，則a>b>a′，故(a′,b,c)的最大坐標小于(a,b,c)的最大坐標。

同理，因

(a-b)(a-b′)=φb(a)=a2-2(a+c)a+(a-c)2=-c(4a-c)<0

可知，a位于b與b′之間，而a>b，那么b′>a，所以(a,b′,c)的最大坐標就大于(a,b,c)的最大坐標。對于(a,b,c′)的情況可同理推出。

性質(zhì)8方程(1)的任意1組互質(zhì)解都可由奇異解(4,1,1)推得，即方程(1)的任何互質(zhì)解都與奇異解(4,1,1)存在必然的聯(lián)系。

假設(a,b,c)是方程(1)的互質(zhì)解，由性質(zhì)4及性質(zhì)7可得，它必有互質(zhì)的相鄰解(a1,b1,c1)，而且具有較小的最大坐標值。若這個解是非奇異解，則它又能產(chǎn)生互質(zhì)的相鄰解(a2,b2,c2)，具有更較小的最大坐標值。將這個過程繼續(xù)下去，在自然數(shù)范圍內(nèi)是不能形成從大到小無窮遞減的，因此在推導過程中，必在某個互質(zhì)解具有相同坐標時停止，即該解為奇異解(4,1,1)。從而從奇異解(4,1,1)出發(fā)，就能逐步地并且無遺漏地得出方程(1)的全部互質(zhì)解來，再由性質(zhì)2得到方程(1)的全部解。

奇異解(4,1,1)的非奇異互質(zhì)解是(4,9,1)，而且(4,9,1)是所有非奇異互質(zhì)解中最小的。由非奇異互質(zhì)解(4,9,1)開始，每2個坐標不變，可得方程全部的互質(zhì)解，如圖1所示。

不妨稱此圖為方程(1)的互質(zhì)解譜圖，解譜圖很容易進行計算機運算，并得到應用與推廣。

性質(zhì)8在解譜圖的坐標反復輪換的一系列相鄰解中，其坐標平方根的序列里包含著菲波納契(Fibonacci)數(shù)列。

由性質(zhì)6知，解譜圖中的任意一組解的3個坐標都是平方數(shù)，故解譜圖中的任一解可設為(a2,b2,c2)的形式，則a2是二次方程φa2(x)=x2-2(b2+c2)x+(b2-c2)2=0的一個根。設另一個根為a′2，有

圖1　方程的互質(zhì)解譜樹圖

設a2=(b-c)2，a′2=(b+c)2，其中a,a′，b,c>0，那么

同理，分別由方程

可推得

于是得其坐標平方根序列為

c1=b1+c1=2b0+3c0a2=b1+c1=3b0+5c0

設F1=b0,F2=c0,F3=a1,F4=b1,F5=c1,F6=a2,F7=b2,F8=c2,…，故有遞推公式

當b0=c0=1時，即F1=F2=1，則{Fn}就是菲波納契(Fibonacci)數(shù)列。

[1]華羅庚.數(shù)論導引[M].北京：高等教育出版社，1957：9-80.

[2]閔嗣鶴，嚴士健.初等數(shù)論[M].北京：高等教育出版社，1986：21-49.

[3]李高，常秀芳.關于二階變系數(shù)線性微分方程求解法的研究[J].河北北方學院學報：自然科學版,2010,26(06)：12-14,19.

[4]李高，李殊璇,常秀芳.二階變系數(shù)線性微分方程可解的研究[J].河北北方學院學報：自然科學版,2013,29(02)：1-2.

[5]常秀芳，李高.Taylor冪級數(shù)直接展開的新方法[J].河北北方學院學報：自然科學版,2013,29(05)：1-3.

[6]李高，常秀芳.二階變系數(shù)線性微分方程及其衍生方程[J].河北北方學院學報：自然科學版,2011,27(05)：13-15.

[7]常秀芳，李映波,李高.關于一階矩陣的再認識與詮釋[J].山西大同大學學報,2015,31(04)：9-11.

[責任編輯：關金玉英文編輯：劉彥哲]

Solution to Indefinite Equation x2+y2+z2=2(xy+yz+xz)and Its Property

CHANG Xiu-fang

(School of Coal Engineering,Shanxi Datong University,Datong,Shanxi 037003,China)

ObjectiveTo explore forms of positive integer solutions of indefinite equation x2+y2+z2=2(xy+yz+xz)and the properties of the solutions.MethodsThe solution to this triple indefinite equation x2+y2+z2=2(xy+yz+xz)can be regarded as a three-dimensional space point coordinates(a,b,c).And the symmetry of the equation makes it certain that this equation has zero solution and linear solution.To facilitate the further study on the characteristics of the solution, the kin solution,adjacent solution,singular solution,nonsingular solution,and co-prime solution of equation are given.Then with a set of known kin solutions,the remaining five sets of solutions are known.The positive integer solutions of equations(the non singular solutions),are coordinates of point of three-dimensional space in the first diagram.Exploration of these concepts leads to the features contained in the structures and the forms of equations.ResultsBy analysis on the kin solution,adjacent solution,singular solution,nonsingular solution and co-prime solution of equation,the simplest solution of equation and co-prime solution spectra were concluded.And from the simplest solution and co-prime solution spectra,the properties of a series of the solutions to the equation were deduced.ConclusionFrom the simplest solution(4,1,1)and co-prime solution spectra,all solutions to the equation can be deduced.

adjacent solution;singular solution;co-prime solution;solution spectra

常秀芳(1965-)，女,山西應縣人,副教授,研究方向：大學工科數(shù)學教育教學與研究。

O 156.4

A

10.3969/j.issn.1673-1492.2016.09.002