Graph Theory - Proofs That K5 and K3,3 Are Not Planar
Graph Theory - Proofs That K5 and K3,3 Are Not Planar
www.waldomaths.com
Copyright R F Barrow 2009, all rights reserved
The Proofs that K5 and K3,3 are not planar
K5 K3,3
Complete graph with 5 nodes Complete bipartite graph
with 3 + 3 nodes
Proof that K5 is not planar
Proof by contradiction
Assume K5 is planar
----------------------
Theres a contradiction
So K5 is not planar
Proof that K5 is not planar
Proof by contradiction
Assume K5 is planar
Then it obeys Eulers Relationship
R+N=A+2
N=5 A = 10 so R = 7
Each region is bounded by at least three arcs
So there are at least 3R region boundaries
So there are at least 3R 2 arcs, since each
arc is 2 region boundaries
3 7 2 = 10.5, so at least 11 arcs
But there are 10 arcs
Theres a contradiction
So K5 doesnt obey Eulers Relationship.
So K5 is not planar QED
Proof that K3,3 is not planar
Proof by contradiction
Assume K3,3 is planar
Then it obeys Eulers Relationship
R+N=A+2
N=6 A=9 so R = 5
Each region is bounded by at least four arcs
So there are at least 4R region boundaries
So there are at least 4R 2 or 2R arcs, since
each arc is 2 region boundaries
2 5 = 10, so at least 10 arcs
But there are 9 arcs
Theres a contradiction
So K3,3 doesnt obey Eulers Relationship.
So K3,3 is not planar QED
A Waldomaths clip
Copyright R F Barrow 2009, all rights reserved
www.waldomaths.com
visit Waldomaths today