PRINCIPIA · AXIOM IV

IV. SAS 相似公理

0:00
--:--

SAS 是 Side-Angle-Side（边-角-边）的缩写，指"两边和它们的夹角"。

陈述

设 △ABC\triangle ABC 与 △A′B′C′\triangle A'B'C' 是两个三角形。如果

∣A′B′∣∣AB∣  =  ∣A′C′∣∣AC∣  =  k\frac{|A'B'|}{|AB|} \;=\; \frac{|A'C'|}{|AC|} \;=\; k

并且夹角

∠BAC  =  ∠B′A′C′,\angle BAC \;=\; \angle B'A'C',

则

△ABC  ∼  △A′B′C′.\triangle ABC \;\sim\; \triangle A'B'C'.

"∼\sim"（相似）展开来是两件事：对应边成比例

∣A′B′∣∣AB∣  =  ∣A′C′∣∣AC∣  =  ∣B′C′∣∣BC∣  =  k,\frac{|A'B'|}{|AB|} \;=\; \frac{|A'C'|}{|AC|} \;=\; \frac{|B'C'|}{|BC|} \;=\; k,

以及对应角相等

∠A=∠A′,∠B=∠B′,∠C=∠C′.\angle A = \angle A',\quad \angle B = \angle B',\quad \angle C = \angle C'.

公理只用到其中两组比例 + 一组夹角；剩下那组比例和那两个角是公理断言的产物。

直观

公理在说一句很硬的话：只要钉死两条边的比例和它们的夹角，三角形的形状就被钉死了。

把 △ABC\triangle ABC 想成一个橡皮三角形：你抓住顶点 AA，把两条边 ABAB、ACAC 同时拉长到 kk 倍，并且要求顶角 ∠BAC\angle BAC 不变。这时 BB 和 CC 落到新位置 B′B'、C′C'，而那条对边 B′C′B'C' 你完全没参与决定——它自动等于 k⋅∣BC∣k\cdot|BC|，方向也对，剩下两个角也一并复制。

换句话说，自由参数本来有六个（三条边 + 三个角），但"两边比例 + 夹角" 只锁了三个数（实际只两个独立数：因为两个比例都等于 kk，再加一个角），剩下三个数被公理强行决定。这就是为什么这一条这么"贵"——它一句话买走了三个自由度。

为什么这是公理，而不是定理

四条公理里这一条最深。它不是在描述"怎么测量"，而是在架桥：把已经独立存在的"长度世界"和"角度世界"焊到一起。下面四件事说清楚为什么必须把这条工作做成公理。

一、欧几里得证不出 SAS——只能"挪过去重叠"

《原本》第 I 卷命题 4 想证 SAS（边-角-边）全等：把 △ABC\triangle ABC 整个搬过去，让 AA 落在 A′A'，ABAB 沿 A′B′A'B' 方向贴下去，因为 ∣AB∣=∣A′B′∣|AB|=|A'B'|，BB 必落在 B′B'；又因 ∠A=∠A′\angle A=\angle A'，ACAC 必沿 A′C′A'C' 方向贴下去，于是 CC 落在 C′C'；再由"两点确定一直线"得 BCBC 与 B′C′B'C' 重合。

这个论证有一个未声明的前提：刚体运动存在，并且保持长度和角度不变。Euclid 没有刚体运动这个概念——他实际上是在偷偷使用一种"几何直觉"，用搬动图形来代替证明。后世数学家（如 Bertrand Russell）批评这一步是《原本》最大的逻辑漏洞。

二、Hilbert 的代价：补 7 条合同公理

Hilbert (1899) 为了让"叠合"严格化，专门写了一组合同公理（Group III，共 5 条线段合同 + 1 条角合同 + 1 条 SAS 合同）。这一组公理本身就把 SAS 合同直接列为公理，不再去"证明"它——只是把"刚体运动"这个直觉拆成了若干条更细的代数性质。

代价：公理变多、变碎；但思想是诚实的——SAS 不可能从更简单的东西证出来。

三、Birkhoff 的选择：直接采纳，并升级到"相似"

Birkhoff (1932) 接受了"SAS 没法被证明"这件事，干脆把它列为公理，同时把命题加强：不仅"相等"成立，成比例也成立。这有两个好处：

  • 包含合同作为特例。取 k=1k=1，相似就退化成全等。原本/ Hilbert 里要分别讨论 SAS 全等判定和相似定理；Birkhoff 一条搞定。
  • 直接对接实数尺度。公理 I 已经把长度装进实数，比例 kk 是实数除法的自然产物。把"等长" (k=1k=1) 升级成"等比例" (k∈R>0k\in\mathbb{R}_{>0}) 不增加任何认知成本。

四、它把"长度世界"和"角度世界"焊起来

回头看四条公理的结构：

  • I · 尺子：直线 ↔R\leftrightarrow\mathbb{R}，给出长度。
  • III · 量角器：射线 ↔[0,2π)\leftrightarrow [0,2\pi)，给出角度。

仅凭 I 和 III，长度和角度是两个互不通话的系统——你测出 ∣AB∣=3|AB|=3、∠BAC=40∘\angle BAC=40^\circ，这两个数之间没有任何强制关系。

SAS 相似公理就是那条把两个系统钉死的桥。它说：在两个三角形里，如果两条边的长度比例对得上，并且夹角的角度对得上，那么——

  • 第三条边的长度比例自动对得上（长度听从角度）；
  • 另两个角的角度自动对得上（角度听从长度）。

长度差和角度差从此互相牵制：你不能在不动角度的前提下乱改长度比例，反之亦然。这就是欧氏几何"刚性"的来源。

实战：WLOG"不妨设两个三角形共顶点"

WLOG = Without Loss Of Generality，中文常译作"不妨设"。意思是：在证明里我们做某种简化假设（比如"把两个三角形平移旋转到共顶点"），这种简化不会让结论失去普遍性——因为去掉简化后的一般情形，总能通过同样的变换归约回简化情形。合法性的关键是：所做的变换保持你关心的量不变（这里是边比 + 夹角）。

后面证题反复看到"不妨把 △A′B′C′\triangle A'B'C' 平移、旋转，使 A′A' 与 AA 重合，∠B′A′C′\angle B'A'C' 与 ∠BAC\angle BAC 同向"——这是在用公理 I + III 已经给我们的等距群（平移 + 旋转 + 翻转）把两个三角形拉到共顶点位置，然后让 SAS 相似公理直接作用。具体来说：

  • 任意两个三角形原本散落在平面任意位置；
  • 等距变换把 A′A' 拉到 AA、把 ∠B′A′C′\angle B'A'C' 转到与 ∠BAC\angle BAC 同向；
  • 这步"挪位置"不改变边长比和夹角，所以证明共顶点情形 ⇔ 证明一般情形。

这套"WLOG"操作的合法性，正好对应 SAS 公理那两个前提（边比例 + 夹角）。

一句话：长度系统和角度系统本来互不相干；SAS 相似公理是把两者焊在一起的那一焊。焊上之后，整个欧氏几何才"立"得起来。

即时推论

从公理直接读出几条，无需另证：

  • 第三边比例：∣B′C′∣∣BC∣=k\dfrac{|B'C'|}{|BC|} = k。
  • 另两角相等：∠B=∠B′\angle B = \angle B'，∠C=∠C′\angle C = \angle C'。
  • 周长比 =k= k：∣A′B′∣+∣B′C′∣+∣C′A′∣∣AB∣+∣BC∣+∣CA∣=k\dfrac{|A'B'|+|B'C'|+|C'A'|}{|AB|+|BC|+|CA|} = k。
  • 对应高/中线/角平分线之比 =k= k：所有"线性长度"按同一比例缩放。
  • 特例 k=1k=1 即 SAS 全等判定：两条边相等 + 夹角相等 ⇒\Rightarrow 两三角形全等。

这五条之后所有相似 / 全等论证的基础。

与原本/Hilbert 的对照

欧氏《原本》(I.4) 用"叠合法"证 SAS 全等判定：把一个三角形搬到另一个上去看是否重合。这一步默默使用了"刚体运动存在且保几何不变"，但《原本》体系里没有刚体运动这个概念。结果是：这条命题历来被认为是 Euclid 最不严谨的几个证明之一。Euclid 也没有"相似"作为独立公理——他在第 V、VI 卷靠"比例论"绕一大圈，才能讨论相似三角形。

Hilbert (1899) 用 Group III 合同公理把"叠合"拆解成若干条纯代数性质（线段合同传递、角合同传递、SAS 合同等），代价是公理数目膨胀（仅合同部分就 5–7 条）。Hilbert 体系内 SAS 全等判定是公理，相似性要再单独发展一套"比例论"才能讨论。

Birkhoff (1932) 索性把命题升级到 SAS 相似，作为单独一条公理。代价是把实数当成已构造好的对象（公理 I 提供了），收益是：

  • 一条搞定全等 + 相似。
  • 不再依赖任何"叠合"或"刚体运动"的几何直觉。
  • 对学生诚实：这件事就是承认下来用的，不是证出来的。

三套体系都承认 SAS 这件事不可证；区别仅在用多少公理把它说清楚，以及在哪一层（全等 / 相似）说。

它解锁了什么

这一条是初中几何的发动机。下面这些定理，全部直接或间接依赖它：

  • SSS / ASA / AAS / HL 全等判定（直角三角形）判定：取 k=1k=1 后，由 SAS 相似 + 公理 I、III 推出。
  • AA 相似判定：两组角相等 ⇒\Rightarrow 两三角形相似。证明用辅助构造 + SAS。
  • SSS 相似判定：三边成比例 ⇒\Rightarrow 相似。
  • 平行线分线段成比例（基本比例定理）：一条平行于三角形一边的直线截另两边所得线段比例相等。
  • 三角形中位线定理：中位线平行于第三边，且长为其一半。
  • 勾股定理：最简洁的证明走"斜边上的高 + 三对相似三角形"——直接是 SAS 相似的产物。
  • 圆幂定理（割线 / 切线 / 相交弦）：核心是相似三角形对应边成比例。
  • 相似三角形面积比 =k2= k^2：边按 kk 缩放，面积自然按 k2k^2。
  • 圆周角定理 / 弦切角定理 / 四点共圆判定：所有"角度等于角度"的定理，最终都靠相似三角形把"等角"翻译成"等比例"再翻译回来。

四条公理里：I 给长度，III 给角度，II 给"两点定线"，IV 把前三者连起来，让"长度"和"角度"互相牵制。这条公理一旦被采纳，初中几何的全部常用定理都在它的下游。