切换深浅主题
第 12 章：概念回查、证明依赖与自检
12.1 这些词现在分别是什么意思
| 概念 | 本篇的工作含义 | 首次解释位置 |
|---|---|---|
| 正多边形、全等、相似 | 等边且等角；刚性重合；允许统一缩放的重合 | 第 1.1 节 |
| 凸、闭半空间 | 任两点连线都在体内；平面一侧连同平面 | 第 1.2 节 |
| 支撑平面、面、棱、顶点 | 整体在一侧并接触；不随意把面分割成新面 | 第 1.3 节 |
| 凸包 | 所列点的所有非负、总和为一的加权平均 | 第 1.4 节 |
| 对称、关联标记、旗标 | 同一个整个立体的刚性变换，同时对齐顶点—棱—面 | 第 1.5 节 |
| 开集、区域、连通分支 | 点旁可放小圆盘；开集内能沿折线互相走通的点类 | 第 4 章开头 |
| 连续路径 | 参数随时间连续变化、全程留在指定集合中的轨迹 | 第 4 章开头 |
| 边的开段 | 原线段去掉两个端点，不是多边形内部区域 | 第 4.1 节 |
| 辅助路径、窄通道 | 另画的曲线；容纳曲线的一小片二维区域 | 第 4.2 节 |
| 一般位置、横交、扰动 | 避开有限特殊点和重合情形；斜穿而非沿边；稍改折点达到这些条件 | 第 4.3—4.4 节 |
| 总交点数、局部不变 | 数整条射线；在每一点周围的小邻域中标签不变 | 第 4.4 节 |
| 相对内部、径向与透视投影 | 面内的内部；沿中心射线对应；沿外部观察点视线对应 | 第 5 章 |
| 图、简单路径、回路、度、树 | 有限顶点与边；不重复顶点的边路；闭合边路；相接边数；连通且无回路的图 | 第 6 章 |
| 向量、点积、单位、法向量 | 位移；坐标乘积和；长一；垂直于平面的方向 | 第 10.1 节 |
| 线性无关 | 三维中没有一个方向被其他两个方向的平面容纳；可作三轴坐标 | 第 10.1 节 |
| 活跃约束 | 在正在考察的点恰好取等的不等式 | 第 11.6 节 |
| 本例的对偶 | 二十面体顶点与十二面体面互换，关联由点积取等表示 | 第 11.6 节 |
新增的“正交、转置、行列式、取向、实特征方向、共轭、稳定子”均在第 1.10—1.11 节及第 10.6—10.11 节逐项解释；复特征值与高维理论不是主线前提。“紧集、内禀、群作用”等术语没有被用作未经解释的主线前提。需要有界闭集取最小值时，写明具体距离理由；“内禀”只作为面片自身长度角度的解释，不承担额外证明责任。球面大圆、胞腔、可定向和柄等推广内容不再夹在核心证明中。
12.2 问题与证明责任逐项对应
| 问题 | 现在的处理 |
|---|---|
| 凸正多面体到底按什么定义？ | 第 1 章：完整的关联标记对称标准；常见面与顶点条件作为结果，不暗换标准 |
| 为什么只有五组参数？ | 第 2—3 章：双重计数、欧拉公式、正整数枚举 |
| 五种实际立体为什么存在且“正”？ | 第 11.2—11.6 节：逐个确定实际面、全等正面、顶点结构和整体对称 |
| 棱都等长是否已经足够？ | 不够；第 11 章每次另外证明支撑性与面形状，以下练习给反例 |
| 树为什么有 V−1 条边？ | 第 6 章：最长简单路径端点是叶子，再归纳 |
| 树为什么只有一个面？ | 第 7 章：绕自由端替换穿越，且明确是哪一个补集 |
| 加回一条边为何恰好多一个面？ | 第 8 章：旧路径形成简单多边形保证至少两面，同侧连接保证至多两面 |
| 为什么需要一般若尔当曲线定理？ | 不需要；第 4 章只证明有限线段的多边形版本 |
| 多边形“内部”和补集在哪里定义？ | 第 4.1 节：先定义 C 与 U，不预设内外区域 |
| 边、辅助路径、窄通道是什么？ | 第 4.2 节：曲线与二维区域分开，带底色的图逐步连接 |
| 射线穿过许多条边怎么办？ | 第 4.4 节：总数 N(X) 与顶点局部变化分开，其他 K 个交点保留 |
| 两幅交点图能不能直接当作证明？ | 不能；第 4.4 节给出变化来源与顶点事件的穷尽分类 |
| 局部不变怎么推到整条路径？ | 第 4.4 节：标签局部恒定，结合实数区间连通性 |
| 截顶平面为什么一定能找到？ | 第 10.3 节：关联支撑距离之和，只在原顶点为零 |
| 顶点面角和为何严格小于 360°？ | 第 10.2—10.4 节：向量角不等式、非共面严格号与截面记账 |
| 同一组参数是否可能有另一种形状？ | 第 11.8 节：固定半棱长，求唯一 d、h，再由相邻反射传播所有标记 |
这次分享对话的 42 轮追问。 以下按提问顺序保留问题链；为便于查找，重复追问也分别列出，正文则在首次依赖处合并解释。完整提问与回答保留在本次对话正文（本地资料）。
| 轮次 | 疑问 | 新版落点 |
|---|---|---|
| 1 | 平面方程是什么意思 | 第 1.2 节 |
| 2 | b 怎样决定平面位置 | 第 1.2 节 |
| 3 | 凸组合落在平面上，为何正权重点全取等 | 第 1.4 节 |
| 4 | 什么叫凸组合 | 第 1.4 节 |
| 5 | 一个凸组合与全部凸包仍分不清 | 第 1.4 节 |
| 6 | 同一个变换同时对齐三项是什么意思 | 第 1.5、1.10 节 |
| 7 | 旗标能否分完整个凸多面体 | 第 1.7 节 |
| 8 | 对称变换的类型和具体个数 | 第 10.7、10.10 节 |
| 9 | 证明正多面体到底验证什么 | 第 1.10、11.1 节 |
| 10 | PDF 是否禁止复合三次变换 | 第 1.5、1.10—1.11 节 |
| 11 | 初始处动作如何搬到其他位置 | 第 1.11 节 |
| 12 | 究竟先找到 S 还是先找到 T | 第 1.11 节 |
| 13 | 需要更直观的例子 | 第 1.8 节的八标记循环 |
| 14 | AB 到 BC 为何不等于全部位置 | 第 1.8 节的完整八项表 |
| 15 | 一对可达怎样推到任意两对可达 | 第 1.11 节的归纳及逆变换 |
| 16 | 旗标图连通性如何证明 | 第 1.9、5.1 节 |
| 17 | 为何凸性不是必要条件 | 第 1.9 节的适用范围与反例 |
| 18 | 标记改选与平面对称是不是同一回事 | 第 1.9—1.11 节 |
| 19 | 中心反演是什么，为何另列旋转反射 | 第 10.10 节 |
| 20 | 五种立体怎样逐项满足定义 | 第 11.1—11.6 节的统一框架 |
| 21 | 支撑面和平方距离为何常用 | 第 1.3、11.1 节 |
| 22 | 二十面体坐标是怎样发现的 | 第 11.4 节的双五边形设计 |
| 23 | V、E、F 怎样记忆 | 第 1.6 节 |
| 24 | 为何突然出现三个矩形 | 第 11.4 节的两条构造路线 |
| 25 | 十二点为何不能强推三个矩形 | 第 11.4 节的构造假设说明 |
| 26 | t²−t−1 的方程怎样推来 | 第 11.4 节，另纠正 ABC 非等边 |
| 27 | 单点支撑为何证明是真顶点 | 第 11.1 节 |
| 28 | 凸包中的点与凸包顶点各指什么 | 第 1.4 节 |
| 29 | 那个方程明明还是一张平面 | 第 1.3、11.1 节的交集区分 |
| 30 | 不等式不是定义支撑面吗 | 第 1.3 节的三个集合表 |
| 31 | 球为何包含凸包，是不是 R² 够大 | 第 11.1 节的平方恒等式 |
| 32 | 线段凸性为何写成线性组合 | 第 1.2、1.4 节 |
| 33 | 凸组合为何能把内部填满 | 第 1.4 节的两个方向证明 |
| 34 | 为何所有等距变换只有这些形式 | 第 10.6、10.9—10.10 节 |
| 35 | 保持点积如何推出新基坐标相同 | 第 10.6 节逐项求 cᵢ |
| 36 | 不固定原点是否再加一个平移 | 第 10.6、10.10 节 |
| 37 | 变换类型是不是只看 Q | 第 10.10 节区分固定中心与一般位置 |
| 38 | 为何不只有八种矩阵 | 第 10.7 节 |
| 39 | 总共有多少个正交 Q | 第 10.7 节 |
| 40 | 无穷多个为何还要分类命名 | 第 10.7、10.10 节 |
| 41 | 任意三维 Q 如何归入两类 | 第 10.8—10.10 节 |
| 42 | 三维与二维为何不同 | 第 10.11 节 |
12.3 五个自检练习
一： 在两个互不相连的点之间加一条线段，为什么边数加一，面数却不变？
答：原先两个端点没有旧路径相连，不能与新边组成回路。顶点数 
不变，边数 
从 
变 
，分量数 
从 
变 ，面数始终 
；两个状态均满足 
。
二： 树添一个叶子与连通图加回一条旧边，为什么效果不同？
答：前者两侧可绕自由端互通；后者两端已由旧路径连接，整个简单闭折线阻止两侧互通。不能把“增加任意一条边都会多一个面”当成无条件结论。
三： 每面正三角形、每顶点六面，哪里被排除？
答：角和正好 
；计数式中 
，无法等于有限凸正多面体所要求的 
。
四： 所有面都是全等正三角形，是否就一定是正多面体？
答：把两个正四面体沿同一个三角形底面、向相反两侧接合，得到凸的三角双锥。外表面六个三角形都全等且等边，但两个尖顶各相交三面，三个腰部顶点各相交四面。尖顶不可能由整体对称移到腰部顶点，因此不满足第 1.5 节的定义。
五： 从立方体八顶点里选出三个两两等距的点，它们组成的等边三角形一定是立方体的面吗？
答：不是。例如 
两两距离都是 
，但其平面是 
。立方体还含 
，在此式左边取 
；也含 
，取 
。实体跨在平面两边，所以它不是支撑平面。这个例子说明构造正二十面体时，不能只检查若干三点等距，还必须检查所有点同侧。
12.4 哪些已证明，哪些作为明确基础引用
主线已展开：多边形的两分支结论、奇偶标签的局部与路径不变性、树的边数与面数、加边引理、欧拉公式、顶点角和不等式、五种构造的正则性与所选标准下的唯一性。
新增部分已证明：凸组合填满及最小性、旗标细分、相邻旗标传播、两步正则性判据、一般等距变换的形式、有限对称计数、三维正交变换分类与奇偶维区别。等距分类提供理解背景，不参与欧拉公式证明。
仍明确引用以下基础，不声称从实数公理重建：三角形内角和与初等三角函数、实数连续函数的中间值性质、有限维有界闭集上连续函数能取极值，初等三角函数的和差与倍角恒等式，第 10.8 节明列的行列式恒等式及线性方程消元判据，以及第 1.4 节的有限凸多面体表示定理。其中有界半空间交等于顶点凸包的方向，已在第 11.6 节专门证明。完整表示定理的另一方向是本篇清楚标明的外部基础，不偷偷归入“显然”。
原始问题来自用户提供的分享对话，以及后续对定义、辅助路径、窄通道、奇偶性和存在性反复追问。第五版再整合新的 42 轮分享对话，依首次依赖位置重排，并纠正其中关于 ABC 等边、构造必然性和对称分类前提的表述。
核对资料与具体用途如下，正文推导并非这些材料的逐段翻译：
Bayer 与 Lee，Convex Polytopes，定理 1.1：有限凸包与有界半空间交的表示定理。
David Vogan，Regular polyhedra and Coxeter groups：核对关联标记对称是标准的正则性定义；本篇不要求先学 Coxeter 群。
Thomas F. Banchoff，Coordinates for Regular Polyhedra：核对黄金比例坐标的构造路线。
Jeff Erickson，Simple Polygons：核对有限线段情形的分割与奇偶计数范围；本篇采用自己的窄通道加局部事件论证。
Sergei Treil，Linear Algebra Done Wrong，第 6.5 节：核对正交矩阵的旋转分解与三维反向取向情形；本文使用行列式符号证明轴的存在，不要求复特征向量理论。
本版资料目录（本地资料）含生成脚本、精确代数证书、审查问题闭环记录；原始分享页保留在第一版资料目录（本地资料）。阅读索引同步保留旧版入口。
HTML 的正文、图片、公式和公式源码工具全部嵌入，可单文件离线阅读；其他笔记、资料、配套 Markdown 和 PDF 的链接仍需对应文件。PDF 是同版 HTML 的静态导出，保留正文目录、页码、内部跳转和分层书签。