オイラーの多面体定理の証明
概要
オイラーの多面体定理は、グラフ理論では単にオイラーの公式とも呼ばれる。幾何学的には、空間図形の点、線、面が#点-#線+#面=2の関係に従うという意味を持つ。例えば、立方体を考えると、個の点と個の線、個の面を持ち、が成り立つ。
定理 1
- 平面グラフが描かれることで、平面上で区別される領域をフェースと呼ぶ。
証明
戦略: 様々なアプローチがあるが、このポストでは基本的なグラフ理論を用いた証明を紹介するつもりだ。場合分けして数学的帰納法を適用すれば、難しくなく証明できる。
ケース1.
が連結であるため、、無限のフェース以外にフェースはないため、が成り立つ。したがって、が満たされる。
ケース2. であり、が木グラフの場合
が木であるため、が成り立ち、サイクルを含んでいないため、が成り立つ。したがって、が満たされる。
ケース3. であり、が木グラフでない場合
は少なくとも1つのサイクルを含んでいるが、そのサイクルにあるエッジをとしよう。そのを除去した新しいグラフについて その間に、サイクルを囲んでいたを除去することにより、を境にしていた2つのフェースが1つに合体する。したがって、のフェースの数はとなり、が成り立つ。
■
一方で、オイラーの多面体定理は、個のコンポーネントに対して次のように一般化される。上記の定理は特に連結グラフ、つまりの場合の特殊なケースである。
一般化
平面グラフについて、、、を面の数、をコンポーネントの数とすると、以下が成り立つ。 これは、グラフの連結性に関するオイラーの多面体定理の一般化である。
併せて見る
グラフ理論におけるオイラーの指標
元々、オイラーの指標はグラフ理論で最も有名であり、オイラーの多面体定理またはオイラーの公式は、連結平面グラフについてが成り立つというグラフ理論の定理である。
幾何学におけるオイラーの指標
ガウス-ボンネの定理の方程式を満たす整数として定義される。
代数トポロジーにおけるオイラーの指標
各次元のベッティ数の交代和として定義される。
Wilson. (1970). Introduction to Graph Theory: p66. ↩︎