天津市南開區(qū)實(shí)驗(yàn)學(xué)校 劉瑞祥
若以理解大自然為志趣,并能世代相承、精益求精,則大自然的基本結(jié)構(gòu)的至精至簡(jiǎn)、至善至美是可望可及的.
——項(xiàng)武義
我讀《幾何原本》的一個(gè)大的感受就是,科學(xué)是一項(xiàng)前仆后繼的事業(yè).這一感受是如此之深,甚至超過了我對(duì)其邏輯體系的感受.
事實(shí)上,只要稍微涉獵一點(diǎn)有關(guān)《幾何原本》的科技史讀物,比如讀一讀該書現(xiàn)代版本的前言、后記,我們就能體會(huì)到這一點(diǎn).比如,據(jù)說早在歐幾里得之前,泰勒斯就證明了“直徑二等分圓”這一命題,并且泰勒斯還是幾何證明的先驅(qū),再有就是畢達(dá)哥拉斯學(xué)派對(duì)勾股定理(畢達(dá)哥拉斯定理)和“不可公度量”的發(fā)現(xiàn),歐多克斯則研究了比例論并對(duì)“比例”重新定義.比例論就是因?yàn)椤叭f物皆數(shù)(自然數(shù))”的破產(chǎn)而產(chǎn)生的,正是因?yàn)椤安豢晒攘俊钡陌l(fā)現(xiàn),才使得希臘人原以為嚴(yán)謹(jǐn)?shù)淖C明變得有漏洞了,因此產(chǎn)生了在新的比例定義和比例論基礎(chǔ)上的證明.而正多面體顯然和柏拉圖有關(guān).如此等等.
不僅如此,《幾何原本》還對(duì)后世學(xué)者產(chǎn)生了深遠(yuǎn)影響.一個(gè)眾所周知的例子是因研究平行公設(shè)而誕生的“非歐幾何”.但這并不是因研究幾何基礎(chǔ)而產(chǎn)生的唯一成果.比如學(xué)者帕施等人,已經(jīng)試圖完善幾何學(xué)的基礎(chǔ)了.今天的數(shù)學(xué)家可以任意定義邏輯上無矛盾的體系,從而產(chǎn)生了各種各樣的數(shù)學(xué)分支.希爾伯特第三問題則是針對(duì)極限法解決體積問題的,而在西方這種方法始于《幾何原本》,高斯曾經(jīng)思考過這一問題,最終是希爾伯特的學(xué)生德拜給出了結(jié)論.
圖1
再以尺規(guī)作圖為例,《幾何原本》第四卷的命題十六“作正十五邊形”顯然已經(jīng)涉及二元一次不定方程,即求滿足方程5x+3y=1的整數(shù).而尺規(guī)作圖的判定性原則雖然已經(jīng)由高斯等人解決,但還有其他方面的發(fā)展,比如進(jìn)一步限定作圖工具——單規(guī)乃至銹規(guī)、單尺乃至短尺等等.在正多面體方面,因?yàn)闅W幾里得原來的作法比較復(fù)雜,后世不斷進(jìn)行改進(jìn),中國(guó)清代學(xué)者梅文鼎用正方體簡(jiǎn)潔利索地作出正十二面體和正二十面體,如圖1,可以稱得上杰作.
除了以上所說以外,阿波羅尼奧斯研究圓錐曲線、阿基米德研究圓周率,以及后世學(xué)者對(duì)“黃金分割”、勾股定理的研究,都和《幾何原本》有著密切的關(guān)系.而機(jī)器證明則可以說是從《幾何原本》停下的地方出發(fā)的.《幾何原本》還深深影響了牛頓、愛因斯坦,他們構(gòu)建理論體系的方式,是和《幾何原本》類似的.
(注:《幾何原本》是世界上最著名、最完整且流傳最廣的數(shù)學(xué)著作,也是歐幾里得最有價(jià)值的傳世著作.歐幾里得在《幾何原本》中,系統(tǒng)地總結(jié)了泰勒斯、畢達(dá)哥拉斯及智者派等前代學(xué)者在實(shí)踐和思考中獲得的幾何知識(shí).歐幾里得建立了定義和公理并研究各種幾何圖形的性質(zhì),從而確立了一套從公理、定義出發(fā),論證命題得到定理的幾何學(xué)論證方法,形成了一個(gè)嚴(yán)密的邏輯體系——幾何學(xué).而《幾何原本》也就成了歐氏幾何的奠基之作,它的出現(xiàn),對(duì)人們的思維方式產(chǎn)生了深刻影響.)
《幾何原本》,譯林出版社出版.