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, 15 August 2026, opening up computation — everything that has been added, in order

01−12√3⁄2−√3⁄2two points, 1 line and 2 circles, 4 new pointseach new point was checked to lie on two of the objects drawn before it Computation

What two points can build

A compass and a straightedge are not a craft. They are two operations on a set of points, applied over and over, and writing them that way turns "can this be drawn?" into a question with an answer.

7 figures
dim 12ℚ(√2)dim 22ℚ(√2, √3)dim 41√2√3√61√2√3√61√2√3√6√22√62√3√3√633√2√62√33√262 square roots taken, one at a time, and the degree doubles at each: 1 → 2 → 4the 4×4 table is the closure check — every product of basis elements landed on a whole-numbermultiple of another Computation

Every step is a square root

A line meets a line by solving a linear equation and a circle by solving a quadratic one. There is no third case, so the numbers a construction reaches can only ever double in complexity — and a doubling is a thing that can be counted.

7 figures
x³ − 2candidatevalue thereroot?-2-10-1-31-126x³ − 2 has no rational root — all 4 candidates the theorem allows weretested and none is zeroa cubic with no rational root is irreducible over ℚ, so its roots have degree3 Computation

The cube that will not double

Doubling a cube needs an edge in the ratio of the cube root of two. That number satisfies an equation of degree three, three does not divide any power of two, and the oldest open problem in geometry closes in a line.

7 figures
3 trisect · 14 do notcos θθrational root8/8y = 17/829°none6/841°none5/851°none4/860°none3/868°none2/876°none1/883°none0/890°y = 0-1/897°none-2/8104°none-3/8112°none-4/8120°none-5/8129°none-6/8139°none-7/8151°none-8/8180°y = -1cos θ = k/8 for k from 8 down to −8: 3 of 17 angles trisecteach verdict is the rational root theorem run to the end — 18–28 candidates per cubic, every onedivided out Computation

The angle that will not divide by three

Halving an angle costs one circle. Cutting it in three means solving a cubic, and for sixty degrees that cubic has no rational root — but plenty of angles do trisect, and which ones is a question with a countable answer.

7 figures
3 · 4 · 5 · 6 · 8 · 10 · 12 · 15 · 16 · 17 · 20 · 24 · …3φ24φ25φ46φ27φ68φ49φ610φ411φ1012φ413φ1214φ615φ816φ817φ1618φ619φ1820φ821φ1222φ1023φ2224φ825φ2026φ1227φ1828φ1229φ2830φ831φ3032φ1633φ2034φ1635φ2436φ1237φ3638φ1839φ2440φ1641φ4042φ1243φ4244φ2045φ2446φ2247φ4648φ1649φ4250φ2051φ3252φ2453φ5254φ1855φ4056φ2457φ3658φ2859φ5860φ1661φ6062φ3063φ3664φ3265φ4866φ2067φ6668φ3269φ4470φ2471φ7072φ2473φ7274φ3675φ4076φ3677φ6078φ2479φ7880φ3281φ5482φ4083φ8284φ2485φ6486φ4287φ5688φ4089φ8890φ2491φ7292φ4493φ6094φ4695φ7296φ3297φ9698φ4299φ60100φ40n = 3 to 100: 24 constructible, 74 notdecided twice — by the Fermat-prime criterion and by φ(n) being a power of two — and thetwo agreed at every one of the 98 Computation

Which polygons can be drawn

Three sides yes, seven no, seventeen yes. The list of constructible regular polygons is neither everything nor almost nothing, and the pattern in it is a fact about which numbers are one less than a power of two.

7 figures
π = 3.141592654…coefficients from −5 to 5degreeclosest missvalue there1−x + 30.142110 tried2−2x² + 5x + 40.03121,210 tried3−x³ + 2x² + 2x + 50.016113,310 tried4−2x⁴ + 5x³ + 5x² − 4x + 30.00515146,410 tried161,040 integer polynomials of degree ≤ 4 with coefficients in [−5, 5], evaluated at π —none is zerothe same search finds x² − 2 for √2, so its silence about π is a report and not a proof Computation

The circle that will not square

The other three impossibilities are a number having the wrong degree. This one is a number having no degree at all — and that is a claim no finite search can establish, which makes it the one place in this field where the picture has to admit what it is not doing.

7 figures

Start anywhere

Twelve of 105 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
-2-1.5-1-0.50.511.52123456xyheight 0.37slope 0.37height 1.00slope 1.00height 2.72slope 2.72height 4.95slope 4.95 Analysis

The curve that is its own slope

There is exactly one shape of exponential curve whose steepness at every point equals its height at that point. The number that produces it is 2.71828…, and it was not chosen for elegance.

7 figures
beforeafter · area × 2.50210.51.5 Algebra

A matrix is a picture of what happens to the grid

Four numbers in a box is not an object anyone has intuitions about. The same four numbers, shown as an instruction for redrawing the plane, are.

7 figures
realimaginaryθφzwzw|z| = 1.49|w| = 1.08|zw| = 1.61θ + φ = 76° Algebra

Multiplying is turning

Complex numbers are introduced as an algebraic dodge for square roots of negatives. They are better understood as the arithmetic of rotation, at which point every rule stops needing to be remembered.

7 figures
Ndegree 3Idegree 5Edegree 3Sdegree 3 Discrete

Seven bridges, and the invention of throwing things away

Euler solved a puzzle about a Prussian city by deleting the city. What survived the deletion was a new branch of mathematics.

6 figures

All 105 essays · by ladder · by named object · what the figures prove

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.

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

6 essays

Doing infinitely many things

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

17 essays

The same thing twice

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

37 essays

Throwing things away

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

15 essays

Order out of noise

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

7 essays

One point away

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

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

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

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

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

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

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

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

23 essays