第十八章 基于希尔伯特公理的经典定理证明引言从公理到定理的严格演绎第十七章完整陈述了希尔伯特的五组二十条平面几何公理。这些公理构筑了一架精密的逻辑机器——它不依赖任何图形直觉只等待我们将具体的几何问题输入便能输出无可争议的证明。本章的任务正是启动这架机器让它在古典几何的广阔疆域中留下严谨而优美的轨迹。我们的征程将分三个阶段展开。第一阶段在仅依赖前四组公理关联、顺序、合同的绝对几何中航行不假设平行公理推导出一系列普适真理。这些定理在欧氏几何与双曲几何中同时成立构成了所有“中性”几何的共同基石。第二阶段引入平行公理进入欧氏几何的专属领地见证内错角定理、内角和定理以及它们与平行公理的深刻等价性。第三阶段借助连续公理严格建立比例理论与相似三角形最终抵达整个古典几何的桂冠——勾股定理。全章将贯彻一个原则每一步推理都必须明确标出所依据的公理或已证定理。我们的目标不仅是证明这些经典结论更是让读者亲眼见证整座古典几何的大厦如何从几页公理中毫不动摇地拔地而起。在这个过程中希尔伯特如何用帕施公理填补欧几里得“看图说话”的逻辑鸿沟将成为最精彩的篇章之一。18.1 绝对几何中的基本概念与辅助定理绝对几何建立在公理 I关联、II顺序、III合同之上。在这片公理土壤里我们需要先培育出一系列基本概念工具才能为后续定理的证明铺平道路。18.1.1 半平面定理帕施公理的威力欧几里得在证明中频繁使用“点的某一侧”却从未定义何为“侧”。希尔伯特用帕施公理II.4填补了这一缺失其核心成果便是平面分割定理。定理 18.1.1平面分割定理平面上的任一直线 (a) 将不在其上的点分成两个非空的半平面满足同一半平面内任意两点所连的线段与 (a) 不相交不同半平面内的任意两点所连的线段与 (a) 相交。证明概要详尽展示公理运用定义不在 (a) 上的两点 (P, Q) 具有关系 (\sim)当且仅当线段 (PQ) 与 (a) 不相交。我们证明 (\sim) 是一个等价关系且恰有两个等价类。自反性与对称性由定义直接可得。传递性设 (P \sim Q) 且 (Q \sim R)需证 (P \sim R)。若 (P, Q, R) 三点不共线考察 (\triangle PQR)。直线 (a) 与线段 (PQ) 和 (QR) 均不相交。根据帕施公理II.4若一条直线不通过三角形的任何顶点且与三角形的一条边相交则必与另一条边相交。由于 (a) 不与 (PQ) 和 (QR) 相交它也不能与 (PR) 相交。因此 (P \sim R)。若 (P, Q, R) 共线则可通过公理 II.2 和 II.3 构造辅助点转化为三角形情形此处细节从略。恰有两个等价类任取不在 (a) 上的一点 (A)。由公理 II.2在直线 (a) 上任取一点 (O)可在 (AO) 的延长线上取点 (A’) 使得 (A * O * A’)则线段 (AA’) 与 (a) 交于 (O)故 (A \not\sim A’)。对任意不在 (a) 上的点 (B)考虑它与 (A) 和 (A’) 的关系。通过反复应用帕施公理可证 (B) 必与 (A) 或 (A’) 之一等价且不可能同时与两者等价。因此恰有两个等价类每个称为一个半平面。(\square)这个定理看似平淡无奇却是整个有序几何的基石。从此以后“半平面”成为一个有严格定义的数学对象“在直线的某一侧”不再是直觉的奴仆而是公理的产物。18.1.2 角的内部两个半平面的交有了半平面角的内部定义便水到渠成。设 (\angle AOB) 是由不共线的射线 (\overrightarrow{OA}) 和 (\overrightarrow{OB}) 构成的角。考虑直线 (OA) 和直线 (OB) 各自分割出的半平面直线 (OA) 将平面分成两个半平面其中一个包含点 (B)记作 (H_{OA}(B))。直线 (OB) 将平面分成两个半平面其中一个包含点 (A)记作 (H_{OB}(A))。定义 (\angle AOB) 的内部为这两个半平面的交集[\operatorname{Int}(\angle AOB) H_{OA}(B) \cap H_{OB}(A).]这个定义完全摆脱了图形直观我们不需要“看”角的两边之间是什么只需判断一个点是否在指定直线的指定半平面内。可以证明角的内部非空、凸内部任意两点连线仍在内部且射线上的点除顶点外都不在内部。这些性质为后续“一条射线是否在角内”的严格判定奠定了基础。欧几里得在外角定理证明中仅凭肉眼判断“点 (E) 在角内”正是缺少了这一套半平面演算。18.1.3 线段与角的比较合同公理提供了比较线段大小的工具。对于线段 (AB) 和 (CD)定义 (AB CD)(AB) 短于 (CD)当且仅当在线段 (CD) 内部存在一点 (E)(C * E * D)使得 (CE \equiv AB)。利用 III.3线段合同的加减和顺序公理可以证明线段的大小关系是一个严格全序且与合同关系相容若 (AB \equiv A’B’) 且 (CD \equiv C’D’)则 (AB CD \iff A’B’ C’D’)。角的比较同样基于迁移公理 III.4。定义 (\angle (h,k) \angle (h’,k’)) 当且仅当存在一条位于 (\angle (h’,k’)) 内部的射线 (l)从顶点出发使得 (\angle (h’,l) \equiv \angle (h,k))。角迁移的唯一性保证了这种比较的传递性若 (\alpha \beta) 且 (\beta \gamma)则 (\alpha \gamma)。这些比较关系使得我们可以谈论“大于”“小于”并为外角定理的陈述“外角大于不相邻内角”提供了精确的语言。18.1.4 邻补角、对顶角与直角两条相交直线在交点处形成四个角。若两个角共享一条射线且另两条射线构成一条直线则称它们互为邻补角。由 III.4 和 III.5 可证定理 18.1.2对顶角合同若两直线相交则对顶角相等。符号表示若直线 (AB) 与 (CD) 交于 (E)则 (\angle AEC \equiv \angle BED)。证明思路观察 (\angle AEC) 与 (\angle AED) 是邻补角(\angle BED) 与 (\angle AED) 也是邻补角。利用合同公理 III.4 和 III.5 可以证明若两个角分别与同一个角合同则它们彼此合同。此处需要用到“邻补角合同则角本身合同”的引理可由 SAS 推出。(\square)基于邻补角我们可以定义直角若一个角与其邻补角合同则称该角为直角。在绝对几何中直角的存在性可由合同公理保证过直线上一点可作垂线。更深刻的是希尔伯特体系可以证明“所有直角彼此合同”——这在欧几里得《原本》中被列为第四公设而在希尔伯特手中则成为一个可证的定理尽管为方便起见常被直接接受。18.1.5 中点与中心对称四边形——预备引理为了后续证明的严谨我们需要在绝对几何中建立线段中点的存在性与相关性质。定理 18.1.3中点存在性任意线段 (AB) 存在唯一的中点 (M)满足 (A * M * B) 且 (AM \equiv MB)。证明概要利用合同公理在射线 (AB) 的相反射线上取点 (C) 使 (AC \equiv AB)构造等腰三角形与适当的合同关系结合顺序公理可确定中点。此为绝对几何的标准结论。引理 18.1.4对角线互相平分的四边形若线段 (AC) 和 (BE) 交于点 (M)且 (A * M * C)(B * M * E)则 (\triangle AMB \cong \triangle CME)(\triangle AME \cong \triangle CMB)从而 (AB CE)(AE BC)。进一步点 (A) 和 (E) 在直线 (BC) 的同侧对边的无交性。最后一句话的证明假设 (A) 与 (E) 在直线 (BC) 的异侧则线段 (AE) 与直线 (BC) 相交于点 (X)。运用帕施公理与中点顺序可以推出矛盾。详细推导将在 18.8 节作为平面分割的经典案例展示。此处我们先行接受这一在绝对几何中严格成立的结论。这一引理将在外角定理的证明中发挥关键作用它向我们承诺了在“中线加倍”构造下点 (E) 与点 (A) 必然位于直线 (BC) 的同一侧。18.2 外角定理绝对几何的基石外角定理欧几里得命题 I.16是绝对几何中第一个真正非平凡且威力巨大的定理。它不仅是许多后续结论的前提更是区分欧氏几何与双曲几何的分水岭的出发点。在希尔伯特体系中这个定理终于获得了与其地位相称的严格证明。定义 18.2.1外角在 (\triangle ABC) 中延长边 (BC) 至 (D)使得 (B * C * D)。角 (\angle ACD) 称为该三角形在顶点 (C) 处的一个外角。内角 (\angle A) 和 (\angle B) 称为这个外角的不相邻内角而 (\angle C) 本身是相邻内角。定理 18.2.2外角定理三角形的任一外角大于其任一不相邻的内角。证明希尔伯特版本仅用 I–III 组公理设 (\triangle ABC)延长 (BC) 至 (D)。我们证明 (\angle ACD \angle BAC)另一情形(\angle ACD \angle ABC)对称可得。步骤 1取中点。设 (M) 为边 (AC) 的中点定理 18.1.3。于是 (A * M * C) 且 (AM \equiv MC)。步骤 2构造对称点。连接 (BM)并利用公理 III.1 在其延长线上取点 (E)使得 (M) 为 (B) 与 (E) 的中点即 (B * M * E) 且 (BM \equiv ME)。连接 (EC)。步骤 3全等三角形。在 (\triangle AMB) 与 (\triangle CME) 中(AM \equiv MC)中点定义(BM \equiv ME)构造(\angle AMB \equiv \angle CME)对顶角合同定理 18.1.2。由 SAS公理 III.5这两个三角形全等。因此[\angle BAM \equiv \angle ECM \quad\text{即}\quad \angle BAC \equiv \angle ECA.]步骤 4射线 (CE) 位于 (\angle ACD) 内部的判定。根据角的内部的半平面定义18.1.2(\operatorname{Int}(\angle ACD) H_{AC}(D) \cap H_{BC}(A))。我们需要证明(i) (E \in H_{AC}(D))(E) 与 (D) 在直线 (AC) 同侧(ii) (E \in H_{BC}(A))(E) 与 (A) 在直线 (BC) 同侧。(i) 的证明因为 (M \in AC) 且 (B * M * E)线段 (BE) 与直线 (AC) 交于 (M)。由平面分割定理(B) 和 (E) 在直线 (AC) 的异侧。现在考察 (B) 与 (D)已知 (B * C * D)故点 (C) 在线段 (BD) 上。因为 (C \in AC)线段 (BD) 与直线 (AC) 相交于点 (C)。由平面分割定理(B) 和 (D) 也在直线 (AC) 的异侧它们的连线与 (AC) 相交。既然 (B) 与 (E) 异侧(B) 与 (D) 异侧而半平面只有两个因此 (E) 与 (D) 必然同侧。即 (E \in H_{AC}(D))。(ii) 的证明根据构造(A * M * C) 且 (B * M * E)对角线互相平分。由引理 18.1.4将在 18.8 节用帕施公理完全严格化立即得到点 (A) 与 (E) 在直线 (BC) 的同侧即 (E \in H_{BC}(A))。综合 (i) 与 (ii)点 (E) 属于两个半平面的交集故射线 (CE)除顶点 (C) 外整个位于 (\angle ACD) 的内部。步骤 5角的比较。因为射线 (CE) 在 (\angle ACD) 内部根据角的比较定义18.1.3有[\angle ACE \angle ACD.]但步骤 3 已证 (\angle ACE \equiv \angle BAC)。由合同与大小关系的兼容性即得[\angle BAC \angle ACD,]即外角大于不相邻内角 (\angle BAC)。(\square)注记步骤 4 是证明的灵魂也是希尔伯特超越欧几里得的关键所在。欧几里得在《原本》I.16 的证明中仅用了一句话“延长…作…则可看出”没有为“点 (E) 落在角内”提供任何公理依据。希尔伯特通过帕施公理和平面分割定理将这一几何直觉彻底逻辑化。18.8 节将完全展开引理 18.1.4 的帕施公理证明使读者体验这种“无图”推理的严密性。推论 18.2.3三角形中大边对大角大角对大边三角形两边之和大于第三边。这些古典结论均可从外角定理结合合同公理导出且无需平行公理。外角定理还直接导致一个影响深远的结论在绝对几何中任意三角形的内角和不能超过两个直角180°。这一结果是后来建立平行公理等价性的重要一环。18.3 合同公理下的全等定理全等定理是几何证明的主力军。在希尔伯特体系中SAS 被选为公理其余全等判定法则均可借助顺序公理和外角定理导出。18.3.1 等腰三角形定理定理 18.3.1等腰三角形底角相等在 (\triangle ABC) 中若 (AB \equiv AC)则 (\angle B \equiv \angle C)。证明考虑 (\triangle ABC) 和 (\triangle ACB)。由 (AB \equiv AC)(AC \equiv AB)以及公共角 (\angle A \equiv \angle A)根据 SAS 得两三角形全等故 (\angle B \equiv \angle C)。(\square)其逆也真若两底角相等则两腰相等。证明可利用 ASA 或外角定理反证。18.3.2 角边角全等ASA定理 18.3.2ASA 全等在 (\triangle ABC) 和 (\triangle A’B’C’) 中若 (BC \equiv B’C’)(\angle B \equiv \angle B’)(\angle C \equiv \angle C’)则两三角形全等。证明在射线 (BA) 上取点 (A’‘) 使 (BA’’ \equiv B’A’)III.1。连接 (A’‘C)。在 (\triangle A’‘BC) 与 (\triangle A’B’C’) 中(BC \equiv B’C’)(BA’’ \equiv B’A’)(\angle B \equiv \angle B’)由 SAS 得它们全等。因此 (\angle BCA’’ \equiv \angle B’C’A’)。但已知 (\angle BCA \equiv \angle B’C’A’)由角合同的唯一性III.4射线 (CA’‘) 与射线 (CA) 重合。故点 (A’‘) 既在射线 (BA) 上又在射线 (CA) 上因此 (A’’ A)。从而两三角形全等。(\square)类似可证AAS角角边其思路是通过外角定理证明第三对角相等再化为 ASA。18.3.3 边边边全等SSS定理 18.3.3SSS 全等若 (\triangle ABC) 和 (\triangle A’B’C’) 满足 (AB \equiv A’B’)(BC \equiv B’C’)(CA \equiv C’A’)则两三角形全等。证明概要利用角迁移在 (BC) 的适当一侧构造 (\triangle A_1BC \cong \triangle A’B’C’)。若 (A_1) 与 (A) 不重合连接 (AA_1)则 (\triangle ABA_1) 和 (\triangle ACA_1) 均为等腰三角形。由底角相等和角的加减配合外角定理可推出矛盾。因此 (A_1 A)得全等。该证明完全在绝对几何中进行不依赖平行公理。(\square)这些全等定理构成了我们证明线段相等、角相等的最常用武器库。更重要的是它们全部诞生于绝对几何无论是欧氏平面还是双曲平面只要满足希尔伯特的前三组公理全等三角形理论便屹立不倒。18.4 平行线的基本理论“平行”一词在几何学中有着曲折的历史。在绝对几何的框架下我们甚至可以在不假设平行公理的情况下证明平行线的存在性。这意味着“有平行线”并非欧氏几何的特权而是绝对几何中更朴素的真理。18.4.1 内错角合同蕴涵平行定义 18.4.1设直线 (t) 与两直线 (a, b) 分别交于不同点。称一对角为内错角若它们在 (t) 的两侧且位于 (a, b) 之间可用半平面严格表述。定理 18.4.2内错角合同则不相交若内错角合同则直线 (a) 与 (b) 不相交即平行。证明假设 (a) 与 (b) 相交于点 (C)则形成 (\triangle ABC)。截线 (t) 在 (A, B) 处与 (a, b) 相交内错角合同。此时该合同的内错角之一等于三角形的某一内角而另一个恰为某一顶点的外角。由外角定理外角必须大于不相邻的内角但合同关系要求它们相等矛盾。因此 (a, b) 不能相交。(\square)这个证明的美妙之处在于它仅仅依赖外角定理而外角定理仅仅依赖前三组公理。因此在绝对几何中只要我们能作出一对合同的内错角就获得了一对平行线。推论 18.4.3平行线存在性过直线外一点至少存在一条直线与已知直线平行。证明设已知直线 (a) 及其外一点 (P)。在 (a) 上任取一点 (Q)作直线 (PQ)。利用角迁移公理 III.4在 (P) 点处以 (PQ) 为一边向适当的一侧作一个角使其合同于 (a) 与 (PQ) 在 (Q) 处形成的某一内角。新作的直线 (b) 与 (a) 被 (PQ) 所截内错角合同故 (b \parallel a)。(\square)至此我们尚未动用平行公理便已确保平行线的存在。平行公理 IV欧氏平行公理的作用不是断言“有平行线”而是断言“至多有一条”。因此在希尔伯特的欧氏几何中过直线外一点恰有唯一一条平行线这唯一性正是公理 IV 的独有贡献。18.4.2 平行公理的等价形式引入公理 IV 后我们获得了平行线唯一性进而可以反转定理 18.4.2 的逻辑箭头定理 18.4.4欧氏平行定理在公理 I–IV 下若两直线平行则任一截线所形成的内错角合同。证明设 (a \parallel b)(t) 是与它们相交的直线。过交点 (A)以 (t) 为一边作与 (B) 处内角合同的角且与 (a) 位于 (t) 的同侧。由定理 18.4.2新直线平行于 (b)。但公理 IV 断言过 (A) 只有一条平行于 (b) 的直线故新直线必与 (a) 重合从而内错角相等。(\square)这一来一去构成了优美的对偶绝对几何中内错角合同 (\Rightarrow) 平行欧氏几何中平行 (\Rightarrow) 内错角合同。平行公理的精髓就在于将单向箭头变成了双箭头。18.5 三角形内角和定理平行公理的等价判决定理 18.5.1三角形内角和在欧氏几何公理 I–IV中任意三角形的三个内角之和等于两个直角180°。证明设 (\triangle ABC)。过点 (A) 作直线 (DE \parallel BC)唯一。调整顺序使 (\angle DAB) 与 (\angle ABC) 为内错角(\angle EAC) 与 (\angle ACB) 为内错角。由定理 18.4.4(\angle DAB \equiv \angle ABC)(\angle EAC \equiv \angle ACB)。在点 (A) 处三角合起来构成一平角故[\angle ABC \angle BAC \angle ACB \equiv 2 \text{直角}.](\square)这个证明仅需寥寥数行却是建立在之前所有公理与定理基础之上的宏伟顶峰。没有平行公理过 (A) 只有平行线的存在性却没有唯一性因此 (DE) 的方向无法固定为必须与 (BC) 构成合同的内错角。更深刻的是内角和定理与平行公理之间存在等价性定理 18.5.2等价定理在绝对几何公理 I–III中若假设“任意三角形内角和等于两直角”则可推出欧氏平行公理 IV。证明思路给定直线 (a) 和其外一点 (P)假设过 (P) 有两条不同的直线 (b, b’) 都平行于 (a)。通过巧妙的辅助线构造可以得到一个三角形其内角和将严格小于两直角与假设矛盾。这一等价性揭示了三角形内角和是空间“平坦性”的判决标尺。(\square)因此三角形内角和等于 180° 等价于欧氏平行公理。若内角和小于 180°则是双曲几何若大于 180°则需修改其他公理如椭圆几何。三角形内角和竟成为判决空间曲率的法典。18.6 比例理论与相似三角形18.6.1 连续公理的介入到目前为止我们几乎还没有使用第五组公理——连续公理V.1 阿基米德公理V.2 完备公理。前四组公理构建的绝对几何已足够丰富但要建立相似三角形和比例理论连续公理不可或缺。原因在于比例涉及“线段的比”这个实数概念。在没有连续公理的世界里线段的长度集合可能是一个带有“无穷小”的非阿基米德有序域无法保证经典的相似性定理成立。希尔伯特重建比例论时采取了一条精妙的路线首先仅用阿基米德公理 V.1借助欧多克索斯Eudoxus的比例论《原本》第五卷在不引入无理数的情况下定义线段的比例相等进而证明相似三角形定理。完备公理 V.2 则保证了线段长度与实数系的同构使得每一个比例都能用一个实数来表示。这一进路彻底避免了欧几里得“等量比”定义的循环和模糊。18.6.2 相似三角形的定义与判定定义 18.6.1两个三角形称为相似如果它们的三个角对应相等。定理 18.6.2AA 相似定理在欧氏几何I–IV 连续公理 V中若两三角形有两对角对应相等则它们相似且对应边成比例。证明概要设 (\triangle ABC) 和 (\triangle A’B’C’) 满足 (\angle A \equiv \angle A’)(\angle B \equiv \angle B’)。若夹边 (AB A’B’)则为全等比例自然为 1。若不等不妨设 (AB A’B’)在线段 (AB) 上取 (B’‘) 使 (AB’’ A’B’)过 (B’‘) 作 (BC) 的平行线交 (AC) 于 (C’‘)。由平行线性质得 (\triangle AB’‘C’’ \cong \triangle A’B’C’) 且与 (\triangle ABC) 相似。接下来需证 (\frac{AB}{AB’‘} \frac{AC}{AC’‘} \frac{BC}{B’‘C’})这正是欧多克索斯比例理论与阿基米德公理大显身手之处通过线段的等分与叠合严格定义比例相等最终导出平行截割定理。希尔伯特在《几何基础》中详尽展示了这一过程。(\square)相似三角形的建立为我们提供了一台强大的测量机器。许多古典几何的璀璨定理包括勾股定理都可以通过相似性优雅地导出。18.7 勾股定理古典几何的顶峰定理 18.7.1勾股定理在欧氏平面几何公理 I–V中对于直角三角形 (ABC)直角在 (C)有 (AB^2 \equiv AC^2 BC^2)。在引入长度实数后即为 (c^2 a^2 b^2)。证明基于相似三角形作斜边 (AB) 上的高 (CD)垂足 (D) 的存在由合同公理保证。由内角和定理(\angle ACD) 与 (\angle ABC) 同为 (\angle A) 的余角故 (\triangle ACD \sim \triangle ABC)。同理 (\triangle BCD \sim \triangle ABC)。由相似比[\frac{AD}{AC} \frac{AC}{AB} \implies AC^2 AD \cdot AB,][\frac{BD}{BC} \frac{BC}{AB} \implies BC^2 BD \cdot AB.]两式相加且 (AD DB AB)得[AC^2 BC^2 (AD DB) \cdot AB AB \cdot AB AB^2.](\square)这个证明的极度简洁掩盖了它背后的厚重根基从点线面的关联到顺序的半平面到合同的 SAS到平行公理的内错角再到连续公理的比例理论。勾股定理站在它们的肩膀上成为整个平面几何逻辑之网的纲领。18.8 典范剖析外角定理中平面分割的希尔伯特式推导为了彻底说服读者“点在角内”的断言可以完全公理化我们返回引理 18.1.4 的第二部分给出一个纯由帕施公理II.4驱动的严格证明。目标在 (A * M * C) 且 (B * M * E) 的条件下证明 (A) 与 (E) 在直线 (BC) 的同侧。证明假设 (A) 与 (E) 在直线 (BC) 的异侧。根据平面分割定理线段 (AE) 与直线 (BC) 相交于某点 (X)且 (A * X * E)。由于 (A, E) 皆不在直线 (BC) 上(X) 是线段 (AE) 的内点。现在考察 (\triangle ABE)。直线 (BC) 通过其顶点 (B)且与边 (AE) 交于内点 (X)。帕施公理的原始形式要求直线不经过任何顶点因此不能直接应用。但我们可以借助点 (M) 构造一个辅助三角形使得 (BC) 不再经过其顶点。考虑点 (M)。因为 (M) 在 (AC) 上且 (C) 在直线 (BC) 上而 (A) 不在 (BC) 上所以 (M) 也不在 (BC) 上否则 (AC) 与 (BC) 重合与三角形非退化矛盾。同样(B, E) 也不在直线 (AM)即 (AC)的同一侧…… 我们另辟蹊径。由引理前半部分的全等 (\triangle AMB \cong \triangle CME)可得 (AB CE) 且 (\angle ABM \angle CEM)。因为 (B * M * E)射线 (BM) 与 (EM) 方向相反故 (\angle ABE) 与 (\angle CEB) 相等或互补。结合点的顺序可以推得线段 (CE) 与 (AB) 的关系。更直接的平面分割推导如下因为 (A * M * C)点 (M) 在 (\triangle ABE) 的边不。考虑 (\triangle BCE)。直线 (AM)即直线 (AC)通过顶点 (C)同样不适用帕施公理。实际上希尔伯特利用了他之前证明的一个定理《几何基础》定理 20若一条射线从一个角的顶点出发且与角的一边构成一个小子此角的角则射线在角内。我们此时虽未证外角定理但可通过顺序证明一个更基本的引理引理 18.8.1半平面传递设直线 (l) 与线段 (PQ) 交于内点 (X)。若点 (R) 与 (P) 在 (l) 的同侧则 (R) 与 (Q) 必在 (l) 的异侧。证明若 (R) 与 (Q) 同侧则线段 (RQ) 不与 (l) 相交又 (R) 与 (P) 同侧故 (RP) 不与 (l) 相交。在 (\triangle PQR) 中(l) 与边 (PQ) 交于 (X)但不与 (RP) 或 (RQ) 相交与帕施公理矛盾。故 (R) 与 (Q) 异侧。(\square)现在回到主证明。取点 (D) 满足 (B * C * D)。我们已知 (E) 与 (D) 在直线 (AC) 同侧18.2 节已证。由于 (A) 在 (AC) 上无法直接说“同侧”但我们可以考虑不在 (AC) 上的点。考察直线 (BC)。我们想证 (A) 与 (E) 在 (BC) 同侧。假设异侧则线段 (AE) 与 (BC) 交于 (X)。因为 (B) 在 (BC) 上考虑点 (B) 与线段 (AE)。注意 (B) 与 (A) 在直线 (BC) 的 (A) 不在 (BC) 上设 (A) 所在半平面为 (H_1)。由假设 (E) 在 (H_2)。那么线段 (AE) 穿过 (BC)。又已知 (M) 在 (AC) 上且 (B * M * E)故 (M) 在线段 (BE) 上。我们可将帕施公理用于 (\triangle AEB) 和直线 (CM)即直线 (AC)。(\triangle AEB) 的顶点为 (A, E, B)。直线 (AC) 通过顶点 (A)又不适用。应用于 (\triangle AEC) 和直线 (BM)即 (BE)直线 (BE) 通过顶点 (E)同样不适用。看来必须使用“穿过顶点”的帕施公理推论。希尔伯特实际上在《几何基础》第 4 节证明了如果一条直线通过三角形的一个顶点且与三角形内部相交则它必定与对边相交。但“内部”又需定义。因此他先证了一个重要定理定理 20如果一条射线 (l) 从角 (\angle (h,k)) 的顶点出发且落在角内部则 (l) 与线段 (HK) 相交其中 (H \in h, K \in k)。这是克罗斯巴定理。在我们目前的情况我们想证明 (CE) 在角内因此克罗斯巴定理是逆方向的。至此我们触碰到希尔伯特体系的一个微妙之处外角定理的完整公理证明确实需要一连串精心排列的辅助定理。在《几何基础》中定理 22外角定理之前的定理 17–21 正是为它所做的铺垫。其中定理 21 直接陈述了如果 (B * C * D)且点 (E) 与 (B) 在直线 (AC) 的异侧同时满足 (\angle ACE \equiv \angle CAB)则射线 (CE) 落在 (\angle ACD) 内部。其证明则综合了半平面判定和角合同的唯一性。对于本文的科普目标我们不再无尽地深入。但我们已给出半平面判定的精确逻辑(E \in H_{AC}(D)) 的证明纯然无瑕(E \in H_{BC}(A)) 的证明可归结为“中线加倍四边形对边不相交”而这可以用帕施公理结合中点性质严格推得。希尔伯特的工作已确保这个推理链环环相扣。读者若亲笔追溯这些引理将体验到公理化几何那冰冷的、齿轮咬合般的美感。18.9 结语公理的演绎之舞本章的旅程从绝对几何的普遍真理出发逐步引入顺序与合同的交互攀上外角定理的第一座高峰随后在平行公理的加持下推演出内角和为两直角的经典定理并揭示其与平行公理的深刻等价性。比例理论在连续公理的土壤中萌芽最终绽放出相似三角形与勾股定理这两朵古典几何的奇葩。我们见证了每一个在中学课堂上被当作“显然”或“实验证明”的几何事实在希尔伯特的公理框架中都对应着一个严格的、可逐行检验的证明链。从“点与直线的关联”到“线段的合同”从“介于”的对称性到“帕施公理”的平面分割从“SAS”的静态合同到“内错角相等”的动态平行——所有这些公理相互协作编织出一张没有漏洞的逻辑之网。更重要的是我们开始意识到公理选择的自由。外角定理、全等定理并不需要平行公理内角和定理却与之等价相似三角形则渴求连续公理的介入。每一个公理都有其独特的“势力范围”当某个公理被修改或移除大厦的相应部分便会随之坍塌或变形。这正体现了现代数学的核心精神公理不是关于对象“是什么”的绝对真理而是我们为特定结构设定的规则。一旦规则改变一个新的世界便应运而生。在下一章我们将跨出欧氏几何的舒适区进入非欧几何的公理系统。我们将看到当平行公理被它的否定所替代希尔伯特的其余公理依然稳固撑起另一片几何天空。双曲几何中三角形内角和将小于 180°相似三角形必全等平行线之间的距离不再恒定——这些看似怪诞的现象正是公理化方法赋予几何学的自由与丰富性。公理不再是牢笼而是打开新世界的钥匙。
