A Platonic solid is a three-dimensional shape built from identical regular polygon faces, with the same number of faces meeting at every single vertex. There are exactly five such shapes — the tetrahedron, cube, octahedron, dodecahedron, and icosahedron — no more and no fewer, a fact rigorously proven in the final book of Euclid's Elements over 2,000 years ago and still true today, regardless of how creatively one might try to invent a sixth.
A regular polygon (like an equilateral triangle or a square) has all sides and angles equal. A Platonic solid extends this idea into three dimensions: every face is the exact same regular polygon, and the exact same number of faces meet at every corner. There turn out to be exactly five such perfectly symmetric solids possible — and this isn't merely an observation from looking hard, but a fact that can be, and has been, rigorously mathematically proven.
These shapes are named after Plato, who discussed them extensively in his dialogue Timaeus (c. 360 BCE), associating four of them with the four classical elements — tetrahedron with fire, cube with earth, octahedron with air, icosahedron with water — and the dodecahedron with the cosmos or heavens as a whole. This was Plato's own philosophical and cosmological speculation rather than established mathematics, but the geometric shapes themselves, and their remarkable uniqueness, are entirely real and rigorously provable mathematical facts, independent of Plato's particular philosophical interpretation of them.
You might think you could keep adding more elaborate regular polygons as faces and discover further new Platonic solids — but it turns out to be mathematically impossible. As soon as you try to fit six equilateral triangles around a single vertex, they lie perfectly flat (their angles add up to exactly 360°) rather than folding into a genuine 3D corner — and using hexagons or any larger regular polygon fails even more decisively. This isn't a failure of imagination or clever construction; it's a hard mathematical limit on what three-dimensional space genuinely allows.
| Solid | Faces | Face shape | Vertices | Edges |
|---|---|---|---|---|
| Tetrahedron | 4 | Triangle | 4 | 6 |
| Cube | 6 | Square | 8 | 12 |
| Octahedron | 8 | Triangle | 6 | 12 |
| Dodecahedron | 12 | Pentagon | 20 | 30 |
| Icosahedron | 20 | Triangle | 12 | 30 |
At each vertex, at least 3 faces must meet, and the sum of the face angles meeting there must be strictly less than 360° (otherwise the shape would fold flat or invert rather than closing into a proper convex solid). Checking each possible regular polygon: triangles (60° each) allow 3, 4, or 5 meeting at a vertex (giving the tetrahedron, octahedron, icosahedron respectively) — 6 triangles sum to exactly 360°, too much. Squares (90° each) allow only 3 meeting (giving the cube) — 4 squares sum to exactly 360°, too much. Pentagons (108° each) allow only 3 meeting (giving the dodecahedron) — 4 pentagons would exceed 360°. Hexagons (120° each) already fail even with just 3 meeting (3×120°=360° exactly, too much) — and any larger regular polygon fails even more severely. This exhausts every single possibility, leaving exactly five valid solids.
For any convex polyhedron: V − E + F = 2, where V, E, F are the numbers of vertices, edges, and faces. Checking the table above confirms this for all five Platonic solids (e.g., cube: 8−12+6=2). This formula, more generally applicable to any convex polyhedron (not just the five special regular ones), is itself an early landmark result in topology (see the Topological Space entry) — the quantity V−E+F is a topological invariant called the Euler characteristic.
Platonic solids pair up in an elegant dual relationship: placing a new vertex at the centre of each face of one solid, then connecting adjacent new vertices, produces its dual. The cube and octahedron are dual to each other (6 faces ↔ 6 vertices, and vice versa); the dodecahedron and icosahedron are dual to each other (12 faces ↔ 12 vertices); and the tetrahedron is self-dual (dual to another tetrahedron).
The proof that exactly five Platonic solids exist forms the climactic final proposition (Book XIII, Proposition 18) of Euclid's Elements (see that entry) — widely regarded by historians of mathematics as evidence that the entire 13-book work was deliberately structured to build up systematically toward this specific culminating result. Euclid's proof proceeds essentially via the same angle-counting argument described above, made fully rigorous within his broader axiomatic geometric framework.
Each Platonic solid's full symmetry group (the group of all rotations and reflections mapping the solid onto itself — see the Group entry) is a specific finite subgroup of the larger group of all 3D rotations and reflections. Dual solids share exactly the same symmetry group (since the duality construction preserves all underlying symmetries) — meaning there are really only three distinct symmetry groups among the five solids: the tetrahedral group, the octahedral group (shared by cube and octahedron), and the icosahedral group (shared by dodecahedron and icosahedron). These specific finite symmetry groups appear repeatedly and significantly throughout advanced algebra, crystallography, and theoretical chemistry.
In his early work Mysterium Cosmographicum (1596), Johannes Kepler (later famous for his laws of planetary motion — see the Conic Sections entry) proposed an elaborate cosmological model nesting the five Platonic solids inside one another, attempting to explain the relative sizes of the six planetary orbits known at the time using the geometric ratios naturally arising between successively inscribed and circumscribed Platonic solids. Though this specific cosmological theory was later decisively abandoned once more accurate astronomical data became available (including data Kepler himself later analysed to formulate his true elliptical-orbit laws), it illustrates how deeply the Platonic solids' presumed cosmic significance was taken by leading scientific and mathematical thinkers well into the early modern period.
Remarkably, icosahedral symmetry appears extensively in modern biology and chemistry: many spherical viruses (including numerous well-studied examples) construct their protective outer protein shell (capsid) using icosahedral symmetry, since this arrangement provides an efficient, highly symmetric way to enclose maximum volume using a minimum number of repeated identical structural protein subunits. Similarly, the buckminsterfullerene molecule C₆₀ (a spherical arrangement of 60 carbon atoms, whose 1996 discovery earned its discoverers the Nobel Prize in Chemistry) is closely related in its overall geometric structure to a truncated icosahedron — directly connecting this ancient geometric classification result to genuinely cutting-edge modern chemistry and molecular biology.