切换深浅主题
第 9 章:完成欧拉公式的证明
9.1 从生成树加回原图
取连通直线平面图 的一棵生成树
。第 6—7 章证明了
所以对这棵树,。
现在依次加回原图中不属于树的边。因为始终保留着生成树,当前图始终连通;由于加回的都是原来平面图的边,也不会发生交叉。因此每一步都满足第 8 章的条件:边数和面数同时增加一,顶点数不变。
全部加回后得到
也可直接数:一共加回 条边,所以
。
第 5 章给出凸多面体与这种平面图的对应,故凸多面体同样满足该式。这个证明没有依赖正多面体条件。
9.2 适用范围与常见误用
对具有 个连通分量的有限平面图,公式是
,仍把外部算一个面。先在每个分量取一棵树,合称生成森林,共有
条边。起初取各树一个根点,有限个孤立点的补集连通;逐条接叶子边,用第 7 章绕行证明面数仍为一。加回的其余边两端都在原来的同一个分量中,已由森林路径相连,故满足第 8 章实际需要的条件,每条多一个面。因此
,得到所列公式。
这里不进一步引入曲面的柄、可定向或胞腔等术语。只需记住:本篇证明针对有限平面图及由凸体得到的球状表面,不是所有带孔表面的通用公式。
证明依赖关系是:有限线段的局部绕行与多边形分割 → 树的面数和加边引理 → 欧拉公式 → 正多面体的参数限制。没有从欧拉公式反推其中的引理。