II. 点线公理

陈述

设 $A$、$B$ 是平面上两个不同的点。则存在唯一一条直线 $\ell$ 同时过 $A$ 与 $B$：

$$\exists\,!\,\ell \;:\; A \in \ell \;\text{且}\; B \in \ell.$$

记号上把这条直线写作 $\overline{AB}$（或 $\ell_{AB}$）。

公理同时声明两件事：

• 存在性：至少有一条这样的直线。
• 唯一性：至多有一条这样的直线。

下面会看到这两半在论证里以不同方式被引用，缺一不可。

直观

两个不同的点决定一条直线：给定 $A$、$B$，$\overline{AB}$ 是无歧义的几何对象，既不依赖端点顺序，也不依赖任何外部选择。

这一条同时做了两件事——保证"过两点的直线"总能找出来（存在性），并保证它从不分裂成多条（唯一性）。前者支撑作图，后者支撑语言：写下 $\overline{AB}$ 时不必再补充"我说的是哪条"。

唯一性

公理的两半承担不同的工作。把它们拆开看，能看清"唯一"那一半在防止什么。

一、若只承诺存在

设公理弱化为"过 $A$、$B$ 至少一条直线"，不否决多条。这种系统仍然可以是无矛盾的——球面几何即一例：把"直线"取为大圆时，过任一对对径点有无穷多条大圆，存在性成立而唯一性失败。

代价是失去对"某条直线"的统一指代。每次写下 $\overline{AB}$ 都必须再额外指定是哪一条，所有涉及直线的引理都要展开成分支讨论。公理 II 通过承诺唯一性把这种分支从根上消除。

二、唯一性使 $\overline{AB}$ 指代明确

记号 $\overline{AB}$ 把"两个不同点"对应到"一条直线"。要让这种对应有效，输出必须只有一个候选——唯一性正是提供这个保证。

失去它，"$\overline{AB}$ 是直线"这句话本身就写不出来：你不知道指的是哪一条。后续每一处"取直线 $AB$"都依赖这一步。

性质	它支撑的能力
存在性	"可以画出" $\overline{AB}$
唯一性	"可以指代" $\overline{AB}$

三、$A \ne B$ 不能省略

考虑退化情形 $A = B$：要找过这一个点的直线。平面上过任一固定点的直线有无穷多条，所有方向都合格——唯一性立刻失效。

一个点不足以确定一条直线，两个不同的点恰好够：每多一个"通过"约束钉死一个方向，两个独立约束把所有方向钉死。这也解释了为什么后面"三点共线"是一个非平凡条件——第三个点未必落在前两点确定的直线上。

四、$\overline{AB} = \overline{BA}$

唯一性的一个直接副产品：

$$\overline{AB} \;=\; \overline{BA}.$$

公理问的是"过 $A$、$B$ 的那条直线"，不区分先点哪一个；两种写法满足同一组条件，按唯一性即同一条。

这与公理 I 的 $|AB|=|BA|$ 来自不同源头，但精神一致：基础几何对象不带方向。

即时推论

公理直接给出几条事实，无需再证：

• 两条不同直线至多交于一点：若 $\ell_1 \ne \ell_2$ 都同时过 $A$、$B$（$A \ne B$），按公理 II 它们必须重合，与 $\ell_1 \ne \ell_2$ 矛盾。所以两条不同直线最多有一个交点。
• $\overline{AB} = \overline{BA}$：唯一性使记号与端点顺序无关。
• 三点共线是非平凡条件：给三点 $A$、$B$、$C$（两两不同），$C \in \overline{AB}$ 一般不成立；它成立时即"三点共线"。这是一个可被检验、可被证伪的几何谓词。
• 任意两点重建整条直线：从一条直线上任取两个不同点，公理 II 反过来给出唯一的同一条直线——直线与"直线上的任一对相异点"是等价信息。

与原本/Hilbert 的对照

Euclid《原本》第一公设："过任意两点可画一条直线（一段直）。" 只承诺存在，未明说唯一。两千年里大家默认"显然唯一"，但默认不是定理。

Hilbert (1899) 把这条公设拆成两条独立的关联公理：

• I.1：过任意两个不同点至少存在一条直线。
• I.2：过任意两个不同点至多存在一条直线。

拆分让逻辑结构清晰：存在与唯一是两件独立的事，分别假设、分别使用。

Birkhoff (1932) 沿用合并写法，本系列与之保持一致。论证时仍按需把它拆成"存在"或"唯一"两半引用——这是上一节反复用到的方式。

来源	存在	唯一
Euclid《原本》第一公设	明确	默认（未声明）
Hilbert I.1 / I.2	I.1	I.2
Birkhoff 点线公理	合并一句声明	合并一句声明

它解锁了什么

后续若干定理直接或间接依赖这条公理：

• 直线记号 $\overline{AB}$ 指代明确：所有"取直线 $AB$"的步骤都建立在此。
• 两条不同直线至多一个交点：使"重合 / 相交 / 不交"成为直线之间清晰的三分类。
• 共线性 (collinearity)：三点 $A$、$B$、$C$ 共线 $\iff C \in \overline{AB}$，作为可用的几何谓词出现。
• 三角形定义：不共线三点确定一个三角形，"不共线"这一前提依赖共线性的可检验。
• 共点 (concurrence)：三条直线"过同一点"成为可陈述、可验证的几何事件，进而支撑塞瓦定理等更高阶结论。

后面《公理 III · 量角器》会在角度上重做一次"度量 + 唯一"的故事；之后用 $\textbf{IV · SAS 相似}$ 把距离、角度、点线缝合起来，初中几何的论证机器即告启动。