歐氏幾何公理

歐氏幾何公理數(shù)學術語01歷史影響建立過程建立動機公理內(nèi)容歐氏生平目錄03050204基本信息歐氏幾何公理是歐幾里得建立的幾個幾何公理，也稱歐式幾何，它的建立，采用了分析與綜合的方法，不止是單獨一個命題的前提與結(jié)論之間的連結(jié)，而是所有幾何命題的連結(jié)成邏輯路。歷史影響歷史影響?古希臘大數(shù)學家歐幾里德是與他的巨著——《??幾何原本??》一起名垂千古的。這本書是世界上最著名、最完整而且流傳最廣的數(shù)學著作，也是歐幾里德最有價值的一部著作。在《原本》里，歐幾里德系統(tǒng)地總結(jié)了古代勞動人民和學者們在實踐和思考中獲得的幾何知識，歐幾里德把人們公認的一些事實列成定義和公理，以形式邏輯的方法，用這些定義和公理來研究各種??幾何??圖形的性質(zhì)，從而建立了一套從公理、定義出發(fā)，論證命題得到定理得??幾何學??論證方法，形成了一個嚴密的邏輯體系——幾何學。而這本書，也就成了歐式幾何的奠基之作。??兩千多年來，《幾何原本》一直是學習幾何的主要教材。??哥白尼??、??伽利略??、??笛卡爾??、??牛頓??等許多偉大的學者都曾學習過《??幾何原本??》，從中吸取了豐富的營養(yǎng)，從而作出了許多偉大的成就。?公理內(nèi)容五條幾何公理六個定義五條一般公理公理內(nèi)容五條幾何公理1.過相異兩點，能作且只能作一直線（直線公理）。2.線段(有限直線)可以任意地延長。3.以任一點為圓心、任意長為半徑，可作一圓(圓公理)。4.凡是直角都相等(角公理)。5.兩直線被第三條直線所截，如果同側(cè)兩內(nèi)角和小于兩個直角，則兩直線則會在該側(cè)相交。?上述前三條公理是??尺規(guī)作圖??公理，用來定直線與圓。在紙面上用尺規(guī)劃出的任何直線與圓，按定義而言，都不是「真正」數(shù)學上的直線與圓。然而，歐氏似乎是說：我們可以用尺規(guī)作出近似的圖形，以幫助我們想像真正的圖形，再配合正確的推理就夠了。??第四條公理比較不一樣，它好像是一個未證明的定理。事實上，它宣稱著：直角的不變性或空間的齊性(thehomogeneityofspace)。它規(guī)范了直角，為第五公理鋪路。?第五公理又叫做平行公理(theparallelaxiom)，因為它等價于：過直線外一點，可作且只可作一直線跟此直線平行。五條一般公理（a,b,c,d皆為正數(shù)）1.跟同一個量相等的兩個量相等；即若a=c且b=c，則a=b（等量代換公理）。2.等量加等量，其和相等；即若a=b且c=d，則a+c=b+d（等量加法公理）。3.等量減等量，其差相等；即若a=b且c=d，則a-c=b-d（等量減法公理）。4.完全疊合的兩個圖形是全等的（移形疊合公理）。5.全量大于分量，即a+b>a（全量大于分量公理）。六個定義事實上，歐氏《幾何原本》開宗明義是由23個定義出發(fā)，接?著??才是十條幾何公理與一般公理。在23個定義中，首六個特別值得提出來討論：?1.點是沒有部分的(Apointisthatwhichhasnopart.)。?換言之，點只占有位置而沒有大小，即點的長度d=0。這是修正畢氏學派“d>c”的失敗而得到的。然而，在談論線段的長度時，歐氏直接訴諸常識，根本不用這個定義，避開了“由沒有長度的點累積成有長度的線段”之困局。許多人抱怨“點是沒有部分的”這句話難?于?理解，這是因為對畢氏學派的研究綱領缺乏了解的緣故。?2.線段只有長度而沒有寬度(Alineisbreadlesslength.)。3.線的極端是點(Theextremitiesofalinearepoints.)這表示線段是由點組成的并且線段只有長度而沒有面積。4.直線是其組成點，均勻地直放?著?的線(Astraightlineisalinewhichliesevenlywiththepointsonitself.)5.面只有長度與寬度(Asufaceisthatwhichhaslengthandbreathonly.建立過程建立過程?總之，歐氏吸取畢氏學派失敗的經(jīng)驗，重新「分析」與「整理」既有的幾何知識，另辟路徑，改幾何本身來建立幾何（不用畢式經(jīng)驗式的原子論，即使優(yōu)多諸斯已補全了畢氏學派的漏洞）并且采用公理化的手法，逐本探源，最后終於找到五條幾何公理與五條一般公理是歐氏的創(chuàng)造與發(fā)現(xiàn)過程。接著是「綜合」，利用10條公理配合優(yōu)多諸斯檢定法則、反證法（歸謬法）與??尺規(guī)作圖??，推導出所有的??幾何定理??，這是邏輯的證明過程。??因此，歐氏幾何的建立，采用了??分析與綜合??的方法。這不止是單獨一個命題的前提與結(jié)論之間的連結(jié)，而是所有幾何命題的連結(jié)成邏輯路，即整個幾何領域的全面之分析與綜合。??歐氏視10條公理為「顯明」的真理，從而所有幾何定理也都是真理。換言之，由源頭輸入真值(truthvalues)，那么沿著邏輯路，真值就流布于整個歐氏演繹系統(tǒng)。歐氏以「??朝生暮死??」之軀，竟然能作出永恒之事！美國女詩人米雷（E.ay,1892～1950）說：?只有歐氏見過赤裸之美(Euclidalonehaslookedatbeautybare.)。歐氏生平歐氏生平?歐氏的生平不詳，只知他是??亞歷山大?(Alexandria)大學（世界上第一所大學）的數(shù)學教授，約紀元前300年編輯完成《??幾何原本??》。另外，歐氏流傳有兩個故事，其一是，有一位學生跟歐氏學習幾何，問道：「學習幾何可以得到什么利益？」歐氏立刻令仆人拿三個錢幣打發(fā)這位學生離開，因為他想從追求真理中得到利益，其二是，??托勒密??(Ptolemy)國王覺得幾何很難，于是問歐氏：「學習幾何有沒有皇家大道（即捷徑）？」歐氏回答說：「通往幾何并沒有皇家大道?！?Thereisnoroyalroadtogeometry.)?建立動機建立動機?古希臘人對于經(jīng)驗幾何知識的錘練，首由??泰利斯??發(fā)端，接著是畢氏學派提出「直觀性常識的幾何??原子論??」，假設點的長度大于0，從而任何兩線段皆可共度。由此嘗試給幾何建立基礎：后來，終因不可共度線段的發(fā)現(xiàn)而破產(chǎn)。這讓??古希臘哲學家??堅決地走向「知識必須再經(jīng)過邏輯論證」的道路。數(shù)學史家Szabo（詳見參考資料3）因而主張：不可共度線段的發(fā)現(xiàn)，是促使希臘幾何走上演繹形式的關鍵，其中歸謬法扮演著催生的作用，終于導致歐氏幾何的誕生。?此外，千百年來對歐氏建立幾何的動機，作了許多猜測：(I)對畢氏學派失敗的回應。?(II)為了堵住懷疑派(Sceptics)與詭辯派(Sophists)哲學家之口，因為他們利用「無窮回溯法」(theinfiniteregressmethod)而論證說：「為何知道甲？因為乙；為何知道乙？因為丙；……沒完沒了，所以我們無法知道甲。」結(jié)論是：「我們一無所知，或至少我們無法確定