上海市世界外國語中學 熊浩明
定義1:我們稱x2+y2+z2=kxyz為Markov 方程(其中k是正整數(shù)),有以下結(jié)論:
定理1:如果Markov 方程有正整數(shù)解,那么k≤3。
具體地,當k=1,3 時,有正整數(shù)解;而當k=2 時,沒有正整數(shù)解。
事實上,我們有更一般的結(jié)果:
定義4:如果通過韋達變換使得方程(1)的正整數(shù)解(x1,x2,…,xi,…,xn)→(x1,x2,…,xi',…,xn),對1 ≤i≤n,其中xi'=kx1…xi-1xi+1…xn-xi>0,則稱(x1,x2,…,xi,…,xn)與(x1,x2,…,xi',…,xn)是等價的。
對Markov-Hurwitz 方程所有等價的解記為某個等價類,即相同等價類中的兩個解可以通過一系列的韋達變換得到,而不同等價類中的解是無法通過韋達變換得到的。如果一個正整數(shù)解通過韋達變換無法得到另一個正整數(shù)解,則它本身構(gòu)成一個等價類。在每個等價類中,我們記最小的那個解為極小解(即各變量的和為最小,但未必唯一)。如果有s個等價類,那么就有s個極小解。極小解也稱為基本解,各個不同的基本解是無法通過韋達變換轉(zhuǎn)化的。
如果令0 <x1≤x2≤…≤xn,當k≥2 時,由韋達變換的定義,我們發(fā)現(xiàn)一般的韋達變換會將解的各變量的和增大,除非i=n,即變換xn'=kx1x2…xn-1-xn,它是唯一可能使解減小的變換。我們得到如下的重要結(jié)果:
首先我們給出定理2 的證明。
定理2:對n≥3,k為給定正整數(shù),如果不定方程x12+x22+…+=kx1x2…xn有正整數(shù)解,那么k≤n。
如果xn=1,那么x1=x2=…=xn=1,這就得到k=n。
即得k≤n。
所以我們證明了定理2。
定理3 是本文的核心定理。接著給出定理3 的證明:
所謂“醫(yī)養(yǎng)結(jié)合”就是指將醫(yī)療資源與養(yǎng)老資源結(jié)合起來,實現(xiàn)資源效率的最大化,使養(yǎng)老機構(gòu)既具有養(yǎng)老功能又具有醫(yī)療功能,是一種把生活照料與醫(yī)療服務(wù)融為一體的新型養(yǎng)老模式。然而,廣西在“醫(yī)養(yǎng)結(jié)合”工作方面進展緩慢,地方政府及相關(guān)部門沒有按照“醫(yī)養(yǎng)結(jié)合”的本質(zhì)要求來研究和制訂實施方案,因此,包括營利性養(yǎng)老服務(wù)機構(gòu)在內(nèi)的廣西各類養(yǎng)老服務(wù)機構(gòu)的“醫(yī)養(yǎng)結(jié)合”工作沒有太大起色。
這就證明了基本解的個數(shù)是有限個,即存在一個基本解的有限集合{A1,A2,…,As},方程的所有解都可以由這個集合中的元素生成。
我們現(xiàn)在對k=1,2 的情況作些說明,這時的方程有可能出現(xiàn)無限多組基本解:
(1)如果k=2,更細致地分析上述不等式(*):
當xn-2=1 時,此時方程成為x2+y2+n-2=2xy+m,即(x-y)2=m+2-n,令m+2-n=s2,則xn=a+s,xn-1=a是最小解,如果s>0,由于韋達變換將(a,a+s)→(a+2s,a+s),所以基本解為(1,…,1,1+s),(1,…,1,2,2+s,),…,(1,…,1,s,2s)這s組;如果s=0,那么(x,y)=(a,a)無法通過韋達變換互相得到,此時原方程有無窮多組基本解:(1,…,1,a,a)。
當xn-2=2,且x1=x2=…=xn-3=1 時,原方程變?yōu)椋簒2+y2+n+1=2xy+m,即(x-y)2=m-n-1,當m=n+1 時,x=y=a,此方程的基本解為(1,…,1,2,a,a),為無限多組,當m-n-1=s2>0 時,此方程的基本解為(1,…,1,2,a,a+s),a=1,2,…,s,共s組。
上述分析指出,只有在k=2,m=n-2 時或者k=1,m=n+1 時,方程存在一組無限的基本解,其余情況方程的基本解都是有限組,我們可以得到如下的結(jié)果:
注:當m>0 時,上述xn的不等式是嚴格的,即等號不成立。
實踐證明,當n不太大時,這種方法是有效的,而在m不是很大時,我們甚至還能證明某些方程無解。但對k=1 的情況較復雜。
對n=3,我們研究一些特殊的Markov-Hurwitz 方程的解的結(jié)構(gòu)。
【命題2】Markov-Hurwitz 方程x2+y2+z2=xyz+1 無正整數(shù)解。
【命題3】Markov-Hurwitz 方程x2+y2+z2=65(xyz+1)的基本解是(1,8,520)與(4,7,1820)。
本文圍繞Markov-Hurwitz 方程展開研究,在這個過程中提出了一些頗有意義的定理和推論,并給出了自己的證明。