MathLabs
TheoremProved

Euler's formula for plane graphs

Statement

For any connected plane graph with VV vertices, EE edges and FF faces (counting the unbounded outer face), V−E+F=2V - E + F = 2.

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 K5K_5 and K3,3K_{3,3}, and it is proved by a short, fully elementary induction.

Proof sketch

Base case. If EE =0= 0 and the graph is connected, it must consist of a single vertex (V=1V=1), and there is exactly one face, the entire unbounded plane (F=1F=1). Then 1−0+1=21 - 0 + 1 = 2 holds.

Inductive step, case 1: an edge lying on a cycle. Suppose the formula holds for every connected plane graph with fewer than EE edges, and let the graph have EE ≥1\ge 1 edges. If some edge ee lies on a cycle, then removing ee keeps the graph connected (the rest of the cycle still connects its two endpoints). Removing ee merges the two faces on its two sides into a single face, so the smaller graph has VV vertices, E−1E - 1 edges and F−1F - 1 faces. By the inductive hypothesis, V−(E−1)+(F−1)=2V - (E-1) + (F-1) = 2, which simplifies to V−E+F=2V - E + F = 2.

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 (F=1F = 1, 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 VV vertices has exactly E=V−1E = V - 1 edges. Substituting, V−E+F=V−(V−1)+1=2V - E + F = V - (V - 1) + 1 = 2.

Conclusion. Every case reduces to the formula holding, or reduces (via removing one edge) to a smaller graph where it holds by induction, so V−E+F=2V - E + F = 2 for every connected plane graph.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Kazimierz Kuratowski (1930). Sur le problème des courbes gauches en Analysis Situs
  2. Reinhard Diestel (2017). Graph Theory