生平
欧几里得（Euclid，约前325—前265）是古希腊最伟大的数学家之一，被誉为"几何之父"。他活跃于托勒密一世统治时期的亚历山大城，在那里建立了数学学派并撰写了影响人类两千多年的《几何原本》（Elements）。关于欧几里得的生平，历史记载极为有限。我们不知道他的确切出生地和死亡日期，甚至有学者怀疑他可能是一个数学家团队的笔名。但可以确定的是，他在亚历山大城的学术中心工作，生活在托勒密一世（前323—前283在位）时期。
欧几里得最著名的轶事是与托勒密国王的对话。据5世纪哲学家普罗克洛斯（Proclus）记载，托勒密一世曾问欧几里得学习几何是否有捷径，欧几里得回答："在几何学中没有专为国王铺设的大道。"（μὴ εἶναι βασιλικὴν ἀτραπὸν ἐπὶ γεωμετρίαν）需要说明的是，这则轶事的归属存疑——一个几乎相同的故事也被记载为数学家梅内克缪斯（Menaechmus）与亚历山大大帝之间的对话，史家怀疑它是被反复套用到不同师生身上的"模板故事"。另一则故事说，一位学生学完第一命题后问"学几何有什么好处"，欧几里得命令奴隶给他三个硬币，"因为他必须从学习中获得好处"。无论真伪，这些故事都体现了后人心目中欧几里得对纯粹数学的尊重和对功利主义的蔑视。
核心贡献
《几何原本》
《几何原本》是数学史上最有影响力的著作，也是人类文明史上仅次于《圣经》的印刷量最大的书籍。全书共13卷，包含465个命题，从五条公设和五条公理出发，用纯粹的逻辑推理推导出整个几何学体系。
五条公设： 1. 从任意一点到任意一点可以引一条直线 2. 有限直线可以无限延长 3. 以任意点为圆心、任意距离为半径可以画圆 4. 所有直角都相等 5. 平行公设（第五公设）：若一条直线与两条直线相交，在某一侧的两个内角之和小于两个直角，则这两条直线在该侧无限延长后必相交
五条公理（公设）： 1. 等于同量的量彼此相等 2. 等量加等量，其和相等 3. 等量减等量，其差相等 4. 彼此能重合的物体是全等的 5. 整体大于部分
《几何原本》的内容涵盖： - 第一至第四卷：平面几何——三角形、平行四边形、圆的性质 - 第五卷：比例论——欧多克索斯的比例理论 - 第六卷：相似形——相似三角形的判定和性质 - 第七至第九卷：数论——包括欧几里得算法和素数无穷多的证明 - 第十卷：不可公度量——无理数的分类 - 第十一至第十三卷：立体几何——正多面体的分类
公理化方法
欧几里得最深远的贡献不是任何具体的定理，而是他创立的公理化方法（axiomatic method）。这一方法的核心思想是：
- 从少数不证自明的公理出发
- 通过严格的逻辑推理推导出所有定理
- 每个命题都必须有明确的证明
这一方法成为所有科学理论构建的模板。从牛顿的《自然哲学的数学原理》到爱因斯坦的相对论，从斯宾诺莎的《伦理学》（其副标题正是"以几何方式证明"）到现代计算机科学的形式化验证，都沿用了欧几里得的范式——把一门学问奠基于少数公理、再以逻辑层层推演，这一理想至今仍是人类理性最具影响力的范型之一。
欧几里得算法
在《几何原本》第七卷中，欧几里得给出了求两个正整数最大公约数的算法——辗转相除法：给定两个正整数 $a$ 和 $b$（$a > b$），反复用较小数除较大数，直到余数为零。最后一个非零余数就是最大公约数。
例如：求 ： - - -
因此 。这个算法至今仍是数论和计算机科学中的基本算法，其时间复杂度为 。
素数无穷多的证明
在《几何原本》第九卷中，欧几里得给出了素数无穷多的优美证明，这是数学史上第一个关于无穷的严格证明：
证明：假设素数只有有限个 。考虑数 。$N$ 要么本身是素数，要么有素因数。但 $N$ 除以任何 都余 $1$，所以 $N$ 的素因数不在列表中，矛盾。因此素数有无穷多个。
这个证明的深刻之处在于它不仅证明了素数的无穷性，还给出了构造新素数的方法。两千多年后，这个证明仍然是数学证明的典范。
数学哲学
欧几里得的数学哲学可以概括为柏拉图主义——他认为数学对象（如点、线、面）是独立于人类思维存在的理想实体。他的公理化方法体现了这一哲学立场：公理不是人为的约定，而是对数学真理的描述。
然而，欧几里得的第五公设（平行公设）引发了长达两千年的争论。许多数学家试图从其他四条公设推导出第五公设，但都以失败告终。最终，罗巴切夫斯基、鲍耶和高斯意识到第五公设是独立的——可以构造出否定第五公设的几何系统，即非欧几何。这一发现彻底改变了人们对数学真理的理解。
历史背景
欧几里得生活在希腊化时代的亚历山大城。这座城市由亚历山大大帝建立，托勒密一世将其打造为古代世界的学术中心。亚历山大图书馆收藏了数十万卷莎草纸文献，吸引了地中海世界最优秀的学者。在欧几里得之前，希腊数学已经有了相当的发展：泰勒斯开创了数学证明的传统，毕达哥拉斯学派研究了数论和几何，柏拉图强调了数学在哲学中的地位，欧多克索斯发展了比例理论。欧几里得的贡献是将这些分散的成果整合为一个统一的、公理化的体系。
思想遗产
欧几里得的公理化方法影响了整个数学的发展：
- 阿基米德继承了欧几里得的严格证明传统，将其应用于力学和计算数学
- 牛顿在《自然哲学的数学原理》中模仿了《几何原本》的公理化结构
- 希尔伯特在1899年的《几何基础》中给出了欧几里得几何的严格公理系统，弥补了原作中的逻辑漏洞
- 布尔巴基学派在20世纪用现代语言重写了欧几里得的公理化体系
欧几里得的影响远超数学领域。林肯自学《几何原本》来训练逻辑思维，爱因斯坦称其为"神圣的几何学"。在教育领域，《几何原本》直到20世纪初仍是欧美中学的标准教材。
与其他数学家的关系
- 毕达哥拉斯：欧几里得在《几何原本》中收录了毕达哥拉斯定理的证明（第一卷命题47）
- 欧多克索斯：《几何原本》第五卷的比例论主要来自欧多克索斯的工作
- 阿基米德：继承并发展了欧几里得的严格证明方法
- 阿波罗尼奥斯：在欧几里得的基础上发展了圆锥曲线理论
- 希尔伯特：用现代公理化方法重新构建了欧几里得几何
- 罗巴切夫斯基：通过否定第五公设创造了非欧几何
《几何原本》的逻辑缺陷与修补
欧几里得的公理系统虽然开创性，但并非完美。19 世纪的数学家发现了其中的逻辑漏洞：
- 隐含假设：欧几里得在证明中使用了未列出的连续性假设。例如，证明两圆相交时假设了交点的存在，但公设中没有保证。
- 顺序关系缺失：欧几里得使用了"之间"的概念，但未将其公理化。
- 合同公理不完整：全等的定义依赖于"重合"的直觉，但未严格定义。
希尔伯特在 1899 年的《几何基础》中用 20 条公理（分为五组：关联公理、顺序公理、合同公理、平行公理、连续性公理）弥补了所有漏洞。这标志着公理化方法的成熟——从欧几里得的直觉公理到希尔伯特的形式公理，人类花了两千多年。
非欧几何的诞生
第五公设（平行公设）的历史是数学思想史上最引人入胜的故事之一。与前四条公设相比，第五公设显得冗长而不够"自明"。两千多年来，数学家试图从前四条公设推导出第五公设——全部失败。
19 世纪初，罗巴切夫斯基、鲍耶和高斯独立发现：否定第五公设不会导致矛盾——可以构造出完全自洽的双曲几何（罗氏几何），其中过直线外一点可以引无穷多条平行线。黎曼（1854）进一步构造了椭圆几何，其中没有平行线。
这一发现的哲学影响深远：几何学的真理不是唯一的——数学可以描述多种可能的空间。爱因斯坦的广义相对论正是建立在黎曼几何的基础上：物理空间的几何由物质分布决定，不是先验的欧几里得几何。
跨域连接
- 斯宾诺莎：把伦理学写成定义、公理、命题、证明的链条，目的是让每一步依据都能被独立检查，而不是靠修辞说服。推论：代价是前提必须一次性摊开，争论因此从结论转移到定义——只要有人不接受某条定义，整座大厦对他就完全不成立。
- 霍布斯：从"人的自然状态"这组前提出发推出主权的必要性，模仿的正是几何的演绎次序。推论：结论的强度完全等于前提的强度，争论因此被逼回"自然状态是否如此"这个经验问题——演绎体裁不能凭空生产正当性。
- 法律制度：成文法把一般条款置于顶层、把判决当作推论，判决书必须写明所援引的条文与推理步骤。推论：可审查性由此产生——上级复核的是推理链而不是结论是否顺眼，说理不合规的判决可以被撤销，哪怕结论看起来合理。
- 科学革命：把力学写成定义、运动定律、命题的次序，任何人都能从同一批假设复算全部结论。推论：理论被推翻时能精确定位到哪一条前提失效，修改因此是局部的而非整体的，而不是笼统地说"理论错了"——这正是公理体裁的诊断价值。
- 公理：公理不是自明的真理，而是划定推理起点的约定，独立性问题问的是某条能否由其余推出。推论：两千年证不出第五公设，最终得到的不是更好的证明，而是"它独立"这条定理——失败本身成了结果。
参考文献
- Euclid, Elements (约前300年), 托马斯·希思英译本
- David Hilbert, Grundlagen der Geometrie (1899)
- Robin Hartshorne, Geometry: Euclid and Beyond (2000)
- Howard Eves, A Survey of Geometry (1972)
- Victor Katz, A History of Mathematics: An Introduction (2008)
延伸阅读
- 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992
「在几何学中没有专为国王铺设的大道。」——欧几里得