徐啟光翻譯的《幾何原本》我們熟悉歐幾裏得主要還是從他的《幾何原本》開始的,其實,《幾何原本》的重要性並不在於書中提出的哪一條定理。書中提出的幾乎所有的定理在歐幾裏得之前就已經為人知曉了,裏麵的許多證明亦是如此。歐幾裏得的偉大之處在於他將這些材料做了整理,並在書中作了全麵的係統的闡述。這包括首次對公理和公設作了適當的選擇(這是非常困難的工作,需要超乎尋常的判斷力和洞察力)。然後,他仔細地將這些定理做了安排,使每一個定理與以前的定理在邏輯上前後連貫。在需要的地方,他對缺少的步驟和不足的證明也作了補充。值得一提的是,《幾何原本》雖然基本上是平麵和立體幾何的發展,但也包括了大量代數和數論的內容。
人民日報出版社2005年出版的《幾何原本》《幾何原本》作為教科書被使用了2000多年。在形成文字的教科書之中,無疑它是最成功的。歐幾裏得的傑出工作,使以前類似的東西黯然失色。該書問世之後,很快取代了以前的幾何教科書。《幾何原本》是用希臘文寫成的,後來被翻譯成多種文字。它首版於1482年,即古登堡發明活字印刷術30多年之後。自那以後,《幾何原本》已經出版了上千種不同版本。
即使在訓練人的邏輯推理思維方麵,《幾何原本》也比亞裏士多德的任何一本有關邏輯的著作影響都大得多。在完整的演繹推理結構方麵,這是一個十分傑出的典範。正因為如此,自本書問世以來,眾多思想家們為之而傾倒。
客觀的說,歐幾裏得的這本著作算的上是現代科學產生的一個主要因素。科學絕不僅僅是把經過細心觀察的東西和小心概括出來的東西收集在一起而已。科學上的偉大成就,就其原因而言,一方麵是將經驗同試驗進行結合;另一方麵,需要細心的分析和演繹推理。
另外,由歐幾裏得創建的歐幾裏得幾何學簡稱歐氏幾何,是以歐幾裏得平行公理為基礎的幾何學。他把當代希臘數學家積累的幾何知識和邏輯推理的思想方法加以係統化,初步奠定了幾何學的邏輯結構的基礎。19 世紀末期,德國數學家希爾伯特於 1899 年發表了著名的著作《幾何基礎》,書中提出了一個歐幾裏得幾何的完整的公理體係。從此人們把滿足希爾伯特公理係統中的結合公理、順序公理、合同公理、平行公理、連續公理等五組公理以及由其導出的一切推論組成的幾何學叫做歐幾裏得幾何學。特別指出的是,平行公理在歐幾裏得幾何中有著很重要的作用。凡與平行公理有關的命題,都是歐幾裏得幾何學的結論。如三角形三條高線共點;過不共線的三點恒有一圓;任何三角形三內角之和等於180°;存在相似形;勾股定理成立。中等學校數學中的三角函數理論、平麵解析幾何的基礎理論,都是建立在歐幾裏得幾何學的理論基礎上的。
1872 年,德國數學家克萊茵在愛爾朗根大學提出著名的“愛爾朗根計劃書”,明確了采用幾何變換對各種幾何進行分類。指出,如果一種幾何變換,它的全體組成一個“群”,就相應有一種幾何學。在每一種幾何中主要研究在相應的變換下的不變性和不變量。根據這種觀點,歐幾裏得幾何學就是研究圖形在合同變換下(或在運動變換下)不變的科學。
中國現行中等學校幾何教學內容,絕大部分是屬於歐幾裏得幾何學。例如平麵幾何、立體幾何、解析幾何,以及有關三角部分的知識,絕大部分是歐幾裏得幾何學中的重要知識。