The graphs and are two of the most important graphs within the subject of planarity in graph theory. Kuratowski’s theorem tells us that, if we can find a subgraph in any graph that is homeomorphic to or , then the graph is not planar, meaning it’s not possible for the edges to be redrawn such that they are none overlapping.

Of course, this theorem relies on the fact that and are, themselves, not planar. While it’s pretty easy to see is not planar, is a bit more involved. I’ve read a lot of proofs of this, but frankly I found most of them sorely lacking. Here I try my hand at providing a clearer proof than what you may find elsewhere. Hopefully my explanation will make things click for a Googling student.

# Intuition

First I want to simply convince you. This won’t be as formal a proof as I intend to provide, but I want to give a sense of the intuition. I’m a visual learner, so often I find that an informal explanation or a series of examples is more convincing to me personally than a proof.

First, let’s remove three edges from . This will be a new graph that we’ll call . The edges we’re removing are going to be the straight vertical edges, the ones that join a vertex with it’s counterpart on the opposite side of the graph (treating the top and bottom as sides). We’ll be adding these back later, but we’re going to remove them for now.

We’ve also labeled the vertices clockwise from to for clarity.

Now, it’s easy to see that is planar. We can re-arrange the vertices and make a simple hexagon out of the graph.

Clearly, is planar. But the real question is, what about - Remember, we removed three edges from the graph to get . If is planar and is not, then it must be impossible to add those three edges back into the graph without having at least two of them overlap.

The edges missing are , , and . You can see that all of of those edges have to cross the middle of the hexagon, so there’s no way to put three, or even two edges into the middle of it without them crossing.

Even going around the outside of the graph doesn’t help. If you put one edge outside and one edge inside, you still have one more edge to reinsert. No matter what, at least two of the three edges are going to have to cross each other. Clearly, is not planar.

# Formal Proof by Contradiction

Intuition is great, but let’s nail down the proof with a bit more mathematical precision. We’re going to do a proof by contradiction.

First, let’s assume for the purpose of contradiction that **is** planar.

If it is planar, then is must obey Euler’s Formula, which is:

for number of vertices , number of edges , and number of faces , which can be rewritten as . In this case, there are 9 edges and 6 vertices, so , so the number of faces must be five. We’ll come back to this fact in a bit.

So what would it take to have a face in this graph? How many edges would surround any given face? Let’s say we start at some vertex, for example . We want to walk along edges from vertex to vertex and return to our starting vertex . If we can do this in a planar graph, we have a face (and remember, we’ve assumed the graph is planar). What’s the smallest number of edges that can get us back to our starting point?

It can’t be one edge, because there are no loops. And it can’t be two edges, because that would mean that there are two edges between two vertices, in other words a multi-edge, and we don’t have any of those either. It also can’t be three edges, because after two edges we’re going to be back on the same side of the graph as our starting vertex, and we know those two don’t connect because the graph is bipartite. For example, if you start at , moving one edge away puts you at either , , or . Moving another edge away puts you at or and there’s no way to get back to with one more edge. So no face can be surrounded by three edges.

The minimum number of edges needed to draw a face is four. Four edges can get you back to the starting node, creating a face. For example, to to to and back to .

If there are at least four edges per face, then the total number of “face boundaries”, meaning the number of times an edge (any edge) is counted as the border of a face, is at least .

Any edge can only sit between two faces (since a face must use an entire edge and cannot use part of one). Thus, each edge can only count twice as a face boundary, so there are at least edges.

We know that from earlier, which means the graph must have at least edges. , but we know that . Thus we are left with , which is obviously not true, so we’ve found a contradiction, Q.E.D.