Series

Regular polyhedra — the series

11 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. 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.

    part 1 · geometry
  2. 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.

    part 2 · geometry
  3. 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.

    part 3 · geometry
  4. 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.

    part 4 · geometry
  5. Every turn that leaves a cube where it was. A cube in wireframe beside a table of its rotation axes: 3 of order 4, 4 of order 3, 6 of order 2, totalling 24 turns including the one that does nothing.

    The five solids as three groups

    There are five regular solids and only three groups of rotations between them, because a solid and its dual share their symmetries exactly. The largest of the three is the smallest group with no way of coming apart, which is why the general equation of the fifth degree has no formula.

    part 5 · geometry
  6. The 9 mirrors of the octahedral group, cutting the sphere into 48 triangles. A sphere crossed by the 9 great circles of the octahedral group's mirror planes, dividing it into 48 triangles with one shaded.

    Three mirrors make every solid

    Every symmetry of a regular solid, reflections included, is produced by just three mirrors meeting at its centre, reflected in one another over and over — a kaleidoscope. Put a single point between the three mirrors and its reflections are the corners of a solid: the regular solid itself if the point sits in a corner, and every one of its truncated and expanded relatives if it sits anywhere else.

    part 6 · geometry
  7. Every finite kaleidoscope on up to eight mirrors. 1: A₁; 2: A₂ B₂ H₂ G₂; 3: A₃ B₃ H₃; 4: D₄ A₄ B₄ H₄ F₄; 5: D₅ A₅ B₅; 6: E₆ D₆ A₆ B₆; 7: E₇ D₇ A₇ B₇; 8: E₈ D₈ A₈ B₈.

    One determinant for every kaleidoscope

    Three mirrors close up into a kaleidoscope when the angles of their triangle add to more than half a turn. In more dimensions there is no triangle to add up, but there is a matrix — the inner products of the mirrors' directions — and the mirrors close up exactly when it is positive definite. Trying every arrangement of up to nine mirrors against that one test finds Coxeter's list: three families in every dimension, a fork that runs out at eight mirrors because its determinant reaches zero at nine, and five exceptions. The same search finds the hyperbolic kaleidoscopes, and finds that they stop at five mirrors.

    part 7 · geometry
  8. A cube passes through a hole in a smaller cube. Cube passage: λ = 1.060660172 (3√2/4 = 1.060660172); outer hexagon, inner square.

    A cube through a hole in a cube

    Prince Rupert of the Rhine bet that a hole could be cut through a cube large enough for an equal cube to pass through it, and won. The trick is to look at the cube along a direction near its long diagonal, where its shadow is a hexagon wide enough to hold a square face with room to spare: a cube 6% larger can pass. All five Platonic solids turn out to have such a passage, found by searching over the directions from which a solid is seen — and in 2025 a solid was found that has none.

    part 8 · geometry
  9. Where charges settle on a sphere. N=4: E=3.674234614, distinct minima from 8 starts: 1; N=6: E=9.985281374, distinct minima from 8 starts: 1; N=8: E=19.675287861, distinct minima from 8 starts: 1; N=12: E=49.165253058, distinct minima from 8 starts: 1; N=20: E=150.881568334, distinct minima from 8 starts: 1; five charges: bipyramid 6.474691, best square pyramid 6.483661.

    Where charges settle on a sphere

    Put equal electric charges on a sphere and let them push each other apart until nothing moves. Four settle at the corners of a tetrahedron, six of an octahedron, twelve of an icosahedron — but eight do not make a cube, and twenty do not make a dodecahedron. The cube loses to two squares turned half a corner apart, because charges on a sphere prefer triangles; and however many charges there are, exactly twelve more of them have five neighbours than have seven.

    part 9 · geometry
  10. Two valleys for sixteen charges. N = 16: 92.911655 (48 starts), 92.920354 (12 starts).

    Valleys a search cannot count

    Let equal charges on a sphere push each other apart from a random start, and they settle into an arrangement where nothing moves. Up to fifteen charges every start settles into the same one. Sixteen is the first number with two, a hundredth of a unit apart in energy; by fifty-two there are at least four, and for fifty-six charges only one start in ten finds the lowest. The other valleys sit a few parts in a million above it, and nothing in the arrangement a search returns says whether it is the bottom.

    part 10 · geometry
  11. Eight points that do not want to be a cube. Closest-pair angle for 8 points: cube 70.5288 degrees, square antiprism 74.8585 degrees at height 0.5111, numerical search 74.8583.

    Eight points that refuse the cube

    Place eight points on a sphere so that the closest pair is as far apart as possible. A cube manages 70.53°. Rotating one face by 45° and pushing the faces together gives 74.86°. A botanist counting pores on pollen grains asked this in 1930, and proofs still stop at fourteen points: one search in five hundred finds the best thirteen, whose failure to reach 60° is why kissing spheres stop at twelve.

    part 11 · geometry

All series