第十八章 基于希尔伯特公理的经典定理证明

引言：从公理到定理的严格演绎

第十七章完整陈述了希尔伯特的五组二十条平面几何公理。这些公理构筑了一架精密的逻辑机器——它不依赖任何图形直觉，只等待我们将具体的几何问题输入，便能输出无可争议的证明。本章的任务，正是启动这架机器，让它在古典几何的广阔疆域中留下严谨而优美的轨迹。

我们的征程将分三个阶段展开。第一阶段，在仅依赖前四组公理（关联、顺序、合同）的绝对几何中航行，不假设平行公理，推导出一系列普适真理。这些定理在欧氏几何与双曲几何中同时成立，构成了所有“中性”几何的共同基石。第二阶段，引入平行公理，进入欧氏几何的专属领地，见证内错角定理、内角和定理以及它们与平行公理的深刻等价性。第三阶段，借助连续公理，严格建立比例理论与相似三角形，最终抵达整个古典几何的桂冠——勾股定理。

全章将贯彻一个原则：每一步推理都必须明确标出所依据的公理或已证定理。我们的目标不仅是证明这些经典结论，更是让读者亲眼见证，整座古典几何的大厦如何从几页公理中毫不动摇地拔地而起。在这个过程中，希尔伯特如何用帕施公理填补欧几里得“看图说话”的逻辑鸿沟，将成为最精彩的篇章之一。

18.1 绝对几何中的基本概念与辅助定理

绝对几何建立在公理 I（关联）、II（顺序）、III（合同）之上。在这片公理土壤里，我们需要先培育出一系列基本概念工具，才能为后续定理的证明铺平道路。

18.1.1 半平面定理：帕施公理的威力

欧几里得在证明中频繁使用“点的某一侧”，却从未定义何为“侧”。希尔伯特用帕施公理（II.4）填补了这一缺失，其核心成果便是平面分割定理。

定理 18.1.1（平面分割定理）平面上的任一直线 (a) 将不在其上的点分成两个非空的半平面，满足：

1. 同一半平面内任意两点所连的线段与 (a) 不相交；
2. 不同半平面内的任意两点所连的线段与 (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.2（ASA 全等）在 (\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.3（SSS 全等）若 (\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.2（AA 相似定理）在欧氏几何（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°，相似三角形必全等，平行线之间的距离不再恒定——这些看似怪诞的现象，正是公理化方法赋予几何学的自由与丰富性。公理不再是牢笼，而是打开新世界的钥匙。