【詞語】
歐幾里得幾何
【注音】:ōu jī lǐ dé jǐ hé
【釋義】
簡稱“歐氏幾何”。幾何學的一門分科。公元前3世紀,古希臘數學家歐幾里得把人們公認的一些幾何知識作為定義和公理,在此基礎上研究圖形的性質,推導出一系列定理,組成演繹體系,寫出《幾何原本》,形成了歐氏幾何。在其公理體系中,最重要的是平行公理,由於對這一公理的不同認識,導致非歐幾何的產生。按所討論的圖形在平面上或空間中,分別稱為“平面幾何”與“立體幾何”。
歐氏幾何的建立歐氏幾何是歐幾里德幾何學的簡稱,其創始人是公元前三世紀的古希臘偉大數學家歐幾里德。在他以前,古希臘人已經積累了大量的幾何知識,並開始用邏輯推理的方法去證明一些幾何命題的結論。歐幾里德這位偉大的幾何建築師在前人準備的“木石磚瓦”材料的基礎上,天才般地按照邏輯系統把幾何命題整理起來,建成了一座巍峨的幾何大廈,完成了數學史上的光輝著作《幾何原本》。這本書的問世,標誌著歐氏幾何學的建立。這部科學著作是發行最廣而且使用時間最長的書。後又被譯成多種文字,共有二千多種版本。它的問世是整個數學發展史上意義極其深遠的大事,也是整個人類文明史上的里程碑。兩千多年來,這部著作在幾何教學中一直占據著統治地位,至今其地位也沒有被動搖,包括我國在內的許多國家仍以它為基礎作為幾何教材。
一座不朽的豐碑
歐幾里德將早期許多沒有聯繫和未予嚴謹證明的定理加以整理,寫下《幾何原本》一書,使幾何學變成為一座建立在邏輯推理基礎上的不朽豐碑。這部劃時代的著作共分13卷,465個命題。其中有八卷講述幾何學,包含了現在中學所學的平面幾何和立體幾何的內容。但《幾何原本》的意義卻絕不限於其內容的重要,或者其對定理出色的證明。真正重要的是歐幾里德在書中創造的一種被稱為公理化的方法。
在證明幾何命題時,每一個命題總是從再前一個命題推導出來的,而前一個命題又是從再前一個命題推導出來的。我們不能這樣無限地推導下去,應有一些命題作為起點。這些作為論證起點,具有自明性並被公認下來的命題稱為公理,如同學們所學的“兩點確定一條直線”等即是。同樣對於概念來講也有些不加定義的原始概念,如點、線等。在一個數學理論系統中,我們儘可能少地先取原始概念和不加證明的若干公理,以此為出發點,利用純邏輯推理的方法,把該系統建立成一個演繹系統,這樣的方法就是公理化方法。歐幾里德採用的正是這種方法。他先擺出公理、公設、定義,然後有條不紊地由簡單到複雜地證明一系列命題。他以公理、公設、定義為要素,作為已知,先證明了第一個命題。然後又以此為基礎,來證明第二個命題,如此下去,證明了大量的命題。其論證之精彩,邏輯之周密,結構之嚴謹,令人嘆為觀止。零散的數學理論被他成功地編織為一個從基本假定到最複雜結論的系統。因而在數學發展史上,歐幾里德被認為是成功而系統地套用公理化方法的第一人,他的工作被公認為是最早用公理法建立起演繹的數學體系的典範。正是從這層意義上,歐幾里德的《幾何原本》對數學的發展起到了巨大而深遠的影響,在數學發展史上樹立了一座不朽的豐碑。
歐氏幾何的完善
公理化方法已經幾乎滲透於數學的每一個領域,對數學的發展產生了不可估量的影響,公理化結構已成為現代數學的主要特徵。而作為完成公理化結構的最早典範的《幾何原本》,用現代的標準來衡量,在邏輯的嚴謹性上還存在著不少缺點。如一個公理系統都有若干原始概念(或稱不定義概念),如點、線、面就屬於這一類。歐幾里德對這些都做了定義,但定義本身含混不清。另外,其公理系統也不完備,許多證明不得不藉助於直觀來完成。此外,個別公理不是獨立的,即可以由其他公理推出。這些缺陷直到1899年德國數學家希爾伯特的在其《幾何基礎》出版時得到了完善。在這部名著中,希爾伯特成功地建立了歐幾里德幾何的完整、嚴謹的公理體系,即所謂的希爾伯特公理體系。這一體系的建立使歐氏幾何成為一個邏輯結構非常完善而嚴謹的幾何體系。也標誌著歐氏幾何完善工作的終結。
歐式幾何的意義
由於歐式幾何具有鮮明的直觀性和有著嚴密的邏輯演繹方法相結合的特點,在長期的實踐中表明,它巳成為培養、提高青、少年邏輯思維能力的好教材。歷史上不知有多少科學家從學習幾何中得到益處,從而作出了偉大的貢獻。
少年時代的牛頓在劍橋大學附近的夜店裡買了一本《幾何原本》,開始他認為這本書的內容沒有超出常識範圍,因而並沒有認真地去讀它,而對笛卡兒的“坐標幾何”很感興趣而專心攻讀。後來,牛頓於1664年4月在參加特列台獎學金考試的時候遭到落選,當時的考官巴羅博士對他說:“因為你的幾何基礎知識太貧乏,無論怎樣用功也是不行的。”這席談話對牛頓的震動很大。於是,牛頓又重新把《幾何原本》從頭到尾地反覆進行了深入鑽研,為以後的科學工作打下了堅實的數學基礎。
近代物理學的科學巨星愛因斯坦也是精通幾何學,並且套用幾何學的思想方法,開創自己研究工作的一位科學家。愛因斯坦在回憶自己曾走過的道路時,特別提到在十二歲的時候“幾何學的這種明晰性和可靠性給我留下了一種難以形容的印象”。後來,幾何學的思想方法對他的研究工作確實有很大的啟示。他多次提出在物理學研究工作中也應當在邏輯上從少數幾個所謂公理的基本假定開始。在狹義相對論中,愛因斯坦就是運用這種思想方法,把整個理論建立在兩條公理上:相對原理和光速不變原理。
在幾何學發展的歷史中,歐幾里得的《幾何原本》起了重大的歷史作用。這種作用歸結到一點,就是提出了幾何學的“根據”和它的邏輯結構的問題。在他寫的《幾何原本》中,就是用邏輯的鏈子由此及彼的展開全部幾何學,這項工作,前人未曾作到。
但是,在人類認識的長河中,無論怎樣高明的前輩和名家,都不可能把問題全部解決。由於歷史條件的限制,歐幾里得在《幾何原本》中提出幾何學的“根據”問題並沒有得到徹底的解決,他的理論體系並不是完美無缺的。比如,對直線的定義實際上是用一個未知的定義來解釋另一個未知的定義,這樣的定義不可能在邏輯推理中起什麼作用。又如,歐幾里得在邏輯推理中使用了“連續”的概念,但是在《幾何原本》中從未提到過這個概念。