第十七章 希尔伯特平面几何公理全貌引言重建几何的逻辑圣殿第十六章我们细致解剖了欧几里得《几何原本》的逻辑缺陷关联关系语焉不详“介于”概念完全缺失合同判定依赖非法的“重合”操作连续性假设隐而不宣。两千年来无数数学家试图修补这些漏洞——从阿基米德对长度比较的精细分析到帕施在1882年提出的“介于”公理再到皮亚诺、意大利学派对几何基础的梳理——但这些努力始终是零敲碎打。直到1899年大卫·希尔伯特的《几何基础》出版才完成了这场逻辑重建的壮举。这一年哥廷根大学的一位数论与不变量理论大师转战几何基础彻底改变了数学的面貌。要真正理解希尔伯特革命的深度我们必须先明白十九世纪末数学界的精神氛围。非欧几何的发现已经打碎了康德所谓“欧氏几何是空间先天直观”的哲学信条。高斯、罗巴切夫斯基、鲍耶证明了平行公设的独立性黎曼更是开启了弯曲空间的一般研究。然而一个更为棘手的难题随之暴露当人们试图严格检查欧几里得的全部证明时发现即便是最基础的命题——例如第一命题“在给定线段上作等边三角形”——也默认了两个圆的交点存在而此存在性在欧氏公设中毫无根据。莫里茨·帕施在1882年的《新几何学讲义》中第一个大声疾呼“如果几何真要成为一门演绎科学那么推理过程绝不能在任何地方求助于对图形的直观而必须完全独立于图形。”他由此提出了几何中“介于”概念的一组公理但尚未形成一个完全封闭的系统。皮亚诺、韦罗内塞等人也各自尝试但都无法同时兼顾关联、顺序、合同和连续这四大维度。希尔伯特的天才在于他设计出一套精简到极致、却又纤密无间的公理网络。他没有选择在欧几里得的旧地基上修修补补而是从零开始用现代的、公理化的精神重新定义了什么是“几何学”。他抛弃了“点是没有部分的”“线是没有宽度的”这类既非精确定义、又不能在证明中加以形式操作的伪定义代之以纯粹的公理关系点、直线、平面不是由定义说明的实体而是由公理刻画其相互关系的“未定义概念”。这一革命性思想直接启发了二十世纪数学公理化运动波及代数、拓扑、概率直至今天的范畴论与模型论。希尔伯特在《几何基础》序言中提出的名言——“我们必须始终能用‘桌子、椅子、啤酒杯’来代替‘点、直线、平面’”——不仅是一句俏皮话而是宣告数学的真理不在于对象的内在本质而在于公理关系的无矛盾性。它预言了后来形式主义学派的全部纲领也为布尔巴基的结构主义哲学铺平了道路。本章将全面展开希尔伯特的平面几何公理体系。我们仍以点、直线、平面作为基本对象以“关联”点在直线上、“介于”一点在两点之间、“合同”线段等长、角等大作为基本关系外加平行公理与连续公理。希尔伯特将它们组织为五组共二十条公理——也有计数为二十一条视乎是否单列某些次级公理。我们将逐条陈述并详细阐明每条公理的直观含义与其填补的欧氏漏洞同时深入挖掘公理之间的逻辑依赖关系展示它们在绝对几何的推导中如何精密咬合。全章将穿插具体几何定理的严格推演以展现公理如何驱动真正无懈可击的证明。读者将亲眼看到曾经被欧几里得凭借直觉蒙混过关的每一步——从“两点确定一直线”到“延长线段”从“三角形全等”到“圆与直线必相交”——如今都在关联、顺序、合同、连续的严密牢笼中获得了无可挑剔的合法性。我们还将揭示这些公理如何自然地引向几何算术化与坐标化证明希尔伯特平面几何本质上就是实数域上的欧氏平面从而完成欧几里得“唯一几何”的古老理想。17.1 希尔伯特公理的蓝图三组基本对象与五种基本关系17.1.1 未定义的基本概念希尔伯特体系的第一个重大革新在于坦然接受“未定义概念”。他在《几何基础》开篇便写道“我们设想三组不同的对象点、直线、平面。……我们并不定义这些对象而只规定它们之间的相互关系。”这正是现代公理化的核心精神公理系统不对基本概念做任何内容上的预设一切性质都由公理赋予。因此“点”“直线”“平面”可以被替换为任何满足公理的对象集合——正如他后来在讨论射影几何时打趣的那样“我们应当能够用‘爱、法律、烟囱清扫工’来代替点、直线、平面。” 这并非戏谑而是昭示在公理化理论中术语的内涵被彻底抽空唯有公理所约束的关系具有数学意义。几何学从此不再是关于“真实空间”的实证科学而是关于满足公理集合的任何抽象结构的演绎理论。这种态度的哲学后果极为深远。它意味着当我们证明一个几何定理时我们实际上证明了一条普遍的逻辑蕴含在任何满足希尔伯特公理的结构中该定理为真。点可以是实数对也可以是某抽象集的元素直线可以是满足线性方程的集合也可以是满足某关联关系规定的特殊子集。希尔伯特的公理系统因而定义了现代意义上的“模型类”。事实上希尔伯特本人在1900年巴黎国际数学家大会上提出的第二个问题正是关于算术公理无矛盾性的其背后的思想直接源于几何公理化的成功——因为要证明几何公理无矛盾他将其化为实数系的无矛盾性从而把几何的无矛盾性归结为分析再归结为算术。这种“相对无矛盾性证明”的策略正是后来证明论的先驱也凸显了公理方法在数学基础中的核心地位。在平面几何中我们主要关注点与直线。完整体系包括空间公理但希尔伯特精明地指出平面几何可以独立公理化并且绝大部分关键思想关联、顺序、合同、平行、连续在二维情形已悉数登场。这正是我们集中于此的原因。17.1.2 五种基本关系希尔伯特公理涉及五种基本关系关联点与直线之间的关系——“点在直线上”或“直线经过点”。记作 (A \in a) 或 (a) 过 (A)。这是最基本的存在与隶属关系一切图形构造的基础。介于三个共线点之间的关系——“点 (B) 在点 (A) 与点 (C) 之间”。记作 (A * B * C)。这一关系是希尔伯特公理体系中最具原创性的部分它赋予直线以序结构。线段的合同两个线段之间的关系——“线段 (AB) 等于线段 (CD)”。记作 (AB \equiv CD)。它刻画了刚性的长度等价。角的合同两个角之间的关系——“角 (\alpha) 等于角 (\beta)”。记作 (\angle\alpha \equiv \angle\beta)。平行两条直线之间的关系——“直线 (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.1I.1对于任意两点 (A) 和 (B)存在一条直线 (a)使得 (A) 和 (B) 都在 (a) 上。这条公理直接对应欧几里得公设 I 的“可作直线”部分。它断言任何两点至少可被一条直线连接。在欧几里得那里这条公设的叙述是“从任意一点到任意一点可作一直线”。但“作”这个词暗含了一种操作或构造仿佛直线的存在依赖于我们的作图行动。希尔伯特将之变成纯粹的存在性陈述不论我们是否实际画出满足条件的直线客观存在。这使几何从“作图术”升格为关于抽象结构的客观真理体系。注意这里并未断言唯一性——唯一性由下一条公理给出。希尔伯特巧妙地将欧几里得的一条公设拆分为存在性和唯一性两条公理因为它们在逻辑上具有不同的作用且在某些非欧几何模型中如球面几何若以大圆为“直线”过两点存在无数条“直线”存在性仍可能成立而唯一性不成立。拆解之后我们可以精确分析改变唯一性条件所产生的几何这是公理方法赋予的灵活性。17.2.2 公理 I.2I.2对于任意两个不同的点 (A) 和 (B)至多有一条直线同时经过它们。结合 I.1 和 I.2我们得到过两个不同点存在且仅存在一条直线。这就明确排除了欧几里得体系中的歧义——“两点确定一直线”这个习惯说法在此获得严格形式。“至多一条”的表述也比笼统的“唯一”更精确地分离出唯一性这条独立的逻辑线索。若仅保留 I.1 而拒绝 I.2我们可能得到一种“多直线”几何其中两点之间可能存在多于一条关联直线。这在射影平面上并不成立但在某些有限几何或抽象关联结构中确有模型。希尔伯特以最节俭的方式将欧氏特征固定下来。17.2.3 公理 I.3I.3每条直线上至少有两个点。至少存在三个点不共线。前一句保证直线不是“退化”的每条直线至少有两个点这是讨论“介于”和线段的先决条件。你无法谈论一段只有一个点的“线段”因此直线上至少两点的公理是顺序公理的前提。后一句保证平面的“非退化”不是所有点都在一条直线上从而平面真正是二维的。欧几里得从未显式断言存在不共线的三点尽管这在讨论三角形时被隐式使用。希尔伯特将这种“隐而不言”的前提明确列出显示出他对逻辑完整性的极端执着。关联公理的推论两条不同的直线至多交于一点。若它们有两个公共点由 I.2 它们必须重合。这避免了欧几里得体系中“直线相交但交点多于一个”的歧义——事实上如果没有这一推论欧几里得对“角”的定义将失去根基因为两条直线若可在两点相交则其所夹的区域不止一个角的唯一性将无法保证。现代注解在关联几何的抽象理论中关联公理 I.1–I.3 定义了一类称为“线性空间”的结构。有限射影平面就是满足特定附加条件的有限线性空间。希尔伯特的处理是此类抽象理论的原型。特别地I.3 中的“至少三点不共线”排除了所有点共线的退化情形在模型论中这是确保维度为2的典型手段。如果我们只取 I.1 和 I.2而放弃 I.3 的第二部分就可能得到一条直线构成整个“平面”的退化模型希尔伯特显然需要排除这种无趣的特例。17.3 第二组顺序公理顺序公理是希尔伯特对欧几里得体系最关键的补充其重要性怎么强调都不为过。欧几里得的整个证明体系之所以频频诉诸图形直观根本原因就在于缺乏“介于”的逻辑刻画。希尔伯特从帕施Moritz Pasch1882年的工作出发将顺序概念提升为一组自洽的公理首次严格刻画了直线上点的“介于”关系并描述了直线如何将平面一分为二。17.3.1 “介于”关系的基本记号记 (A * B * C) 为“点 (B) 在点 (A) 和点 (C) 之间”。注意这个关系仅对共线点有定义。未共线的三点不能进入介于关系。这一定义性限制本身就需要秩序公理来赋予意义我们稍后会定义“直线”和“共线”并基于 II.1 声明该关系只发生于共线点间。17.3.2 公理 II.1II.1若点 (B) 在点 (A) 和点 (C) 之间则 (A, B, C) 是共线的三个不同的点并且 (B) 也在 (C) 和 (A) 之间。这条公理确立了“介于”的第一个基本性质对称性。它表明“介于”是无向的——如果 (B) 在 (A) 和 (C) 之间那么它也在 (C) 和 (A) 之间。这排除了某种“有向线段”的直觉顺序关系不依赖于方向。在现代序理论中这相当于“介于”关系是对称的并在下文的公理组合下诱导出一个严格的线性序。同时它强调三点必须共线且互异防止了将不在同一直线上的点纳入介于关系保证了“介于”是直线上的一种内部结构。17.3.3 公理 II.2II.2对于任意两点 (A) 和 (C)在直线 (AC) 上总存在点 (B) 使得 (C) 在 (A) 和 (B) 之间即 (A * C * B)。也存在点 (D) 使得 (D) 在 (A) 和 (C) 之间即 (A * D * C)。这条公理蕴涵两层深意向外延伸直线可以无限延伸给定线段 (AC)可以在 (C) 之外找到更远的点 (B)即 (A * C * B)。这对应欧几里得公设 II 的“有限直线可以不断延长”。但希尔伯特表述明确延长的结果是在同一直线上存在更远的点无需任何操作隐喻。内部存在点稠密性任意两点之间总存在第三个点。这表明直线上不存在“相邻”的两点——这是连续统的序性质。即使在没有连续公理时顺序公理已保证了直线上点的稠密分布。也就是说直线永远不会只有离散的、紧邻的点对因为总能在两者之间再插入一点。这一性质与欧几里得的“直线”直观一致但在古代从未明确表述希尔伯特将其固定为公理。值得注意的是II.2 提供的内部点存在性并没有说线段上只有可数多个点它仅仅断言了稠密性而无关于完备性。要保证直线上没有“洞”仍需第五组连续公理。17.3.4 公理 II.3II.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.5SAS 全等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.1Pons 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)我们可以纯几何地定义它们的“和” (PQ)。方法如下若 (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 小结五组公理的逻辑网络希尔伯特的二十条公理构成了一张严谨的逻辑网络每一组都有其明确的分工且彼此依赖形成有机整体。可总结如下公理组解决的问题对应欧氏缺陷逻辑依赖关联 I.1–I.3点线存在性、唯一性、平面非退化公设 I 语焉不详“直线上至少两点”缺失无依赖基础顺序 II.1–II.4直线上点的序直线分割平面“介于”完全缺失交点位置靠图形判断依赖关联定义共线、直线合同 III.1–III.5线段和角等价的静态刻画公理 4 的“重合”循环SAS 非法移动依赖顺序定义射线、线段、半平面、角平行 IV平行线唯一性公设 V 的纠结表述与独立性谜团依赖关联定义“不相交”与合同、顺序结合导出等价命题连续 V.1–V.2直线无洞、交点存在、与实数同构圆与直线交点默认存在不可公度比逃避依赖顺序定义线段叠加依赖合同、关联等全部这五组公理共同构成了欧几里得几何学的完整逻辑基础。它们环环相扣合同公理依赖顺序公理定义射线和角平行公理依赖关联公理定义“不相交”而连续公理中的阿基米德叙述依赖顺序定义线段的重复叠加完备性公理则对整个公理集的模型施加极大性限制。任何一环的缺失都会导致证明链条断裂或产生不同的几何模型。希尔伯特通过这种模块化设计使得公理系统不仅可以刻画标准欧氏几何还提供了通过移除或修改公理来研究非欧几何、非阿基米德几何等变种的统一框架。17.9 结语从二十条公理到全部几何希尔伯特的五组二十条公理终结了自欧几里得以来延续两千余年的几何基础危机。点、直线、平面不再是幽灵般的半哲学概念而纯粹是被公理关系所约束的形式对象。任何满足这些公理的集合族——“椅子、桌子、啤酒杯”——都自动拥有欧氏几何的全部定理。这种思想的解放为数学的形式主义运动注入了灵魂也直接推动模型论和证明论的诞生。希尔伯特在1900年提出的23个问题中第二问题关于算术公理无矛盾性的证明第六问题关于物理学公理化均以此为蓝本。本章我们全面呈现了这五组公理的全貌并初步演示了如何在合同公理下证明等腰三角形定理。我们看到了顺序公理如何将以往依靠直觉的“内部”“中间”等概念手术刀般剖析合同公理如何以SAS为轴心撑起全等理论连续公理如何以极大性条件驯服无穷并实现与实数的同构。这些公理不是对直觉的简单翻译而是一次重新发明它们重新发明了直线、顺序、长度、平行与连续。在第十八章我们将踏入绝对几何的内核在不预设平行公理的前提下证明外角定理、平行线的存在性、ASA与SSS全等定理、三角形内角和的深刻性质并在严格证明的基础上揭示平行公理与“三角形内角和为二直角”的等价性。当推导的链条一环扣一环从二十条公理向前推进时我们将亲历逻辑的交响希尔伯特的公理正是这场演绎交响乐的完美总谱每一个音符都不可替代每一个休止都意味深长。
数学公理体系大全:第十七章 希尔伯特平面几何公理全貌
发布时间：2026/7/21 2:47:27
第十七章 希尔伯特平面几何公理全貌引言重建几何的逻辑圣殿第十六章我们细致解剖了欧几里得《几何原本》的逻辑缺陷关联关系语焉不详“介于”概念完全缺失合同判定依赖非法的“重合”操作连续性假设隐而不宣。两千年来无数数学家试图修补这些漏洞——从阿基米德对长度比较的精细分析到帕施在1882年提出的“介于”公理再到皮亚诺、意大利学派对几何基础的梳理——但这些努力始终是零敲碎打。直到1899年大卫·希尔伯特的《几何基础》出版才完成了这场逻辑重建的壮举。这一年哥廷根大学的一位数论与不变量理论大师转战几何基础彻底改变了数学的面貌。要真正理解希尔伯特革命的深度我们必须先明白十九世纪末数学界的精神氛围。非欧几何的发现已经打碎了康德所谓“欧氏几何是空间先天直观”的哲学信条。高斯、罗巴切夫斯基、鲍耶证明了平行公设的独立性黎曼更是开启了弯曲空间的一般研究。然而一个更为棘手的难题随之暴露当人们试图严格检查欧几里得的全部证明时发现即便是最基础的命题——例如第一命题“在给定线段上作等边三角形”——也默认了两个圆的交点存在而此存在性在欧氏公设中毫无根据。莫里茨·帕施在1882年的《新几何学讲义》中第一个大声疾呼“如果几何真要成为一门演绎科学那么推理过程绝不能在任何地方求助于对图形的直观而必须完全独立于图形。”他由此提出了几何中“介于”概念的一组公理但尚未形成一个完全封闭的系统。皮亚诺、韦罗内塞等人也各自尝试但都无法同时兼顾关联、顺序、合同和连续这四大维度。希尔伯特的天才在于他设计出一套精简到极致、却又纤密无间的公理网络。他没有选择在欧几里得的旧地基上修修补补而是从零开始用现代的、公理化的精神重新定义了什么是“几何学”。他抛弃了“点是没有部分的”“线是没有宽度的”这类既非精确定义、又不能在证明中加以形式操作的伪定义代之以纯粹的公理关系点、直线、平面不是由定义说明的实体而是由公理刻画其相互关系的“未定义概念”。这一革命性思想直接启发了二十世纪数学公理化运动波及代数、拓扑、概率直至今天的范畴论与模型论。希尔伯特在《几何基础》序言中提出的名言——“我们必须始终能用‘桌子、椅子、啤酒杯’来代替‘点、直线、平面’”——不仅是一句俏皮话而是宣告数学的真理不在于对象的内在本质而在于公理关系的无矛盾性。它预言了后来形式主义学派的全部纲领也为布尔巴基的结构主义哲学铺平了道路。本章将全面展开希尔伯特的平面几何公理体系。我们仍以点、直线、平面作为基本对象以“关联”点在直线上、“介于”一点在两点之间、“合同”线段等长、角等大作为基本关系外加平行公理与连续公理。希尔伯特将它们组织为五组共二十条公理——也有计数为二十一条视乎是否单列某些次级公理。我们将逐条陈述并详细阐明每条公理的直观含义与其填补的欧氏漏洞同时深入挖掘公理之间的逻辑依赖关系展示它们在绝对几何的推导中如何精密咬合。全章将穿插具体几何定理的严格推演以展现公理如何驱动真正无懈可击的证明。读者将亲眼看到曾经被欧几里得凭借直觉蒙混过关的每一步——从“两点确定一直线”到“延长线段”从“三角形全等”到“圆与直线必相交”——如今都在关联、顺序、合同、连续的严密牢笼中获得了无可挑剔的合法性。我们还将揭示这些公理如何自然地引向几何算术化与坐标化证明希尔伯特平面几何本质上就是实数域上的欧氏平面从而完成欧几里得“唯一几何”的古老理想。17.1 希尔伯特公理的蓝图三组基本对象与五种基本关系17.1.1 未定义的基本概念希尔伯特体系的第一个重大革新在于坦然接受“未定义概念”。他在《几何基础》开篇便写道“我们设想三组不同的对象点、直线、平面。……我们并不定义这些对象而只规定它们之间的相互关系。”这正是现代公理化的核心精神公理系统不对基本概念做任何内容上的预设一切性质都由公理赋予。因此“点”“直线”“平面”可以被替换为任何满足公理的对象集合——正如他后来在讨论射影几何时打趣的那样“我们应当能够用‘爱、法律、烟囱清扫工’来代替点、直线、平面。” 这并非戏谑而是昭示在公理化理论中术语的内涵被彻底抽空唯有公理所约束的关系具有数学意义。几何学从此不再是关于“真实空间”的实证科学而是关于满足公理集合的任何抽象结构的演绎理论。这种态度的哲学后果极为深远。它意味着当我们证明一个几何定理时我们实际上证明了一条普遍的逻辑蕴含在任何满足希尔伯特公理的结构中该定理为真。点可以是实数对也可以是某抽象集的元素直线可以是满足线性方程的集合也可以是满足某关联关系规定的特殊子集。希尔伯特的公理系统因而定义了现代意义上的“模型类”。事实上希尔伯特本人在1900年巴黎国际数学家大会上提出的第二个问题正是关于算术公理无矛盾性的其背后的思想直接源于几何公理化的成功——因为要证明几何公理无矛盾他将其化为实数系的无矛盾性从而把几何的无矛盾性归结为分析再归结为算术。这种“相对无矛盾性证明”的策略正是后来证明论的先驱也凸显了公理方法在数学基础中的核心地位。在平面几何中我们主要关注点与直线。完整体系包括空间公理但希尔伯特精明地指出平面几何可以独立公理化并且绝大部分关键思想关联、顺序、合同、平行、连续在二维情形已悉数登场。这正是我们集中于此的原因。17.1.2 五种基本关系希尔伯特公理涉及五种基本关系关联点与直线之间的关系——“点在直线上”或“直线经过点”。记作 (A \in a) 或 (a) 过 (A)。这是最基本的存在与隶属关系一切图形构造的基础。介于三个共线点之间的关系——“点 (B) 在点 (A) 与点 (C) 之间”。记作 (A * B * C)。这一关系是希尔伯特公理体系中最具原创性的部分它赋予直线以序结构。线段的合同两个线段之间的关系——“线段 (AB) 等于线段 (CD)”。记作 (AB \equiv CD)。它刻画了刚性的长度等价。角的合同两个角之间的关系——“角 (\alpha) 等于角 (\beta)”。记作 (\angle\alpha \equiv \angle\beta)。平行两条直线之间的关系——“直线 (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.1I.1对于任意两点 (A) 和 (B)存在一条直线 (a)使得 (A) 和 (B) 都在 (a) 上。这条公理直接对应欧几里得公设 I 的“可作直线”部分。它断言任何两点至少可被一条直线连接。在欧几里得那里这条公设的叙述是“从任意一点到任意一点可作一直线”。但“作”这个词暗含了一种操作或构造仿佛直线的存在依赖于我们的作图行动。希尔伯特将之变成纯粹的存在性陈述不论我们是否实际画出满足条件的直线客观存在。这使几何从“作图术”升格为关于抽象结构的客观真理体系。注意这里并未断言唯一性——唯一性由下一条公理给出。希尔伯特巧妙地将欧几里得的一条公设拆分为存在性和唯一性两条公理因为它们在逻辑上具有不同的作用且在某些非欧几何模型中如球面几何若以大圆为“直线”过两点存在无数条“直线”存在性仍可能成立而唯一性不成立。拆解之后我们可以精确分析改变唯一性条件所产生的几何这是公理方法赋予的灵活性。17.2.2 公理 I.2I.2对于任意两个不同的点 (A) 和 (B)至多有一条直线同时经过它们。结合 I.1 和 I.2我们得到过两个不同点存在且仅存在一条直线。这就明确排除了欧几里得体系中的歧义——“两点确定一直线”这个习惯说法在此获得严格形式。“至多一条”的表述也比笼统的“唯一”更精确地分离出唯一性这条独立的逻辑线索。若仅保留 I.1 而拒绝 I.2我们可能得到一种“多直线”几何其中两点之间可能存在多于一条关联直线。这在射影平面上并不成立但在某些有限几何或抽象关联结构中确有模型。希尔伯特以最节俭的方式将欧氏特征固定下来。17.2.3 公理 I.3I.3每条直线上至少有两个点。至少存在三个点不共线。前一句保证直线不是“退化”的每条直线至少有两个点这是讨论“介于”和线段的先决条件。你无法谈论一段只有一个点的“线段”因此直线上至少两点的公理是顺序公理的前提。后一句保证平面的“非退化”不是所有点都在一条直线上从而平面真正是二维的。欧几里得从未显式断言存在不共线的三点尽管这在讨论三角形时被隐式使用。希尔伯特将这种“隐而不言”的前提明确列出显示出他对逻辑完整性的极端执着。关联公理的推论两条不同的直线至多交于一点。若它们有两个公共点由 I.2 它们必须重合。这避免了欧几里得体系中“直线相交但交点多于一个”的歧义——事实上如果没有这一推论欧几里得对“角”的定义将失去根基因为两条直线若可在两点相交则其所夹的区域不止一个角的唯一性将无法保证。现代注解在关联几何的抽象理论中关联公理 I.1–I.3 定义了一类称为“线性空间”的结构。有限射影平面就是满足特定附加条件的有限线性空间。希尔伯特的处理是此类抽象理论的原型。特别地I.3 中的“至少三点不共线”排除了所有点共线的退化情形在模型论中这是确保维度为2的典型手段。如果我们只取 I.1 和 I.2而放弃 I.3 的第二部分就可能得到一条直线构成整个“平面”的退化模型希尔伯特显然需要排除这种无趣的特例。17.3 第二组顺序公理顺序公理是希尔伯特对欧几里得体系最关键的补充其重要性怎么强调都不为过。欧几里得的整个证明体系之所以频频诉诸图形直观根本原因就在于缺乏“介于”的逻辑刻画。希尔伯特从帕施Moritz Pasch1882年的工作出发将顺序概念提升为一组自洽的公理首次严格刻画了直线上点的“介于”关系并描述了直线如何将平面一分为二。17.3.1 “介于”关系的基本记号记 (A * B * C) 为“点 (B) 在点 (A) 和点 (C) 之间”。注意这个关系仅对共线点有定义。未共线的三点不能进入介于关系。这一定义性限制本身就需要秩序公理来赋予意义我们稍后会定义“直线”和“共线”并基于 II.1 声明该关系只发生于共线点间。17.3.2 公理 II.1II.1若点 (B) 在点 (A) 和点 (C) 之间则 (A, B, C) 是共线的三个不同的点并且 (B) 也在 (C) 和 (A) 之间。这条公理确立了“介于”的第一个基本性质对称性。它表明“介于”是无向的——如果 (B) 在 (A) 和 (C) 之间那么它也在 (C) 和 (A) 之间。这排除了某种“有向线段”的直觉顺序关系不依赖于方向。在现代序理论中这相当于“介于”关系是对称的并在下文的公理组合下诱导出一个严格的线性序。同时它强调三点必须共线且互异防止了将不在同一直线上的点纳入介于关系保证了“介于”是直线上的一种内部结构。17.3.3 公理 II.2II.2对于任意两点 (A) 和 (C)在直线 (AC) 上总存在点 (B) 使得 (C) 在 (A) 和 (B) 之间即 (A * C * B)。也存在点 (D) 使得 (D) 在 (A) 和 (C) 之间即 (A * D * C)。这条公理蕴涵两层深意向外延伸直线可以无限延伸给定线段 (AC)可以在 (C) 之外找到更远的点 (B)即 (A * C * B)。这对应欧几里得公设 II 的“有限直线可以不断延长”。但希尔伯特表述明确延长的结果是在同一直线上存在更远的点无需任何操作隐喻。内部存在点稠密性任意两点之间总存在第三个点。这表明直线上不存在“相邻”的两点——这是连续统的序性质。即使在没有连续公理时顺序公理已保证了直线上点的稠密分布。也就是说直线永远不会只有离散的、紧邻的点对因为总能在两者之间再插入一点。这一性质与欧几里得的“直线”直观一致但在古代从未明确表述希尔伯特将其固定为公理。值得注意的是II.2 提供的内部点存在性并没有说线段上只有可数多个点它仅仅断言了稠密性而无关于完备性。要保证直线上没有“洞”仍需第五组连续公理。17.3.4 公理 II.3II.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.5SAS 全等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.1Pons 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)我们可以纯几何地定义它们的“和” (PQ)。方法如下若 (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 小结五组公理的逻辑网络希尔伯特的二十条公理构成了一张严谨的逻辑网络每一组都有其明确的分工且彼此依赖形成有机整体。可总结如下公理组解决的问题对应欧氏缺陷逻辑依赖关联 I.1–I.3点线存在性、唯一性、平面非退化公设 I 语焉不详“直线上至少两点”缺失无依赖基础顺序 II.1–II.4直线上点的序直线分割平面“介于”完全缺失交点位置靠图形判断依赖关联定义共线、直线合同 III.1–III.5线段和角等价的静态刻画公理 4 的“重合”循环SAS 非法移动依赖顺序定义射线、线段、半平面、角平行 IV平行线唯一性公设 V 的纠结表述与独立性谜团依赖关联定义“不相交”与合同、顺序结合导出等价命题连续 V.1–V.2直线无洞、交点存在、与实数同构圆与直线交点默认存在不可公度比逃避依赖顺序定义线段叠加依赖合同、关联等全部这五组公理共同构成了欧几里得几何学的完整逻辑基础。它们环环相扣合同公理依赖顺序公理定义射线和角平行公理依赖关联公理定义“不相交”而连续公理中的阿基米德叙述依赖顺序定义线段的重复叠加完备性公理则对整个公理集的模型施加极大性限制。任何一环的缺失都会导致证明链条断裂或产生不同的几何模型。希尔伯特通过这种模块化设计使得公理系统不仅可以刻画标准欧氏几何还提供了通过移除或修改公理来研究非欧几何、非阿基米德几何等变种的统一框架。17.9 结语从二十条公理到全部几何希尔伯特的五组二十条公理终结了自欧几里得以来延续两千余年的几何基础危机。点、直线、平面不再是幽灵般的半哲学概念而纯粹是被公理关系所约束的形式对象。任何满足这些公理的集合族——“椅子、桌子、啤酒杯”——都自动拥有欧氏几何的全部定理。这种思想的解放为数学的形式主义运动注入了灵魂也直接推动模型论和证明论的诞生。希尔伯特在1900年提出的23个问题中第二问题关于算术公理无矛盾性的证明第六问题关于物理学公理化均以此为蓝本。本章我们全面呈现了这五组公理的全貌并初步演示了如何在合同公理下证明等腰三角形定理。我们看到了顺序公理如何将以往依靠直觉的“内部”“中间”等概念手术刀般剖析合同公理如何以SAS为轴心撑起全等理论连续公理如何以极大性条件驯服无穷并实现与实数的同构。这些公理不是对直觉的简单翻译而是一次重新发明它们重新发明了直线、顺序、长度、平行与连续。在第十八章我们将踏入绝对几何的内核在不预设平行公理的前提下证明外角定理、平行线的存在性、ASA与SSS全等定理、三角形内角和的深刻性质并在严格证明的基础上揭示平行公理与“三角形内角和为二直角”的等价性。当推导的链条一环扣一环从二十条公理向前推进时我们将亲历逻辑的交响希尔伯特的公理正是这场演绎交响乐的完美总谱每一个音符都不可替代每一个休止都意味深长。
