定理証明済み
平面グラフのオイラーの公式
内容
頂点、 辺、 面(非有界な外側の面を含む)を持つ任意の連結な平面グラフについて、 が成り立つ。
なぜ正しいのか?
この一つの恒等式が、辺数の上界や と の非平面性を含め、平面グラフに関するほぼすべての他の事実の源であり、短く完全に初等的な帰納法で証明される。
証明の概略
基底段階。 でグラフが連結であれば、それは単一の頂点のみからなり()、面はちょうど一つ、非有界な平面全体である()。このとき が成り立つ。
帰納段階、場合1:サイクル上にある辺。公式が より少ない辺を持つすべての連結平面グラフで成り立つと仮定し、グラフが 本の辺を持つとする。ある辺 がサイクル上にあれば、 を除いてもグラフは連結のままである(サイクルの残りの部分がその両端点をまだつないでいる)。 を除くとその両側の2つの面が一つの面に統合されるので、より小さいグラフは 個の頂点、 本の辺、 個の面を持つ。帰納法の仮定より であり、これは に簡単化される。
帰納段階、場合2:どの辺もサイクル上にない。このときすべての辺が橋であり、グラフには全くサイクルがない、すなわち木である。平面上に描かれた木はちょうど一つの面を持ち(、唯一の非有界な領域。閉じ込めるべき有界な領域を作るサイクルがないため)、木に関する標準的な事実として、 頂点の木はちょうど 本の辺を持つ。代入すると となる。
結論。すべての場合が公式の成立に帰着するか、(一辺を除くことで)帰納法によって成り立つより小さいグラフに帰着するので、任意の連結な平面グラフについて が成り立つ。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Kazimierz Kuratowski (1930). Sur le problème des courbes gauches en Analysis Situs
- Reinhard Diestel (2017). Graph Theory