《几何原本》的几何五大公设

《幾何原本》的五大公設過任意兩點可連成一直線任意直線可向它的兩方延長以任意點為圓心，任意長度為半徑，可劃一圓凡直角皆相等若一直線與兩直線相交，且同旁的兩角之和小於兩直角，則兩直線向該旁延長必定相交第五公設aba+b<180o第五公設的另類陳述方式通過一直線L以外的一點P，只能畫出一條與L平行的直線LP三角形的內角之和是180o若一四邊形有一對對邊相等，且它們與第三邊構成的角為直角，則其餘的兩隻角也是直角ABCD對第五公設的質疑不像前面四條公設一樣簡單，而是辭句冗長，意義含混其他公設都具有“有限”的特徵，只涉及直線的有限部分或有限範圍內的平面圖形從300BC到1800AD，就有人企圖用一個更簡單的命題去推論它，但沒能成功推證第五公設的兩種思路一種是用比較自明的敘述來取代平行公設另一種是嘗試由歐幾里得的其餘公設推出平行公設推證失敗的原因所有證明都使用了和公設五等價的命題，即邏輯學上所謂的“循環論證”例：Legendre(1752~1833)所用的命題：「過銳角的一條邊上任一點M作該邊的 垂線，必與另一邊相交。」M採用歸謬法的進路歐氏第5公設：『通過直線AB以外的一點P，只能作出一條與AB平行的直線。』跟它矛盾的命題有兩種形式：(1)過P點沒有直線與AB平行(2)過P點有不只一條直線與AB平行薩謝利(Saccherri,1667~1733)

的四邊形定理「若ACAB，BDAB，AC=BD，則 ACD=BDC，且都是銳角。」ABCD錯失良機薩謝利認為結論太不合“常理”了，主觀地否定了自己推導出的結果德國數學家蘭伯特(Lambert,1728~1777)亦作出跟薩謝利類似的結果。他說：『人們不能限制邏輯上可能發展的各種不同的幾何之存在。』斯維卡特(Schweikart,1780~1859)

的宣言他說：『應該承認有兩種幾何，一種是歐氏幾何，另一種是建立在三角形內角之和小於180o假設下的幾何。』第二種幾何可稱為“星際幾何”平行公設與歐氏其他公設無關創立非歐幾何的英雄德國的數學王子高斯(Gauss,1777~1855)匈牙利的鮑耶(J.Bolyai,1802~1860)俄國的羅巴契夫斯基(Lobatchevsky,1793~1856)德國的黎曼(Riemann,1826~1866)高斯(Gauss,1777~1855)羅巴契夫斯基(Lobatchevsky,1793~1856)鮑耶(J.Bolyai,1802~1860)高斯的貢獻在1792年已知道：「若一四邊形的其中三隻角是直角，而另一隻角不是直角時，其面積與|360o-S|成正比例，其中S是四邊形的內角和。從1817年給友人的信上說：『物理需要歐氏幾何是不可證明的。』但高斯並沒有發表其成果，因為怕有人嘲弄。他對非歐幾何的貢獻是1816年及1822年。鮑耶的貢獻

鮑耶是數學家F.Bolyai的兒子，13歲已掌握了微積分，15歲時其數學造詣已跟父親不相上下1823年底(23歲)，鮑耶對父親說：『在非歐幾何方面，我已經有美妙的發現，致使我驚訝不已。』1826年(24歲)，他把《絕對空間的科學》這篇非歐幾何的開創性論文寄給他的老師，但遭丟失了1832年(30歲)，他的論文發表在父親的著作《給勤學的年青人論數學原理》之附錄裡羅巴契夫斯基的貢獻1792年生於下諾夫哥羅德(高爾基城）1808年(16歲)入喀山大學學習1811年(19歲)獲博士學位並留校工作1822年(30歲)任教授，其後任物理數學系主任、圖書館館長及喀山大學校長等職從1816年開始試作平行公設的證明，推導到一系列前後一貫的命題，但與歐氏幾何不同的新幾何體系他稱之為「虛幾何學」，後人則稱之為「羅氏幾何」或「雙曲幾何」1826年在喀山大學發表自己的新學說，但沒有得到承認以後陸續用俄文、法文、德文發表自己的工作。直到去世後，高斯對他的學說予以肯定，他的思想才被普遍接受他在無窮級數論、積分學和概率論等方面，也有出色的工作著有《幾何學基礎》(1829)及《平行線理論的幾何研究》(1840)羅氏幾何的兩大特徵通過直線AB以外的一點P，有不只一條直線與AB平行三角形的內角和小於兩直角黎曼的貢獻黎曼在1854年的論文《論幾何學的基本假設》，提出了另類的非歐幾何學，稱為「黎曼幾何」(即「橢圓幾何」)在黎曼幾何的體系中，有以下特徵：(a)直線不是無限而是有限且封閉的(b)不存在平行線(c)三角形內角和大於兩直角黎曼(Riemann,1826~1866)三種幾何體系的模型歐氏幾何羅氏幾何黎曼幾何非歐幾何的世界1915年愛因斯坦(A.Einstein,1879~1955)利用非歐幾何創立廣義相對論(GeneralRelativity)人類生存的空間只是小範圍可被視為歐氏空間，大範圍以致整個宇宙則必須用非歐幾何來描述幾何學分類幾何基礎、解析幾何、非歐幾何、射影幾何、畫法幾何微分幾何(包括：張量分析、微分流形、黎曼流形、大範圍微分幾何、複流形)拓樸學(包括：點集拓樸、代數拓樸、解析拓樸、微分拓樸、微分流形、纖維叢)代數幾何(包括：代數曲線、代數曲面、代數簇)拓樸學(Topology)俗稱「橡皮幾何學」源於歐拉的哥尼斯堡的七橋問題主要分為點集拓樸(PointSetTopology)及組合拓樸(CombinatorialTopology)兩類一般多研究高維的空間和流形偉大的數學家歐拉(Euler)哥尼斯堡的七道橋哥尼斯堡的七橋問題是否可以走過全部七道橋，而每一道橋只准經過一次？平面布線問題一個線路能否布於平面上而使它不自交叉？多面體的歐拉公式對一簡單多面體而言，它的頂點數(V)、面數(F)及稜數(E)滿足：V+F-E=2(歐拉-龐加萊定理)

對閉曲面而言，它的歐拉-龐加萊示性數滿足：=V+F-E=2-2g，其中g代表該閉曲面的虧數(genus)四色問題(FourColorProblem)在平面或球面上繪製世界或全國地圖，使得相鄰的國家或地區塗上不同的顏色，問最少要使用多少種顏色？1976年WolfgangHaken及KennethAppel借助電腦證明了用四種顏色便可以了若是環面的話，則最少要用7種顏色密比烏斯帶(MobiusStrip)它是一個單側的曲面，且只有一個邊緣分形幾何(FractalGeometry)分形是美籍法國數學家曼德布洛(Mandelbrot)在70年代中期所創造的一個新名詞，用來形容自然界的複雜形狀及無規則現象自八十年代以來，有關分形的研究已滲透到很多不同的領域之中，包括物理學、化學、數學、天文學、生物學及地球科學等分形在自然界中普遍存在，例如天上的雲、地上的河流、人的肺與支氣管、植物的葉脈、地球的山脈、土星的環等等都是分形，數不勝數!分形的特徵它具有自我相似性(self-similarity)它的維數(dimension)不是整數而是分數海岸線的長度假設我們使用標度去量度一個海岸線的長度。直觀上，海岸線之長度L()=×N()，其中N()表示從海岸線的一端到另一端總共測量的次數當0時，L()並不趨向一個固定值，而是隨著的減少而增長，這意味著海岸線的長度是不能精確測量出來的！科赫曲線(KochCurve)科赫曲線是瑞典數學家科赫(HelgevonKoch)於1904年提出的。按照Mandelbrot的說法，科赫曲線是海岸線粗略但極好的模型怎樣構造科赫曲線呢？(Step1)畫一長度為一單位之線段(Step2)把該線段分成三等分，去掉中間的一分，並以一邊長為1/3之等邊三角形的兩邊取代之(Step3)重複以上步驟，把每條線段再分成三等分，去掉中間的一分，並以一邊長為1/9之等邊三角形的兩邊取代之。如此類推，直至獲得一條無限長的曲線為止。科赫曲線康托集(CantorSet)康托集是德國數學家康托(Cantor)於1883年提出的它的構造方法如下： (Step1)畫一長度為一單位之線段

(