Euler's formula for plane graphs
Statement
For any connected plane graph with vertices, edges and faces (counting the unbounded outer face), .
Why is it true?
This single identity is the source of almost every other fact about planar graphs, including the edge-count bound and the non-planarity of and , and it is proved by a short, fully elementary induction.
Proof sketch
Base case. If and the graph is connected, it must consist of a single vertex (), and there is exactly one face, the entire unbounded plane (). Then holds.
Inductive step, case 1: an edge lying on a cycle. Suppose the formula holds for every connected plane graph with fewer than edges, and let the graph have edges. If some edge lies on a cycle, then removing keeps the graph connected (the rest of the cycle still connects its two endpoints). Removing merges the two faces on its two sides into a single face, so the smaller graph has vertices, edges and faces. By the inductive hypothesis, , which simplifies to .
Inductive step, case 2: no edge lies on a cycle. Then every edge is a bridge, meaning the graph has no cycles at all, i.e. it is a tree. A tree drawn in the plane has exactly one face (, the single unbounded region, since there is no cycle to enclose any bounded region), and a standard fact about trees is that a tree on vertices has exactly edges. Substituting, .
Conclusion. Every case reduces to the formula holding, or reduces (via removing one edge) to a smaller graph where it holds by induction, so for every connected plane graph.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Kazimierz Kuratowski (1930). Sur le problème des courbes gauches en Analysis Situs
- Reinhard Diestel (2017). Graph Theory