Key takeaways
- A planar graph can be drawn in the plane with no edges crossing; such a drawing divides the plane into faces, including the outer one.
- Euler's formula: every connected planar drawing has V − E + F = 2.
- Since each face is bounded by at least 3 edges, a simple planar graph with at least 3 vertices has E ≤ 3V − 6; with no triangles, E ≤ 2V − 4.
- Those bounds prove K₅ and K₃,₃ are not planar, so the three utilities puzzle has no solution.
- Kuratowski's theorem: a graph is planar exactly when it contains no subdivision of K₅ or K₃,₃.
Can a graph be drawn on paper without any of its edges crossing? For the old puzzle of connecting three houses to water, gas and electricity, that is the whole question. Graphs that can be drawn this way are planar, and a single equation, Euler's formula, does most of the work in deciding which graphs are.
Planar graphs and faces
A graph is planar if it can be drawn in the plane with no edges crossing. A particular drawing with crossings does not settle anything. K₄ is usually drawn as a square with both diagonals, which cross, but moving one vertex inside the triangle formed by the other three removes the crossing, so K₄ is planar.
A crossing-free drawing divides the plane into regions called faces. One of them, the outer face, is unbounded. A triangle has two faces: the inside and the outside. A tree has only one, since it encloses nothing.
Euler's formula
For any connected planar graph drawn without crossings, V − E + F = 2.
Levin's Discrete Mathematics: An Open Introduction calls this the connection between the number of vertices, edges and faces in any connected planar graph.
| Graph | V | E | F | V − E + F |
|---|---|---|---|---|
| Single vertex | 1 | 0 | 1 | 2 |
| Tree with 5 vertices | 5 | 4 | 1 | 2 |
| Triangle | 3 | 3 | 2 | 2 |
| K₄ | 4 | 6 | 4 | 2 |
| Cube (as a graph) | 8 | 12 | 6 | 2 |
Why it is true. Levin suggests building the drawing one step at a time and watching the total. Start with a single vertex: 1 − 0 + 1 = 2. Each step adds either:
- a new vertex joined by a new edge: V and E each go up by 1, so V − E + F is unchanged; or
- a new edge between two existing vertices: E goes up by 1, and the edge splits a face in two, so F goes up by 1, and again nothing changes.
Every connected planar drawing can be built this way, so the total stays 2 throughout. Written out formally, it becomes a proof by induction on the number of edges.
Polyhedra
The formula is older than graph theory. MathWorld's entry on the polyhedral formula notes it was discovered independently by Euler (1752) and Descartes, for the vertices, edges and faces of a polyhedron. Squash a convex polyhedron flat through one face and you get a planar graph, with the face you pushed through becoming the outer face. The cube gives 8 − 12 + 6 = 2, the tetrahedron 4 − 6 + 4 = 2, and the octahedron 6 − 12 + 8 = 2.
The edge bounds
In a simple graph each face is bounded by at least 3 edges, and each edge borders at most 2 faces. Counting edge–face incidences two ways gives
3F ≤ 2E.
Combining this with Euler's formula, for a connected simple planar graph with V ≥ 3:
E ≤ 3V − 6.
If the graph has no triangles, as in a bipartite graph, each face needs at least 4 edges, so 4F ≤ 2E and
E ≤ 2V − 4.
These inequalities are the practical tool. A graph that breaks them cannot be planar.
K₅ is not planar
K₅ has V = 5 and E = 10. Levin's proof is by contradiction: if K₅ were planar, Euler's formula would give F = 2 − 5 + 10 = 7. Then 3F ≤ 2E would require 21 ≤ 20, which is false. So K₅ is not planar. (Equivalently, E = 10 exceeds 3V − 6 = 9.) The method is the one in proof by contradiction.
K₃,₃ and the three utilities
Three houses, three utilities, every house joined to every utility: that is K₃,₃, with V = 6 and E = 9. It passes the first test, since 9 ≤ 3 × 6 − 6 = 12. But it is bipartite, so it has no triangles, and the stronger bound applies: E ≤ 2V − 4 = 8. Nine edges is one too many. If you prefer the face count, a planar drawing would have F = 2 − 6 + 9 = 5 faces, and 4F ≤ 2E would need 20 ≤ 18. The puzzle has no solution on a flat surface.
Kuratowski's theorem
K₅ and K₃,₃ turn out to be the only fundamental obstacles. MathWorld states Kuratowski's theorem (1930): a finite graph is planar if and only if it does not contain a subdivision of K₅ or K₃,₃, where a subdivision is the graph with some edges replaced by paths through new vertices. To show a graph is non-planar, find one of these two hidden inside it; to show it is planar, draw it.
Planarity and colouring
Planar graphs are where the four colour theorem lives: Levin's book states it as the fact that every planar graph can be coloured with at most four colours, which is why every map can. The bound E ≤ 3V − 6 also shows every planar graph has a vertex of degree at most 5, an exercise in Levin's planar graphs section. The graph colouring guide has the details.
Planarity exercises
- A connected planar graph has 10 vertices, each of degree 3. How many faces does any planar drawing have? (E = 15 by the handshake lemma, so F = 2 − 10 + 15 = 7.)
- Is K₆ minus one edge planar? (V = 6, E = 14 > 3V − 6 = 12, so no.)
- Is the Petersen graph planar? (It has V = 10, E = 15 and no triangles or 4-cycles, so each face needs at least 5 edges. Then 5F ≤ 30 gives F ≤ 6, but Euler requires F = 7. Not planar.)
Discrete Math: Study & Quiz closes its sequence of units with graph theory, with lessons, knowledge checks and topic quizzes. It sits with our other education apps, and the discrete math hub links the related graph guides, including the different Euler result on Euler paths and circuits.
Good to know
Frequently asked questions
What is a planar graph?
What is Euler's formula for planar graphs?
Why is K₅ not planar?
Can three houses be connected to three utilities without crossings?
Sources
- Planar Graphs (Discrete Mathematics: An Open Introduction, 3rd edition, Oscar Levin) (opens in a new tab)Open Math Books — accessed
- Coloring (Discrete Mathematics: An Open Introduction, 3rd edition, Oscar Levin) (opens in a new tab)Open Math Books — accessed
- Planar Graph (opens in a new tab)Wolfram MathWorld — accessed
- Polyhedral Formula (opens in a new tab)Wolfram MathWorld — accessed
About the author
Reign Creative LLC — The independent app studio that builds the apps covered on this site and publishes every article here. On Google Play it publishes as Reign Collective Apps.
We use AI tools to help research, draft and edit our articles. Each article lists the sources its factual claims rely on, and details about our apps come from their live Google Play listings. No article on this site has been reviewed by an independent expert unless the reviewer is named on it.
No person at Reign Creative LLC has read this article in full. It was published after automated checks and an AI editorial review, which are described in our editorial policy and are not the same as a person reading every sentence.
Spotted an error? Tell us — how corrections are handled is set out in our editorial policy.