●(深圳中學(xué) 廣東深圳 518001)●(廣州大學(xué)附屬中學(xué) 廣東廣州 510050)

一道IMO試題的證明及其推廣

●周峻民(深圳中學(xué) 廣東深圳 518001)●鄭慧娟(廣州大學(xué)附屬中學(xué) 廣東廣州 510050)

(第14屆IMO試題)

該試題是第14屆國(guó)際數(shù)學(xué)奧林匹克(IMO)競(jìng)賽的第3題,簡(jiǎn)記為IMO.14.3.它的背景是2個(gè)數(shù)論函數(shù)的應(yīng)用:方次數(shù)函數(shù)potpn和下取整函數(shù)?x」．

1 知識(shí)背景

方次數(shù)函數(shù)potpn：表示素?cái)?shù)p在正整數(shù)n的素因數(shù)分解中的次數(shù)(若素?cái)?shù)p不是n的素因數(shù),則次數(shù)記為0)．如20=22·5，則pot220=2，pot320=0，pot520=1．

下取整函數(shù)?x」：表示不超過(guò)實(shí)數(shù)x的最大整數(shù)(即x的整數(shù)部分)．如?1.2」=1，?3」=3．

這2個(gè)數(shù)論函數(shù)在數(shù)論中非常有用，由定義可得到下列簡(jiǎn)單的性質(zhì)：

性質(zhì)1potp(mn)=potpm+potpn.

性質(zhì)2b/a是整數(shù)的充要條件是：對(duì)任意素?cái)?shù)p，有potpb-potpa≥0．

性質(zhì)3?x」+?y」≤?x+y」≤?x」+?y」+1.

性質(zhì)4當(dāng)n是整數(shù)時(shí)，?n+x」=n+?x」．

將這2個(gè)數(shù)論函數(shù)聯(lián)系到一起，得到以下性質(zhì)：

2 試題的證明

證明由性質(zhì)1知

potp(2m)!(2n)!=potp(2m)!+potp(2n)!,

potpm!n!(m+n)!=potpm!+potpn!+potp(m+n)!.

[potp(2m)!+potp(2n)!]-[potpm!+potpn!+potp(m+n)!]≥0.

由性質(zhì)5，該問(wèn)題可轉(zhuǎn)化為證明：對(duì)任意素?cái)?shù)p，

到這一步，思路有點(diǎn)卡住了，因?yàn)檫@5個(gè)“無(wú)限求和”是大問(wèn)題．能否把這5個(gè)“無(wú)限求和”合并呢？合并之后，如果每一項(xiàng)的值非負(fù)，那么它們的和也是非負(fù)的.于是，希望得到：對(duì)任意素?cái)?shù)p和任意正整數(shù)i，必有

(1)

由于式(1)中素?cái)?shù)p是任意的，正整數(shù)i也是任意的，因此更一般地，如果可以做到：對(duì)任意實(shí)數(shù)x,y，必有

(2)

那么問(wèn)題就迎刃而解了．

式(2)中x,y是任意實(shí)數(shù)，范圍有點(diǎn)大，下面嘗試把x,y的范圍變?。O(shè)x=?x」+a，y=?y」+b，其中a,b∈[0,1)．由性質(zhì)4知

?2x」=2?x」+2?a」，?2y」=2?y」+?2b」，?x+y」=?x」+?y」+?a+b」，

代入可得

?2x」+?2y」-?x」-?y」-?x+y」=

(2?x」+?2a」)+(2?y」+?2b」)-?x」-?y」-(?x」+?y」+?a+b」) =?2a」+?2b」-?a+b」,

再次簡(jiǎn)化得：對(duì)任意實(shí)數(shù)a,b∈[0,1)，必有

綜上所述，對(duì)任意實(shí)數(shù)a,b∈[0,1)，式(3)恒成立，命題得證．

3 試題的推廣

由試題的證明過(guò)程可知，IMO.14.3的背景就是式(2)，而式(2)又可簡(jiǎn)化為式(3)，由此可編制出相同背景的試題．

上面3個(gè)推廣和IMO.14.3“形狀”相似，解法也相似，留給感興趣的讀者．

乍一看，推廣4與IMO.14.3“形狀”相似，但是仔細(xì)觀察可發(fā)現(xiàn)2n-2

對(duì)任意實(shí)數(shù)x，必有

?2x-2」≥?x」+?x-2」,?2x-2」≥?x-1」+?x-1」.

類似于IMO.14.3的證明方法，可得P，Q是整數(shù)．

推廣5～7與推廣4的證法類似.下面2個(gè)推廣與推廣4的證法不一樣，留給感興趣的讀者．

推廣9證明：m!n!整除(mn)!．

[1] 柯召，孫琦.數(shù)論講義[M].北京：高等教育出版社，2001.

[2] 潘承洞，潘承彪.初等數(shù)論[M].北京：北京大學(xué)出版社，2003.

[3] 柳柏濂，吳康.競(jìng)賽數(shù)學(xué)的原理和方法[M].廣州：廣東高等教育出版社，2003.