定理已证明
平面图的欧拉公式
命题陈述
对任何有 个顶点、 条边、 个面(包括无界外部面)的连通平面嵌入图,。
为什么成立?
这一个恒等式几乎是关于平面图的所有其他事实的源头,包括边数上界以及 与 的非平面性,并且它由一个简短且完全初等的归纳法证明。
证明思路
归纳基础。若 且图连通,则它必定只由单个顶点组成(),且恰好有一个面,即整个无界平面()。此时 成立。
归纳步骤,情形1:某条边位于一个圈上。假设公式对每个边数少于 的连通平面图都成立,设该图有 条边。若某条边 位于一个圈上,则去掉 后图仍连通(圈的其余部分仍连接其两个端点)。去掉 会把它两侧的两个面合并为一个面,于是较小的图有 个顶点、 条边、 个面。由归纳假设,,化简得 。
归纳步骤,情形2:没有边位于任何圈上。此时每条边都是桥,即该图完全没有圈,也就是一棵树。画在平面上的树恰好有一个面(,唯一的无界区域,因为没有圈可以围出有界区域),而关于树的一个标准事实是:有 个顶点的树恰好有 条边。代入得 。
结论。每种情形要么直接得到公式成立,要么(通过去掉一条边)归约到一个由归纳假设成立的更小的图,因此 对任何连通平面嵌入图都成立。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Kazimierz Kuratowski (1930). Sur le problème des courbes gauches en Analysis Situs
- Reinhard Diestel (2017). Graph Theory