小學(xué)生數學(xué)故事:走路搖搖擺擺
兒童看見(jiàn)鵝,很容易著(zhù)迷。那鵝披著(zhù)一身潔白羽毛,走路搖搖擺擺,昂首高歌,悠然自得,實(shí)在可愛(ài)。這時(shí),兒童身邊的父母就會(huì )情不自禁,回想起自己小時(shí)候學(xué)會(huì )的一首詩(shī):
鵝、鵝、鵝,
曲項向天歌。
白毛浮綠水,
紅掌撥清波。
這是唐代才子駱賓王七歲時(shí)寫(xiě)的《詠鵝》詩(shī)。駱賓王后來(lái)由于聲討武則天的檄文而垂名史冊,享譽(yù)文壇,這首童年作品《詠鵝》卻在民間口頭流傳,世世代代的家長(cháng)們像教兒歌一樣把它傳授給自己的小孩。
現在有一道關(guān)于鵝的題目,需要動(dòng)一點(diǎn)點(diǎn)腦筋。
在正方形池塘周?chē),有一群鵝散步。它們共有12只,恰好在正方形的每條邊上都有3只。牧鵝少年對他的四位小朋友說(shuō),“我到樹(shù)蔭下面躺一會(huì )兒,你們幫我看住這些鵝,池塘的每一邊岸上都要保持3只。”
牧鵝少年很快進(jìn)入夢(mèng)鄉。鵝群抵擋不住水的誘惑,有4只溜進(jìn)池塘游泳去了。4位幫忙的朋友趕緊商量對策。能不能讓游泳的鵝繼續游泳,岸上的鵝又保持每邊3只呢?

結果想出一個(gè)妙計:如圖2,調動(dòng)岸上的8只鵝,讓它們在正方形的每個(gè)角上各站一只,每條邊的中間各站一只,就能保持每條邊上3只,同時(shí)又可任憑池中的4只鵝繼續“白毛浮綠水,紅掌撥清波”,兩全其美。
吳文俊
吳文俊(Wentsun WU),男,1919年5月12日生于上海,1940年畢業(yè)于交通大學(xué),1949年獲法國國家博士學(xué)位。世界著(zhù)名數學(xué)家, 中國科學(xué)院數學(xué)與系統科學(xué)研究院系統科學(xué)研究所研究員、名譽(yù)所長(cháng),中國數學(xué)會(huì )名譽(yù)理事長(cháng)。中國數學(xué)機械化研究的創(chuàng )始人之一,現任中國科學(xué)院系統科學(xué)研究所名譽(yù)所長(cháng)、研究員,中國科學(xué)院院士,第三世界科學(xué)院院士;曾任中國數學(xué)會(huì )理事長(cháng)(1985-1987),中國科學(xué)院數理學(xué)部主任(1992-1994),全國政協(xié)委員、常委(1979-1998)。

他在拓撲學(xué)、自動(dòng)推理、機器證明、代數幾何、中國數學(xué)史、對策論等研究領(lǐng)域均有杰出的貢獻,在國內外享有盛譽(yù)。他在拓撲學(xué)的示性類(lèi)、示嵌類(lèi)的研究方面取得一系列重要成果,是拓撲學(xué)中的奠基性工作并有許多重要應用。他的“吳方法”在國際機器證明領(lǐng)域產(chǎn)生巨大的影響,有廣泛重要的應用價(jià)值。當前國際流行的主要符號計算軟件都實(shí)現了吳文俊教授的算法。
曾獲得首屆國家自然科學(xué)一等獎(1956)、中國科學(xué)院自然科學(xué)一等獎(1979)、第三世界科學(xué)院數學(xué)獎(1990)、陳嘉庚數理科學(xué)獎(1993)、首屆香港求是科技基金會(huì )杰出科學(xué)家獎(1994)、Herbrand自動(dòng)推理杰出成就獎(1997)、首屆國家最高科學(xué)技術(shù)獎(2000)、第三屆邵逸夫數學(xué)獎(2006)。
吳文俊在數學(xué)上作出了許多重大的貢獻。

◆ 拓撲學(xué)方面,在示性類(lèi)、示嵌類(lèi)等領(lǐng)域獲得一系列成果,還得到了許多著(zhù)名的公式,指出了這些理論和方法的廣泛應用。他還在拓撲不變量、代數流形等問(wèn)題上有創(chuàng )造性工作。1956年吳文俊因在拓撲學(xué)中的示性類(lèi)和示嵌類(lèi)方面的卓越成就獲中國自然科學(xué)獎一等獲。
◆ 數學(xué)機械化或機器證明方面,從初等幾何著(zhù)手,在計算機上證明了一類(lèi)高難度的定理,同時(shí)也發(fā)現了一些新定理,進(jìn)一步探討了微分幾何的定理證明。提出了利用機器證明與發(fā)現幾何定理的新方法。這項工作為數學(xué)研究開(kāi)辟了一個(gè)新的領(lǐng)域,將對數學(xué)的革命產(chǎn)生深遠的影響。1978年獲全國科學(xué)大會(huì )重大科技成果獎。
◆ 中國數學(xué)史方面,吳文俊認為中國古代數學(xué)的特點(diǎn)是:從實(shí)際問(wèn)題出發(fā),經(jīng)過(guò)分析提高,再抽象出一般的原理、原則和方法,最終達到解決一大類(lèi)問(wèn)題的目的。他對中國古代數學(xué)在數論、代數、幾何等方面的成就也提出了精辟的見(jiàn)解。