欧几里得（Εὐκλείδης / Euclid of Alexandria）

人类历史上最成功的数学教科书《几何原本》的编纂者，把前人（泰勒斯、毕达哥拉斯派、欧多克索斯、泰阿泰德）的零散成果编织成一个从少数公理出发的严密演绎整体，定义了"公理化方法"，深刻塑造了此后两千余年的西方数学与科学思维。

一、生平与时代背景

关于欧几里得的生平，史料出奇地少。我们只确定他在埃及的亚历山大城教书，活跃于托勒密一世（Ptolemy I，前 323—前 283 在位）时期。其生卒传统定年约为公元前 330—前 275 年；MacTutor 给出约公元前 325—约前 265 年。二者皆为后世估算，确切年份存疑。

主要依据是公元 5 世纪新柏拉图主义者普罗克洛斯（Proclus）的一段记载：

"欧几里得比柏拉图的学生们〔一代〕稍晚，他编纂了《几何原本》，整理了欧多克索斯的许多定理，完善了泰阿泰德的许多定理，并把前人只松散证明了的东西提升为无可辩驳的证明。此人生活在第一位托勒密王的时代；因为紧接第一位托勒密的阿基米德提及过欧几里得……托勒密曾问他，学几何是否有比《原本》更短的路，他回答说：'几何中没有王者之路。'……他比柏拉图的圈子年轻，却比埃拉托色尼和阿基米德年长……其旨趣是柏拉图主义的，因此他把整个《原本》的终点设为构造所谓的'柏拉图图形'〔即五种正多面体〕。"

此外： - 不可靠的说法：阿拉伯作家称欧几里得是 Naucrates 之子、出生于推罗——史学界认为纯系虚构。又有说他生于麦加拉（Megara），这是把他与早约 100 年的哲学家"麦加拉的欧几里得"（Euclid of Megara）混淆了；"欧几里得"在当时是常见名字，加重了考证困难。 - 真实性争议：Itard 提出三种可能——(i) 欧几里得是真实历史人物，独立写出《原本》及署名著作；(ii) 他是亚历山大一个数学家团队的领袖，众人合著、身后仍以其名义出书；(iii) 他根本不是真实人物，是亚历山大团队借用"麦加拉的欧几里得"之名集体创作（类似 20 世纪的布尔巴基 Bourbaki）。MacTutor 及多数史家采纳 (i)，但也承认他在亚历山大一定带出了一个活跃的数学学派。 - 求学经历：为熟悉欧多克索斯与泰阿泰德的几何，他几乎肯定曾在柏拉图学园学习。 - 性格轶事：帕普斯（Pappus）称他"极为公正、友善，从不冒犯他人，是严谨而不自夸的学者"（此段可能被后人添改过）；斯托巴乌斯（Stobaeus）记：一初学者学完第一个定理就问"学这些能得到什么"，欧几里得对奴隶说"给他三个硬币吧，既然他要从所学中牟利"——这就是著名的"几何无王者之路"之外的另一名言。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 《几何原本》——第一个完整的公理化演绎体系

问题背景：到公元前 4 世纪末，希腊人已积累大量几何与数论成果，但散见于各家，证明严格程度不一。欧几里得的贡献不在于发现新定理（《原本》中大概没有结果是他首先证明的），而在于编纂与组织：从最少的出发点推出庞大的知识体系。

精确结构：全书 13 卷，以定义 + 5 条公设（postulates）+ 5 条公理（common notions）为起点，演绎出约 465 条命题。 - 5 条公设：(1) 过两点可作一直线；(2) 有限直线可无限延长；(3) 以任意圆心、任意距离可作圆；(4) 凡直角皆相等；(5) 平行公设（见下条）。 - 5 条公理（"共同观念"，适用于一切学科的推理原则）：例如"等于同一量的量彼此相等""等量加等量其和相等""整体大于部分"。

意义：这是人类历史上第一个公理化演绎系统的范本——以自明的起点、按逻辑规则推出全部结论。其清晰与严谨成为此后两千余年数学证明的典范，甚至影响了斯宾诺莎、牛顿等以"几何方式"写作的思想家。直到 19 世纪末希尔伯特才在《几何基础》中系统补全了欧几里得隐含的假设。

2. 平行公设与非欧几何的先声

第五公设（平行公设）原文的等价表述是：过直线外一点，能且仅能作一条直线与已知直线平行。欧几里得把它列为公设而非定理，显示他意识到它不能由其余公设推出。

历史展开：此后两千年，数学家反复尝试从前四条公设证明第五公设，均失败。19 世纪，罗巴切夫斯基（Lobachevsky，1829）、波尔约（Bolyai，1832）各自独立证明：若将第五公设替换为"过直线外一点至少可作两条平行线"，可得到自洽的非欧几何（双曲几何）；黎曼（Riemann）则建立了椭圆几何（无平行线）。这揭示了公理化方法的力量——改变公理即得到不同却同样自洽的数学世界。

存疑：把第五公设列为公设究竟是欧几里得本人的选择，还是他的无奈，学界有讨论；但《原本》整体因此具有了"欧氏几何"的特定身份，是其深远影响的关键之一。

3. 平面几何与"几何代数"（第 I–VI 卷）

• 第 I、II 卷：三角形、平行线、平行四边形、矩形与正方形的基本性质。第 II 卷实质上是用几何面积来表达代数恒等式——即所谓"几何代数"（geometrical algebra），例如用面积剖分表达 $(a+b)^2=a^2+2ab+b^2$、勾股定理（I.47）等。
• 第 III 卷：圆的性质（弦、切线、圆心角/圆周角，含泰勒斯定理 III.31）。
• 第 IV 卷：圆内接/外切正多边形问题，被认为主要取自毕达哥拉斯派。
• 第 V 卷：欧多克索斯的比例论（见欧多克索斯档案），为处理不可公度量提供严格基础。
• 第 VI 卷：把比例论应用于平面几何（相似形等）。

需注意：欧几里得引入了一些从未使用的定义（如长方形 oblong、菱形 rhombus、菱形 rhomboid），这被视为他利用了更早教科书的痕迹。

4. 数论（第 VII–IX 卷）

第 VII–IX 卷是自成体系的数论，是《原本》中最具"原创延续性"的部分之一： - 欧几里得算法（辗转相除法）（VII.1–2）：求两数最大公约数（gcd）的算法，是世界上最早的算法之一，至今仍是计算机数论的基础。其原理是 $a=bq+r\Rightarrow \gcd(a,b)=\gcd(b,r)$。 - 素数无穷多（IX.20）：经典证明——设素数仅有有限个 $p_1,\dots,p_n$，构造 $N=p_1p_2\cdots p_n+1$，则 $N$ 要么是新素数，要么含有不在列表中的素因子，矛盾。故素数无穷。 - 唯一分解的雏形：卷中已隐含算术基本定理（每个合数唯一分解为素数之积）的思想，但其完整严格表述与证明由后世给出。 - 完全数构造（IX.36）：若 $2^p-1$ 是素数（今称梅森素数），则 $2^{p-1}(2^p-1)$ 是完全数。这是"欧几里得—欧拉定理"的前半部分（欧拉证明了偶完全数必为此形）。

范·德·瓦尔登指出第 VIII 卷（等比数列）存在"冗长的表述、不必要的重复甚至逻辑谬误"，认为"欧几里得的阐述只在他拥有优秀原始材料的部分才出色"——提示《原本》的质量与其所依据的前人材料密切相关。

5. 无理量理论（第 X 卷）与比例论（第 V 卷）

• 第 V 卷：系统呈现欧多克索斯的比例论（定义 4、定义 5），是全书理论的支柱，使相似形、面积比较等摆脱了可公度性的限制。
• 第 X 卷：长达 115 个命题，系统分类无理量（如 $a+\sqrt b$ 型等），被认为主要是泰阿泰德（Theaetetus）的工作；欧几里得改写了若干证明以契合欧多克索斯的比例定义。这是古代对无理量最详尽的处理。

6. 立体几何与正多面体（第 XI–XIII 卷）

• 第 XI 卷：立体几何的基本定义与定理，模式上平行于平面几何。
• 第 XII 卷：用穷竭法证明"圆之比等于其直径平方之比""球之比等于其直径立方之比"——这些结果与方法属欧多克索斯（见其档案）。
• 第 XIII 卷：讨论五种正多面体（正四面体、立方体、正八面体、正十二面体、正二十面体）的性质，并证明恰好存在五种正多面体（柏拉图立体）。本卷大体依据泰阿泰德的较早论文。这正是普罗克洛斯所说的《原本》"终点"——以构造柏拉图图形收束全书，呼应欧几里得的柏拉图主义旨趣。

四、代表著作与文献

• 《几何原本》(Elements, Στοιχεῖα)：13 卷，传世，影响最大。
• 《数据》(Data)：传世，讨论已知条件下可确定的几何量，相当于《原本》的配套习题集。
• 《光学》(Optica)：传世，早期透视理论，认为视觉由眼睛发出的射线形成。
• 《现象》(Phaenomena)：传世，球面天文学入门。
• 《圆锥曲线》(Conics)：4 卷，已失传（后被阿波罗尼乌斯的同名巨著取代）。
• 《衍论》(Porisms)：3 卷，已失传，内容介于定理与作图问题之间。
• 《辨伪》(Pseudaria)、《图形的分割》(On Divisions) 等：已失传或仅存阿拉伯文译本/残篇。

五、师承、学派与同时代交往

• 师承：几乎肯定曾在柏拉图学园受教，熟悉欧多克索斯与泰阿泰德的成果；其著作中整理的前人成果涵盖泰勒斯、毕达哥拉斯派、希波克拉底（Chios 的）、欧多克索斯、泰阿泰德等。
• 学派：在亚历山大博物院形成活跃的数学学派，培养了一批学生。
• 后继：阿波罗尼乌斯曾随欧几里得的学生在亚历山大学习；其《圆锥曲线论》接续了欧几里得已失传的圆锥曲线工作。
• 与阿基米德：阿基米德在《论球与圆柱》中提及欧几里得（这是古代唯一一次直接点名引用），但有学者（Hjelmslev）怀疑这句话是后世添入——这一定年证据的可靠性本身有争议，不过"欧几里得早于阿基米德"的总体判断仍为多数史家接受。
• 与托勒密一世：传说中"几何无王者之路"的对话对象。

六、争议、公案与历史评价

1. 欧几里得是否真实存在？ Itard 三假说（个人/团队/虚构）至今偶尔被讨论，但主流采纳"真实历史人物"说。
2. 阿基米德对欧几里得的点名引用是否后添？ Hjelmslev 质疑，若成立则影响定年证据，但不改变其大致年代。
3. 《原本》是否真无新结果？ 传统认为欧几里得只是编纂者，少有原创；但他对证明的改写、体系的编排本身是巨大创造，且个别命题（如 IX.36 完全数）可能含其原创成分。
4. 《原本》的"不严密"：从西顿的芝诺到 19 世纪，人们不断发现欧几里得隐含使用了未列为公理的假设（如 Pasch 公理、连续性、图形的位移不变性等）。这不减其历史地位，反而展示了公理化方法自我完善的历程——希尔伯特 1899 年《几何基础》是这一进程的里程碑。
5. 阿拉伯传说（推罗出身、Naucrates 之子）：公认虚构。
6. "麦加拉的欧几里得"混淆：常见误传，二者相差约百年。
7. 总体评价：希思称《原本》"尽管有其时代的微小瑕疵，仍无疑将是有史以来最伟大的数学教科书"；范·德·瓦尔登说它"自写成之日起直至今天，对人类事务持续施加重大影响……据说发行量仅次于《圣经》"。

七、身后影响与学术谱系

• 作为教科书：《原本》是西方沿用两千余年的标准数学教材，1482 年首印后印行逾千版，塑造了无数代数学家与科学家的思维方式。
• 公理化方法：成为现代数学的灵魂——从牛顿《原理》到希尔伯特、布尔巴基，再到现代形式化证明，皆承此统。
• 平行公设 → 非欧几何：直接催生 19 世纪非欧几何的诞生，进而为爱因斯坦广义相对论的几何化时空铺平道路。
• 欧几里得算法：至今是数论与计算机科学的基础算法。
• 阿拉伯传承：中世纪《原本》经阿拉伯世界保存、注释，再传回欧洲，是"黑暗时代"数学知识不绝的关键一环。

八、延伸阅读与权威来源

• MacTutor: Euclid of Alexandria：圣安德鲁斯大学数学史档案，本档案主要史料来源。
• Dictionary of Scientific Biography: Euclid (PDF)：MacTutor 托管的 DSB 条目。
• Stanford Encyclopedia of Philosophy: Epistemology of Geometry：SEP 条目，讨论欧几里得几何的认识论地位与严密性问题。
• Encyclopaedia Britannica: Euclid：权威百科条目。
• Wikipedia: Euclid：交叉核对（不作唯一来源）。
• David E. Joyce (Clark University): Euclid's Elements：在线《原本》原文（基于 Heath 译本），含图形与逐命题注释。
• T. L. Heath, The Thirteen Books of Euclid's Elements, 3 vols. (Cambridge, 1908; Dover 重印)：权威译注本。
• T. L. Heath, A History of Greek Mathematics, Vol. I (Oxford, 1921)：考证《原本》各卷来源与欧几里得生平。