PRINCIPIA · AXIOM I

I. 尺子公理

0:00
--:--

陈述

设 ℓ\ell 是一条直线。存在双射

f:ℓ  ⟷  Rf : \ell \;\longleftrightarrow\; \mathbb{R}

使得对 ℓ\ell 上任意两点 AA、BB，距离

∣AB∣  =  ∣ f(A)−f(B) ∣.|AB| \;=\; |\,f(A) - f(B)\,|.

每个这样的 ff 称作 ℓ\ell 上的一条坐标系。

直观

把整条实数轴贴在直线 ℓ\ell 上：直线上每个点都被标了一个实数；两点之间的距离就是它们坐标差的绝对值。

这一条同时做了两件事——告诉我们直线"长什么样"（与实数同构），也告诉我们怎么"测量"（距离来自实数减法）。欧氏几何里那些含糊的"长度"概念，从这一刻起获得了精确的代数表达。

标尺自由：ff 不唯一

公理只承诺存在一个 ff，并没有说"只有一个"。要彻底搞清 ff 的自由度，先把三件事说明白。

一、ff 把直线 ℓ\ell 变成"数轴"

数轴就是初中数学里那个熟悉的工具：一条直线 + 标好的实数坐标，两点距离 =∣xA−xB∣= |x_A - x_B|。ff 干的事正是这个：

f:ℓ  ⟷  Rf : \ell \;\longleftrightarrow\; \mathbb{R}

给直线上每个点贴一张写着实数的标签。贴完之后，抽象的"几何直线 ℓ\ell" 就变成了一条数轴。

二、直线是一维的——只能"沿轴动"或"翻一翻"

ℓ\ell 没有宽度、没有"上下面"，只朝两端无限延伸。所以一维空间里能做的"几何动作"只剩两类：

  • 沿轴平移（任挑一个点当原点）
  • 整体翻转（换哪一边算正方向）

⚠️ 一维里没有旋转。"绕轴旋转"是二维及以上才有的概念；在 1D 里"旋转 180°" 等于翻转，其他角度直接没意义——这是为什么后面只剩平移、翻转两种自由的几何根源。

三、保距 ≠ 双射——两个要求都要满足

公理的字面要求：

∣AB∣=∣f(A)−f(B)∣|AB| = |f(A) - f(B)|

  • ∣AB∣|AB| 是真实几何距离（拿尺子量出来的）
  • ∣f(A)−f(B)∣|f(A) - f(B)| 是标签相减取绝对值

这两个数必须永远相等。注意分清楚两件事：

性质 含义
双射 每个点对应唯一实数，不重、不漏
保距 标签差的绝对值 = 真实距离

y=x/2y = x/2、y=x3y = x^3、y=tan⁡xy = \tan x 都是 R→R\mathbb{R} \to \mathbb{R} 的完美双射，但都不保距。公理同时要求双射 + 保距，缺一不可。视频里 4.3 拉伸 1.5 倍那个反例 ✗，违反的是保距，不是双射——别搞混。

三件事合起来：所有合法 ff 形如 εx+b\varepsilon x + b

把"一维"和"必须保距"两个限制叠加，数学上的结论是：先选定任意一个合法 f0f_0，则 ℓ\ell 上全部合法 ff 形如

f(x)=ε⋅f0(x)+b,ε∈{+1,−1},  b∈Rf(x) = \varepsilon \cdot f_0(x) + b, \qquad \varepsilon \in \{+1, -1\},\; b \in \mathbb{R}

自由度 类型 几何含义 视频章节
b∈Rb \in \mathbb{R} 1 维连续 平移（挑零点位置） 4.1
ε∈{+1,−1}\varepsilon \in \{+1, -1\} 1 位离散 翻转（挑正方向） 4.2

这就是直线的等距群 Iso(R)≅R⋊Z2\mathrm{Iso}(\mathbb{R})\cong \mathbb{R} \rtimes \mathbb{Z}_2（Wikipedia 索引、UConn Conrad notes）。视频里 4.1 + 4.2 这两个动画已经穷尽了 R\mathbb{R} 上所有保距双射，再没有别的花样可加。

实战：为什么"不妨设 AA 在原点"永远合法？

后面证题反复看到"不妨设 AA 落在原点"或"不妨设 f(B)>0f(B) > 0"——这是在花掉 ff 的两个自由度：

  • 用 bb 把 AA 调到 00
  • 用 ε\varepsilon 把 BB 调到正向

两个自由度恰好够把任意一对相异点 A,BA, B 标准化成 f(A)=0, f(B)>0f(A)=0,\, f(B)>0。再没多余的，再多就破坏保距。这就是 WLOG（"不妨设"）的合法性来源。

一句话：ff 把 ℓ\ell 变成数轴；一维只允许平移 + 翻转两种保距动作；缩放、扭曲全被公理排除。所以"距离 = 坐标差"才能成为初中所有几何论证的稳固基石。

即时推论

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

  • 非负性：∣AB∣=∣f(A)−f(B)∣≥0|AB| = |f(A) - f(B)| \ge 0。
  • 对称性：∣AB∣=∣BA∣|AB| = |BA|，因为 ∣x−y∣=∣y−x∣|x-y| = |y-x|。
  • 零距即重合：∣AB∣=0  ⟺  f(A)=f(B)  ⟺  A=B|AB| = 0 \iff f(A) = f(B) \iff A = B（因为 ff 是双射）。

这三条是后续所有距离论证的基础。

与原本/Hilbert 的对照

**欧氏《原本》**没有"实数"这种东西。Euclid 通过等量公理（"等量加等量仍相等"）和反复的"以圆规截取等长"来谈长度，但不能直接说"∣AB∣=3.7|AB| = 3.7"。结果是：稍微复杂一点的不等式或极限论证就讲不清楚。

Hilbert (1899) 用纯几何方式补上了 Euclid 的漏洞——但代价是把"顺序"、"合同"、"Archimedes"、"完备性"拆成五组公理（共约 20 条）。Birkhoff 的尺子公理一句话搞定四件事：直线上点的连续性、序、距离的可加性、Archimedes 性。代价是把实数当成已经构造好的对象——这对中学几何来说是合算的，对学生也是诚实的。

它解锁了什么

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

  • 中点存在唯一：给 AA、BB，存在唯一 MM 使 ∣AM∣=∣MB∣=12∣AB∣|AM| = |MB| = \frac{1}{2}|AB|。
  • 三角不等式（共线情形）：∣AC∣≤∣AB∣+∣BC∣|AC| \le |AB| + |BC|，三点共线时取等号。
  • 线段加减：线段长度作为实数可以代数运算。
  • 顺序：直线上"BB 在 AA、CC 之间"被定义为 f(A)<f(B)<f(C)f(A) < f(B) < f(C) 或反之。

后面《公理 III · 量角器》会把同样的结构搬到角度上；之后用 IV ⋅ SAS 相似\textbf{IV · SAS 相似} 把"距离"和"角度"这两套度量缝起来，就足以证明初中所有的几何定理。