*This post was motivated by the book “Euler’s Gem: The Polyhedra Formula and the Birth of Topology” by David R. Richeson.*

Plato was a greek philosopher and founder of the Academy in Athens, the first institution of higher learning in the western world. A lecturer of the Academia, and also a friend of Plato, Theaetetus is credited to be the first to give a complete proof of the existence of five (and no more than five) regular convex polyhedra. Plato believed that it must be some cosmological reason for this fact and he proposed an atomic model in which all the matter was composed by four elements and that

these four elements must be shaped as regular convex polyhedra. The fifth element, the dodecahedron, would be the material from what the gods created the universe itself.

In the following, we are going to present three different arguments proving that only five convex regular polyhedra can exist. We start saying few words on polyhedra’s cousin in a lower dimension, the polygons.

**Polygons **

Grab a pencil and position it on a piece of paper, let’s say over a point . Draw a sequence of non-crossing straight lines (edges) such that the last edge has endpoint . The figure you created is a *polygon*. One class of polygons are those that are *regular*, namely those polygons in which every side has the same length. We can go further and restrict the class of regular polygons to those who are also *convex*. Convex polygons are those in which the hand turns the same way during its drawing. There are some nice theorems involving regular convex polygons

**Theorem [External Angles Sum]:** The sum of the external angles of a k-regular convex polygon is equal to .

**Theorem [Internal Angle]:** The internal angle of a k-regular convex polygon is equal to .

The first theorem comes from the closeness of a polygon. Since I start and finish its drawing at the same point, my pencil must describe a full turn on the paper. By letting be the internal angle of the -regular convex polygon, we can write each of its external angles as and then apply the first theorem to derive the second.

The class of regular convex polygons is infinite. For any , one can always construct a -regular convex polygon. Despite its symmetric properties, so much attention on regular convex polygons may be explained by the result below:

**Theorem [Best ratio area/perimeter]:** Among all the polygons with sides and a given perimeter , the -regular convex polygon is the one with the largest area.

The last result shown here talks about coverings of the plane by polygons. A set of adjacent polygons that divides the plane in a set of regions is called a *tiling* of the plane. A tiling in which the same polygon is used all over again is called an *uniform tiling*, and a uniform tiling that uses regular convex polygons is called of *regular tiling*.

**Theorem [Few regular tilings of the plane]:** There exist only three regular tilings of the plane.

Choose any -regular convex polygon and let’s try to cover the plane with it. In order to do that I must be able to arrange my polygons in such a way that I fill all the gaps. In other words, if I center a circle of any radius on a vertex of my tiling, then the circle must completely lie in the tiling. Mathematically, there must exist a positive integer such that:

From which one derives

The last equation defines the hyperbole in the figure. We do not care for negative values of or , and we consider only the part of the graph in the first quadrant. We know that and then we try this value:

The graph tell us that for values of larger than , and we can limit our analysis to three cases.

Therefore, a regular tiling of the plane must use equilateral triangles, squares or regular hexagons.

## Polyhedra

A polyhedron can be described in the same way as a polygon, except that now you are allowed to draw your figure in a three-dimensional space. The class of regular convex polyhedra is defined analogously as done for polygons, but while in the latter the class contains infinity elements, regular convex polyhedra is a very selected group with only five members. Those are exactly the platonic solids.

## Theaetetus Proof

In a polyhedron, pick any vertex and it must have at least three adjacent vertices, otherwise would not be possible to have a closed region in the space. Moreover, consider the angle formed by each pair of adjacent faces around and denote by its sum. Observe that must be less than and we denote the difference the *angle defect* of .

Recall that each face of a regular convex polyhedron is of the same polygon type. Let’s enumerate the possibilities:

- Equilateral triangle face:
- Three faces at each vertex : Angle defect = .
- Four faces at each vertex : Angle defect = .
- Five faces: Angle defect = .
- Six faces: Angle defect = 0.
**Not possible.**

- Square:
- Three faces: Angle defect = .
- Four faces: Angle defect = 0.
**Not possible.**

- Regular Pentagon:
- Three faces: Angle defect = .
- Four faces: Angle defect = .
**Not possible.**

- Regular Hexagon:
- Three faces: Angle defect =0.
**Not possible.**

- Three faces: Angle defect =0.

It is useless to keep trying, and then we identified the only five possible types of convex regular polyhedron.

## Using Euler’s formula for polyhedra

The celebrated formula of Euler that relates the number of vertices (V), edges (E) and faces (F) of a polyhedron it also gives us a proof for the five platonic solids.

.

In a regular convex polyhedron, each face has the same number of edges and each edge is part of *exactly* two faces, which let us to write

.

Similarly, each vertex of the polyhedron has edges connected to it. Therefore,

.

Solving for in Euler’s formula:

We know that and . Hence,

.

## Legendre’s proof

Let S be an sphere of radius one. A *great circle* of S is any circle of radius one that lies on the surface of S. A *spherical lune* is the region of the sphere delimited by two great circles, as shown in the figure.

By Pbroks13 – Image:Regular digon in spherical geometry.png, Public Domain, Link

The great circles of a lune meet at two antipodal points with the same angle, let’s say . We can easily compute the area of the lune .

Lunes can be used to compute areas of triangles on the surface of sphere. A triangle is formed by three great circles, and for each pair of them one has a lune. We can cover all the sphere by summing up all the lunes and their symmetric relatives, as shown in the figure. Consider the triangle and denote by its area. Let the corresponding lune of angle .

By Peter Mercator – Own work, CC BY-SA 3.0, Link

We can extend this result to any polygon on a sphere. For a polygon with sides I can partition it in triangles. Therefore, the -side polygon area on a shpere, , is given by

There is a drawing to help us remember this formula. Each vertex is labelled with its value, each edge of the polygon is labelled with and the polygon itself is labelled with . The sum of all the labelling gives the area of the polygon on a sphere of radius one.

Now we are ready for Legendre’s ingenious proof. Start with any convex polyhedron and surround it by a sphere of radius one (you always can do that by rescaling the polyhedron properly). Then project the polyhedron on the sphere by emanating rays from the center of the sphere. For each face of the polyhedron, do the labeling as described above. Note that the adjacent angles of each vertex of the projected polyhedron sum up to . Moreover, each edge contributes twice, one for each face it belongs. Therefore,