III. 量角器公理

陈述

设 $O$ 是平面上一点。从 $O$ 出发的所有射线，可以一一对应到 $[0°, 360°)$ 里的某个角度——记这条对应为 $g$（每条射线 $\mapsto$ 一个角度标号）。它满足：对从 $O$ 出发的任意两条射线 $OA$、$OB$，

$$\angle AOB \;=\; g(OB) - g(OA)$$

（结果若是负数就加 $360°$，若超过 $360°$ 就减 $360°$，让它落回 $[0°, 360°)$ 区间。）

每个这样的 $g$ 称作以 $O$ 为顶点的一条角度坐标系。

为什么要"加一圈、减一圈"？ 角度天生是圆周上的量：从 $0°$ 转到 $360°$ 又回到 $0°$，没有起点没有终点。所以 "$-30°$" 和 "$330°$" 描述的是同一条射线方向；"$370°$" 和 "$10°$" 也是同一条。 这种"绕一圈回到原点"的算法，跟你看时钟时一样自然——下午 $14$ 时其实就是 $2$ 点。下面提到"差值"时都是这个意思。

中学几何里讲的夹角（也叫内角）总是 $0°$ 到 $180°$ 之间那"较小的一块"：

$$|\angle AOB| \;=\; \min(d,\; 360° - d)$$

其中 $d = g(OB) - g(OA)$，已经按上面的规则调整到 $[0°, 360°)$ 之内。

直观

把整张量角器贴在顶点 $O$ 上：从 $O$ 出发的每条射线都被标了一个 $0°$ 到 $360°$ 之间的数；两条射线之间的夹角就是它们标号之差（按"$360°$ 一圈"算）。

这是 尺子公理 的角度版——把"直线 $\ell$ 与点"换成"顶点 $O$ 与射线"，把"实数轴 $\mathbb{R}$ 与减法"换成"$[0°, 360°)$ 圆圈与圈上减法"，结构完全一样：

	尺子公理 (I)	量角器公理 (III)
几何对象	直线 $\ell$ 上的点	顶点 $O$ 出发的射线
度量空间	实数轴 $\mathbb{R}$	$[0°, 360°)$ 的圆圈
标号映射	$f$：每个点 $\mapsto$ 实数	$g$：每条射线 $\mapsto$ 角度
度量公式	距离 $=\lvert f(A)-f(B)\rvert$	角度 $= g(OB)-g(OA)$（圈上差）

Birkhoff 的优雅正在这里：长度与角度被对称对待——一条管"直线 + 距离"，一条管"射线 + 角度"，两者同结构，初中几何里所有"测量"动作都从这两条派生。

即时推论

从公理直接读出三件事，无需证明：

• 非负性：内角 $|\angle AOB| \ge 0°$，因为它是 $\min(d,\,360°-d)$，本来就 $\ge 0°$。
• 对称性：$|\angle AOB| = |\angle BOA|$。交换 $A$、$B$，标号差变了号，但"两段中较小的一段"不变。
• 零角即重合：$|\angle AOB| = 0° \iff g(OA) = g(OB) \iff OA = OB$（因为 $g$ 是一一对应）。

这三条是后续所有角度论证的基础——和尺子公理三条推论一一对应。

与原本/Hilbert 的对照

欧氏《原本》没有"角度等于多少度"这种说法。Euclid 通过"等量公理"和"以圆规移角"来谈角的相等，靠第四公设（"所有直角彼此相等"）维系角度的可比性，但不能直接说"$\angle AOB = 72°$"。结果是：稍微复杂一点的角度等量、和差、不等式论证都要绕远路。

Hilbert (1899) 用纯几何方式补上了 Euclid 的漏洞——他的合同公理（第三组，约 5 条）专门处理角的全等关系：角的传递性、角的拼接合同、角能否在给定射线上唯一移过去、SAS 全等判定本身……加起来一长串。Birkhoff 的量角器公理一句话搞定四件事：射线束的连续性、序、角度的可加性、角度的"$360°$ 一圈"周期。代价是把实数（特别是 $90°$、$180°$、$360°$ 这些量）当成已经构造好的对象——这对中学几何来说是合算的，对学生也是诚实的。

回头看 Euclid 的"所有直角彼此相等"——从量角器公理看几乎是显然的：直角就是夹角等于 $90°$ 的射线，所有 $90°$ 当然相等。但在 Euclid 的体系里，这条要单独列为公设，因为他没有"度数 $90°$"这个量可言。

它解锁了什么

接下来若干定理都直接或间接依赖这条公理：

• 角的可加性：若 $OB$ 落在 $\angle AOC$ 内部，则 $\angle AOB + \angle BOC = \angle AOC$（标号差直接相加）。
• 补角与平角：$O,A,C$ 共线且 $B$ 在直线外时，$\angle AOB + \angle BOC = 180°$。
• 对顶角相等：两条直线交于 $O$，对顶射线的标号正好相差 $180°$，所以两对对顶角分别相等。
• 垂直的定义：$OA \perp OB \iff |\angle AOB| = 90°$——把"垂直"从几何概念变成度量等式。
• 三角形内角和初步：三个内角加起来等于 $180°$（严格证明要等公理 IV，但量角器公理把"内角和"作为一个明确数字这件事变得可能）。

后面 $\textbf{IV · SAS 相似}$ 把"距离"（公理 I）和"角度"（公理 III）这两套度量缝起来，就足以证明初中所有的几何定理。

小补充：你以后会看到弧度制。高中之后会把 $180°$ 写作 $\pi$、$360°$ 写作 $2\pi$，单位换成"弧度"。本质完全一样，只是把"圈周长"从 $360$ 改成了 $2\pi$——所有结论照搬不误。