Euler's Eyes
2026-10-11
片段一致性
当两个片段可以“放置”在另一片段之上时，这两个片段是一致的。这是用几何学的方式来表示它们的大小相同，而不需要有刻度的尺子。
谁发现的
欧几里得在几何原本（约公元前300）的开头处理了这个主题。他的共同概念4说“彼此重合的事物是相等的”，而命题I.2和I.3展示了如何传输一个片段以及如何从一个较大的片段中切割出一个与较小的片段相等的片段。最令人好奇的是工具：欧几里得只承认指南针在离开纸张时会“闭合”，即使如此，也证明了复制距离是可能的。
故事
在希腊几何中，长度不与数字进行比较。两段相等，或大或小，这是用没有标记的尺子和圆规决定的。添加片段就是将它们一个接一个地放置；从另一个中取一个意味着重叠并查看剩下的内容。
这种工作方式有一个优点：结果对于任何测量单位都有效，即使对于不是任何单位的精确倍数的长度也是如此——希腊人很清楚这个问题。在 希尔伯特 (1899) 的公理学中，段同余成为一个原始术语，有自己的公理。
在日常生活中
- 干点指南针。 木工和锁匠将测量结果从一件工件复制到另一件，而无需读取数字 - 这就是车间中的 I.2 命题。
- **缝纫图案。**按照图案缝合布料可确保两个袖子一致。
- 替换零件。“标准”螺钉适合任何机器，因为尺寸与原始零件的尺寸一致。
- **切割几块相同的木板。**木匠测量第一块木板，并使用木板本身作为其他木板的模板。
来源： 元素，命题 I.2 · 元素，命题 I.3 · 欧几里德 (MacTutor)。
理论与结构
段的同余（符号$\equiv$）是一个原始概念。直观上，全等片段“具有相同的大小”：一个片段可以覆盖另一个片段。它遵循以下假设：
Postulado片段一致性
- **反射：**每个段都与其自身一致：$\overline{AB} \equiv \overline{AB}$。
- **对称：**如果 $\overline{AB} \equiv \overline{CD}$，则 $\overline{CD} \equiv \overline{AB}$。
- **传递：**如果 $\overline{AB} \equiv \overline{CD}$ 和 $\overline{CD} \equiv \overline{EF}$，则 $\overline{AB} \equiv \overline{EF}$。
- 线段传输：给定线段 $\overline{AB}$ 和原点射线 $A^{\prime}$，该射线上有一个单个点 $B^{\prime}$，例如 $\overline{A^{\prime}B^{\prime}} \equiv \overline{AB}$。
携带是我们使用指南针所做的：我们将指南针打开到一段的大小，并从另一个点标记该大小。
细分对比
给定 $\overline{AB}$ 和 $\overline{CD}$，我们将 $\overline{CD}$ 传输到射线 $\overrightarrow{AB}$ 并通过 $\overline{AP} \equiv \overline{CD}$ 获得点 $P$。有以下三种可能：
| $P$ 的位置 | 结论 |
|---|---|
| $P$ 介于 $A$ 和 $B$ 之间 | $\overline{AB}$ 大于 $\overline{CD}$：$\overline{AB} > \overline{CD}$ |
| $P$ 匹配 $B$ | $\overline{AB}$ 与 $\overline{CD}$全等：$\overline{AB} \equiv \overline{CD}$ |
| $B$ 介于 $A$ 和 $P$ 之间 | $\overline{AB}$ 小于 $\overline{CD}$：$\overline{AB} < \overline{CD}$ |
添加段
Definição和、倍数和约数
给定 $\overline{AB}$ 和 $\overline{CD}$，我们在原点射线 $R$ 上获取相邻线段 $\overline{RP} \equiv \overline{AB}$ 和 $\overline{PT} \equiv \overline{CD}$。段 $\overline{RT}$ 是 $\overline{AB}$ 和 $\overline{CD}$ 的总和：
$$\overline{RT} = \overline{AB} + \overline{CD} \qquad\text{e também}\qquad \overline{RT} = \overline{RP} + \overline{PT}.$$根据$n$：$\overline{RS} = n \cdot \overline{AB}$，段$\overline{RS}$是与$\overline{AB}$全等的$n$段之和，是$\overline{AB}$的倍数。在本例中，$\overline{AB}$ 是 $\overline{RS}$ 秒 $n$ 的约数。