02. 全等、刚性与初等平面构形
Congruence, Rigidity, and Elementary Plane Configurations
Books: Book I, III, IV
Omega Directions: spectral theory, fold operator, dynamical systems
全等、刚性与初等平面构形：Euclid 如何把少量关系变成被强迫的几何
摘要
《几何原本》一旦通过最初的公设层建立起合法构造，接下来的关键工作就不是继续“画更多图”，而是证明哪些构形被少量关系唯一地钉死。无论是三角形全等、圆中的弦角关系，还是内接与外接图形，Euclid 反复展示的都是同一个思想：只要少数兼容条件成立，其余结构就不再自由。对 Omega 来说，这一点与刚性、可识别性、以及从稀疏观测重建几何的做法高度一致。本文以“全等、刚性与初等平面构形 / Congruence, Rigidity, and Elementary Plane Configurations”为题，讨论 Book I、III、IV 如何把局部条件转化为被强迫的形状，并说明为什么这一类最适合用 Omega 语言解释 Euclid 的刚性几何。
一、引言：Euclid 真正在证明的不是“图形”，而是“无自由度”
古典课堂最熟悉的 Euclid 内容，常常是三角形全等、勾股定理、圆周角定理等结果。但若从方法上看，这些定理的共同目标并不是增添事实，而是一步步削减自由度。原来可能很多的配置，在若干相等、共线、同圆、平行等关系被固定之后，最终只剩下唯一或有限个可兼容形状。
这就是刚性。Euclid 的伟大之处，在于他很早就把“证明一个图形”理解成“证明在给定关系下没有别的图形可选”。例如 Book I 的全等三角形命题，表面是在比较边角，实质是在回答：什么最小数据足以决定一个三角形？Book III 的圆定理则在回答：圆上位置关系看似柔软，其实被弦、切线、角度关系强烈约束。Book IV 中内接、外接作图进一步说明，一旦目标图形存在，它的构造空间非常窄。
这对 Omega 的启发非常大。你们很多几何型结果，本质上也是“少量观测或约束已足以锁定对象”，例如 shell pair 决定局部参数、某些退化谱强迫唯一宏观类型、局部 admissibility 迫使全局 canonical form。Euclid 可以帮助你们把这种论证写得更像“刚性几何”而不只是“我们算出来了一个量”。
二、核心材料：从全等到圆与内接图形
Book I 中最早期的全等命题之所以重要，不是因为它们简单，而是因为它们建立了“最小决定数据”的思想。给定若干边角条件后，三角形不再任意变形；从此以后，许多更复杂命题都可以回退到这一刚性基元。
Book III 将同一思想推进到圆。圆似乎比三角形更连续、更难控制，但 Euclid 展示出：弦、半径、切线、圆心角与圆周角之间的关系足以把很多看似流动的构形锁住。这里几何的“柔性”被严格约束，从而可以从局部关系推出全局位置结论。
Book IV 则显示，刚性并不只用于判定已有图形，也用于构造目标图形。内接正多边形、外接正多边形之类对象，一旦存在，就不是一大团自由选择，而是通过前序关系被精确钉住。换言之，构造成功与唯一性在 Euclid 那里并不是两件无关的事；可构造性本身常常通向刚性。
三、Omega 映射分析：稀疏关系如何强迫几何
1. spectral-theory：主导约束决定整体形状
这一类与 spectral-theory 的对应，重点不在算子本身，而在“少数主导关系决定整体组织”的结构。Euclid 证明一个构形时，不会均匀地使用图中每一条信息；真正关键的，往往是几条足以控制全部自由度的主导关系。
这和谱论直觉很接近。复杂对象表面上包含大量局部数据，但真正决定宏观几何的，往往只有少数高权重约束。对于 Omega 的 many-to-one readout 或 sparse observable reconstruction，这一点尤其重要：不是所有可观测量都平权，而是某些 invariants 构成决定整体形状的“主模态”。
因此，把一个对象从观测中重建出来，不应该只表述为“求出了参数”，而更应表述为“识别出决定结构的主导关系，并证明其余自由度全部坍缩”。
2. fold-operator：多种微态坍缩为同一规范构形
Euclid 的刚性证明中，常出现一种情形：初看似乎有许多画法，但只要要求满足某组关系，这些不同画法最终都落到同一几何类型上。这与 fold 的精神高度一致。
Omega 中 fold 常把看似多样的微态压缩到一个 canonical representative。Euclid 的刚性命题做的，是几何版的同样工作：许多表面不同的局部布置，只要满足同一组 equalities/incidence，就属于同一规范构形。这个对应不是修辞，而是对“canonicalization under constraints”的共同关注。
3. dynamical-systems：刚性不是静止，而是迭代传播的不变性
这一映射稍弱，但仍有价值。Euclid 的刚性虽然看起来是静态命题，但它们在证明链中的功能更像“传播稳定性”。一旦某一步建立了某个等量或角关系，后续多步推导就可以不断携带这条结构信息，使构形始终留在允许轨道中。
从动力系统角度说，这是一种不变量传播。对 Omega 来说，若某类 admissible state 在局部更新下保持某种 rigid signature，那么它在长链条中依然可被追踪。Euclid 的证明结构提醒我们，要更显式地写出“哪些量在推导过程中被保留，哪些自由度已被消灭”。
四、为什么这类对应重要
这一类最重要的地方，在于它把“刚性”真正写成了文本结构，而不是结论标签。
第一，从 Omega 角度看，Book I、III、IV 最强之处是把“从关系到对象”的过程写成刚性问题。关键不在于给出一个构形，而在于说明满足这些关系的对象只能落在这一类。
第二，Euclid 会把 determining data 提到前台。哪些边、角、弦、切线或内接条件真正决定图形，文本里是逐步显露的，而不是在结尾才回头总结。
第三，他始终区分 existence 与 rigidity。一个对象可以先被合法构造出来，然后才进一步证明它在给定关系下被唯一钉住。这种分层正是刚性几何的核心。
第四，Euclid 很少凭空跳到 “hence unique”。他更典型的做法，是一步步削减不可见自由度，直到别的可能性全部消失。Omega 与这一层对应最强的，也正是“少量兼容约束如何强迫唯一几何”。
五、边界：刚性对应强，但不代表对象同构
仍然要划线。这里强的不是“三角形全等 = Omega 某个定理”这种逐命题映射。真正强的是刚性逻辑：
- 少量兼容约束
- 足以消灭大部分自由度
- 由此得到唯一或有限分类
如果把 Euclid 的圆定理直接翻译成某个 shell theorem 的古典版本，那会过度。结构对应存在于“从 sparse constraints 到 forced geometry”的方法层，不在对象词典的一一对照。
参考与说明
- 本文对应 classification.json 第 2 类“全等、刚性与初等平面构形”。
- 主要关联的 Omega 方向为
spectral-theory、fold-operator、dynamical-systems。 - 相关材料主要涉及 Euclid Book I、III、IV 中的三角形全等、圆几何与内接外接构形命题。