ProofComplete

Euler Formula Proof

Euler's polyhedron formula nm+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: nm+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 10+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 GeG-e has two components. For each component with (ni,mi,fi)(n_i, m_i, f_i), by induction nimi+fi=2n_i - m_i + f_i = 2. But both components share the outer face, so: n(m1)+f=(n1+n2)(m1+m2)+(f1+f21)=41=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(Ge)=f(G)1f(G-e) = f(G) -1 if ee is not a bridge.

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

ProofProof 2: Via Dual Graph

For dual graph GG^*, 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 GG^*. 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 nm+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=3n6m = 3n - 6 and f=2n4f = 2n - 4. Then: nm+f=n(3n6)+(2n4)=n3n+6+2n4=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.