There are five Platonic (regular) solids:

- tetrahedron, 4 triangular sides
- hexahedron (i.e. cube), 6 square sides
- octahedron, 8 triangular sides
- dodecahedron, 12 pentagonal sides
- icosahedron, 20 triangular sides

Each face of a Platonic solid must be a regular polygon and each face must be congruent. Also, the solid must be convex and the number of faces that come together at each vertex must be the same.

You can prove that the list above is complete by using Euler’s formula:

*V* − *E* + *F* = 2.

That is, the number of vertices minus the number of edges plus the number of faces equals 2.

Suppose you have a regular solid with *F* faces and each face has *n* sides. The number of edges *E* must be *nF*/2. This is because there would be *nF* edges if each face were separate. When we assemble the faces to make a solid we count each face twice.

Suppose that *k* faces come together at each vertex. Now the total number of vertices *V* must be *nF*/*k*. As before, each face separately contributes *nF* vertices. When we assemble the faces into a solid, each vertex is counted *k* times.

Putting these values in to Euler’s formula and doing a little algebra shows that

(2*n* − *nk* + 2*k*) *F* = 4*k*.

In particular, 2*n* − *nk* + 2*k* > 0. Also, the values *n*, *k*, and *F* must all be integers and at least 3. Those conditions limit the number of possible solutions to the five corresponding to the Platonic solids.

If *n* = 3, the condition 2*n* − *nk* + 2*k* > 0 reduces to 6 − *k* > 0, and so *k* could be 3, 4, or 5. These solutions correspond to the tetrahedron, octahedron, and icosahedron respectively.

If *n* = 4, the positivity condition reduces to 8 − 2*k* > 0. The only solution is *k* = 3 which corresponds to the cube.

If *n* = 5, the positivity condition is 10 − 3*k* > 0. The only solution is *k* = 3 corresponds to the dodecahedron.

If *n* ≥ 6, there are no solutions to the positivity condition. To see this let *n* = 6 + *a* and *k* = 3 + *b* where *a* and *b* are non-negative. Then 2*n* – *nk* + 2*k = −a − *4*b − ab* which is clearly not positive.

This proves more than that there are only five Platonic solids. It shows, for example, that if you relaxed the requirement that the sides be regular polygons, you’d still get essentially the same solids.

For much more on Euler’s formula, see Dave Richeson‘s book Euler’s Gem.

Nicely done! If you think it will stay up there, I would like to link to it from my website: http://www.PlatonicSolids.info.

Nice ! Youcan also extend this to regular tesselation of the plane, which can be considered as very big platonic solids. When F goes to infinity, 4k becomes negligible and you can add the (2n-nk+2k)=0 the case, which gives you the following solutions :

(n=3, k=6) ; (n=4, k=4); (n=6, k=3).

Of course, the F→∞ limit still has to be looked at more seriously.

That’s one of my favorite results from topology. It was a little homework problem way back when.

Probably this is covered in the book you recommend, but I really like the fact that manifolds can be characterized by V – E + F. WIth regard to the platonic solids, the fact that topologically they are all spheres gives the restriction of that sum to 2. The fact that any sphere will have that sum equal two, regardless of how you tesselate it, is really powerful, as is the extension to other types of manifolds.

The application to platonic solids is IMO one of the most accessible.

Typo: “When we assemble the faces to make a solid we count each face twice.” Should read “we count each edge twice.”