《几何原本》浅释.ppt

《幾何原本》淺釋 梁子傑 香港道教聯合會青松中學 下列人物，在他們的生平事跡中，有甚麼共通之處？ 下列人物，在他們的生平事跡中，有甚麼共通之處？ 原來他們在年青的時候，都曾經閱讀過一本數學經典鉅著：《幾何原本》。 《幾何原本》 歐幾里得（Euclid of Alexandria; 約公元前 330 ? 約公元前 275） 《幾何原本》的背景 《幾何原本》的內容 全書共分 13 卷，包括： 5 條公設、5 條公理 119 個定義 465 條命題 《幾何原本》的內容 第一卷　幾何基礎篇 重要命題舉例 命題 I.47　在直角三角形中，直角所對的邊上的正方形面積等於夾於直角兩邊上正方形面積之和。 證明 證明 證明 證明 證明 重要命題舉例 命題 II.12　在鈍角三角形中，鈍角所對的邊上的正方形比夾鈍角的二邊上的正方形的和大一個矩形的二倍。即由一銳角向對邊的延長線作垂線，垂足到鈍角之間一段與另一邊所構成的矩形。 重要命題舉例 命題 III.20　在一個圓內，同弧上的圓心角等於圓周角的二倍。 重要命題舉例 命題 IX.20　預先任意給定幾個質數，則有比它們更多的質數。 證明 假設質數祇有有限多個。 由此可設最大質數為 P。 定義 Q = 2 ? 3 ? 5 ? 7 ? … ? P + 1 明顯，將 Q 除以任何質數都餘 1， 所以 Q 亦應是質數。 因此，Q 是一個比 P 還要大的質數！ 這是不可能的 !!! 所以質數有無窮多個。（證完） 重要命題舉例 命題 IX.20　預先任意給定幾個質數，則有比它們更多的質數。 註：這命題指出質數有無窮多個！ 公理系統 雞先？蛋先？ 公理系統 雞先？蛋先？ 公理系統 公　設 1. 由任意一點到任意一點可以作直線。 公　設 2. 一條有限直線可以繼續延長。 公　設 3. 以任意的點為圓心及任意的線段為距離可以畫圓。 公　設 4. 凡直角皆相等。 公　設 5. 同平面內一條直線和另外兩條直線相交，若在直線某一側的兩個內角之和小於二直角，則這兩條直線經無限延長後在這一側相交。 公　理 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. 整體大於部分。 第一卷中主要命題的關係 對《幾何原本》的批評 書中有部分的定義不清晰，閱後反而令人更迷惘。 第一卷中的定義 1. 點是沒有部分的。 對《幾何原本》的批評 書中有部分的定義不清晰，閱後反而令人更迷惘。 未曾提及的假設 命題 I.1　在一個已知有限直線上作一個等邊三角形。 公理系統的完善 希爾伯特（David Hilbert; 1862 ? 1943） 公理系統的完善 6 個不加解釋的定義包括： 對《幾何原本》的批評 書中有部分的定義不清晰，閱後反而令人更迷惘。 在論證過程之中，歐幾里得使用了一些公理系統未有提及的假設。 公　設 5. 同平面內一條直線和另外兩條直線相交，若在直線某一側的兩個內角之和小於二直角，則這兩條直線經無限延長後在這一側相交。 第一卷中主要命題的關係 非歐幾何的產生 後世數學家認為第 5 公設是正確的，但它不應該是「公設」，而是一條可以被證明的「命題」。 非歐幾何的產生 到了十九世紀，波爾約和羅巴切夫斯基分別地證實，即使否定了第 5 公設，我們仍然可以得到一個沒有矛盾的幾何體系。 推薦閱讀 網上資源 網上閱讀《幾何原本》/~djoyce/java/ elements/elements.html MacTutor History of Mathematicshttp://www-history.mcs.st-and.ac.uk/ ~history/ 梁子傑網上文集.hk/ 完 《幾何原本》淺釋 梁子傑 香港道教聯合會青松中學 ？ 1899年發表著名的《幾何基礎》一書。 引入了 20 條公理和 6 個不加解釋的定義，建立起新的幾何公理系統。 「點」、「線」、「面」、「通過」、「在 … 之間」、「相等」 20 條公理分成 5 組： 關聯公理（I. 1?8）、順序公理（II. 1?4）、合同公理（III. 1?5）、平行公理（IV.）、連續公理（V. 1?2） 希爾伯特同時提出選擇公理系統的原則： 相容性、獨立性、完備性 對第 5 公設的懷疑。 a b a + b 180? ?1 ?2 ? 平 行 公設、公理 SAS SSS 外角定理 ASA AAS 三角不等式 平行線存在 平行線性質 ? 和平行四邊形面積關係 ? 內角和 畢氏定理 畢氏定理逆