Read · 2 min
We know that, in a Platonic solid, all of the faces must be regular polygons, all of the faces must be congruent, and the same number of faces must meet at each vertex. Using these properties, as well as Euler's formula and the notion of angular defect, we can classify the Platonic solids.
Suppose that several faces meet at a vertex. The angular defect of that vertex equals minus the sum of the angles at that vertex. A theorem states that, in any polyhedron, the angular defect must be strictly greater than .
Define the following variables for convenience:
is the total number of faces;
is the total number of edges;
is the total number of vertices;
is the number of edges (and thus also vertices) surrounding each face (for example, if the faces were triangles, then );
is the number of faces (and thus also edges) meeting at each vertex. It is obvious that .
Each vertex will have edges emanating out of it. However, each edge will be counted twice, since it has endpoints. Therefore, .
Each vertex will have faces surrounding it. However, each face will be counted times. Therefore, .
Euler's formula tells us that: Then, we can solve for and :
First suppose that the faces of our Platonic solids are triangles, i.e. . Since each triangle has an interior angle measure of , we can have . There are cases:
Now, suppose that the faces of our Platonic solids are squares, i.e. . Since each square has an interior angle measure of , we can only have . There is only case:
Then, suppose that the faces of our Platonic solids are pentagons, i.e. . Since each pentagon has an interior angle measure of , we can only have . There is only case:
Finally, suppose that the faces of our Platonic solids have at least sides, i.e. . Since each -gon has an interior angle measure of at least , we cannot fit at least of them into less than . Therefore, this case is not possible.
We thus have only possible cases: These Platonic solids are called the regular tetrahedron, hexahedron (cube), octahedron, dodecahedron, and icosahedron, respectively. Since "-hedron" refers to faces, these names come directly from the number of faces in each Platonic solid. The existence and uniqueness of each of these cases are not proved here.