Euler's Formula

Overview

Euler's formula links the basic counts of a planar embedding: vertices, edges, and faces.

An example with counts V,E,F

Statement (connected case)

Let GG be a connected plane graph with

  • VV vertices,
  • EE edges,
  • FF faces (including the outer face).

Then:

VE+F=2.V - E + F = 2.

Generalization (multiple components)

If the embedding has cc connected components, then

VE+F=1+c.V - E + F = 1 + c.

Proof idea (one clean approach)

Take a connected plane graph.

  • If it has a cycle, remove an edge on the cycle. This keeps the graph connected, decreases EE by 11, and merges two faces into one, so FF also decreases by 11. The quantity VE+FV-E+F stays the same.
  • Repeat until you reach a tree (connected and acyclic). For a tree, E=V1E=V-1 and F=1F=1, so VE+F=V(V1)+1=2V-E+F = V-(V-1)+1 = 2.

Therefore VE+FV-E+F was 22 all along.

Standard corollaries

Edge bound for planar graphs

If a connected simple planar graph has V3V \ge 3, then

E3V6.E \le 3V - 6.

Reason: in a triangulation, every face has at least 33 edges and every edge borders at most 22 faces, so 3F2E3F \le 2E; combine with VE+F=2V-E+F=2.

Bipartite planar bound

If the graph is bipartite (so it has no triangles), then every face has length at least 44, giving

E2V4.E \le 2V - 4.

Quick non-planarity tests

  • For K5K_5, we have V=5V=5, E=10E=10, but 10>356=910 > 3\cdot 5 - 6 = 9, so K5K_5 is not planar.
  • For K3,3K_{3,3}, we have V=6V=6, E=9E=9, but 9>264=89 > 2\cdot 6 - 4 = 8, so K3,3K_{3,3} is not planar.