一 梵塔問題
在印度北部的佛教圣地貝那勒斯的神廟里安放著一塊黃銅板,上面插著三根寶石針,其中一根針從上到下放置了由小到大的64片金片,這就是所謂的梵塔,不論白天黑夜,都有一位僧侶把這些金片在三根針上移來移去,移動(dòng)的法則是:每次只能移一片,并且不論哪根針上,小片永遠(yuǎn)在大片上面。印度教主梵天在創(chuàng)造世界時(shí)曾經(jīng)預(yù)言,當(dāng)所有64片都從他所放置的那根針上移到另一根針上時(shí),“世界末日”就來到了。假定每移動(dòng)一片需要1秒鐘,那么“世界末日”將何時(shí)到來呢?
可以先對簡單的特殊情況進(jìn)行分析:如果只有一片金片,那么1次就可以完成,二片需要3次完成,那3片呢?我們可以這樣考慮;先把上面二片移到第二根上,需要3次,再把最大的第三片移到第三根針,需要1次,再把第二根針上的二片移到第三根針上,也是3次,所以共需7次,同理,四片時(shí)共需要7+1+7=15次,五片時(shí)需要15+1+15=31次,……通過觀察發(fā)現(xiàn),這些數(shù)字是有規(guī)律的:1=21-1,3=22-1,7=23-1,15=24-1,31=25-1,那么移動(dòng)n個(gè)全片是不是需要2n-1次呢?
當(dāng)然,這還僅僅是一種猜測,不是嚴(yán)格的證明。但是猜測、猜想并不是盲目的,毫無根據(jù)的瞎猜,在科學(xué)研究的各個(gè)領(lǐng)域里,許多定理、法則都是人們在對一些個(gè)別的、特殊的現(xiàn)象進(jìn)行觀察研究、分析的基礎(chǔ)上,尋求共性,發(fā)現(xiàn)規(guī)律,然后對一般情況作出合乎情理的推斷、預(yù)測,再加以嚴(yán)格論證的。猜測雖然并不一定正確,但它有利于培養(yǎng)人們的探索能力,有利于發(fā)展創(chuàng)造性思維,有利于構(gòu)思解決問題的方向;將建立在實(shí)踐基礎(chǔ)上的大膽猜測與理論上的嚴(yán)格論證有機(jī)地結(jié)合起來是科學(xué)研究的一種重要手段。
二 費(fèi)爾馬大定理
法國數(shù)學(xué)家費(fèi)爾馬常常把一些未加證明的猜測寫在封紙的邊上寄給友人,而這些猜測后來都一一被證明是正確的,唯一的例外就是著名的費(fèi)爾馬大定理:“方程Xn+Yn=Zn,n∈N,當(dāng)n≥3時(shí)沒有正整數(shù)解”尚未被完全證明,人們已經(jīng)對相當(dāng)大的自然數(shù)證明了它的正確性,但還是不能肯定對任何自然數(shù)n都成立,但也找不出一個(gè)反例來否定它。直到1993年6月普林斯頓大學(xué)數(shù)學(xué)教授安德魯J.懷爾斯發(fā)表的200頁論文《模橢圓曲線與費(fèi)爾馬大定理》才最終解決了這個(gè)問題。
三 哥德巴赫猜想
你知道什么是哥德巴赫猜想嗎?它說的是:“任何一個(gè)大于2的偶數(shù)都可以表示成兩個(gè)質(zhì)數(shù)的和”。利用計(jì)算機(jī)已經(jīng)對1億3千萬個(gè)偶數(shù)驗(yàn)證它的正確性,沒有發(fā)現(xiàn)反例。為了摘取這顆“數(shù)學(xué)皇冠上的明珠”,二百多年來,許多杰出的數(shù)學(xué)家,其中包括我國的華羅庚、王元等數(shù)學(xué)家為此付出了辛勤的勞動(dòng),他們從“1+9”、“1+8”、……到陳景潤完成“1+2”,一步步縮小包圍圈,做了大量的研究工作,促進(jìn)了數(shù)學(xué)的發(fā)展,其意義已經(jīng)遠(yuǎn)遠(yuǎn)超出了證明這個(gè)猜想本身。
四 費(fèi)馬質(zhì)數(shù)
當(dāng)然,猜測也可能出錯(cuò),例如費(fèi)爾馬猜想:形如F(n)=22+1(n為非負(fù)整數(shù))的數(shù),由于數(shù)F(0)=3,F(xiàn)(1)=5,F(xiàn)(2)=17,F(xiàn)(3)=257,F(xiàn)(4)=65537都是質(zhì)數(shù),于是費(fèi)爾馬就猜測所有這樣的數(shù)都是質(zhì)數(shù)。這一次他錯(cuò)了,歐拉后來發(fā)現(xiàn)F(5)=4294967297是641的倍數(shù),這樣的反例還可以找出許多。盡管這一猜測被否定了,然而高斯在研究用直尺和圓規(guī)作正n邊形時(shí)卻妙用了這個(gè)數(shù),證明了只有費(fèi)爾馬質(zhì)數(shù)邊形可用尺規(guī)完成。這也從另一個(gè)角度說明了猜測在促進(jìn)數(shù)學(xué)發(fā)展中的作用。
五 非歐幾何的創(chuàng)立
在初中平面幾何中大家都學(xué)過這樣一條公理:“過直線外一點(diǎn)作該直線的平行線,可以作一條,并且只可以作一條?!苯⒃谶@條公理基礎(chǔ)上的幾何學(xué),就是歐幾里得幾何學(xué)。但是,對于這千條數(shù)學(xué)史上稱為“第五公設(shè)”的公理歷來是有爭議的,從歐氏幾何創(chuàng)立以來,許多人始終不承認(rèn)這條公理,他們千方百計(jì)想證明它,有人甚至為此耗費(fèi)了畢生的精力,也多次有人宣稱完成了這項(xiàng)證明,但事后被發(fā)現(xiàn)都錯(cuò)了,因?yàn)樵谒麄兊淖C明中都無意地用到了這條公理本身而犯了邏輯循環(huán)錯(cuò)誤。這個(gè)問題困擾了數(shù)學(xué)界兩千多年,直到20世紀(jì)初,有人就大膽地設(shè)想,既然不愿意承認(rèn)它,而又無法證明它,為什么就不能否定它呢?以羅巴切夫斯基為代表的一種觀點(diǎn)認(rèn)為,過直線外一點(diǎn)作該直線的平行線可以作無數(shù)條,而以黎曼為代表的另一種觀點(diǎn)則認(rèn)為這樣的平行線根本不存在,在此基礎(chǔ)上他們創(chuàng)立了各自的幾何學(xué):羅巴切夫斯基幾何學(xué)和黎曼幾何學(xué),統(tǒng)稱非歐幾何。舉個(gè)例子說,在羅氏幾何中,三角形內(nèi)角之和小于180°,而在黎曼幾何中則大于180°。同學(xué)們也許很難接受這樣的觀點(diǎn),或許是受歐幾里得的觀念太深的緣故。愛因斯坦創(chuàng)立了狹義相對論,給出了那個(gè)著名的質(zhì)能公式E=mc2,但是你們是不是知道他在研究過程中正是舍棄了歐氏體系中的高斯變換而改用了黎曼幾何中的勞倫斯變換才獲得成立的。也許有理由大膽地猜測,將來在對微觀世界的研究中取得重大的進(jìn)展時(shí)用到的正是羅巴切夫斯基幾何學(xué)!
我們再回到“世界末日”問題上來,完成全部移動(dòng)確實(shí)是
需要264-1次,“世界末日”到來的時(shí)間就是
年,大約接近5849億年,而現(xiàn)代科學(xué)認(rèn)為整個(gè)太陽系的壽命無疑要短于200億年,當(dāng)然更是遠(yuǎn)遠(yuǎn)短于5849億年。所以,梵天所預(yù)言的那個(gè)“世界末日”絕不會來臨!哪怕太陽系要消失了,人類也不會毀滅,到那時(shí),人類的后代或許到廣闊宇宙中去開辟新的生存空間了。
〔責(zé)任編輯:范可〕