8

Prove that Petersen's graph is non-planar using Euler's formula. I know that $n - m + f = 2$. But should I count $f$ and prove that the summation does not equal to two or solve to get $f =7$ and argue that it is impossible???

Ludolila
  • 3,094
James
  • 83
  • 1
  • 1
  • 3

3 Answers3

10

We know the Petersen graph has $15$ edges and $10$ vertices. In a planar graph, $V+F-E=2$. In Petersen, that would be $10+F-15 = 2$, so it would have $7$ faces in it's planar embedding. The minimal cycle in Petersen is $5$, so it would need to be made from pentagons, hexagons, or larger.

$7$ pentagons = $35$ edges or more. Half that, rounded down = $17$ edges. Each edge can only be used twice, and we've gone over.

Mailbox
  • 941
Ed Pegg
  • 21,868
1

If you can use the definition of planar graph, you can "contract" edges just to get $ K_5 $ or $ K_{3,3} $ and there you prooved that Petersen's graph is non-planar.

-1

Using your notation, we have that $n=10$, $m=15$. Inspecting the graph, we see that (1) each edge is included in exactly two faces, and (2) each cycle has a length of 5 or greater. Combining these two facts yields $5f \le 2m.$ Substituting this into Euler's formula, we obtain a contradiction.

  • each edge is included in exactly two faces is this common for any graph – clarkson Dec 02 '14 at 04:35
  • using $5f \ge 2m.$ we get f>=6.Using Euler's formula f=7.So how is it become a contraadiction? I think it should be like this.Deg sum of faces can be >=5f. But degree sum of faces =2m.Thus $2m \ge 5f$.I think your inequality should change sides – clarkson Dec 02 '14 at 04:53
  • No, there exist graphs where edges are included in exactly one face: consider any tree. You're correct that the inequality I have should be switched, though. Thanks. –  Dec 03 '14 at 03:06