Euler Formula Proof
Euler's polyhedron formula for planar graphs admits several beautiful proofs. We present three approaches: induction, dualization, and triangulation.
For any connected plane graph: .
Induct on . Base: gives a single vertex, so , (outer face), and ✓.
Inductive step: Given graph with , remove an edge .
Case 1: is a bridge (removing disconnects graph). Then has two components. For each component with , by induction . But both components share the outer face, so: Wait, this needs adjustment. Actually, the faces merge: if is not a bridge.
Case 2: is not a bridge. Then is connected with faces (two faces merge). By induction: , so ✓.
For dual graph , we have , , . If the formula holds for , then: This is Euler's formula for . Since , the formula is self-dual.
Add edges until the graph is maximal planar (every face is a triangle). This preserves . For a triangulated plane graph with vertices, each face is a triangle and (each edge borders 2 faces, each face has 3 edges). The outer face also has 3 edges, so for interior faces plus 1 for exterior. Algebra gives and . Then:
These proofs showcase different perspectives: structural induction, duality, and extremal properties—demonstrating the richness of planar graph theory.