This is primarily meant as an educational handout on some very basic theorems of geometry that one might have studied in school. Some educated adults whom we asked about these had either forgotten them or claimed to have never studied them. Hence, we provide these here for those who might be interested. In the below discussion all angles are in radians unless explicitly specified otherwise.
There are only 5 Platonic solids
The first question is at least as old as the times of Plato: Why are they only 5 Platonic solids? Platonic solids are regular polyhedra, i.e. they have all their faces as the same regular polygon. The simplest regular polygon is an equilateral triangle. Its angle is . In order to fold a solid the sum of the angles of the polygonal faces must be less than radians because is the sum of the angles about a point on a plane in Euclidean space. Further, to make a solid we need at least 3 polygonal faces meet at a vertex. Hence, with an equilateral triangle we can make solids with 3 or 4 or 5 faces meeting at a vertex, . These respectively yield the tetrahedron, the octahedron and the icosahedron (Figure 1). With the next regular polygon, a square, we can get 3 squares to meet at a vertex, i.e. . This yields us a cube. Next, with a regular pentagon we can get three pentagonal faces at vertex, i.e. . This gives us the dodecahedron. Thus, we can have only 5 Platonic solids in 3-dimensional space .
In principle, one can join the centers of adjacent faces of regular polyhedron to get another regular polyhedron due to their inherent symmetry (Figure 1). Performing this operation one can also see that the Platonic solids have a duality with another Platonic solid: (cube-octahedron) – (tetrahedron-tetrahedron) – (dodecahedron-icosahedron). In each dual pair there is one of the three formed by equilateral triangle faces. Given that the duality operation on the tetrahedron yields a congruent tetrahedron, you again will have only 5 Platonic solids. It made a such a profound impression on me when I first discovered this for myself as a kid that I could entirely appreciate the profound impact the discovery of these solids (apocryphally by Pythagoras and Theaetetus) had on Plato of yore. It tells you some very basic thing about Euclidean space.
Figure 1. The 5 Platonic solids and their duals.
The sum of the angles of a convex polygon
A polygon is a closed path with vertices where adjacent vertices are connected by a single edge. Hence, it follows that the polygon has edges or sides as well (Figure 2). This gives our next question: what is the sum of the angles of a polygon? The simplest polygon, the triangle, has angles summing to radians in Euclidean space. Every other planar convex polygon of vertices can be constructed from triangles all of which share a common vertex (Figure 2). From Figure 2 it is apparent that the sum of angles of the polygon is equal to the sum of the angles of the constituent triangles. Thus, the sum of the angles of a convex polygon is radians. This result was first derived by Proclus.
Figure 2. The sum of the angles of a convex polygon.
The triangulation theorem
Let a convex polygon have vertices and internal points (Figure 3). We triangulate it by connecting the internal points to the vertices of the bounding polygon or each other without any edge crossing over such that the whole polygon is dissected into triangles (Figure 3). We then ask: Is there are relationship between , , . The answer is the triangulation theorem, which states that .
Figure 3. Triangulation of a polygon.
1) The sum of the angles of the bounding polygon (as shown above) is .
2) The sum of all the angles on a plane sharing common vertex is radians. Hence, the sum of the angles at all internal points is .
3) Since the sum of the angles of a triangle is , the sum of the angles of all the constituent triangles of the triangulation of the polygon is . From Figure 3 it can also be seen that it is .
Figure 4. Two polyhedra and the polygonal tilings derived from them.
The above result regarding the triangulation of polygons in 2D space Euclidean space and Plato’s discovery that only 5 regular polyhedra exist in 3D space are both related to the sum of all the angles on plane about a vertex being . This in turn leads to the celebrated theorem of Euler regarding polyhedra, which while deceptively simple had to wait for 2 millennia since Plato’s days. Consider the two polyhedra in Figure 4. The first is a pentagonal pyramid while the second is a hexagonal prism. Let be the number of faces, the number of vertices and the number of edges of the polyhedron. For the pyramid in question we have . Thus, . For the prism in question we have . You can try this out for other polyhedra like those in Figure 1. We can as the question: Is there a general relationship here? We observe that always: . This is Euler’s theorem and and we prove it below.
1) We first reduce the 3D polyhedron to a 2D graph (Figure 4). The way we do this is by choosing one face of the polyhedron as the bounding polygon. We then flatten all other faces inside that bounding polygon while still maintaining the topology of the face. This means that a triangular face remains a triangle , a quadrilateral remains a quadrilateral, and a -gon remains a -gon in the flattened 2D graph. Thus, the 2D graph is a polygonal tiling of the selected face polygon of the starting polyhedron. This is easy to conceive for pyramids and prisms (Figure 4). It is more complicated for some of the Platonic polyhedra (Figure 5).
Figure 5. The polygonal tilings derived from the Platonic polyhedra.
Thus, we observe that the 2D graph retains all edges and vertices of the starting polyhedron. However, since it is constructed by flattening all other faces onto one face we lose that face and the resulting number of tiling polygons is 1 less than the number of polyhedral faces. Thus, the 3D equation becomes for a 2D polygonal tilings. Proving the latter in 2D effectively results in proving the former.
2) We define the number for a given polygon tiling. Our objective is to prove that always . We next triangulate all non-triangular polygons in a given polygon tiling into triangles. Let us define as the number we get from the faces, vertices and edges after triangulation. From Figure 6 it is apparent that for each new edge we add during triangulation we get a new face. Thus, . Hence, proving will prove .
Figure 6. Conservation of upon polygon triangulation.
3) Now that we have triangulated the polygonal tiling, we can apply the triangulation theorem on the resulting graph to show . The faces in the triangulation theorem is the same as the in our triangulated graph; hence we can write . Further, the number of vertices of the triangulated graph is the sum of the number of boundary vertices of the bounding polygon and the internal points. Thus, we get . Let be the sum of the number of sides of all triangles in the triangulation redundantly counting all shared edges for each triangle. Since there are triangles we have . Now can be expressed in another way. will be the number of all the sides of triangles making up the boundary polygon. The will be the remaining edges. Now they will fall on the side of 2 triangles each (e.g. see Figure 6) so to make up we have count them twice. Thus, we can write .
Thus, we get:
From the triangulation theorem and we can write:
Plugging the above value of into this we get:
Since , it follows that for a polygonal tiling. From this it follows that:
Back to the Platonic solids
We may next ask: Given Euler’s theorem can we prove that there are only 5 Platonic solids? To answer this we need to prove two further relationships first. For this we take into account that a Platonic polyhedron has regular polygons as its faces and that each vertex must necessarily belong to the same number of polygonal faces. Let be the number of edges of the regular polygonal face of a Platonic solid. Let be the number of edges of meeting at any given vertex of a Platonic solid. Let be the sum of the number of sides of all polygonal faces of a Platonic solid counting redundantly. Given that we have faces in the solid, we get . Given that we have vertices with edges meeting at each of them we get . Finally, we note that each edge of the polyhedron simultaneously belongs to 2 of its polygonal faces; hence, we get . From this we get the relationship for any Platonic solid: . For example, in an octahedron we have ; thus, .
From the above we have for a Platonic solid:
Next, we plug the above into Euler’s formula to get:
By multiplying both sides by we get the Eulerian inequality for a Platonic solid:
We can now use this to prove that there can be only 5 Platonic solids. For this we should first keep in mind that to have a solid at least 3 faces should meet at a vertex; hence, minimally . We then begin with a triangular face and plug it into the Eulerian inequality:
Thus, for a triangle, : these yield the tetrahedron, octahedron and icosahedron.
Next we take a square face
Thus, we can only have for a square face and we get the cube.
Next we take a pentagonal face
Thus, we can only have for a pentagonal face and we get the dodecahedron.
Next we take a hexagonal face
Thus, we cannot get any polyhedron because . The same applies for any . Thus there can only be 5 Platonic solids
While we can have infinite regular polygons, only the first 3 of them yield a total of just 5 Platonic solids. This is a strong constraint in 3D space; thus, one would expect these Platonic ideals to occur as reflections throughout nature. Indeed, that is the case and we may note the following:
1) The 4 bonds formed by the hybridized orbitals of carbon define a tetrahedron. Similarly, phosphates , such as those forming the backbone of DNA and RNA also assume a tetrahedral geometry. assumes tetrahedral crystals. Thus, the tetrahedron is a fundamental structure of nature and life.
2) The cube is a ubiquitous habit of crystals: is a good example of such.
3) The octahedron is the habit of diamond and alum .
4) The dodecahedron is the habit of the quasi-crystal of the holmium–magnesium–zinc alloy. The RNA of certain nodaviruses is packed in a dodecahedral form within their capsids.
5) The icosahedron is famously the form of the capsids of numerous viruses. It is also seen in some non-viral protein assemblies like those which form the propanediol utilizing and ethanolamine utilizing bacterial microcompartments.
In the human world, a deliberately made cube used as a gaming die and a fixed weight was seen among the Harappan people of bronze age India. Harappans also made regular tetrahedral weights, such as those found in Mohenjo daro. Some believe that the occurrence of pyrites which are found in certain places in Italy and naturally assume the forms of cubes, dodecahedra and icosahedra might have inspired the yavana-s to think about these solids. Among the yavana-s, we are informed by Proclus that Pythagoras was the first to discover the Platonic solids. However, there is no evidence that he actually knew all 5 of them and that there were only 5. Plato mentions them in his Timaeus and by then it was known that there are 5 of them. It is believed that Plato obtained that knowledge from Theaetetus, his mathematical interlocutor, who is believed to have first recognized all 5 of them. However, the evidence for this comes from an apocryphal commentary on Euclid. Plato thought that the tetrahedron, octahedron, cube and icosahedron corresponded to the 4 “elements” of Greek tradition: fire, air, earth and water. He then added that a god used the dodecahedron “for embroidering the constellations on the whole heaven.” This is perhaps an allusion to the 12 Zodiacal constellations of the Greeks. It is also held that Theaetetus’ explorations inspired the Elements, where Euclid presumably following his successors gives these 5 Platonic polyhedra and indicates that there are only 5 of them. Material evidence for their recognition in the Classical world comes from the discovery of the icosahedral dice from Ptolemaic Egypt. Further, the Romans made metal dodecahedra and icosahedra (mostly the former), whose function remains unknown to date as far as we know.
In Indian mathematics we are unaware of a specific mention of Platonic solids as a group. However, we have evidence for a “ghost-lineage” of Hindu mathematical knowledge regarding Platonic solids in the form of beads shaped as those solids from at least the Gupta age. There is a persistent belief among white indologists and their imitators that Hindu mathematical tradition is a poor derivative of the Mesopotamian and Greek traditions. However, there is absolutely no evidence for transmission of Greek texts with knowledge of Platonic solids to Hindus prior to the 1700s of the common era. Thus, there is no evidence that the Indian production of Platonic solids was inspired by the Greek textual tradition. One may point out that their emergence in Indian art is approximately contemporaneous with their emergence in material depictions in the Classical world. However, the Indian versions are not used as dice as in Ptolemaic Egypt or as made like or of the large size of their Roman counterparts. They are part of a distinctly Indian use in jewelry. Indeed, in this regard one may point out that already in the Sāmaññaphala-sutta-84 the tāthāgata mentions such a well-polished octahedral bead. One may also note that some tāthāgata atomic theories in India saw substances as being formed from their constituent molecules by an octahedral packing. It is also notable that this style of polyhedral beads was transmitted to Myanmar, Thailand and Vietnam along with early gold-working traditions and at least dodecahedral and octahedral beads have been found in those regions.