1.1 Euclid 原本與公設#

本章導言#

幾何學的故事，始於一本流傳兩千三百年、印刷量僅次於《聖經》的書：Euclid（歐幾里得，約公元前325–265年） 的《幾何原本》（Stoicheia，Elements，約公元前300年）。這本書的偉大之處不在於發現了多少新定理——許多內容早見於 Thales、Pythagoras、Eudoxus——而在於它示範了一種全新的知識組織方式：從少數不言自明的公設出發，以邏輯演繹建造整座數學大廈。本節將細讀這座大廈的地基：定義、公設與公理，並理解為什麼其中一條公設（第五公設）日後會撼動整個幾何學。

亞歷山大城的學術環境#

Euclid 在埃及亞歷山大城執教，該城由 Alexander the Great 的繼業者 Ptolemy I 於公元前300年左右建立，附設的 Museion（繆司神殿／圖書館）是古代世界最大的學術中心。相傳 Ptolemy 問 Euclid：學幾何有沒有捷徑？Euclid 回答：

「幾何學中沒有為王者鋪設的道路。」（There is no royal road to geometry.）

這句話揭示了《原本》的精神：幾何不是技巧的堆積，而是循序漸進的邏輯體系。另一則傳說：一名學生問學幾何能得到什麼好處，Euclid 便讓僕人給他三個錢幣——「因為他想從學習中撈取實利」。這些軼事未必真實，卻塑造了數學作為「為真理本身而求」的文化形象。

《原本》的十三卷結構#

《原本》共十三卷，含465個命題，結構如下：

值得注意：古希臘的「代數」是以幾何語言寫的—— \((a+b)^2 = a^2 + 2ab + b^2\) 在第2卷中表現為正方形的分割圖。這種「幾何代數」傳統要到 Descartes（1637）才被座標方法翻轉（見本書 5.1 節）。

定義、公設與公理的三層架構#

《原本》第一卷開頭列出23個定義、5條公設（postulates）、5條公理（common notions）。這個架構是本書的焦點：

定義（Definitions）——例如：

1. 點是沒有部分的部分。
2. 線是無寬度的長。
3. 直線是與其上各點整齊平置的線。

五條公設（Postulates）：

1. 過任意兩點可作一條直線。
2. 有限直線可無限延長。
3. 以任意點為圓心、任意距離為半徑可作一圓。
4. 所有直角彼此相等。
5. 同一平面內，一條直線與兩直線相交，若同側內角和小於兩直角，則兩直線在該側延長後必相交。

五條公理（Common Notions）：

1. 等於同一量的量彼此相等。
2. 等量加等量，總量相等。
3. 等量減等量，餘量相等。
4. 彼此重合的量彼此相等。
5. 整體大於部分。

公設（postulate）針對幾何作圖的可行性，公理（common notion）是適用一切量的一般邏輯真理——Aristotle 在《後分析篇》中區分了這兩類「第一原理」，Euclid 遵循了這個哲學框架。

直尺與圓規：公設的作圖內涵#

公設1–3其實是作圖許可證：它們宣告「不帶刻度的直尺」與「不會固定開口的圓規」這兩件工具足以支撐全部幾何。這個限制看似苛刻，卻有深刻理由：

• 可作圖的量才是「存在的」——希臘人以可構造性代替實存宣告，避免無窮過程；
• 公設3的「任意距離為半徑」暗示圓規可以搬移距離（現代圓規），但第2卷命題 I.2 證明：即使只用「塌折圓規」（從紙上拿起就散開），也能搬移線段——Euclid 刻意用最弱的工具。

正是這個尺規框架，孕育了日後折磨數學家兩千年的三大作圖難題（見 1.3 節）。

為什麼第五公設如此扎眼#

細讀五條公設，前四條簡潔、自然、自明；第五條卻冗長、複雜，甚至像是某個定理的敘述。Euclid 本人似乎也不舒服：他在《原本》中推遲使用第五公設——第一卷的前28個命題完全不靠它，直到命題 I.29（平行線的內錯角性質）才首次引用。這種「能不用就不用」的策略，被後世解讀為 Euclid 自己也把它視為瑕疵。

兩千年間無數數學家嘗試把第五公設「降級」為定理——用前四條公設證明它。Ptolemy、Proclus（五世紀註釋家）、ibn al-Haytham、Omar Khayyám、Saccheri 全部失敗，而這條失敗之路最終通向非歐幾何（見 1.2 節與第6章）。

命題 I.1 的示範：邏輯演繹的第一次表演#

《原本》第一個命題：在給定線段上作正三角形。

證明概要：給定線段 \(AB\) 。以 \(A\) 為心、 \(AB\) 為半徑作圓（公設3），以 \(B\) 為心、 \(BA\) 為半徑作圓（公設3）。兩圓交於點 \(C\) （此處 Euclid 默認了交點存在——兩圓若相交必有交點，這其實是一條未言明的連續性公理！）。連 \(CA\) 、 \(CB\) （公設1）。由定義15， \(CA = AB\) 、 \(CB = AB\) ，故 \(CA = CB\) （公理1），三邊相等， \(\triangle ABC\) 為正三角形。

注意這個證明的兩個深意：

1. 隱藏假設無所不在：「兩圓相交」依賴線的連續性，這要到十九世紀（Dedekind、Cantor 建立實數連續統）才能嚴格說明。Euclid 的公理系統並不完備——這是 Hilbert 1899 年《幾何基礎》的出發點（見 10.3 節）。
2. 證明即構造：命題不是「存在一個正三角形」，而是「給我線段，我畫給你看」。古希臘數學是建設性的。

Pythagoras 定理：命題 I.47#

第一卷的壓軸是命題 I.47——Pythagoras 定理的「風車圖」證明：在直角三角形 \(ABC\) （ \(\angle C = 90°\) ）三邊上向外作正方形，過直角頂點作斜邊的垂線，將斜邊上的正方形分成兩個矩形，可證每個矩形面積分別等於兩股上的正方形，故

證明工具僅用三角形全等（SAS 公理化的 I.4）與等積變換，全程不用第五公設（該命題其實對絕對幾何成立）。此定理的三百多種證明，見本書 9.1 節。

《原本》的流傳與批評#

《原本》的流傳史本身就是一部文明史：

• 公元前4世紀成書於亞歷山大；
• 4世紀 Theon of Alexandria 修訂版成為後世主要底本（千餘年間無人敢改）；
• 8–10世紀譯為阿拉伯文，islamic 學者添注；
• 1120年左右 Adelard of Bath 從阿拉伯文譯回拉丁文；
• 1482年在威尼斯首次印刷；
• 1570年 Henry Billingsley 首度英譯；
• 1607年 Matteo Ricci（利瑪竇）與徐光啟合譯前六卷為中文《幾何原本》——「幾何」一詞由此定名。徐光啟讚嘆：「此書為益，能令學理者祛其浮氣，練其精心。」

Bertrand Russell（1872–1970） 回憶11歲初讀《原本》的感受：「這是我一生中的重大事件之一，就像初戀般令人目眩。」但 Russell 也嚴厲批評：Euclid 的許多證明有邏輯漏洞（依賴圖形直觀），公理系統不完整。Hilbert 的《幾何基礎》（1899）以20條公理（關聯、次序、合同、平行、連續五組）重建了歐氏幾何，補上了次序公理與連續公理的缺口。

一個具體例題#

例題 1.1.1：仿照命題 I.1 的方法，在給定線段 \(AB\) 上作正方形，並證明其對角線互相垂直。

解：設線段 \(AB\) 給定。第4卷命題 IV.6 給出作法，我們逐步重建：

1. 過 \(A\) 作 \(AB\) 的垂線，在其上截取 \(AD = AB\) （以 \(A\) 為圓心、 \(AB\) 為半徑作圓交垂線於 \(D\) ）。
2. 過 \(D\) 作 \(AD\) 的垂線，過 \(B\) 作 \(AB\) 的垂線，兩垂線交於 \(C\) 。

四邊形 \(ABCD\) 中， \(AB \parallel DC\) 、 \(AD \parallel BC\) （同旁內角皆為直角，故兩直線不相交，即平行——此處用了第五公設的等價命題！），且四個角都是直角、四邊相等，故 \(ABCD\) 是正方形。

對角線 \(AC\) 與 \(BD\) 交於 \(O\) 。因 \(AB = AD\) 、 \(\angle BAC = \angle DAC = 45°\) （等腰直角三角形）， \(AO\) 公共，故 \(\triangle ABO \cong \triangle ADO\) （SAS），得 \(\angle AOB = \angle AOD\) 。兩角互補（構成直線），故各為 \(90°\) ，對角線互相垂直。

評注：這個看似初等的題目已暴露關鍵點——「正方形」的存在本身依賴第五公設。在雙曲幾何中沒有正方形（四角皆直角的四邊形不存在），在球面上四個直角的「四邊形」內角和超過 \(360°\) 。公設的選擇決定什麼圖形存在——這正是第6章非歐幾何的主題預告。

歷史啟示#

• 公理化方法是人類理性的偉大發明：把知識的重量放在少數基點上，其餘全部交給邏輯。這個範式後來被 Newton（《自然哲學的數學原理》的公理式結構）、Spinoza（《倫理學》以幾何方式寫成）、Hilbert（現代數學基礎）繼承。
• 公理不是「顯然為真」而是「選定為基」：Euclid 之後兩千年，人類才明白公理的真正身份是約定——換一組公理，就換一個世界。
• 隱藏假設是體系的裂縫，也是進步的入口：I.1 的「兩圓相交」、平行線的存在性，這些未言明的依賴，正是十九、二十世紀數學基礎研究的起點。

與其他章節及領域的關聯#

• 1.2 節：第五公設的兩千年攻防，直通非歐幾何的誕生。
• 1.3 節：尺規作圖的限制，公設1–3的工具內涵的極致展現。
• 第2章：圓與三角形的定理（圓周角、五心）大多源出《原本》第3–4卷，是公理體系結出的果實。
• 第4章：射影幾何把「平行」概念徹底重組——無窮遠點讓平行線交於一點，第五公設在射影幾何中消解。
• 第6章：否定第五公設的兩種方案（雙曲、橢圓）——Euclid 地基上長出的新世界。
• Hilbert《幾何基礎》（1899）：補齊 Euclid 的漏洞，開創現代公理化（形式公理學），影響涵蓋整個二十世紀數學。
• 哲學與科學方法論：演繹法作為知識典範，影響 Spinoza 哲學、Newton 力學與現代理論物理。

練習#

1. 寫出《原本》五條公設與五條公理，並說明 postulate 與 common notion 的區別為何重要。
2. 用命題 I.1 的方法，證明等腰三角形兩底角相等（《原本》I.5，中世紀歐洲學生戲稱之為「驢橋」pons asinorum）。
3. 指出命題 I.1 的證明中至少一個未被 Euclid 公理系統支持的隱含假設，並說明 Hilbert 用哪一組公理補上。
4. 證明：若只用「塌折圓規」（不能搬移距離），仍能在給定射線上截取與已知線段等長的線段（模仿《原本》I.2）。
5. 思考題：徐光啟說《幾何原本》「能練其精心」。請舉一個你自己的學習經驗，說明演繹推理訓練與「背公式」的差別。

進階研讀：公理體系的五個深化場景#

場景一：公理的獨立性檢驗。一條公理若能由其他公理推出，就是多餘的。第五公設的獨立性在1868年由 Beltrami 以模型方法證明（見 6.2 節）——證明「獨立」的手段是構造一個滿足其餘公理但否定該公理的模型。這個「模型法」如今是模型論的標準武器：要證某命題不可證，就造一個反例世界。

場景二：公理的一致性與相對一致性。Euclid 幾何的一致性在十九世紀面臨哲學危機：我們憑什麼相信這些公理不會推出矛盾？Hilbert 的答案是「相對一致性」：若實數算術一致，則歐氏幾何一致（把幾何翻譯成座標算術）。而算術的一致性又歸於集合論——一致性證明像遞推的接力棒，最終落在 ZFC 集合論肩上，而 Gödel 1931 年證明這根接力棒無法在系統內部接回自己（第二不完備定理）。

場景三：定義的循環問題。Euclid 的「點是沒有部分的」用「部分」定義點、「線」又用點來說——定義系統不可能無限後退，總要有未定義項（primitive terms）。Hilbert 的名言一針見血：「我們必須能夠隨時用『桌子、椅子、啤酒杯』代替『點、線、面』。」公理才是點線面的真正定義——對象的意義由其在公理網絡中的關係決定，這是結構主義數學觀的起源。

場景四：構造性 vs. 存在性的現代分野。Euclid 的「作圖證明」是構造性的；而《原本》中也有純存在論證（如 I.27 平行線存在性）。二十世紀直覺主義學派（Brouwer）主張數學存在必須可構造，拒絕排中律的無限制使用——Euclid 的作圖傳統在計算機時代意外復活：可計算性就是現代的「尺規可作圖性」，構造性證明能直接編成程式。

場景五：為什麼是十三卷？ 《原本》各卷之間有精密的戲劇結構：第1卷以 I.47（Pythagoras 定理）高潮收尾，第6卷相似論為立體幾何鋪路，第13卷以五種正多面體的窮盡分類落幕——證明世界上只有五種正多面體（四面體、立方體、八面體、十二面體、二十面體），這個「分類完成」的終點感，是古代數學追求完備性的美學宣言。五種正多面體的 Euler 公式分析見 7.2 節。

補充：《原本》的兩個版本傳統#

今日讀到的《原本》幾乎都是 Theon 修訂版（約370年）。1808年 Peyrard 在梵蒂岡圖書館發現一個早於 Theon 的抄本，兩傳統的異同成為文獻學經典案例。Heiberg 的權威校勘本（1883–1888）與 Heath 的英譯本（1908）奠定了現代研究基礎。有趣的是：愈古老的版本愈「瘦」——Theon 添加了例題與修飾，暗示《原本》在拜占庭時代已是教科書，教材總是越編越厚。

補充：希臘幾何三傑的分工#

不可公度量的發現（正方形對角線與邊不可比，即 \(\sqrt{2}\) 無理）是希臘數學的第一次基礎危機，逼出了 Eudoxus 的比例論與「量的幾何化」——數學從算術轉向幾何，這個轉向使《原本》成為幾何書而非算術書。危機的化解與再現，與微積分的無窮小危機（參見《微積分》一書 1.1 節）形成數學史上兩次「基礎震盪」的呼應。

名詞速查表（本節出現的核心術語）#

• 公設（postulate）：幾何作圖與空間性質的基本假設。
• 公理（common notion）：適用一切量的普遍邏輯真理。
• 命題（proposition）：待證的定理（有時分成 problem 與 theorem）。
• 尺規作圖：僅用無刻度直尺與圓規的構造。
• 幾何代數：以線段與面積表達代數關係的希臘傳統。
• 窮竭法：以內接圖形逼近面積的方法（詳見《微積分》1.1 節）。
• 不可公度：兩線段之比不能表為整數比。
• pons asinorum（驢橋）：I.5 等腰三角形底角定理的戲稱。
• 相對一致性：以另一體系的一致性保證本體系一致性的方法。
• 未定義項（primitives）：公理系統中不給定義、由公理間接刻畫的基本對象。

年表速查（本節涉及的關鍵年份）#

• 約前600：Thales 開創命題證明。
• 約前530：Pythagoras 學派建立。
• 約前430：不可公度量發現，第一次基礎危機。
• 約前370：Eudoxus 比例論與窮竭法。
• 約前300：Euclid《幾何原本》成書於亞歷山大。
• 約前230：Apollonius《圓錐曲線論》（見 5.2 節）。
• 約370：Theon 修訂版。
• 約450：Proclus《評註》記載第五公設爭議。
• 820：al-Khwarizmi 時代，希臘數學譯入阿拉伯。
• 1120：Adelard 拉丁譯本。
• 1482：威尼斯首印版。
• 1570：Billingsley 英譯本。
• 1607：利瑪竇、徐光啟中文譯本前六卷。
• 1883–88：Heiberg 校勘本。
• 1899：Hilbert《幾何基礎》。

深化問答三則#

問：Euclid 為什麼把平行線定義放在公設之前，卻不用定義來證第五公設？ 答：因為定義不能創造存在性。定義5說「平行線是在同平面內向兩側無限延長永不相遇的直線」，但永不相遇是一個無窮過程的斷言，定義本身無法保證這樣的線存在。第五公設（或其等價形式「過線外一點恰有一條平行線」）正是存在性與唯一性的保證書。定義描述概念，公設保證對象存在——這個區分直到十九世紀才被完全理解。

問：為什麼說《原本》第5卷「最傑出」？ 答：Eudoxus 的比例論用「 \(a:b = c:d\) 當且僅當對一切自然數 \(m, n\) ， \(ma > nb \Leftrightarrow mc > nd\) （同向）」的量詞式定義，巧妙繞過不可公度問題，使無理比例的運算合法。這個定義在結構上等同於十九世紀 Dedekind 分割對實數的定義——Eudoxus 提前兩千二百年預演了實數理論。

問：Hilbert 補齊了 Euclid，Euclid 就過時了嗎？ 答：恰恰相反。Hilbert 的成功反襯出 Euclid 的偉大：兩千二百年前的體系，缺的只是幾組公理與一點邏輯語言的精緻化，整座演繹大廈的主體結構巍然不動。現代數學基礎研究的基本模式——找漏洞、補公理、證獨立性——正是 Euclid 開創的研究綱領的延伸。

（本節完）