Platonic Solids — Why There Are Only Five

Only five, and Euclid proved it

A Platonic solid is a convex polyhedron built from one kind of regular polygon, with the same number of faces meeting at every vertex. There are exactly five: the tetrahedron (4 triangular faces), cube (6 squares), octahedron (8 triangles), dodecahedron (12 pentagons) and icosahedron (20 triangles). Plato assigned them to the classical elements in the Timaeus — fire, earth, air, water and the cosmos itself — but the mathematical result is far older than the philosophy: Euclid closes the Elements, Book XIII, with a proof that these five and only these five can exist.

live demo · wireframe Platonic solids, rotating● LIVE

Why the count is finite: the angle-sum argument

The proof is a short piece of arithmetic on angles. At every vertex, at least three faces must meet (two faces alone can't close up into a solid corner), and the interior angles meeting at a vertex must sum to strictly less than 360° — exactly 360° would lie flat, and more is geometrically impossible for a convex vertex. An equilateral triangle's interior angle is 60°, so 3, 4 or 5 of them (180°, 240°, 300°) fit at a vertex, giving the tetrahedron, octahedron and icosahedron; 6 triangles sum to exactly 360° and tile a flat plane instead of closing into a solid. A square's angle is 90°, so only 3 fit (270°), giving the cube; 4 squares sum to 360° and tile a plane. A regular pentagon's angle is 108°, so only 3 fit (324°), giving the dodecahedron. A hexagon's angle is already 120°, and 3 of them sum to exactly 360° — flat again, no solid possible, and every polygon with more sides only gets worse. That exhausts every combination: five solids, no more.

Euler's formula as a live invariant

Every convex polyhedron obeys Euler’s formula, V − E + F = 2, where V, E, F count vertices, edges and faces. It's a topological invariant, true for any simply-connected polyhedron regardless of how skewed or irregular its faces are — it depends only on the fact that the surface is a topological sphere. This simulation recomputes and displays V, E, F for whichever solid is selected, and the formula holds exactly every time:

Tetrahedron:   V=4,  E=6,  F=4   →  4  - 6  + 4  = 2
Cube:          V=8,  E=12, F=6   →  8  - 12 + 6  = 2
Octahedron:    V=6,  E=12, F=8   →  6  - 12 + 8  = 2
Dodecahedron:  V=20, E=30, F=12  →  20 - 30 + 12 = 2
Icosahedron:   V=12, E=30, F=20  →  12 - 30 + 20 = 2

A quick pattern check is worth making explicit: swap V and F between the cube and the octahedron and the edge counts match. That's not a coincidence — it's duality.

Duality: five solids collapse to three families

Put a vertex at the centre of every face of a cube and connect vertices whose original faces shared an edge, and the result is an octahedron. Do the same to an octahedron and you get a cube back. The cube and octahedron are dual to each other — same edge count (12), swapped vertex/face counts (8↔6). The dodecahedron (20 vertices, 12 faces) and icosahedron (12 vertices, 20 faces) form the same kind of pair, sharing 30 edges. The tetrahedron is self-dual: its dual is another tetrahedron, which is exactly why its vertex and face counts are equal (4 and 4). Underneath five solids there are really only three dual families, and duality is why rotating a cube's symmetry group also describes the octahedron's.

Wireframe vs solid-shaded rendering

Rendering these on a 2D canvas needs only three pieces: a list of 3D vertex coordinates, a list of edges (or faces) as index pairs/tuples into that list, and a rotation matrix applied every frame before a simple orthographic or perspective projection collapses (x, y, z) to screen (x, y). Wireframe mode just strokes every edge; solid mode additionally needs each face's outward normal (for back-face culling and flat shading) computed once via a cross product of two edge vectors, then a dot product against a fixed light direction to shade brightness. Precomputing vertex coordinates from each solid's exact algebraic construction (not from iterative relaxation) keeps every edge length and face angle mathematically exact rather than visually approximate.

Frequently asked questions

Why are there exactly five Platonic solids?

Because a convex vertex needs at least 3 faces meeting with their angles summing to strictly less than 360°. Checking each regular polygon (triangle, square, pentagon, hexagon and up) against that constraint yields exactly five valid combinations — 3, 4 or 5 triangles, 3 squares, or 3 pentagons — and Euclid proved this exhausts every possibility in the closing book of the Elements.

What does Euler's formula V - E + F = 2 actually mean?

It's a topological invariant of any convex (genus-0) polyhedron: vertices minus edges plus faces always equals 2, regardless of the polyhedron's specific shape. It holds for irregular convex polyhedra too, not just the five Platonic solids — it fails only for shapes with holes through them, like a torus, where it becomes V - E + F = 0.

What is duality between Platonic solids?

Placing a new vertex at the centre of every face of one solid and connecting centres of adjacent faces produces its dual. The cube and octahedron are duals of each other, as are the dodecahedron and icosahedron; the tetrahedron is self-dual. Dual pairs always share the same number of edges and swap their vertex and face counts.

Try it live

Everything above runs in your browser — open Platonic Solids and change the parameters while it is running. Nothing is installed, nothing is uploaded, the whole model lives in one tab.

▶ Open Platonic Solids simulation

Platonic Solids: Why There Are Only Five, and What Euler's Formula Proves