鄧 波
(貴州省織金縣第六中學(xué) 552100)
無意中,看到了手機百度推送的一道1948年莫斯科數(shù)學(xué)奧林匹克競賽題:在自然數(shù)范圍內(nèi)解方程xy=yx(x≠y).我們一般會想到通過比較xy與yx的大小來完成這道題的解答.注意:在以前,自然數(shù)是不包括0的.
很明顯,x、y均不等于1,否則x=y.也就是x、y均為大于或等于2的正整數(shù).我們可以用數(shù)學(xué)歸納法證明:
當(dāng)a≥5時,2a>a2;
當(dāng)b>a≥3時,ab>ba.
對于前者,當(dāng)a=5時,25=32>25=52.
設(shè)a=k時不等式成立,即2k>k2,
則當(dāng)a=k+1時,2k+1=2k×2>k2×2=k2+k2>k2+2k+1(只要k≥3)=(k+1)2.
因此,前一個不等式成立.
對于后者,我們先證:當(dāng)a≥3時,aa+1>(a+1)a.
再證后一個不等式.后一個不等式可變?yōu)椋?/p>
aa+k>(a+k)a,k≥1為正整數(shù).
當(dāng)k=1時,上面已證,此時不等式成立.
設(shè)k=r時成立,即aa+r>(a+r)a,
則當(dāng)k=r+1時,aa+r+1=aa+r·a>(a+r)a·a=
由數(shù)學(xué)歸納原理知,后一個不等式成立.
對于后一個不等式,我們利用導(dǎo)數(shù)證明更容易.這里就不作討論.
由上面后一個不等式得知,方程xy=yx滿足x 在百度視頻中給出的解答如下: (1)x,y均大于或等于2; (2)存在自然數(shù)a,使xy=yx=ab,b為最大的自然數(shù).(這里很明顯a>1) 得出x=am,y=an(m,n都是正整數(shù)). 不妨設(shè)y>x,那么n>m,代入原方程得 amy=anx,my=nx, y=kx. xk-1=k(x≥2,k≥2)(注意,這時n=mk,y=an=amk=(am)k=xk,所以kx=xk). 這個方程只有一個解:x=2,k=2. 從而y=kx=2×2=4. x=2,y=4是這個方程的解,由方程的對稱性知y=2,x=4也是這個方程的解. 于是,這個方程只有兩個解(x,y)=(2,4)和(4,2). 但是,只要我們稍加留意,就會問怎么從xy=yx=ab,b為最大的自然數(shù),得出x=am,y=an.下面就來探討這個問題. 其實,要證實解題中用到的結(jié)論,也就是要證明下面的: 命題1m,n都是大于或等于1的自然數(shù),如果把mn寫成指數(shù)最大(也就是底數(shù)最小)的冪為ab,那么m=al,l為非0自然數(shù). 并不那么簡單. 證明當(dāng)m=1時,必有a=1,這時命題成立.下設(shè)m>1,自然有a>1. 下面我們證明m=al. 能不能在證明中避開整數(shù)的分解唯一性定理呢?經(jīng)過我們思考,發(fā)現(xiàn)這是可以做到的. 我們先證 命題2 對正整數(shù)a,b,m,n,(m,n)=1,如果滿足am=bn,那么存在自然數(shù)c,使得am=bn=cmn. 證明當(dāng)a=1時,自然有b=1,這時c=1命題成立. 下設(shè)a>1,自然有b>1.因為(m,n)=1,由輾轉(zhuǎn)相除法(即Euclid算法)(可參見[1]、[2]、[3])可知:存在整數(shù)s,t,使ms+nt=1,于是,a=a1=ams+nt=ams·ant=(bn)s·ant=(bsat)n.因為a,n為正整數(shù),s,t是整數(shù),bsat是正整數(shù)或者正分數(shù),由上式用反證法可證bsat一定是正整數(shù). 設(shè)bsat=c,則有am=(cn)m=cnm,于是am=bn=cmn. 下面由命題2證明解題中用到的、由前面的命題1可推導(dǎo)出來的下面命題: 對正整數(shù)a,b,m,n,如果am=bn,那么存在正整數(shù)c使得a=cl,b=cd,這里l,d均為正整數(shù). 注意,這里的c沒有解題中或命題Ⅰ中的限制.