数学公理体系大全:第十七章 希尔伯特平面几何公理全貌

第十七章 希尔伯特平面几何公理全貌

引言：重建几何的逻辑圣殿

第十六章我们细致解剖了欧几里得《几何原本》的逻辑缺陷：关联关系语焉不详，“介于”概念完全缺失，合同判定依赖非法的“重合”操作，连续性假设隐而不宣。两千年来，无数数学家试图修补这些漏洞——从阿基米德对长度比较的精细分析，到帕施在1882年提出的“介于”公理，再到皮亚诺、意大利学派对几何基础的梳理——但这些努力始终是零敲碎打。直到1899年，大卫·希尔伯特的《几何基础》出版，才完成了这场逻辑重建的壮举。这一年，哥廷根大学的一位数论与不变量理论大师转战几何基础，彻底改变了数学的面貌。

要真正理解希尔伯特革命的深度，我们必须先明白十九世纪末数学界的精神氛围。非欧几何的发现已经打碎了康德所谓“欧氏几何是空间先天直观”的哲学信条。高斯、罗巴切夫斯基、鲍耶证明了平行公设的独立性，黎曼更是开启了弯曲空间的一般研究。然而，一个更为棘手的难题随之暴露：当人们试图严格检查欧几里得的全部证明时，发现即便是最基础的命题——例如第一命题“在给定线段上作等边三角形”——也默认了两个圆的交点存在，而此存在性在欧氏公设中毫无根据。莫里茨·帕施在1882年的《新几何学讲义》中第一个大声疾呼：“如果几何真要成为一门演绎科学，那么推理过程绝不能在任何地方求助于对图形的直观，而必须完全独立于图形。”他由此提出了几何中“介于”概念的一组公理，但尚未形成一个完全封闭的系统。皮亚诺、韦罗内塞等人也各自尝试，但都无法同时兼顾关联、顺序、合同和连续这四大维度。

希尔伯特的天才在于他设计出一套精简到极致、却又纤密无间的公理网络。他没有选择在欧几里得的旧地基上修修补补，而是从零开始，用现代的、公理化的精神重新定义了什么是“几何学”。他抛弃了“点是没有部分的”“线是没有宽度的”这类既非精确定义、又不能在证明中加以形式操作的伪定义，代之以纯粹的公理关系：点、直线、平面不是由定义说明的实体，而是由公理刻画其相互关系的“未定义概念”。这一革命性思想直接启发了二十世纪数学公理化运动，波及代数、拓扑、概率，直至今天的范畴论与模型论。希尔伯特在《几何基础》序言中提出的名言——“我们必须始终能用‘桌子、椅子、啤酒杯’来代替‘点、直线、平面’”——不仅是一句俏皮话，而是宣告：数学的真理不在于对象的内在本质，而在于公理关系的无矛盾性。它预言了后来形式主义学派的全部纲领，也为布尔巴基的结构主义哲学铺平了道路。

本章将全面展开希尔伯特的平面几何公理体系。我们仍以点、直线、平面作为基本对象，以“关联”（点在直线上）、“介于”（一点在两点之间）、“合同”（线段等长、角等大）作为基本关系，外加平行公理与连续公理。希尔伯特将它们组织为五组共二十条公理——也有计数为二十一条，视乎是否单列某些次级公理。我们将逐条陈述，并详细阐明每条公理的直观含义与其填补的欧氏漏洞，同时深入挖掘公理之间的逻辑依赖关系，展示它们在绝对几何的推导中如何精密咬合。全章将穿插具体几何定理的严格推演，以展现公理如何驱动真正无懈可击的证明。读者将亲眼看到，曾经被欧几里得凭借直觉蒙混过关的每一步——从“两点确定一直线”到“延长线段”，从“三角形全等”到“圆与直线必相交”——如今都在关联、顺序、合同、连续的严密牢笼中获得了无可挑剔的合法性。我们还将揭示这些公理如何自然地引向几何算术化与坐标化，证明希尔伯特平面几何本质上就是实数域上的欧氏平面，从而完成欧几里得“唯一几何”的古老理想。

17.1 希尔伯特公理的蓝图：三组基本对象与五种基本关系

17.1.1 未定义的基本概念

希尔伯特体系的第一个重大革新在于坦然接受“未定义概念”。他在《几何基础》开篇便写道：

“我们设想三组不同的对象：点、直线、平面。……我们并不定义这些对象，而只规定它们之间的相互关系。”

这正是现代公理化的核心精神：公理系统不对基本概念做任何内容上的预设，一切性质都由公理赋予。因此，“点”“直线”“平面”可以被替换为任何满足公理的对象集合——正如他后来在讨论射影几何时打趣的那样：“我们应当能够用‘爱、法律、烟囱清扫工’来代替点、直线、平面。” 这并非戏谑，而是昭示：在公理化理论中，术语的内涵被彻底抽空，唯有公理所约束的关系具有数学意义。几何学从此不再是关于“真实空间”的实证科学，而是关于满足公理集合的任何抽象结构的演绎理论。

这种态度的哲学后果极为深远。它意味着，当我们证明一个几何定理时，我们实际上证明了一条普遍的逻辑蕴含：在任何满足希尔伯特公理的结构中，该定理为真。点可以是实数对，也可以是某抽象集的元素；直线可以是满足线性方程的集合，也可以是满足某关联关系规定的特殊子集。希尔伯特的公理系统因而定义了现代意义上的“模型类”。事实上，希尔伯特本人在1900年巴黎国际数学家大会上提出的第二个问题，正是关于算术公理无矛盾性的，其背后的思想直接源于几何公理化的成功——因为要证明几何公理无矛盾，他将其化为实数系的无矛盾性，从而把几何的无矛盾性归结为分析，再归结为算术。这种“相对无矛盾性证明”的策略正是后来证明论的先驱，也凸显了公理方法在数学基础中的核心地位。

在平面几何中，我们主要关注点与直线。完整体系包括空间公理，但希尔伯特精明地指出，平面几何可以独立公理化，并且绝大部分关键思想（关联、顺序、合同、平行、连续）在二维情形已悉数登场。这正是我们集中于此的原因。

17.1.2 五种基本关系

希尔伯特公理涉及五种基本关系：

1. 关联：点与直线之间的关系——“点在直线上”（或“直线经过点”）。记作 (A \in a) 或 (a) 过 (A)。这是最基本的存在与隶属关系，一切图形构造的基础。
2. 介于：三个共线点之间的关系——“点 (B) 在点 (A) 与点 (C) 之间”。记作 (A * B * C)。这一关系是希尔伯特公理体系中最具原创性的部分，它赋予直线以序结构。
3. 线段的合同：两个线段之间的关系——“线段 (AB) 等于线段 (CD)”。记作 (AB \equiv CD)。它刻画了刚性的长度等价。
4. 角的合同：两个角之间的关系——“角 (\alpha) 等于角 (\beta)”。记作 (\angle\alpha \equiv \angle\beta)。
5. 平行：两条直线之间的关系——“直线 (a) 平行于直线 (b)”。记作 (a \parallel b)。但平行并非独立的初始关系，而是由关联和相交定义的：两直线平行当且仅当它们在同一平面上且不相交。平行公理只是对这一被定义概念添加一条约束性陈述。

此外，连续公理引入了一种深层的序完备性质，虽然不直接纳入“关系”之列，却决定了几何度量的代数结构。

这些关系的选取展现了希尔伯特惊人的洞察力。他没有选择“运动”或“重合”，因为这些概念若不加定义地使用会引入额外的前提；他也没有引入数的概念，因为他要反过来从几何中构造出数。线段合同取代了长度测量，角合同取代了角度测量，介于取代了顺序的直观——一切都经过精心挑选，使得公理系统在表达力上足够丰富，却在假定上尽可能简朴。

17.1.3 五组公理概览

希尔伯特将他的公理分为五组，每一组都针对一类逻辑缺口，并且组与组之间有着精密的依赖层级：

• 第一组：关联公理（I.1–I.8，平面几何取I.1–I.3）。确立点、直线、平面之间最基本的相遇关系，消除“直线何所有”的模糊性。
• 第二组：顺序公理（II.1–II.4）。赋予直线以线性序，刻画平面被直线分割的拓扑本质，结束了欧氏几何中“图形内外”依赖直觉的时代。
• 第三组：合同公理（III.1–III.5）。用纯静态的公理替代欧几里得的“叠合”，将全等判断置于牢固的逻辑地基上，且一举将SAS抬升为公理。
• 第四组：平行公理（IV）。以极简形式断言过直线外一点至多有一条平行线，干净地定义了欧氏几何，并与非欧几何划清界限。
• 第五组：连续公理（V.1–V.2）。排除无穷小与缝隙，确保几何与实数系同构，让圆规和直尺的所有“默认交点”真正存在。

值得特别指出的是，希尔伯特在组织这些公理时，还刻意保证了一个重要的方法论特性：前四组公理不包含连续公理，构成了“绝对几何”的基础。在这个体系内，可以发展出线段比较、角比较、全等定理、外角定理以及平行线的存在性等一系列丰富理论，而无需涉及任何度量结构。连续公理则作为一个“外挂模块”，只在需要保证圆与直线交点存在、或者建立坐标时才登场。这种模块化设计不仅清晰分离了各种假设的用途，更为后来公理集合论、模型论中“独立公理”的研究提供了范式。

17.2 第一组：关联公理

关联公理建立了点与直线、点与平面、直线与平面之间的最基本存在性与唯一性关系。平面几何只需三条。尽管简单，它们却是整个几何大厦的脚手架：没有它们，你甚至无法合法地谈论“直线连接两点”。

17.2.1 公理 I.1

I.1：对于任意两点 (A) 和 (B)，存在一条直线 (a)，使得 (A) 和 (B) 都在 (a) 上。

这条公理直接对应欧几里得公设 I 的“可作直线”部分。它断言任何两点至少可被一条直线连接。在欧几里得那里，这条公设的叙述是：“从任意一点到任意一点可作一直线”。但“作”这个词暗含了一种操作或构造，仿佛直线的存在依赖于我们的作图行动。希尔伯特将之变成纯粹的存在性陈述：不论我们是否实际画出，满足条件的直线客观存在。这使几何从“作图术”升格为关于抽象结构的客观真理体系。

注意，这里并未断言唯一性——唯一性由下一条公理给出。希尔伯特巧妙地将欧几里得的一条公设拆分为存在性和唯一性两条公理，因为它们在逻辑上具有不同的作用，且在某些非欧几何模型中（如球面几何，若以大圆为“直线”），过两点存在无数条“直线”，存在性仍可能成立而唯一性不成立。拆解之后，我们可以精确分析改变唯一性条件所产生的几何，这是公理方法赋予的灵活性。

17.2.2 公理 I.2

I.2：对于任意两个不同的点 (A) 和 (B)，至多有一条直线同时经过它们。

结合 I.1 和 I.2，我们得到：过两个不同点存在且仅存在一条直线。这就明确排除了欧几里得体系中的歧义——“两点确定一直线”这个习惯说法在此获得严格形式。“至多一条”的表述也比笼统的“唯一”更精确地分离出唯一性这条独立的逻辑线索。若仅保留 I.1 而拒绝 I.2，我们可能得到一种“多直线”几何，其中两点之间可能存在多于一条关联直线。这在射影平面上并不成立，但在某些有限几何或抽象关联结构中确有模型。希尔伯特以最节俭的方式将欧氏特征固定下来。

17.2.3 公理 I.3

I.3：每条直线上至少有两个点。至少存在三个点不共线。

前一句保证直线不是“退化”的：每条直线至少有两个点，这是讨论“介于”和线段的先决条件。你无法谈论一段只有一个点的“线段”，因此直线上至少两点的公理是顺序公理的前提。后一句保证平面的“非退化”：不是所有点都在一条直线上，从而平面真正是二维的。欧几里得从未显式断言存在不共线的三点，尽管这在讨论三角形时被隐式使用。希尔伯特将这种“隐而不言”的前提明确列出，显示出他对逻辑完整性的极端执着。

关联公理的推论：两条不同的直线至多交于一点。若它们有两个公共点，由 I.2 它们必须重合。这避免了欧几里得体系中“直线相交但交点多于一个”的歧义——事实上，如果没有这一推论，欧几里得对“角”的定义将失去根基，因为两条直线若可在两点相交，则其所夹的区域不止一个，角的唯一性将无法保证。

现代注解：在关联几何的抽象理论中，关联公理 I.1–I.3 定义了一类称为“线性空间”的结构。有限射影平面就是满足特定附加条件的有限线性空间。希尔伯特的处理是此类抽象理论的原型。特别地，I.3 中的“至少三点不共线”排除了所有点共线的退化情形，在模型论中这是确保维度为2的典型手段。如果我们只取 I.1 和 I.2，而放弃 I.3 的第二部分，就可能得到一条直线构成整个“平面”的退化模型，希尔伯特显然需要排除这种无趣的特例。

17.3 第二组：顺序公理

顺序公理是希尔伯特对欧几里得体系最关键的补充，其重要性怎么强调都不为过。欧几里得的整个证明体系之所以频频诉诸图形直观，根本原因就在于缺乏“介于”的逻辑刻画。希尔伯特从帕施（Moritz Pasch）1882年的工作出发，将顺序概念提升为一组自洽的公理，首次严格刻画了直线上点的“介于”关系，并描述了直线如何将平面一分为二。

17.3.1 “介于”关系的基本记号

记 (A * B * C) 为“点 (B) 在点 (A) 和点 (C) 之间”。注意，这个关系仅对共线点有定义。未共线的三点不能进入介于关系。这一定义性限制本身就需要秩序公理来赋予意义：我们稍后会定义“直线”和“共线”，并基于 II.1 声明该关系只发生于共线点间。

17.3.2 公理 II.1

II.1：若点 (B) 在点 (A) 和点 (C) 之间，则 (A, B, C) 是共线的三个不同的点，并且 (B) 也在 (C) 和 (A) 之间。

这条公理确立了“介于”的第一个基本性质：对称性。它表明“介于”是无向的——如果 (B) 在 (A) 和 (C) 之间，那么它也在 (C) 和 (A) 之间。这排除了某种“有向线段”的直觉：顺序关系不依赖于方向。在现代序理论中，这相当于“介于”关系是对称的，并在下文的公理组合下诱导出一个严格的线性序。同时它强调三点必须共线且互异，防止了将不在同一直线上的点纳入介于关系，保证了“介于”是直线上的一种内部结构。

17.3.3 公理 II.2

II.2：对于任意两点 (A) 和 (C)，在直线 (AC) 上总存在点 (B) 使得 (C) 在 (A) 和 (B) 之间（即 (A * C * B)）。也存在点 (D) 使得 (D) 在 (A) 和 (C) 之间（即 (A * D * C)）。

这条公理蕴涵两层深意：

1. 向外延伸：直线可以无限延伸，给定线段 (AC)，可以在 (C) 之外找到更远的点 (B)，即 (A * C * B)。这对应欧几里得公设 II 的“有限直线可以不断延长”。但希尔伯特表述明确延长的结果是在同一直线上存在更远的点，无需任何操作隐喻。
2. 内部存在点（稠密性）：任意两点之间总存在第三个点。这表明直线上不存在“相邻”的两点——这是连续统的序性质。即使在没有连续公理时，顺序公理已保证了直线上点的稠密分布。也就是说，直线永远不会只有离散的、紧邻的点对，因为总能在两者之间再插入一点。这一性质与欧几里得的“直线”直观一致，但在古代从未明确表述，希尔伯特将其固定为公理。

值得注意的是，II.2 提供的内部点存在性并没有说线段上只有可数多个点，它仅仅断言了稠密性，而无关于完备性。要保证直线上没有“洞”，仍需第五组连续公理。

17.3.4 公理 II.3

II.3：在任意三个共线点中，至多有一点在另外两点之间。

这排除了循环顺序。例如，若 (A * B * C) 成立，则不可能同时有 (B * C * A) 或 (C * A * B)。结合 II.1 的对称性，我们得到对于三个共线点，恰有唯一一个点介于其他两点之间。这就使共线点的“介于”关系构成了一个严格的线性序。事实上，在 II.1–II.3 下，可以证明直线上任意有限点集可以被唯一地排成一个全序，满足传递性（若 (A * B * C) 且 (B * C * D)，则 (A * B * D) 和 (A * C * D) 等）。这一整套定理希尔伯特在《几何基础》中作为顺序公理的直接推论给出，它们证明了直线上点的序结构完全符合我们对“前后”的直觉，而不再需要任何图画。这一成果是几何基础史上的里程碑。

17.3.5 公理 II.4（帕施公理）

II.4（帕施公理）：设 (A, B, C) 三点不共线，且直线 (a) 不经过 (A, B, C) 中任何一点。如果 (a) 经过线段 (AB) 上的某一点，则 (a) 也必然经过线段 (AC) 或线段 (BC) 上的某一点。

这里“线段 (AB)”定义为所有满足 (A * X * B) 的点 (X) 的集合，外加端点 (A) 和 (B)。这个公理是顺序公理的核心，也是希尔伯特公理系统中最具几何直觉深度的一条。它精确刻画了“一条直线进入一个三角形内部，必定会从另一边穿出去”的现象。实际上，这等价于说平面具有“平面分割”性质：每条直线将平面分为两个半平面，使得连接不同半平面两点的线段必与直线相交，而同一半平面的两点连线则与直线无交。

正是借助帕施公理，我们才能严格定义一系列关键概念。给定直线 (a)，可以定义平面去掉 (a) 的剩余部分的两个等价类：如果两点连线与 (a) 不相交，则它们在同一侧。结合顺序公理可以证明这恰好产生两个半平面。由此，我们能定义“角的内部”：给定一个角 (\angle BAC)（(A) 为顶点），它的内部是射线 (AB) 这一侧且射线 (AC) 那一侧的半平面的交集。再通过介于关系证明角的内部非空，射线上的点与对边的关系全部逻辑化。欧几里得对“在角内”的所有暗箱操作，在此被彻底清算。

帕施本人早在1882年《新几何学讲义》中就已指出，欧几里得证明中大量依赖“如果一条直线交三角形的一边，则它必交另一边”的图形事实，他将其明确列为公理。希尔伯特则进一步用此公理配合其余顺序公理，推导出整个线序和平面分割理论。这是公理方法在几何中第一次取得超越欧几里得的决定性胜利。用现代逻辑学的话说，帕施公理保证了所定义结构的“帕施性质”，它是几何可定义性的基石。

为了感受帕施公理的力量，我们不妨略述如何用它证明“外角定理”：给定三角形 (ABC)，延长边 (BC) 至 (D)，则外角 (\angle ACD) 大于不相邻的内角 (\angle BAC)。欧几里得的原始证明需在图形上观察点与线的位置。而在希尔伯特体系中，证明的关键一步是：取 (AC) 的中点（需通过合同公理构造），利用帕施公理判断某条射线是否进入角的内部，从而严格建立大小关系。这一证明的完全形式化将在第十八章给出，而它之所以可能，完全仰赖于顺序公理搭建的舞台。

17.4 第三组：合同公理

合同公理取代了欧几里得的“重合”公理，用一组纯静态的、不依赖运动的条件来刻画线段与角的“等长”“等大”关系。希尔伯特指出，运动或重合概念若不被公理化，就是循环的（何谓重合？因全等而能重合？还是因重合而全等？）。他选择将合同作为基本关系，并设定几条简洁的公理，使所有长度与角度的比较完全在这一关系网内完成。这是一次概念上的“去运动化”，使几何证明彻底静态化、逻辑化。

17.4.1 公理 III.1（线段的合同与迁移）

III.1：设 (AB) 是一个线段，(A’) 是某直线 (a’) 上的一点。则在直线 (a’) 上，以 (A’) 为端点的每条射线上，恰有一点 (B’) 使得线段 (AB) 合同于线段 (A’B’)（记作 (AB \equiv A’B’)）。

这条公理相当于“圆规公理”的静态版本：我们可以把任何线段“复制”到任何指定射线上，并且复制出的长度是唯一的。这里“射线”概念本身需先由顺序公理定义：给定直线 (a’)、一点 (A’) 和直线上另一点 (O) 决定方向，射线是直线上所有满足 (X) 使得 (A’) 不介于 (O) 和 (X) 之间的点（或采取等价定义）。希尔伯特没有预设任何测量工具，仅仅诉诸合同关系便实现了“截取定长”。唯一性的声明极其重要，因为它排除了模棱两可：你不能在同一射线上找到两个不同的点，使得它们与 (A’) 的连线都和原线段合同。这保证线段长度若存在度量，将是唯一的。

欧几里得在公设 III 中说“可以以任意中心和任意距离作圆”，这涉及动态作圆。而希尔伯特直接将迁移的结果的存在唯一性公理化，超越了作圆的动作，从而更抽象，也更强。

17.4.2 公理 III.2（线段合同的等价关系）

III.2：线段的合同关系是一个等价关系。即：

• (AB \equiv AB)（自反性）。
• 若 (AB \equiv CD)，则 (CD \equiv AB)（对称性）。
• 若 (AB \equiv CD) 且 (CD \equiv EF)，则 (AB \equiv EF)（传递性）。

自反性在直观上似乎多余——任何一个线段当然等于自身。但在希尔伯特的公理格局中，自反性是合同关系的逻辑起点，因为 III.1 只保证了从给定线段 (AB) 可以复制出与之合同的线段 (A’B’)，但并未声称 (AB) 自身与自己合同。希尔伯特列出了它，显示了对等价关系三律的全盘掌控。对称性和传递性则释放了比较的威力：通过传递性，我们可以连接一系列等长线段，建立长度等价类，这是测量理论的基础。

欧几里得的公理“等于同量的量彼此相等”在范围上含糊，希尔伯特将它精确限定在线段合同的传递性上，并加入了对称与自反，彻底封闭了这一等价关系。

17.4.3 公理 III.3（线段的加法）

III.3：设点 (B) 在点 (A) 和点 (C) 之间，点 (B’) 在点 (A’) 和点 (C’) 之间。若 (AB \equiv A’B’) 且 (BC \equiv B’C’)，则 (AC \equiv A’C’)。

这是“等量加等量，和相等”的精确几何表达。它使线段加法良定义：如果将线段 (AB) 和 (BC) “拼接”得到 (AC)，那么合同于这两部分的线段拼接后，其总和也与原总长相合同。公理 III.3 保证了线段的长度运算与分割方式无关，是后来在直线上引入加法和乘法的基础。

有了 III.1–III.3，我们便能严格定义线段的“小于”关系：(AB < CD) 当且仅当在线段 (CD) 内部存在一点 (E)（即 (C * E * D)）使得 (AB \equiv CE)。利用合同公理可以证明这是一个全序，且与加法相容。这是几何算术化的序结构前身。

17.4.4 公理 III.4（角的合同与迁移）

III.4：设给定一个角 (\angle(h, k))（即从点 (O) 出发的两条射线 (h, k)），以及一条直线 (a’) 上的射线 (h’) 和以 (a’) 为边的一个半平面。则在给定的半平面内，存在唯一一条射线 (k’) 使得 (\angle(h, k) \equiv \angle(h’, k’))。此外，每个角与自身合同。

这一公理是角的“复制”公理。它确保我们可以将任意角迁移到指定的射线和指定的一侧，且结果唯一。角的自身合同（自反性）被显式声明，保证了角合同的等价关系基础。希尔伯特将角视为由同一个端点出发的两条射线组成的无序对。这一看似简单的约定，避免了许多潜藏的歧义。例如，“角的大小”不依赖于射线的顺序，因此在叙述对称性时不会产生方向困扰。

角的唯一迁移是非常强的一个条件。它意味着如果我们将某个角 (\alpha) 在射线的指定侧复制两次，得到的第二条射线必定重合。这是所有角合同推理（如角相等传递性）的基石。

17.4.5 公理 III.5（SAS 全等）

III.5（边角边全等公理）：如果两个三角形 (ABC) 和 (A’B’C’) 满足
[
AB \equiv A’B’, \quad AC \equiv A’C’, \quad \angle BAC \equiv \angle B’A’C’,
]
那么这两个三角形全等，即
[
BC \equiv B’C’, \quad \angle ABC \equiv \angle A’B’C’, \quad \angle ACB \equiv \angle A’C’B’.
]

这是整个合同公理系统的拱顶石。在欧几里得体系中，SAS 是通过将三角形“叠合”到另一个三角形上，利用“重合”来证明其全等的（命题 I.4）。但正如第十六章所分析的，这种证明依赖于未被说明的刚性运动假定，逻辑上不能成立。希尔伯特的决定堪称神来之笔：他不去修补欧几里得那种可疑的“叠合证明”，而是将 SAS 本身提升为一条公理。这并非逃避，而是一次深刻的概念分析——他认识到，SAS 正是刻画平面刚性的最小核心条件，其余全等判定定理（ASA、SSS、AAS）都可以从它逻辑地推导出来，无需再调用任何运动概念。用公理化的术语说，III.5 是合同组里的“生成元”，它封装了几何中所有关于“由两边及夹角唯一确定三角形”的信息。

这一选择具有极大的方法论意义。希尔伯特证明，只要接受了关联、顺序、合同这几组公理，SAS 公理就足以驱动整个绝对几何的全等理论，而绝对几何中根本不存在全局的运动群，却依然能演绎出所有古典全等命题。这样，“运动”就从欧氏几何的证明基础中被完全移除，取而代之的是静态的合同关系之间的逻辑推演。二十世纪初，外尔、嘉当等人在李群与几何的纲领中重新将运动引入，但那已经是公理体系之外的更高观点，基础层面已不再需要。

17.4.6 合同公理的初步推论：等腰三角形定理与更多

定理 17.4.1（Pons Asinorum，等腰三角形底角相等）
在三角形 (ABC) 中，若 (AB \equiv AC)，则 (\angle ABC \equiv \angle ACB)。

证明：考虑三角形 (ABC) 和三角形 (ACB)（注意顶点顺序不同，但这仍是合法三角形，因为三点不共线由三角形定义保证）。已知 (AB \equiv AC) 且 (AC \equiv AB)（对称性），同时 (\angle BAC \equiv \angle CAB)（角合同的自反性）。根据 SAS 公理 III.5，这两个三角形全等。由全等定义，对应角 (\angle ABC) 与 (\angle ACB) 合同。∎

这个证明的优雅性在于，它完全没有引入任何辅助线，仅仅靠重新标记顶点就完成推理。欧几里得的证明（命题 I.5）需要构造延长线、截取相等线段，再应用 SAS 两次，烦琐且依赖更多直觉。希尔伯特的简证淋漓尽致地展示了公理选择的力量。

借助 SAS 及合同公理，我们可以继续严格证明：

• 等腰三角形顶角的平分线也是底边的中线和高（需先定义中点和垂直，后者通过邻补角合同定义直角）。
• 三角形的外角定理（在绝对几何中，外角大于不相邻的任一内角——需结合顺序公理与合同迁移）。
• ASA 与 SSS 全等定理。例如 ASA 的证明：用 III.4 迁移角，再结合 III.1 迁移边，化归为 SAS。
• 从而证明所有通常的全等情形，以及直角三角形全等判定（HL）等。

每一步证明都完全在公理的框架内进行，图形只是辅助理解的示意图，不再承担任何逻辑责任。这正是希尔伯特梦寐以求的：几何推理从“看图说话”进化为纯粹符号逻辑的演绎。

17.5 第四组：平行公理

希尔伯特采用普莱费尔在1795年提出的等价形式作为平行公理：

IV（平行公理）：设 (a) 是一条直线，(A) 是不在 (a) 上的一点。则在 (a) 和 (A) 所确定的平面内，至多有一条直线过 (A) 且与 (a) 不相交（即与 (a) 平行）。

“至多有一条”是平行公理的精髓。在仅用前四组公理（绝对几何）的情形下，可以证明至少有一条平行线存在——这一结果无需任何平行公理，仅靠顺序、合同公理即可推出。外角定理与交替内角定理在此扮演关键角色：若两条直线被第三条直线所截，且内错角相等，则它们不相交。据此，过直线外一点作一条内错角相等的直线即得一条平行线。因此，绝对几何中“平行线存在性”是一个定理，而不是公理。公理 IV 追加的是“至多一条”，即唯一性。两相叠加，过直线外一点恰有一条平行线，欧几里得几何便告确立。

欧几里得原始的第五公设表述冗长且不对称：“若一直线落在两直线上，使得同侧内角之和小于二直角，则这两直线无限延长后在这一侧相交。” 这一表述不仅逻辑形式复杂，还在两千年来不断遭人怀疑是否可从其他公设导出。普莱费尔形式的美感在于它的对称、简洁，并且在逻辑上清晰地分离了平行存在与平行唯一，使得平行公理与其他公理在风格上达成统一。希尔伯特将它作为第四组公理单独列出，更是为了突显平行公理的独立性：去掉它，得到双曲几何；换掉它，可探讨其他模型。公理系统因而成为探索几何多样性的精密工具。

在这里必须指出一个经常被忽视的历史细节：三角形内角和等于二直角的结论在绝对几何中并不能证明，它必须依赖平行公理（或者等价命题）。但反过来，平行公理的某些形式与内角和为180°的等价性，也需要阿基米德公理作为桥梁。萨凯里、兰伯特等人在18世纪对非欧几何的探索中已经隐约触及这种依赖关系，而希尔伯特则彻底厘清了平行公理、内角和与连续公理之间的逻辑连线，从而能以完全形式化的方式处理非欧几何模型。

17.6 第五组：连续公理

连续公理弥补了欧几里得对“交点存在性”和直线“无洞性”的沉默。尽管前四组公理已赋予直线稠密有序的结构，并提供了线段的比较运算，但它们尚不足以保证圆与直线一定相交，甚至不能保证线段的长度可以用实数度量（可能存在“不可公度”且不能逼近的缝隙）。希尔伯特给出两条：阿基米德公理和完备性公理。

17.6.1 公理 V.1（阿基米德公理）

V.1：设 (AB) 和 (CD) 是任意两个线段。那么在射线 (AB) 上存在有限个点 (A_1, A_2, \dots, A_n)，使得点 (A_1) 在 (A) 和 (A_2) 之间，(A_2) 在 (A_1) 和 (A_3) 之间，……，且线段 (AA_1, A_1A_2, \dots, A_{n-1}A_n) 都合同于 (CD)，同时点 (B) 在 (A) 和 (A_n) 之间。

简言之，无论线段 (CD) 多么短，只要将它首尾相接重复有限多次，总能超过任意预先给定的线段 (AB)。这排除了“无穷小”线段与“无穷大”线段不可比较的非阿基米德情形。历史上，阿基米德本人在《论球与圆柱》中曾明确使用这一性质，用以严格比较曲边形与直线形的面积。希尔伯特将其提升为几何公理，其重要性在于：没有它，无法证明相似三角形理论中经典的“等角对应边成比例”定理；事实上，存在非阿基米德几何模型，其中两三角形角相等但边不成比例（也就是没有通常的相似概念）。你可以想象一个几何世界，里面有一些“实无穷小”的长度，无论怎么重复都无法累积成普通长度，这个世界里相似性不成立——而这正是非阿基米德几何的典型特征。

阿基米德公理的另一本质作用是使线段的长度可被实数度量。有了它，线段长度的比值可以被有理数逼近，从而线段长度构成阿基米德有序域。希尔伯特证明，几何中前四组公理加上阿基米德公理，可以建立起不依赖于实数系的线段算术，进而引入坐标，但此时坐标域是一个阿基米德有序域，未必完备。要使其同构于实数域，还必须堵上缝隙，这需要第二条连续公理。

17.6.2 公理 V.2（完备性公理）

V.2：直线上的点集满足前述全部公理（关联、顺序、合同、阿基米德），并且不可能再添加新的点，使得扩充后的系统仍满足所有这些公理。

这一极大性表述是希尔伯特的神来之笔。它不借助任何解析工具，完全用公理系统的语言定义了“完备”：直线上已经挤满了所有可能的点，容不下任何新的对象否则公理会失效。等价地，如果用现代语言，在阿基米德公理成立的前提下，公理 V.2 精确等价于直线的戴德金完备性：直线上每个戴德金分割恰好确定一个点。也等价于康托的闭区间套定理（任意收缩的闭区间套具有非空交集且为单点），或者柯西列的收敛性。

希尔伯特采取这种表述，是因为他希望在几何系统内部谈论完备，而不事先引入实数。在他的算术化步骤中，一旦在直线上选定了0和1，由阿基米德和完备性就能证明直线上的点与实数集 (\mathbb{R}) 之间存在保序的域同构。换言之，公理 V.2 保证了“没有缝隙”，从而任何以这条直线为基础建立的坐标系都同构于实平面。

连续公理的直接威力：它可以证明圆与直线的交点的存在性。在欧几里得那里，作等边三角形时，默认以线段两端为心、线段长为半径的两圆必定相交，这只是图形的暗示。希尔伯特通过完备性严格证明了：若在直线上存在圆内部的点，也存在圆外部的点，则根据线序的戴德金性质，直线必定与圆相交于一点。这是连续公理的最直观应用。同样，圆与圆相交、任意角的三等分是否可能等问题都依赖直线的连续性质。没有完备性，我们甚至不能保证正方形对角线的存在（虽然合同公理提供了线段复制，但无法保证用圆的交点作出的那个点确实存在于直线上）。完备性公理是一切“几何作图”合法性的终极裁判。

我们可以用今天模型论的语言更生动地说明这一点：前四组公理加上阿基米德公理有一个著名的可数模型——代数数平面，其中点的坐标都是代数数。在这个模型里，所有公理（除完备性外）都成立，直线是无缝的稠密有序集，但你会惊讶地发现：以 ((0,0)) 为圆心、以 ((1,1)) 到原点距离为半径的圆，与 (x) 轴的交点坐标是 (\sqrt{2})，而 (\sqrt{2}) 不在代数数平面内！这意味着这个圆与 (x) 轴在模型内根本没有交点。欧几里得式的圆规作图在这个世界里会失效。完备性公理的作用，正是通过宣告直线的点已经“不能再增加”，一劳永逸地将这类幽灵交点驱逐出境。

17.7 公理系统的范畴性与几何算术化

希尔伯特在完成公理陈述后，证明了两个在现代数学中影响深远的元数学定理。

定理 17.7.1（几何算术化）
满足全部五组公理的平面几何中，可以在直线上定义加法与乘法运算，使得直线上的点构成一个完备有序域。该域同构于实数域 (\mathbb{R})。

构造思想：选定直线上的两点 (O) 和 (E)，分别标记为 (0) 和 (1)。对于直线上的任意两点 (P, Q)，我们可以纯几何地定义它们的“和” (P+Q)。方法如下：若 (P, Q) 与 (O) 共线，通过线段的合同与迁移，将线段 (OQ) 接在 (OP) 的延长线上，所得终点即为和点。加法的结合律与交换律可由合同公理（特别是 III.3）和顺序公理证明。乘法的定义则精巧得多：需要借助平行公理构造相似三角形。在平面上取定两条过 (O) 的辅助直线，在其中一条上标记单位点 (E)，然后利用平行射影将线段长度进行比例运算。具体而言，对于线段 (a, b)，构造比例 (1 : a = b : x)，则 (x) 就是 (a \cdot b)。要使这一定义良好且满足域公理，必须用到帕斯卡定理或笛沙格定理，而这些定理在希尔伯特体系中恰恰可以通过平行公理与合同公理推导出来（这一事实本身也是一项深刻成就：笛沙格定理可以在没有连续公理的绝对几何中证明，而帕斯卡定理则需要阿基米德公理或连续公理）。一旦乘法的结合律、交换律和分配律得以验证，直线上的点连同加法和乘法就构成了一个有序域。阿基米德公理 V.1 保证这个域是阿基米德有序域；完备性公理 V.2 则进一步使其成为完备有序域。而实数的著名唯一性定理宣告：任何完备有序域都同构于实数域 (\mathbb{R})。因此，平面上的点等同于实数对 ((x,y))，直线等同于线性方程的解集，整个平面几何成为 (\mathbb{R}^2) 上的解析几何。

这一结果不仅为解析几何提供了牢固的公理基础，更揭示了几何与代数的深层统一：正是连续公理让几何“算术化”成为可能，将数与形彻底焊接在一起。希尔伯特在《几何基础》中曾说：“一切几何命题最终都可以转化为关于实数的命题。” 这个断言在公理体系内得到了严格兑现。

定理 17.7.2（范畴性）
希尔伯特的平面几何公理是范畴的：任何两个满足全部五组公理的模型都同构。换言之，在同构意义下，希尔伯特平面几何只有唯一的一个模型——(\mathbb{R}^2) 上通常的欧氏几何。

这完成了欧几里得的终极梦想：他的几何学被证明是在同构意义下唯一确定的。当然，这一唯一性取决于你接受所有五组公理。如果不接受完备性，你可以得到可数坐标模型（如代数数平面）或非阿基米德模型；不接受平行公理，则得到双曲几何；不接受阿基米德公理，则得到非阿基米德几何（其中相似理论崩溃）。希尔伯特揭示了“欧氏几何”并非一个模糊的传统概念，而是一组精确公理的逻辑后承，而公理的任何削弱都会释放出之前被捆绑在一起的新的几何世界。几何的多样性被精确地映射为公理的选择权，这是公理化方法最辉煌的胜利。

17.8 小结：五组公理的逻辑网络

希尔伯特的二十条公理构成了一张严谨的逻辑网络，每一组都有其明确的分工，且彼此依赖形成有机整体。可总结如下：

这五组公理共同构成了欧几里得几何学的完整逻辑基础。它们环环相扣：合同公理依赖顺序公理定义射线和角，平行公理依赖关联公理定义“不相交”，而连续公理中的阿基米德叙述依赖顺序定义线段的重复叠加，完备性公理则对整个公理集的模型施加极大性限制。任何一环的缺失都会导致证明链条断裂，或产生不同的几何模型。希尔伯特通过这种模块化设计，使得公理系统不仅可以刻画标准欧氏几何，还提供了通过移除或修改公理来研究非欧几何、非阿基米德几何等变种的统一框架。

17.9 结语：从二十条公理到全部几何

希尔伯特的五组二十条公理，终结了自欧几里得以来延续两千余年的几何基础危机。点、直线、平面不再是幽灵般的半哲学概念，而纯粹是被公理关系所约束的形式对象。任何满足这些公理的集合族——“椅子、桌子、啤酒杯”——都自动拥有欧氏几何的全部定理。这种思想的解放，为数学的形式主义运动注入了灵魂，也直接推动模型论和证明论的诞生。希尔伯特在1900年提出的23个问题中，第二问题关于算术公理无矛盾性的证明，第六问题关于物理学公理化，均以此为蓝本。

本章我们全面呈现了这五组公理的全貌，并初步演示了如何在合同公理下证明等腰三角形定理。我们看到了顺序公理如何将以往依靠直觉的“内部”“中间”等概念手术刀般剖析，合同公理如何以SAS为轴心撑起全等理论，连续公理如何以极大性条件驯服无穷并实现与实数的同构。这些公理不是对直觉的简单翻译，而是一次重新发明：它们重新发明了直线、顺序、长度、平行与连续。

在第十八章，我们将踏入绝对几何的内核，在不预设平行公理的前提下，证明外角定理、平行线的存在性、ASA与SSS全等定理、三角形内角和的深刻性质，并在严格证明的基础上揭示平行公理与“三角形内角和为二直角”的等价性。当推导的链条一环扣一环从二十条公理向前推进时，我们将亲历逻辑的交响：希尔伯特的公理正是这场演绎交响乐的完美总谱，每一个音符都不可替代，每一个休止都意味深长。