9772

Proving Euler's Polyhedral Formula by Deleting Edges

For a polyhedron , let be the number of vertices, the number of edges, and the number of faces. Then Euler's polyhedral formula of 1752 is .
There are more than a dozen ways to prove this. Here is one such proof.
First, cut apart along enough edges to form a planar net. (The unbounded polygonal area outside the net is a face.) Cutting an edge in this way adds 1 to and 1 to , so does not change.
Next, triangulate the bounded faces. For each edge added, a face is also added, so again does not change.
Now, whenever possible, find an outside triangle (one with two outside edges). Delete the edges, their common vertex, and the triangular face. Yet again does not change.
If it happens that there is no outside triangle, delete any outside edge and its triangular face (make sure the third vertex is not on the outside); once more does not change. After each such step, make sure to see if there are any outside triangles!
At each step at least one edge is taken away, so eventually the process stops, when there is only a triangle or only one edge. In either case (remember to count the unbounded face!), , which must have been true for the original net and for .

THINGS TO TRY

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

For all the nets here except "Dodecahedron 2", there is always an outside triangle because of the way the nets were constructed.
The proof comes from Abigail Kirk, Euler's Polyhedron Formula.
Unfortunately, there is no guarantee that one can cut along the edges of a spanning tree of a convex polyhedron and flatten out the faces of the polyhedron into the plane to obtain what is called a "net". In fact, Euler's polyhedral formula holds for non-convex polyhedra and examples are known where cutting along the edges of a spanning tree cannot be carried out to get a "net" without faces overlapping. Some non-convex polyhedra cannot have a net.
The proof in this Demonstration, while suggestive, is not actually correct. In this way it is similar to Cauchy's proof of Euler's polyhedral formula that was not correct but was made so when it was proved by Peter Mani that shellings for 3-polytopes existed. Put together with the shelling theorem, it works. Geoffrey Shephard's conjecture as to whether or not a convex 3-polytope has a net is still open.
Euler's formula is treated in
[1] D. Richeson, Euler's Gem: The Polyhedron Formula and the Birth of Topology, Princeton: Princeton University Press, 2008.
[2] Nineteen Proofs of Euler's Formula: V-E+F=2.
The most extensive source of information about folding and unfolding problems is
[3] E. Demaine and J. O'Rourke, Geometric Folding Algorithms: Linkages, Origami, Polyhedra, Cambridge: Cambridge University Press, 2007.
They discuss the nature of Shephard's conjecture and evidence for and against it.
Thanks to Joseph Malkevitch for the comments and references.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.









 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2014 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+