ProofComplete

Euler Formula Proof

Euler's polyhedron formula n−m+f=2n - m + f = 2 for planar graphs admits several beautiful proofs. We present three approaches: induction, dualization, and triangulation.

TheoremEuler's Formula

For any connected plane graph: n−m+f=2n - m + f = 2.

ProofProof 1: Induction on Edges

Induct on mm. Base: m=0m=0 gives a single vertex, so n=1n=1, f=1f=1 (outer face), and 1−0+1=21-0+1=2 ✓.

Inductive step: Given graph GG with m>0m > 0, remove an edge ee.

Case 1: ee is a bridge (removing disconnects graph). Then G−eG-e has two components. For each component with (ni,mi,fi)(n_i, m_i, f_i), by induction ni−mi+fi=2n_i - m_i + f_i = 2. But both components share the outer face, so: n−(m−1)+f=(n1+n2)−(m1+m2)+(f1+f2−1)=4−1=3n - (m-1) + f = (n_1 + n_2) - (m_1 + m_2) + (f_1 + f_2 - 1) = 4 - 1 = 3 Wait, this needs adjustment. Actually, the faces merge: f(G−e)=f(G)−1f(G-e) = f(G) -1 if ee is not a bridge.

Case 2: ee is not a bridge. Then G−eG-e is connected with (n,m−1,f−1)(n, m-1, f-1) faces (two faces merge). By induction: n−(m−1)+(f−1)=2n-(m-1)+(f-1)=2, so n−m+f=2n-m+f=2 ✓.

■
ProofProof 2: Via Dual Graph

For dual graph G∗G^*, we have n(G∗)=f(G)n(G^*) = f(G), m(G∗)=m(G)m(G^*) = m(G), f(G∗)=n(G)f(G^*) = n(G). If the formula holds for GG, then: n(G)−m(G)+f(G)=2n(G) - m(G) + f(G) = 2 f(G∗)−m(G∗)+n(G∗)=2f(G^*) - m(G^*) + n(G^*) = 2 This is Euler's formula for G∗G^*. Since (G∗)∗=G(G^*)^* = G, the formula is self-dual.

■
ProofProof 3: Triangulation

Add edges until the graph is maximal planar (every face is a triangle). This preserves n−m+fn-m+f. For a triangulated plane graph with nn vertices, each face is a triangle and 3f=2m3f = 2m (each edge borders 2 faces, each face has 3 edges). The outer face also has 3 edges, so f=2m/3f = 2m/3 for interior faces plus 1 for exterior. Algebra gives m=3n−6m = 3n - 6 and f=2n−4f = 2n - 4. Then: n−m+f=n−(3n−6)+(2n−4)=n−3n+6+2n−4=2n - m + f = n - (3n-6) + (2n-4) = n - 3n + 6 + 2n - 4 = 2

■

These proofs showcase different perspectives: structural induction, duality, and extremal properties—demonstrating the richness of planar graph theory.