Generator

One perimeter of 300, spent five ways

A generator in the geometry library, called 32 times across 6 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

iso is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

With nothing chosen

One perimeter of 300, spent five ways. Regular polygons all of the same perimeter, drawn to scale beside the circle of that perimeter, with the area each encloses and the ratio 4πA/L².

One symmetrisation: every chord slid to the middle

One symmetrisation: every chord slid to the middle. A lopsided shape with a dent beside its Steiner symmetrisation about a horizontal line, with a few vertical chords marked in both: the chords keep their lengths and are centred on the line.

Two slopes averaged make a shorter pair of edges

Two slopes averaged make a shorter pair of edges. A thin slice of a shape before and after symmetrisation: two edges of different slopes replaced by two edges of the averaged slope, mirror images of each other, with their total lengths compared.

Symmetrised in turning directions, a shape goes round

Symmetrised in turning directions, a shape goes round. A row of six shapes: a lopsided blob and the results of repeatedly symmetrising it about lines at turning angles, becoming a disc, each labelled with its roundness ratio.

Turning lines reach the disc, and two fixed lines stall

Turning lines reach the disc, and two fixed lines stall. A plot of the roundness ratio against the number of symmetrisations, rising to one when the lines turn and levelling out below one when they alternate between two fixed directions, with the stalled shape drawn beside.

A triangle made equilateral by symmetrising, and a pentagon that does not stay a pentagon

A triangle made equilateral by symmetrising, and a pentagon that does not stay a pentagon. A row of triangles, each the symmetrisation of the one before about the perpendicular to one of its sides, approaching an equilateral triangle, and beside them a pentagon whose symmetrisation has eight corners.

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

Geometry

Every chord slid to the middle

Take a shape, pick a line, and slide every chord that crosses the line at right angles until the line cuts it in half. The area cannot change, the boundary can only get shorter, and the result is symmetric. Do it again about another line, and another, and the shape is squeezed towards a disc — unless the lines are badly chosen, in which case it stops short.

Geometry

Half a circle against a wall

Lay a fence of fixed length with both ends against a straight wall and the best shape is a half-circle, holding exactly twice what a full circle of the same fence holds. The proof is a mirror: doubled in the wall, any fence becomes a closed curve with twice the length and twice the area, and the closed-curve answer carries over. In a corner the same mirrors give a slice of a circle — until the corner's angle stops dividing a half-turn.

Geometry

Nearly the most means nearly round

A shape that holds almost as much as a circle of the same perimeter must almost be a circle. Bonnesen made that exact: the ring between a convex shape's largest inscribed circle and smallest enclosing circle is never wider than √(L² − 4πA)/π. Three quite different shapes holding 99% of the circle's area all have rings under 9.55 wide, and not one of 200 random convex shapes breaks the bound.

Geometry

The least wall for equal rooms

Divide the plane into rooms of equal area using as little wall as possible, and every wall does double duty. Bees settled on hexagons long ago, and the proof that nothing does better — not even rooms with curved walls — came in 1999. The straight-walled half of it is two facts: the rooms of any division average six sides, and more sides never cost more wall.

Geometry

The most area a fence can hold

One length of boundary, and the question of what shape to bend it into. The answer is a circle, everybody knows it, and the argument that convinced the nineteenth century turned out to prove something slightly different.

Geometry

Three sides and four are proved

Among all shapes of a given area, the disc has the smallest lowest eigenvalue. Among triangles it is the equilateral one, among quadrilaterals the square — both proved by sliding chords to an axis. For five sides the regular pentagon wins every computation, every nudge raises its value by the square of the nudge, and there is still no proof.

The whole library · What the figures prove