# 正多面体与欧拉公式笔记 第三版 · 2026-10-15（北京时间） 从“为什么凸正多面体只有五种”出发，逐步追问顶点角和、欧拉公式与平面分割的依据。本文把直观图景、证明和引用的基础结论分开：主线只讨论有限条线段，不要求先学习一般若尔当曲线定理。 本版共 20 幅图。第 4 章先区分原边、辅助路径和窄通道，再用带底色的图说明转角连接与首次相遇；建议按图注读完局部构造，再看全局计数。窄屏可横向滑动较宽的证明图。 阅读建议：先读第 1—3 章把握分类，再读第 4—9 章检查欧拉公式；第 10 章补几何路线，第 11 章补存在性与唯一性的依据，第 12 章回看原对话中的疑问。 ## 正文目录 - [第 1 章：讨论对象与证明任务](#chapter-1) - [第 2 章：两条路线为何得到同一限制](#chapter-2) - [第 3 章：五组整数解与五种立体](#chapter-3) - [第 4 章：只需简单多边形的分割定理](#chapter-4) - [第 5 章：凸多面体怎样变成直线平面图](#chapter-5) - [第 6 章：树为什么有 V−1 条边](#chapter-6) - [第 7 章：树为什么只有一个面](#chapter-7) - [第 8 章：加回一条边为什么恰好多一个面](#chapter-8) - [第 9 章：完成欧拉公式的证明](#chapter-9) - [第 10 章：顶点角和小于 360° 的几何证明](#chapter-10) - [第 11 章：存在性、唯一性与证明的边界](#chapter-11) - [第 12 章：问题回查、练习与来源](#chapter-12) ## 第 1 章：讨论对象与证明任务 [返回目录](#reading-toc) ### 1.1 凸多面体的严格含义 本文的凸多面体是三维空间中有界、内部非空的有限个闭半空间的交： $$ P=\bigcap_{i=1}^{m}\{x\in\mathbb R^3:a_i\cdot x\le b_i\}. $$ 其中 $a_i\ne0$。作为集合，它包含内部和边界。“凸”意味着任取 $A,B\in P$，连接二者的整条线段仍在 $P$ 中： $$ (1-t)A+tB\in P\qquad(0\le t\le1). $$ 每个半空间都具有这个性质，交集也具有这个性质。反过来，有界的多面体若具有线段凸性，可以用其各面的支撑半空间表示；这里引用这一标准等价刻画。立方体的例子是 $0\le x,y,z\le1$。 面取极大的二维平面面；不会把一个正方形随意划成两个三角形后，把对角线当作原多面体的棱。顶点取真正的极点，棱取一维面。
凸：任意两点的线段都留在内部非凸：找到一条跑到外面的线段ABAB线段穿过凹口
图 1｜先看截面：左图只展示一个例子，凸性要求对所有两点成立；右图的一条反例线段已经足以否定凸性。
### 1.2 正多面体与参数 通常的凸正多面体要求整体对称：其欧氏对称群对所有“顶点—棱—面”的关联旗标传递。旗标就是一个顶点、一条包含它的棱、一个包含该棱的面的组合；允许对称包含反射。 这蕴含两个分类时要用的性质：所有面都是全等的正 $p$ 边形；每个顶点都有相同的 $q$ 个面相交，也有 $q$ 条棱相接。这里 $p,q\ge3$。 初读时可以先用这两个性质计数；不要把“各面正且每个顶点面数相同”未经说明就当成一般情形下整体对称性的定义。第 11 章的唯一性讨论使用上面的整体正则性。 用 $V,E,F$ 分别表示顶点数、棱数、面数。分类需要三件事：限制可能参数；构造对应立体；说明同一参数没有另一种不相似的凸正多面体。仅枚举参数尚未完成后两件事。 ## 第 2 章：两条路线为何得到同一限制 [返回目录](#reading-toc) ### 2.1 从局部角度出发 正 $p$ 边形的每个内角是 $\alpha=(p-2)\pi/p$。凸多面体的真正顶点处，相邻面的面内角之和严格小于 $2\pi$，其证明见第 10 章。因此 $$ q\frac{(p-2)\pi}{p}<2\pi. $$ 先约去正数 $\pi$，再乘以正数 $p$，得到 $q(p-2)<2p$，即 $pq-2p-2q<0$。两边加 $4$ 并因式分解： $$ \boxed{(p-2)(q-2)<4}. $$ ### 2.2 从整体计数出发 每个面有 $p$ 条棱，但每条棱被两个面共享；每个顶点有 $q$ 条棱，但每条棱有两个端点。所以 $$ pF=2E,\qquad qV=2E. $$
按面数棱：同一条棱被数两次面 1面 2pF = 2E按顶点数棱：每棱有两个端点ABA 数一次，B 再数一次qV = 2E
图 2｜两条双重计数等式，都来自“同一个对象被数了几次”。
将 $F=2E/p$、$V=2E/q$ 代入将于第 9 章证明的欧拉公式 $V-E+F=2$： $$ \frac{2E}{q}-E+\frac{2E}{p}=2. $$ 由于 $E>0$，两边除以 $2E$ 并移项： $$ \frac1p+\frac1q=\frac12+\frac1E>\frac12. $$ 乘以正数 $2pq$，得到 $2p+2q>pq$，再整理就得到同一不等式。严格大于来自 $1/E>0$，没有额外的几何假设藏在这一代数步骤中。 两条路线可以分别成立：欧拉公式的证明不需要预先知道顶点角和；顶点角和的证明也不需要欧拉公式。 ## 第 3 章：五组整数解与五种立体 [返回目录](#reading-toc) ### 3.1 不漏项地枚举 令 $a=p-2$、$b=q-2$，则 $a,b$ 是正整数，且 $ab<4$。 若 $a=1$，则 $b=1,2,3$；若 $a=2$，则只能 $b=1$；若 $a=3$，也只能 $b=1$；若 $a\ge4$，任何正整数 $b$ 都不可能。因此恰好五组参数。 | 每面边数 p | 每顶点面数 q | 立体 | V | E | F | | --- | --- | --- | --- | --- | --- | | 3 | 3 | 正四面体 | 4 | 6 | 4 | | 3 | 4 | 正八面体 | 6 | 12 | 8 | | 3 | 5 | 正二十面体 | 12 | 30 | 20 | | 4 | 3 | 正六面体（立方体） | 8 | 12 | 6 | | 5 | 3 | 正十二面体 | 20 | 30 | 12 | 计数可以由参数反算： $$ E=\frac{2pq}{2p+2q-pq},\qquad V=\frac{2E}{q},\qquad F=\frac{2E}{p}. $$ 例如 $p=4,q=3$，分母为 $8+6-12=2$，所以 $E=12$、$V=8$、$F=6$。 ### 3.2 为什么正六边形不行 正六边形每角 $120^\circ$，至少三面相交就达到 $360^\circ$，不满足凸顶点的严格不等式。边数更多的正多边形内角更大，也被排除。 这里排除的是三维凸正多面体；不排除平面铺砌，也没有在讨论允许自交的星形正多面体。 ## 第 4 章：只需简单多边形的分割定理 [返回目录](#reading-toc) ### 4.1 先定义闭折线、补集与边的开段 用 $C$ 表示一条简单闭折线：它由有限条线段首尾相接，除了相邻边的共同端点，没有其他交点。$C$ **只包含这些线段上的点**，不包含尚未定义的“多边形内部区域”。共线的多余中间顶点可先删去。 本文所说的补集，明确指 $$ U=\mathbb R^2\setminus C. $$ 也就是平面上所有不在原闭折线上的点。“区域”在这里指 $U$ 的一个连通分支；这不是预先把平面划成“内部”和“外部”。 若一条边的端点为 $A,B$，“边的开段”指去掉两个端点后剩下的点： $$ (A,B)=\{(1-t)A+tB:0
L：辅助路径R：辅助路径e沿箭头走：上方是左手侧，下方是右手侧粗深线：原多边形的一条边浅色面：窄通道，是一片区域细线 L、R：画在通道里的路径通道与路径都不包含原边此图只画边中段，暂不画顶点
图 3a｜先分清三种对象：边是一条线段；窄通道是一小片平面区域；辅助路径是通道里另外画出的一条曲线。底色不是多边形的整个“内部”或“外部”。
**第一步：只看一条边的中段。** 沿闭折线选定一个行进方向。在这条边旁边选一个足够薄的矩形，去掉原边后，矩形分成左手旁和右手旁两个半矩形。每个半矩形就是此处的窄通道；在其中各画一条与原边平行的短线。 “左”“右”随行进方向确定：转弯后也要跟着转，不是固定指纸面左右。图 3a 的上、下关系只针对图中向右的箭头。 **第二步：放大一个顶点。** 选一个以该顶点为圆心、足够小的圆盘，使它只遇到与此顶点关联的两条边。这两条径向线段把去掉原边后的圆盘分成两个开扇形。前一条边左手旁的短线和后一条边左手旁的短线，进入同一个开扇形；在其中用小圆弧和短线连接。右手旁的两条短线，在另一个开扇形中同样连接。 连接避开圆心和两条原边。把这些连接周围选作一片很薄的带状区域，就是顶点附近的窄通道；圆盘本身不等于通道，也不能整盘当作可走区域，因为其中仍有原边和顶点。
VLRLR从下往上走，到 V 后向右转左手旁的短路，接到左手旁右手旁的短路，接到右手旁圆盘中只遇到两条关联边两条辅助路径都不碰 V 或原边浅色通道容纳连接；细线才是实际的路径
图 3b｜放大一个顶点 V：不是让路径穿过顶点，而是在相应扇形中绕开它。左右由行进方向决定，不是纸面的左边和右边。
**凹角也按同样规则连接。** 两个扇形不一定一样大，也不一定都是凸扇形；它们各自都可以用路径连通其中的点。连接只依据行进方向的左手、右手，不需要先决定多边形的哪一部分叫“内部”。
VLRLR改为到 V 后向左转左手路径仍然接左手路径右手路径仍然接右手路径两个扇形的大小可以不同此图局部可出现在多边形凹角不需要先判断哪个扇形属于“内部”
图 3c｜沿同样的规则也能处理凹角。这里并未把两条路径命名为“内侧”和“外侧”，只用沿箭头行进的左手、右手来辨认。
**第三步：沿全部顶点做完连接。** 每一条边旁的左手短线，经两端的局部连接接到相邻短线；依次走完整圈并回到起点，就形成一条辅助闭路径 $L$。右手旁同理得到 $R$。因此 $L$ 自身连通，$R$ 自身连通，而且都包含在 $U$ 中。 为什么能选得足够小、足够窄？顶点和边只有有限多个，可以先选两两不交、避开其他边的顶点圆盘；圆盘外互不相交的紧线段之间有正距离，再把中段矩形选得比这些距离更窄。于是各处连接不会误碰非关联边，左右辅助路径也可保持互不相交。
原图 C 只有深色边线每个角都按图 3b 的方式连接深色：原闭折线 C浅绿、浅金：两条窄通道绿实线：辅助闭路径 L金虚线：辅助闭路径 RL、R 各自贯通整圈两者都在 U = 平面去掉 C 中
图 3d｜局部连接做完一整圈，才得到 L、R 两条辅助闭路径。矩形只是一个具体例子；构造规则同时适用于图 3c 那样的转角。图中央未着色的部分同样属于补集，通道并不占满补集。
> 到这里证明的是：可以在 $U$ 中画出 $L,R$，且二者各自连通。还没有证明它们位于不同的补集分支。两条辅助曲线互不相交，并不能单独排除它们经过更远的地方互通。 ### 4.3 为什么补集 U 至多有两个连通分支 **目标：** 任取 $X\in U$，证明它能在 $U$ 内连接到 $L$ 或 $R$。这里的“连接”全程不能碰到原闭折线 $C$，并不是沿原多边形的边走。 先在任意一条边的开段上选一点 $M$，从 $X$ 向 $M$ 画一条有限折线路径。可以把折点稍作扰动，使它避开所有原顶点，与原边不重合，也只作有限次横交。此时不要求整条候选路径都在 $U$ 中；它的用途只是找到第一次碰到 $C$ 的位置。 因为终点 $M\in C$，第一次相遇必存在，记为 $Q$。$Q$ 位于某条边的开段，而不是原顶点。从 $X$ 出发到碰到 $Q$ **之前**，这段候选路径都在 $U$ 中。 在 $Q$ 之前足够近的位置取一点 $Z$，实际行走只走到 $Z$，不走到 $Q$。此时 $Z$ 已经靠近原边的某一侧。在同侧的局部半矩形，或顶点圆盘对应的开扇形中，可以把 $Z$ 连接到第 4.2 节构造的 $L$ 或 $R$；这个局部连接同样不碰 $C$。
C 的一段边LRXZQQ：原路线第一次碰 C 的位置到达 Q 之前，先停在 ZX 到 Z 的路始终在补集 U 中在同侧通道内，从 Z 接到 L连接过程始终不碰 Q 或 C蓝线到 Z 为止；红虚线表示不能继续走的部分
图 4｜“走到边上”不是允许路径碰边：Q 只用于确定首次相遇位置，实际连接在 Q 前的 Z 处转弯。若从另一侧接近，则以相同方式接到 R。
拼接“从 $X$ 到 $Z$”与“从 $Z$ 接到辅助路径”这两段路，就得到一条完全位于 $U$ 中的路径。因此每个 $X\in U$ 都与 $L$ 或 $R$ 的点处于同一个连通分支。 $L$ 自身连通，所以整条 $L$ 只属于一个分支；$R$ 也只属于一个分支。$U$ 的每个分支都含有二者之一，故 $U$ **至多有两个**连通分支。此处仍允许两条辅助路径属于同一个分支；下一节才排除这一可能。 “每个点都能接到 $L$ 或 $R$”补上了全局覆盖这一步；仅说“原边附近有两侧”，不能排除远处还有第三个分支。 ### 4.4 为什么两侧不能再绕路相通 选一条不平行于任何边的固定射线方向。对一般位置的点 $X$，数从 $X$ 沿此方向射出的射线与多边形相交的次数，只记录奇偶性。 当起点在不碰多边形的情况下作小幅移动时，交点正常移动；射线越过一个顶点方向时，两条关联边的交点要么同时出现或消失，要么一个交点换到另一条边，因此奇偶性不变。射线经过顶点的特殊位置用邻近一般位置定义，左右值一致。
射线向右：内点一次，外点两次X1 次：奇Y2 次：偶射线越过顶点：交点成对变化20局部 2 ↔ 0，奇偶性不变
图 5｜左图说明奇偶标签能区分两侧；右图只画顶点附近的局部变化，新增或消失的交点成对出现，不改变奇偶性。
这给补集 $U$ 上一个局部不变的奇偶标签。沿任何连续路径，该标签都不变。可选边的开段上一点，使经过它的测试直线不经过任何顶点；在该点两侧取充分近的两点，两条射线的交点数相差一。因此两侧标签不同，不能在补集中连通。 结合“至多两个”，恰好两个。多边形是有界的，大圆盘外的区域连通，故至多有一个无界分支；另一分支有界。每条边的两侧分别接到两区，顶点用相邻边逼近，得到共同边界的结论。 > 奇偶性只负责区分两侧；窄带和首次相遇论证负责排除第三个分支。只讲“射线相交次数一奇一偶”并没有单独完成整个证明。 ## 第 5 章：凸多面体怎样变成直线平面图 [返回目录](#reading-toc) ### 5.1 透视投影，而非剪开展开 选择凸多面体的一个面 $f$，在该面相对内部一点的外侧选一个充分靠近的观察点 $S$。选得足够近时，$S$ 只违反面 $f$ 的半空间约束，仍严格满足所有其他面的约束。 从 $S$ 向面 $f$ 的内部发出一条射线：它先穿过 $f$ 进入凸体，再从另一处边界离开。凸性保证射线与凸体的交集是一个线段，所以不会反复进出。反过来，其他面的点投到 $f$ 所在平面时，投影都落在 $f$ 内。 因此，将除 $f$ 内部外的表面投影到 $f$ 的平面，得到嵌在面 $f$ 轮廓内的图。不同的内部边不会交叉：若交叉，就意味着同一条视线有两个不同的离开点。直线透视投影仍是直线，所以图中的边可以取线段。这种图称为 Schlegel 图。 立方体：8 个顶点，12 条边图内有 5 个有界区域外部无界区域也算一个面所以 F = 5 + 1 = 6 ### 5.2 为什么面数没有少一个 未选中的面对应图内有界区域；选中的面 $f$ 对应图外无界区域。因此总面数仍是原来的 $F$，顶点和棱也保持一一对应。不能一边删掉一个面，一边又忘记把外部区域计入。 原多面体的边图连通：例如各面沿公共棱连接成整张凸体表面，每个面的边界连通；也可从凸体表面径向投到球面看出表面连通，面间的连续路线可以绕开有限个顶点而依次跨棱。故得到有限、连通的直线平面图。 下文的面，统一定义为平面去掉图后的连通分支，包括无界分支。平面开集的连通分支都是折线道路连通的：固定一点，能用有限折线到达的点组成开集，其余点也组成开集；连通性迫使后者为空。这一事实让后面的“选一条折线路径”有了依据。 ## 第 6 章：树为什么有 V−1 条边 [返回目录](#reading-toc) ### 6.1 树与生成树 树是有限、连通且没有简单回路的图。生成树保留原图全部顶点，只选取一部分边，并形成树。 生成树为什么存在？只要当前连通图还有回路，就删去回路上的一条边。该边两端仍能沿回路剩余部分连接，所以连通性不变。边数有限，删除过程终止，最后就是生成树。这个构造还没有用到面数或欧拉公式。 ### 6.2 用最长路径找叶子 叶子是度数为 $1$ 的顶点。至少有两个顶点的有限树中，选一条顶点不重复的最长路径，考虑端点 $A$。 $A$ 至少有一条相邻边。假如它还有另一条边通向 $B$：若 $B$ 不在路径上，就能延长路径；若 $B$ 在路径上，就形成回路。两者都矛盾。因此 $A$ 恰好只有一条相邻边。
AA新点 B通向路径外 → 路径还能延长连回路径内 → 出现回路最长简单路径端点 A 不可能还有第二条边
图 6｜叶子存在的两个反证分支：第二条边若通向新点，违背最长；若通向旧点，违背无回路。
删除叶子及其边后，剩下的图仍连通：两个剩余顶点间的简单路径不可能以叶子作中间点；也仍无回路。
删去一个叶子及它唯一的边叶子V = 5，E = 4V = 4，E = 3剩下仍连通，也没有回路
图 7｜每次删除都让顶点数和边数同时减一。一直删到单点，反过来就得到 E = V−1。
### 6.3 归纳计数 单顶点树的边数为 $0$。对 $V\ge2$，删掉一个叶子及其边，剩下 $V-1$ 个顶点。由归纳假设，剩下 $V-2$ 条边，加回被删的一条： $$ E=(V-2)+1=V-1. $$ 这比“每加入一个顶点就加一条边”完整，因为我们先证明了任意有限树都确实可以按这种方式逐步拆开。 ## 第 7 章：树为什么只有一个面 [返回目录](#reading-toc) ### 7.1 有限线段的绕行引理 设在一个直线平面图 $G$ 上增加一条线段 $AB$：$A$ 是已有顶点，$B$ 是新顶点，线段除 $A$ 外不碰原图。这样的边是悬挂边。这里原图的补集是 $\mathbb R^2\setminus G$；增加后是 $\mathbb R^2\setminus(G\cup AB)$。我们要证明两者的连通分支数相同。 证明要解释为什么两侧仍能互通。它的内部和新端点都位于原图的同一个面 $\Omega$。取该面中避开新线段的任意两点，先在 $\Omega$ 中用折线连接；稍作扰动，让它与新线段只在有限个内部点横交，且避开 $A,B$。 若路径穿过线段，可以沿线段一侧走向自由端 $B$，绕 $B$ 一个小半圆，再沿另一侧返回，替代原来的穿越。路径与线段的交点有限，并且全离 $A$ 有正距离，故只需在远离 $A$ 的紧子线段周围选一个避开原图的窄通道。这里的“通道”仍指二维带状区域，绕行路径画在其中；它连同 $B$ 的小圆盘完全在 $\Omega$ 内。 逐次替换有限个穿越，得到完全避开新线段的路径。因此 $\Omega$ 没有被分裂。其他面没有受到影响，且增加障碍不能把原本不同的面合并，所以面数不变。
AB浅绿底：窄通道所在区域绿线：通道内的绕行路径红虚线：原路会穿过新边窄通道远离附着点 A所以新边两侧仍然相通只有 B 是可以绕过去的自由端
图 8｜树不分割平面的核心动作：把一次“穿过边”替换成“绕自由端”。这一步可对有限多个交点逐一进行。
### 7.2 为什么“没有回路”不是充分的解释文字 “没有回路，所以没有围出区域”描述的是正确图景，但直接把它当作理由，仍然省略了平面连通性的论证。上面的自由端绕行给出可逐步检查的依据。 单个点的补集连通：连接任意两点的折线若碰到它，绕一个小圆弧即可避开。从单顶点树出发，按第 6 章删除叶子的逆过程，逐条增加悬挂边；每一步面数不变，所以 $$ \boxed{F_{\mathrm{tree}}=1}. $$ 这里没有用欧拉公式倒推，因此不存在循环论证。 ## 第 8 章：加回一条边为什么恰好多一个面 [返回目录](#reading-toc) ### 8.1 条件必须说全 设 $G$ 已经有限、连通且直线嵌入平面。增加一条边 $e=AB$，两端 $A,B$ 是不同的已有顶点；内部不碰原图。我们要证明 $$ F(G+e)=F(G)+1. $$ 记新边去掉端点后的开段为 $e^\circ=e\setminus\{A,B\}$。它连通且完全位于原图补集 $\mathbb R^2\setminus G$ 中，所以位于其中一个连通分支，也就是一个原面 $\Omega$ 内。其他原面没有改变，因此只需研究 $\Omega\setminus e$。 AB蓝线：已有简单路径 P金线：加回的新边 eP 与 e 合起来成为简单闭折线其他已有边可以在图中继续延伸 ### 8.2 至少分成两个面 由于 $G$ 连通，原图中存在从 $A$ 到 $B$ 的简单路径 $P$。路径不重复顶点，原图边不交叉，而 $e$ 的内部不碰原图，所以 $P\cup e$ 是简单闭折线。 由第 4 章的多边形分割定理，这条闭折线的两侧不连通。在新边中点附近，选一个小圆盘，避开所有原图；盘内新边两侧的点 $X,Y$ 原来都在 $\Omega$，现在却分别位于闭折线的两区。 任何避开 $G+e$ 的路径也必避开 $P\cup e$，故不能连接 $X,Y$。因此 $\Omega$ 至少分成两个面。
ABXYX、Y 原来同面；加边后被闭回路隔开上方蓝线：已有简单路径 P下方金线：加回的新边 eP ∪ e 围成简单多边形新边两侧的 X、Y 无法互通这证明“至少两个”
图 9｜同样是加一条边，这次没有自由端：两端早已被旧路径连起来，绕过端点也无法逃开整个闭回路。
### 8.3 至多分成两个面 沿新边的开段，两侧各取一条二维窄通道，并在其中各画一条辅助路径；以下“同侧相连”指可以在该侧区域内行走，不是沿原边行走。这里不要求有一个固定宽度一直延伸到端点：只需任意两个开段上的位置之间的紧子线段周围有避开原图的窄矩形，就能在同侧相互连接。原图只有有限条线段，且与这段紧子线段不相交，所以这样的宽度存在。 取 $\Omega\setminus e$ 中任意一点 $Z$。由于 $\Omega$ 折线道路连通，可以在 $\Omega$ 中用折线走向新边中点；扰动路径，使它避开端点并横交线段。考察第一次碰到 $e$ 之前的部分，它把 $Z$ 接到新边某一侧的通道。 所以每个新分支都接到左侧通道或右侧通道；每一侧的辅助路径自身连通，至多对应一个分支。因此至多两个。
ABZ₁Z₂两片浅色带：两侧窄通道任意点沿原面走向新边碰边前先转入一侧窄通道细线：通道中的辅助路径因此每侧至多一个分支
图 10｜“至多两个”另有理由：所有新分支都必须接到上、下两条通道之一。通道只沿边内部走，不要求在端点处保持固定宽度。
### 8.4 合并结论 至少两个且至多两个，故一个原面恰好分为两个；其他面不变。这才得到 $$ \Delta V=0,\qquad\Delta E=1,\qquad\Delta F=1. $$ 只引用“闭曲线有内外两区”足以帮助区分两侧，却不能代替第 8.3 节对其他分支的排除。另一个重要条件是连通性：如果新边连接两个不同连通分量，它可能只是把分量接起来，并不产生新面。 ## 第 9 章：完成欧拉公式的证明 [返回目录](#reading-toc) ### 9.1 从生成树加回原图 取连通直线平面图 $G$ 的一棵生成树 $T$。第 6—7 章证明了 $$ E(T)=V-1,\qquad F(T)=1. $$ 所以对这棵树，$V-E(T)+F(T)=V-(V-1)+1=2$。 现在依次加回原图中不属于树的边。因为始终保留着生成树，当前图始终连通；由于加回的都是原来平面图的边，也不会发生交叉。因此每一步都满足第 8 章的条件：边数和面数同时增加一，顶点数不变。 $$ \Delta(V-E+F)=0-1+1=0. $$
生成树V=4，E=3，F=1V − E + F = 2加回一条边V=4，E=4，F=2V − E + F = 2再加回一条边V=4，E=5，F=3V − E + F = 2
图 11｜从同一组顶点出发：每加回一条边，就多一个面。减去的 E 与加上的 F 同时增一，差值不变。
全部加回后得到 $$ \boxed{V-E+F=2}. $$ 也可直接数：一共加回 $E-(V-1)$ 条边，所以 $F=1+E-(V-1)=E-V+2$。 第 5 章给出凸多面体与这种平面图的对应，故凸多面体同样满足该式。这个证明没有依赖正多面体条件。 ### 9.2 适用范围与常见误用 对具有 $c$ 个连通分量的有限平面图，公式是 $V-E+F=1+c$，仍把外部算一个面。可用每个分量的一棵树组成的生成森林重复上述计数；有限个互不相交的树的补集仍连通，用第 7 章绕行逐棵加入即可。 带孔的闭合多面体表面未必满足 $2$。对于连通、闭合、可定向的曲面，若有 $g$ 个柄，并采用每面都是圆盘的有限胞腔分解，则欧拉示性数为 $2-2g$。这是延伸背景，本文不证明，也不用于分类。 证明依赖关系是：有限线段的局部绕行与多边形分割 → 树的面数和加边引理 → 欧拉公式 → 正多面体的参数限制。没有从欧拉公式反推其中的引理。 ## 第 10 章：顶点角和小于 360° 的几何证明 [返回目录](#reading-toc) ### 10.1 先证明空间夹角三角不等式 设 $u,v,w$ 是单位向量，令 $\alpha=\angle(u,v)$、$\beta=\angle(v,w)$、$\gamma=\angle(u,w)$，取值均在 $[0,\pi]$。目标是 $\gamma\le\alpha+\beta$。
方向夹角：直接转，或经中间方向转uvwαβγ图示共面且 v 在较小夹角内：γ = α + β空间不共面时，绕经 v 更长：γ < α + β一般结论由后面的内积计算保证
图 12｜先把不等式读成“方向之间的距离”：经中间方向绕行，不会比直接转过去更短。图中画的是取等的共面情形，严格号要由非共面条件推出。
若 $\alpha$ 或 $\beta$ 为 $0$，结论直接成立；若有一个为 $\pi$，则右边至少为 $\pi$，结论也成立。其余情形可写为 $$ u=\cos\alpha\,v+\sin\alpha\,a,\qquad w=\cos\beta\,v+\sin\beta\,b, $$ 其中 $a,b$ 都是垂直于 $v$ 的单位向量。由 $a\cdot b\ge-1$， $$ \cos\gamma=u\cdot w \ge\cos\alpha\cos\beta-\sin\alpha\sin\beta =\cos(\alpha+\beta). $$ 当 $\alpha+\beta\le\pi$ 时，用余弦在 $[0,\pi]$ 上严格递减，得出目标结论。当 $\alpha+\beta>\pi$ 时，直接用 $\gamma\le\pi<\alpha+\beta$，不在错误的区间反用余弦单调性。 若三个向量线性无关，$a,b$ 不可能反向，且 $\sin\alpha\sin\beta>0$，所以内积不等式严格。结合上面的分情况，得到 $\gamma<\alpha+\beta$。 ### 10.2 用平面截去一个真正顶点 设凸多面体的顶点为 $O$，相邻棱有 $n$ 条。存在一个线性函数在 $O$ 处严格小于所有其他顶点：例如把 $O$ 处各关联面的向内距离函数相加，和为零仅可能位于这些支撑面的公共交点 $O$。充分靠近 $O$ 的小正水平面便能分离 $O$ 与其他顶点。 该平面逐条截到从 $O$ 发出的棱，形成凸 $n$ 边形 $A_1\cdots A_n$；在每个原面内截出三角形 $OA_iA_{i+1}$。各 $A_i$ 都是截面真正的顶点，相邻三点不共线。
OA₁A₃A₄A₂金色平面截到所有从 O 发出的棱截面放到纸上看：凸多边形A₁A₂A₃A₄A₅左图画四棱锥；右图另示一般截面
图 13｜先用一张平面截掉顶点附近的小角：原来的各个面，在小棱锥中变成侧三角形。截面是平面凸多边形，内角和可以直接使用。
记顶角 $\theta_i=\angle A_iOA_{i+1}$，底角为 $\alpha_i=\angle OA_iA_{i+1}$ 与 $\beta_i=\angle A_iA_{i+1}O$，下标循环。三角形内角和给出 $$ \sum_{i=1}^{n}\theta_i=n\pi-\sum_{i=1}^{n}(\alpha_i+\beta_i). $$ 在底面顶点 $A_i$，记底面内角为 $\gamma_i$。从 $A_i$ 指向 $A_{i-1},O,A_{i+1}$ 的三个向量线性无关：前后邻点决定截面平面，$O$ 不在此平面中。所以第 10.1 节给出 $$ \gamma_i<\beta_{i-1}+\alpha_i. $$
一个侧三角形：θᵢ + αᵢ + βᵢ = πOAᵢAᵢ₊₁θᵢαᵢβᵢ在底面顶点 Aᵢ 比较三个角Aᵢ₋₁Aᵢ₊₁OAᵢγᵢγᵢ < βᵢ₋₁ + αᵢ把所有侧三角形的内角和相加
图 14｜左图负责角度记账；右图中 O 在截面之外，三条射线不共面，所以底面角 γᵢ 严格小于绕经 O 的两个角之和。空间射线在纸上的夹角仅作标记，不按比例量角。
把所有不等式相加，并用凸 $n$ 边形内角和，得到 $$ (n-2)\pi=\sum_i\gamma_i<\sum_i(\alpha_i+\beta_i). $$ 代回： $$ \sum_i\theta_i ## 第 11 章：存在性、唯一性与证明的边界 [返回目录](#reading-toc) ### 11.1 五种立体怎样存在 以下点集的凸包给出具体构造；整体缩放不改变类型。 | 立体 | 顶点坐标或构造 | | --- | --- | | 正四面体 | $(1,1,1),(1,-1,-1),(-1,1,-1),(-1,-1,1)$ | | 立方体 | $(\pm1,\pm1,\pm1)$ 的全部八种组合 | | 正八面体 | $(\pm1,0,0),(0,\pm1,0),(0,0,\pm1)$ | | 正二十面体 | $(0,\pm1,\pm\varphi),(\pm1,\pm\varphi,0),(\pm\varphi,0,\pm1)$，每对正负号独立，$\varphi=(1+\sqrt5)/2$ | | 正十二面体 | 上述正二十面体的极对偶；以其每个三角形面的中心作顶点，取这些点的凸包，所得与极对偶相似 | 前三个例子可直接算距离及支撑平面。二十面体也可用 $\varphi^2=\varphi+1$ 核对：顶点等半径，棱长均为 $2$，有二十个等边三角形支撑面，每顶点相接五面。正十二面体与二十面体互换顶点和面：每个二十面体顶点周围的五个面中心形成一个正五边形。 要说明“正”还需整体对称，而不能只数边。本构造的正二十面体顶点邻点围绕顶点轴呈五重旋转对称，顶点图连通且可用这些对称将邻接顶点互换，结合保持一个顶点的五重旋转和镜面对称，得到旗标传递；极对偶继承对称并将顶点与面对换。附带坐标检查程序保存了各支撑面、棱长、顶点度数与所有旗标对称的数值核对，供复算，数值检查不代替精确的坐标恒等式。 ### 11.2 为什么同一参数只有一种：球面旗标三角形 这里给出唯一性的标准几何论证概要，并明确引用一个球面几何结论：角均在 $(0,\pi)$ 的凸球面三角形由三个角唯一确定到球面等距变换。它可由球面余弦定理证明，本文不另行展开球面三角学。 对凸正多面体，把全部顶点的平均值取作原点 $O$。旗标传递意味着顶点传递，所以所有顶点在同一个以 $O$ 为球心的球面上。对一面选其中心 $C$，对一条棱选中点 $M$，对其端点选 $A$；把射线 $OC,OM,OA$ 投到单位球面。
CMA先在一个面上找：顶点 A、棱中点 M、面中心 C金色小三角形代表一个旗标从多面体中心径向投到球面得到全等的球面旗标三角形三个角为 π/p、π/2、π/q图中只画面内标记，未画球面角
图 15｜唯一性补充中的基本小块。先在面内认清 A、M、C，再把三条中心射线投到球面；球面角不等于左图平面角。
每个面被中心与边中点分成 $2p$ 个旗标三角形。球面上这些三角形全等，三个角分别是 $$ \frac{\pi}{p},\qquad\frac{\pi}{2},\qquad\frac{\pi}{q}. $$ 其中面中心周围有 $2p$ 个全等角，棱中点周围有四个，顶点周围有 $2q$ 个。这些三角形确实构成球面铺分，因为从凸体内部径向投影到球面是一一对应的。 固定一个旗标三角形后，邻接三角形就是它关于公共大圆边的反射：两个全等球面三角形沿相应边接合，另一侧的放置唯一。铺分的邻接关系连通，逐个跨边便强制确定整张铺分。因此同一 $(p,q)$ 的两个凸正多面体，球面旗标铺分在一个等距变换下重合。把外接球半径归一化后，其顶点重合，凸包也重合；原立体因而相似。 这说明参数限制确实限制了类型数，而不仅仅是限制五组计数。结合第 11.1 节的构造，得到恰好五种。若不学习本节球面结论，可以把本节作为分类补充：前九章已经完整给出欧拉公式及五组候选参数的推导。 ### 11.3 哪些基础在本文之外 本文的主线没有引用一般若尔当曲线定理；多边形情形用有限窄带和奇偶性作了证明。仍使用实平面的基本连续性、有限紧集的正距离、三角形内角和、内积与余弦公式。 支撑半空间与凸多面体的等价刻画、正多面体坐标构造的完整精确代数展开、球面三角形按角唯一性没有从公理逐行展开。它们的用途分别已标明；不应把这篇笔记描述成从零建立全部欧氏与球面几何。 ## 第 12 章：问题回查、练习与来源 [返回目录](#reading-toc) ### 12.1 原对话疑问的对应位置 | 疑问或需要修正的说法 | 本文处理 | | --- | --- | | 为什么正多面体只有五种？ | [第 2—3 章参数限制](#chapter-2)，[第 11 章存在与唯一](#chapter-11) | | 凸性的严格定义是什么？ | [第 1 章半空间、线段凸性与真正顶点](#chapter-1) | | 为什么顶点面角和严格小于 360°？ | [第 10 章截面与角三角不等式](#chapter-10) | | 空间夹角为什么满足三角不等式？ | [第 10.1 节向量分解及分情况](#chapter-10) | | 欧拉公式如何整理成参数限制？ | [第 2.2 节逐步除以正数](#chapter-2) | | 欧拉公式凭什么成立？ | [第 5—9 章投影、树、绕行与增边](#chapter-5) | | 树的边数为什么是 V−1？ | [第 6 章最长路径、叶子与归纳](#chapter-6) | | 树没有面是否只是直觉？ | [第 7 章自由端绕行](#chapter-7) | | 闭回路为什么恰好多一个面？ | [第 8 章分开证明至少与至多](#chapter-8) | | 边、辅助路径、窄通道分别是什么？ | [第 4.1—4.2 节定义与图 3a—3d](#chapter-4) | | 首次相遇点 Q 能不能走到？ | [第 4.3 节先停在 Z 再转入辅助路径](#chapter-4) | | 是否必须先学完整若尔当定理？ | [第 4 章只用有限线段](#chapter-4) | | 等于 360° 是否只能铺平？ | [第 10.3 节内禀平坦与折叠的区别](#chapter-10) | | 几何想象在证明里有什么作用？ | 图像帮助找路线；窄带、正距离、路径替换等步骤负责把路线变为论证 | ### 12.2 三个自检练习 **练习一：** 在两个互不相连的点之间加一条线段，为什么边数增加一而面数不变？ 答：增加的是连接两个分量的边，没有旧路径可以与它组成闭回路；加边引理的连通条件不满足。前后分别有 $V=2,E=0,F=1,c=2$ 与 $V=2,E=1,F=1,c=1$，均满足 $V-E+F=1+c$。 **练习二：** 树上添一个新叶子与连通图中加回一条旧边，为什么效果不同？ 答：前者的两侧能绕自由端互通；后者两端已由旧路径连接，形成简单多边形，阻止两侧互通。 **练习三：** 若每面是正三角形、每顶点六面相交，哪里被排除？ 答：角和恰好 $2\pi$；代数上 $1/3+1/6=1/2$，无法满足有限凸多面体所要求的 $1/2+1/E>1/2$。 ### 12.3 来源与阅读边界 主要来源为用户提供的分享对话：解释正多面体只有五种，以及本次关于“采用简单多边形情形”的补充讨论。分享页的主线按父子节点核对，保留了重复的首答片段；旧系统提示及内部非正文内容不作为笔记指令。 进一步阅读可参考 Jeff Erickson 的大学课程讲义 [Simple Polygons](https://jeffe.cs.illinois.edu/teaching/comptop/2023/notes/01-simple-polygons.html)，用于对照多边形版分割定理与一般曲线版的范围区别。本文第 4 章采用窄带与奇偶性组织自己的论证，不是该讲义的翻译。 原始分享页、主线提取、生成脚本及坐标检查记录保存在本版[资料目录](../../../../%E8%B5%84%E6%96%99/%E6%AD%A3%E5%A4%9A%E9%9D%A2%E4%BD%93%E4%B8%8E%E6%AC%A7%E6%8B%89%E5%85%AC%E5%BC%8F%E7%AC%94%E8%AE%B0-v3-2026-10-15)。[全部笔记索引](../../../%E9%98%85%E8%AF%BB%E7%B4%A2%E5%BC%95.html)可用于继续阅读其他主题。 HTML 的正文、图形、公式和公式源码工具均已嵌入，可单文件离线阅读；配套 Markdown、PDF、资料和其他笔记链接需要对应文件。PDF 提供前部目录页码、内部跳转和分层书签，公式源码查看使用 HTML。