Matpic
mathematics, in pictures
Concept

Polyhedron

A solid bounded by flat faces meeting along straight edges. Its corners, edges and faces satisfy Euler's relation, which is what limits how many regular ones can exist — and the answer to that is five.

Named by 10 essays across 4 fields — each of them below, with the objects they name alongside it.

The five Platonic solids. Tetrahedron, cube, octahedron, dodecahedron and icosahedron, drawn at a common scale.

Why the list of perfect solids stops at five

There are infinitely many regular polygons and exactly five regular solids. The reason is not deep, but it is very sharp, and it can be checked on a single row of corners.

geometry · Regular polyhedra V − E + F = 2, five times. Vertices, edges and faces of the five regular solids, with the alternating sum. The edges are counted from the faces rather than listed, and the sum is 2 in every row.

Every corner pays for itself

Count the corners of any solid, subtract the edges, add the faces. The answer is two. It is two for a cube, for a pyramid, for a football, for anything squashed or stretched — and the number is measuring the shape it is wrapped around rather than the shape itself.

topology · Euler characteristic The four ways to glue a square's edges in pairs. Squares with their edges arrowed to show which is glued to which and which way round, each with the vertices, edges and faces the gluing leaves, and the surface those numbers name.

Every surface is a sphere with handles

Take a square and say which edges are to be glued to which, and which way round. Four such rules give four different surfaces — and two numbers computed from the rule, without ever building the surface, say which one.

topology · Surface classification The gap at a corner of the cube. The 3 faces meeting at one corner of the cube, unfolded onto the page. They leave a gap of 90.0 degrees, and the 8 gaps come to 720 degrees in total.

Seven hundred and twenty degrees of gap

Unfold the faces around any corner of a solid and they do not close up. The gap left over is different at every corner and on every solid, and the gaps always add to two full turns.

topology · Euler characteristic A solid where V − E + F is 0. a slab with one hole through it, drawn as a wireframe. Its 32 vertices, 64 edges and 32 faces give an alternating sum of 0 rather than 2.

The solid where the answer is not two

A slab with a hole through it has flat faces, straight edges and sixteen corners, and its alternating sum is zero. It is not a trick and not a degenerate case — it is the object that shows the theorem had a hypothesis nobody had written down.

topology · Euler characteristic A triangle cut into three pieces that make a rectangle. A triangle sliced at half its height and again down the altitude of the small triangle, beside the rectangle the same three pieces make when each top piece is turned a half turn.

Equal area is enough, and equal volume is not

Any two polygons of the same area can be cut into each other with finitely many straight cuts. The same sentence with area replaced by volume and polygon by polyhedron is false, and what blocks it is an angle.

computation · Scissors congruence Solids with every corner alike and more than one kind of face. truncated tetrahedron, cuboctahedron, truncated cube, icosidodecahedron, each cut from a Platonic solid and drawn in projection; every edge in each is the same length and every vertex is surrounded by the same faces.

Thirteen more when one word is dropped

The list of regular solids stops at five because the definition asks for two things at once. Ask for only the second — every corner alike — and thirteen more appear, each of them cut off a Platonic solid at a depth found rather than chosen.

geometry · Regular polyhedra The star polygon {5/2}. 5 equally spaced points joined every 2th, forming a closed path that winds 2 times about the centre with an interior angle of 36.0 degrees at each point.

The four that are allowed to cross themselves

Drop convexity from the definition of a regular solid and four more appear. Their faces are pentagrams, they pass through one another, and the alternating sum that gives two for every ordinary solid gives minus six for two of them.

geometry · Regular polyhedra The regular solids of four dimensions. 5-cell, tesseract, 16-cell, 24-cell, each turned in four dimensions and projected to the page; the edges are the pairs of vertices at the shortest distance apart.

Six in four dimensions, and three forever after

The count of regular solids goes five in three dimensions, six in four, and then three in every dimension above — for good. Four dimensions is the last place anything unusual happens, and it happens twice.

geometry · Regular polyhedra The twenty-four unit quaternions, at the corners of a four-dimensional solid. The twenty-four units of the Hurwitz quaternions drawn as the vertices of a 24-cell projected into three-space, with the ninety-six edges joining units at distance one.

The integers among the quaternions

The obvious integer quaternions are the ones with whole coordinates, and they are the wrong ones. Sixteen more, with every coordinate a half, have to be let in — and with them comes a division algorithm, twenty-four units instead of eight, and a regular solid that exists only in four dimensions.

algebra · Quaternions

Named alongside it

The objects these essays reach for when they reach for this one.

Euler characteristicPlatonic solidsDualityGenusAngle defectClassificationConnectednessDihedral angleRegular polygonSymmetry groupTopological invariantVertex configuration

All concepts