Mathematics, in pictures.

Some mathematical ideas are hard because they are genuinely hard. Others are hard only because nobody drew them properly. This is a collection of essays about the second kind — one idea at a time, illustrated to the point where the argument becomes visible.

Pascal's triangle mod 2, 32 rowsOnly the odd entries are drawn; the pattern that appears is the Sierpiński triangle.
Fig. 1 Pascal’s triangle with the odd numbers shaded and the even ones left blank. Nothing here was designed to make a pattern; the pattern is a consequence of the arithmetic. See Pascal’s triangle, two colours.

Recently added

15 essays, 22 August 2026 — everything that has been added, in order

3-4-55-12-137-24-2548-55-7328-45-5320-21-2939-80-89119-120-16936-77-858-15-1733-56-6565-72-9712-35-37the rootfirst matrixsecondthird13 triples in 3 generations, each child got from its parent by one of three fixed matrices; the root is the 3-4-5 trianglegrown until the hypotenuse passes 200, the tree produces exactly the 32 primitive triples an exhaustive search over Euclid's m and n finds— the same set, by two procedures with nothing in common Number

A tree that holds every triple

Three fixed matrices, applied to 3-4-5 over and over, produce every primitive Pythagorean triple there is — each of them once, none of them twice, and with no test for common factors anywhere in the procedure.

7 figures
11p = 2the diagonal point is 0.707convex — so this is a distancedashed: p = 1dashed: p = 2dashed: p → ∞the set of points at distance one from the origin when distance is (|x|^p + |y|^p)^(1/p), at p = 2.00p = 1 is the diamond of city blocks, p = 2 the circle, and large p a square; the ball meets the diagonal at0.707 in each coordinate, which is where the exponent shows most Geometry

Circles that are diamonds and squares

The theorem hands over a formula for distance. Take the formula as a definition, change the exponent in it, and the set of points one unit from the origin stops being round — while remaining, in every sense that matters, a circle.

8 figures
200 steps±√t drawn dashed2,000 steps±√t drawn dashed20,000 steps±√t drawn dashed-3-2-101230.00.10.20.30.4position ÷ √nn = 4, gap 0.187n = 16, gap 0.098n = 64, gap 0.050n = 256, gap 0.025the position, standardisedone walk of 20,000 steps, seen over its first 200, 2,000 and 20,000 steps, with the vertical scale shrunk by the square root of the horizontal one each timeon the right, the exact distribution of the position after 4, 16, 64, 256 steps, standardised: the largest gap to the bell curve falls 0.187 → 0.098 → 0.050 → 0.025 Probability

The walk that becomes a curve

Shrink the steps of a random walk and it disappears. Shrink them while stretching the time in the right proportion — space by the square root of whatever time is divided by — and something is left behind, which is a curve nobody could draw.

6 figures
colour onecolour twocolour threea door: one and two9 triangles hold all threethe walk passes through 7a triangle cut into 36 small ones and coloured at random under one rule — a vertex may take acolour only on the side of the triangle that colour's corner is on9 of them carry all three colours, which is odd, as it is for every legal colouring; the walkenters through one of the 3 doors on the bottom edge and reaches one of them after 7 triangles Discrete

Three colours force a triangle

Cut a triangle into small ones and colour the corners under one restriction. However the cutting and the colouring are done, some small triangle ends up with all three colours — and the number of them is always odd.

7 figures
fixed at 0.739085from 0.05from 0.95the map, and two staircases0510152010⁰10⁻²10⁻⁴steps takendistance to the fixed pointthe bound: k = 0.841and how fast they get therex ↦ cos x on [0, 1] — the button on a calculator that everyone has pressed a hundred times in a row. The steepest thegraph ever gets is 0.8415, so every distance shrinks by at least that factor at every stepboth staircases run into 0.739085, and the errors on the right stay under 0.841 to the power n times where they started —the straight line, which is the guarantee rather than the observation Analysis

A map that shrinks everything

One extra hypothesis — that every distance is shortened by at least a fixed factor — turns the existence of a fixed point into its uniqueness, an algorithm for finding it, and a bound on the error after any number of steps.

6 figures
a ring, turneddropped: no holesthe only point a turn leaves alone isthe centre, and the centre is the holeits fixed point is on the riman open disc, halved toward the rimdropped: closedthe one point this map holds still ison the rim, and the rim is not part ofthe setthe whole plane, shifteddropped: boundeda shift moves every point by thesame amount, and there is alwaysroomthe closed disc, turned and shrunknothing droppednothing has been dropped, and thesearch finds the pointthree sets on which the theorem fails and one on which it holds; each map is solved for a fixed point and then swept at 2,000 points to check the answera ring, turned: smallest movement 0.232 · an open disc, halved toward the rim: smallest movement 0.023 · the whole plane, shifted: smallest movement0.500, against 0.005 on the disc, where a point stands still Topology

Where the fixed point escapes

The theorem asks for a set that is closed, bounded and free of holes. Drop any one of the three and a map appears that moves every single point — and in each case the point that should have stayed still can be seen leaving.

6 figures

Start anywhere

Eight of 180 essays — the whole collection is a click away, or search it.

same four trianglessame four triangles Geometry

Two squares, four triangles, and no algebra

The Pythagorean theorem is usually met as a formula to be memorised. It is much better met as a rearrangement that can be checked by eye.

7 figures
1357911total 6² = 36 Geometry

Every square is a stack of odd numbers

Add up the odd numbers in order and the running totals are 1, 4, 9, 16, 25. This is not a coincidence, and the reason fits in a single picture.

7 figures
131385322 × 131 × 81 × 51 × 31 × 22 × 1gcd(34, 13) = 1 Geometry

The oldest algorithm, drawn as a tiling

Euclid's method for finding a greatest common divisor is usually presented as a loop. It is also a way of tiling a rectangle with squares, and the tiling explains why it works.

7 figures
tetrahedron4 trianglescube6 squaresoctahedron8 trianglesdodecahedron12 pentagonsicosahedron20 triangles Geometry

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.

8 figures
circleplane levelellipsetilted a littleparabolaparallel to the sidehyperbolasteeper still Geometry

One cone, four curves

The circle, the ellipse, the parabola and the hyperbola look like four separate objects with four separate equations. They are one object, cut at four angles.

6 figures
πθ1−1sin Analysis

A sine wave is a circle seen from the side

Sine is introduced as a ratio in a right triangle, which is true and explains nothing about why its graph is a wave. There is a better picture.

7 figures
0.511.522.5301234xysum ≈ 5.790exact = 6.300 Analysis

Adding up rectangles until they stop being rectangles

The integral is defined as a limit of sums of rectangles. The definition is exact, the picture is honest about what it costs, and the gap between them is the whole subject.

7 figures
-111 term-113 terms-117 terms-1121 terms Analysis

A square wave built entirely out of round ones

Add enough sine waves together and flat tops and vertical cliffs appear from nothing. Almost — there is a 9% overshoot that never goes away, and it is not a bug.

7 figures

The eleven fields

the spine — every essay sits in exactly one

Deepest ladders

one idea, several arguments — all 98 of them

Threads running through

themes, not categories

Proof without words

Arguments that are complete once they have been looked at properly. Not illustrations of proofs — the proofs themselves.

44 essays

Pi turns up uninvited

A constant defined by circles, appearing in places with no circle anywhere in sight, and what that tends to mean.

8 essays

Doing infinitely many things

Sums that never end, subdivisions that never stop, and the care required to make either of them mean something.

22 essays

The same thing twice

Two constructions that look unrelated and turn out to be the same object wearing different clothes.

66 essays

Throwing things away

Progress made by deleting detail: the map that becomes a graph, the shape that becomes a number.

20 essays

Order out of noise

Random processes that reliably produce the same shape, and the reason that is less mysterious than it looks.

14 essays

One point away

Constructions that work perfectly except at a single exceptional place, and what is done about it.

6 essays

Things that cannot be done

Results that close a door rather than open one — and the peculiar difficulty of drawing a picture of something that does not exist.

46 essays

Counting the same thing twice

One collection, counted by two different methods, and an identity that falls out because both answers have to agree. The proof is the pair of counts.

33 essays

Sensitive to everything

Systems where a difference too small to draw becomes the whole difference, and the reason that is a property of the rule rather than of the measurement.

8 essays

Small rules, large behaviour

Rules short enough to write on one line, producing behaviour nobody can summarise — and the finding that the size of a rule predicts nothing about the difficulty of the questions it raises.

9 essays

What a system cannot say

Rules asked a question about themselves, and an answer that is provably not available from inside — which is a different kind of limit from not knowing yet.

8 essays

Decided by exhaustion

Questions with finitely many cases, settled by going through all of them — and what changes when a claim about every argument becomes a count.

32 essays

Small cases lie

Patterns that hold for every example anyone would check by hand, and then stop. The cases within reach are not a sample of the cases.

38 essays

All 180 essays · by ladder · by named object · by generator · what the figures prove · what is new