Alert icon
We're changing our privacy policy. This stuff matters.  Learn more  Dismiss

Proofs that K5 and K3,3 are not planar

Loading...

Sign in or sign up now!
Alert icon
Upgrade to the latest Flash Player for improved playback performance. Upgrade now or more info.
3,288
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Nov 1, 2009

Proofs that the complete graph K5 and the complete bipartite graph K3,3 are not planar and cannot be embedded in the plane, using Euler's Relationship for planar graphs. From waldomaths.com.

  • likes, 1 dislikes

Link to this comment:

Share to:

Uploader Comments (rfbarrow)

  • This proof is not correct, because you don't distinguish the "outer face". So for K5 the result is that the number of edges should be bigger then 3*6/2=9. And here you don't have a contradiction because 10>9.

  • @Tiranodino Hi. You must consider the "outer face" as that is part of the Euler Theorem. Hence it is 3*7/2=10.5 giving the contradiction. I'm not making this up. This is the standard quoted proof.

  • Hi. Consider K5. Between each two nodes (vertices) there is only one arc (edge). So a region cannot be bounded by connections to two nodes, since this is only one arc. So a third node is required, in which case we have three arcs is required. (Think of a triangle).

    In K3,3 there cannot be any triangles because this would mean that two nodes on the same 'side' are connected (not allowed). Hence at least four nodes involved in each bounded region, and so at least four arcs are needed.

  • If I may, I find quite annoying that the structure of the proofs (the fact that they are reductio ad absurdum) is that much stressed. What's really going on here isn't proof by contradiction. The key actor is Euler's formula and it would be easy to write the proof differently so that it isn't by contradiction.

    More generally, I think that insisting on the arguments is almost always better than insisting on the structure. If you just remember “Euler's formula” you know a proof of this theorem.

  • @JeanPierrePompin A good point, but the video is not aimed at people like yourself who clearly understand the process. It is aimed at people who have difficulties in following any mathematical proof. Hence the slight overemphasis on a particular structure (not, as you say, the only one). For my target audience, remembering Euler's formula relatively easy. Remembering what to do with it is not. But thanks for your comment.

see all

All Comments (8)

Sign In or Sign Up now to post a comment!
  • Excuse me, but I don't seem to understand why the region's of K5 are bounded by at least 3 arcs and the region's of K3,3 by 4 arcs.

  • Great explanation :-D

Loading...

Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more