Planar graphs and Euler's formula
Master planar graphs and Euler's formula in Year 11 VCE Specialist Mathematics. A planar graph can be drawn with no edges crossing, and for any connected planar graph Euler's formula \(v+f-e=2\) links the vertices, edges and faces. It sits in the Algebra, number and structure area of study of the VCE Mathematics Study Design (VCAA), within the Graph theory topic of Unit 1.
You will learn to count faces (including the outer face), rearrange Euler's formula to find any of \(v\), \(e\) or \(f\), and decide when trees, the complete graph \(K_n\) and the complete bipartite graph \(K_{m,n}\) are planar.
Theory
Planar graphs are graphs that can be drawn in the plane so that no two edges cross. For any connected planar graph, Euler's formula \(v+f-e=2\) ties together the numbers of vertices \(v\), edges \(e\) and faces \(f\). In Year 11 Specialist Mathematics you rearrange it to find any one of \(v\), \(e\) or \(f\), count edges with \(\dfrac{n(n-1)}{2}\) for the complete graph \(K_n\) and \(\dfrac{nr}{2}\) for a regular graph, and decide when a graph is planar.
A graph is planar if it can be drawn in the plane so that no two edges cross. The same graph can often be drawn with crossings in one picture and without crossings in another — what matters is whether some crossing-free drawing exists.
Such a drawing divides the plane into regions called faces. The faces include the outer unbounded region, so a triangle drawn in the plane has two faces: the inside and the outside.
A graph is connected if you can travel between any two vertices along edges. For a connected planar graph, Euler's formula relates the three counts:
The degree of a vertex is the number of edges meeting it. The handshaking lemma says the degrees add up to twice the number of edges, \(\sum \deg = 2e\), because every edge has two ends. A regular graph is one in which every vertex has the same degree.
The complete graph \(K_n\) joins every pair of its \(n\) vertices; a tree is a connected graph with no cycles; and the complete bipartite graph \(K_{m,n}\) joins each of \(m\) vertices to each of \(n\) others. These families have neat planarity rules, covered in the Formulas tab.
Euler's formula for a connected planar graph links the three counts; rearrange it to isolate whichever one is unknown:
The handshaking lemma gives the total degree from the number of edges (each edge has two ends):
The complete graph \(K_n\) joins every pair of vertices, and a regular graph has every vertex of the same degree \(r\):
A tree on \(n\) vertices has \(e=n-1\) edges.
Using Euler's formula and the counting rules
- Check the graph is connected and planar — Euler's formula \(v+f-e=2\) applies to a connected planar graph. Remember the outer region counts as a face.
- List what you know. Write down which of \(v\), \(e\), \(f\) are given.
- Rearrange for the unknown: \(f=2-v+e\), or \(v=2-f+e\), or \(e=v+f-2\). Substitute and simplify one step at a time.
- Counting edges: for a complete graph use \(e=\dfrac{n(n-1)}{2}\); for a regular graph use \(e=\dfrac{nr}{2}\) (or the handshaking lemma \(\sum\deg=2e\)); for a tree use \(e=n-1\).
- Deciding planarity: a tree is always planar; \(K_n\) is planar iff \(n\le 4\); \(K_{m,n}\) is planar iff \(m\le 2\) or \(n\le 2\).
The prism below shows every count at once: \(v=6\), \(e=9\), and Euler's formula gives \(f=2-6+9=5\) faces.
Rearrange Euler's formula to make \(f\) the subject:
| \(v+f-e\) | \(=\) | \(2\) |
| \(f\) | \(=\) | \(2-v+e\) |
Substitute \(v=6\) and \(e=9\):
| \(f\) | \(=\) | \(2-6+9\) |
| \(=\) | \(5\) |
The graph has \(f = 5\) faces.
Rearrange Euler's formula to make \(e\) the subject:
| \(v+f-e\) | \(=\) | \(2\) |
| \(e\) | \(=\) | \(v+f-2\) |
Substitute \(v=7\) and \(f=5\):
| \(e\) | \(=\) | \(7+5-2\) |
| \(=\) | \(10\) |
The graph has \(e = 10\) edges.
Substitute \(n=6\) into \(\dfrac{n(n-1)}{2}\):
| \(\dfrac{n(n-1)}{2}\) | \(=\) | \(\dfrac{6\times 5}{2}\) |
| \(=\) | \(\dfrac{30}{2}\) | |
| \(=\) | \(15\) |
Test planarity against \(n\le 4\):
| \(n\) | \(=\) | \(6 > 4\) |
| \(\Rightarrow\) | \(\text{not planar}\) |
\(K_6\) has \(15\) edges and is not planar (since \(6>4\)).
Substitute \(n=10\) and \(r=3\) into \(\dfrac{nr}{2}\):
| \(\dfrac{nr}{2}\) | \(=\) | \(\dfrac{10\times 3}{2}\) |
| \(=\) | \(\dfrac{30}{2}\) | |
| \(=\) | \(15\) |
Check with the handshaking lemma \(\sum\deg=2e\):
| \(\sum\deg\) | \(=\) | \(10\times 3 = 30\) |
| \(2e\) | \(=\) | \(30\) |
| \(e\) | \(=\) | \(15\ \checkmark\) |
The graph has \(e = 15\) edges.
Read \(v\) and \(e\) from the drawing:
| \(v\) | \(=\) | \(6\) |
| \(e\) | \(=\) | \(9\) |
Apply Euler's formula \(f=2-v+e\):
| \(f\) | \(=\) | \(2-6+9\) |
| \(=\) | \(5\) |
The prism has \(f = 5\) faces: the inner triangle, three four-sided faces, and the outer face.
Common pitfalls
Frequently asked questions
What is a planar graph?
A planar graph is one that can be drawn in the plane so that no two edges cross. The graph is planar as long as some crossing-free drawing exists, even if other drawings have crossings.
What is Euler's formula for planar graphs?
For a connected planar graph, \(v+f-e=2\), where \(v\) is the number of vertices, \(e\) the number of edges and \(f\) the number of faces, counting the outer unbounded face.
How do I find the number of vertices, edges or faces?
Rearrange \(v+f-e=2\) for the unknown: \(f=2-v+e\), \(v=2-f+e\), or \(e=v+f-2\). Substitute the two known counts and simplify.
What counts as a face of a planar graph?
A face is a region the drawing splits the plane into, including the outer unbounded region. For example, a triangle drawn in the plane has two faces: the inside and the outside.
How many edges does a complete graph have?
The complete graph \(K_n\) joins every pair of vertices, so it has \(\dfrac{n(n-1)}{2}\) edges. A regular graph with \(n\) vertices each of degree \(r\) has \(\dfrac{nr}{2}\) edges.
Which complete and bipartite graphs are planar?
Every tree is planar. The complete graph \(K_n\) is planar exactly when \(n\le 4\), and the complete bipartite graph \(K_{m,n}\) is planar exactly when \(m\le 2\) or \(n\le 2\). So \(K_5\) and \(K_{3,3}\) are the smallest non-planar graphs.