10217

# 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 .

### 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.

### PERMANENT CITATION

 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 » Download Demonstration as CDF » Download Author Code »(preview ») Files require Wolfram CDF Player or Mathematica.

#### Related Topics

 RELATED RESOURCES
 The #1 tool for creating Demonstrations and anything technical. Explore anything with the first computational knowledge engine. The web's most extensive mathematics resource. An app for every course—right in the palm of your hand. Read our views on math,science, and technology. The format that makes Demonstrations (and any information) easy to share and interact with. Programs & resources for educators, schools & students. Join the initiative for modernizing math education. Walk through homework problems one step at a time, with hints to help along the way. Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet. Knowledge-based programming for everyone.