The collection

Every essay

One idea per essay, ordered so that the earlier ones set up the later ones — but nothing here depends on being read in sequence.

Geometry Analysis Algebra Discrete Topology Probability Number Dynamics Logic Computation Applied What's new Series Concepts Search

Geometry

Shapes, and the arguments that can be made by rearranging them.

The Pythagorean theorem by dissection. Two squares of the same size. Each holds four copies of one right triangle. The space left over is a single tilted square on the left and two upright squares on the right.

Two squares, four triangles, and no algebra

Odd numbers as square shells. Nested L-shaped shells of 1, 3, 5 … 11 cells stack into a 6 by 6 square.

Every square is a stack of odd numbers

Euclid's algorithm on a 34 by 13 rectangle. The rectangle is tiled by peeling off the largest square that fits, again and again, until nothing is left.

The oldest algorithm, drawn as a tiling

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

Why the list of perfect solids stops at five

Four conic sections from one cone. Circle, ellipse, parabola and hyperbola, produced by tilting a single cutting plane further and further.

One cone, four curves

The whirling squares. Squares with Fibonacci sides 1, 1, 2, 3, 5, 8, 13, each attached to the long side of what came before. They fill a 13 by 21 rectangle exactly.

The rectangle that eats itself

A disc unrolled into a triangle. A disc cut into 12 concentric rings, and the same rings straightened and stacked. The longest is the outer circumference; the shortest is nearly a point; the stack is a triangle.

A circle unrolled into a triangle

A Reuleaux triangle. A curve of constant width on 3 vertices, with 6 pairs of parallel supporting lines drawn across it. Every pair is 180.1 apart.

Round is not the only way to be the same width

An angle standing on a chord. A circle with a fixed chord and a movable apex on the major arc. The angle at the apex is 60 degrees wherever the apex is put, and the angle the same chord subtends at the centre is 120 degrees.

An angle that does not care where it stands

The plane divided by nearest neighbour. 10 sites, and every point of the rectangle shaded by which site is closest to it. The boundaries are the places where two sites tie.

The plane, divided by whoever is nearest

Euclid proves it without moving anything

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².

The most area a fence can hold

Nine points of a triangle, on one circle. A triangle with the midpoints of its sides, the feet of its three altitudes and the midpoints from each corner to the orthocentre marked; all nine lie on a single circle of half the circumradius.

Nine points on one circle

Every ray from one focus arrives at the other. An ellipse with its two foci and 13 rays leaving the first. Each is reflected at the curve by the ordinary law of reflection and each passes through the second focus.

Every ray comes back to the other focus

Trisect every angle, and an equilateral triangle appears. A triangle with angles 78°, 54°, 48°, its six angle trisectors, and the triangle whose corners are where the trisectors nearest each side meet. That inner triangle is equilateral, which is Morley's theorem.

Three trisectors and a triangle nobody expected

A knotted rope pulled into a 3-4-5 triangle. A closed loop of rope carrying 12 equally spaced knots, held at three of them so the sides are 3, 4 and 5 knots long; the angle between the two shorter sides is 90.0 degrees.

The rope that squares a corner

Two right angles and the diagonal of a box

A right triangle on a sphere. A spherical triangle with a right angle where the equator meets a meridian and legs of 50 and 60 degrees; its hypotenuse is shorter than the flat theorem predicts.

The triangle that a globe gets wrong

The unit ball at p = 2.00. The set of points one unit from the origin, when distance is measured by the p-th power sum. At p = 1 it is a diamond, at p = 2 a circle, and as p grows it fills out a square.

Circles that are diamonds and squares

Inversion in a circle of radius 1. Three points and their images under inversion in a circle: each image lies on the same ray from the centre, at the distance whose product with the original is the squared radius. Beside it, the tangent construction that finds the image with compass and straightedge.

The map that trades circles for lines

The nine-point grid, and the lines they force. 9 points with all 20 of their connecting lines drawn. The 12 carrying exactly two points are drawn solid and the rest faintly; the count is computed from the coordinates rather than read off the drawing.

The line with only two points on it

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 four that are allowed to cross themselves

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