Proof without words
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.
GeometryEvery 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.
GeometryThe 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.
GeometryWhy 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.
AnalysisAdding 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.
DiscreteSeven 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.
GeometryA circle unrolled into a triangle
Take a disc apart into rings, straighten each one, and stack them. The result is a triangle whose base is the circumference and whose height is the radius — and its area is the disc's.
GeometryRound is not the only way to be the same width
A shape that measures the same in every direction sounds like a description of a circle. It is not — there are infinitely many others, one of them is on a coin in most people's pockets, and a drill built from one cuts a nearly square hole.
DiscreteMore things than boxes
If there are more objects than containers, some container holds two. That is the entire principle, it is impossible to disagree with, and it settles questions that look nothing like it.
DiscreteOne sequence, counting everything
The number of ways to cut a polygon into triangles is 1, 2, 5, 14, 42. So is the number of ways to bracket a product, the number of binary trees, and the number of paths that never cross a diagonal. They are the same count, and the reason is one picture.
GeometryAn angle that does not care where it stands
Fix two points on a circle and look at them from anywhere else on the far arc. The angle is the same from every one of those places, and it is exactly half the angle at the centre.
GeometryEuclid proves it without moving anything
The rearrangement proof cuts and slides. Euclid's does neither — it shows that a square and a rectangle are each exactly twice the same triangle, seen from opposite sides, and that is harder to hold in the head for a reason worth understanding.
AnalysisArea is the undoing of slope
Two operations invented for unrelated reasons — measuring a region and measuring a rate — turn out to be inverse. The picture is two panels sharing one axis, and the claim is that the lower curve's steepness is the upper curve's height.
AlgebraCompleting the square, by completing a square
The step everybody is taught as an algebraic trick is a literal instruction about a literal square. There is a corner missing, its size is forced, and paying for it is the whole method.
NumberThe shape of a number's divisors
Lay a number's divisors out as a lattice with one axis per prime, and two of the most useful facts in arithmetic stop being formulas and become the width and the corner of a rectangle.
NumberNecklaces that prove a theorem
Thread five beads in two colours, thirty-two ways. Two of them are all one colour; the other thirty fall into rings of five. That count, and nothing else, is Fermat's little theorem.
NumberCounting one rectangle, twice
Whether seven is a square modulo eleven, and whether eleven is a square modulo seven, are two unrelated-looking questions. Their answers are linked, and the link is a rectangle of dots counted along its rows and then along its columns.
NumberA diagram turned on its side
Write a partition as rows of dots, then read the columns instead. Every theorem in this essay is that one move, and the move proves things that no formula suggests.
DynamicsThe staircase that shows the whole orbit
Take a number, feed it to a rule, feed the answer back in. There is a way of drawing that on the rule's own graph which turns the entire future of a starting point into a shape — and the shape is legible.
DynamicsA point that pulls, and a point that pushes
Every crossing of a curve with the diagonal is a value the rule leaves alone. Whether anything ever arrives there is decided by one number — the slope at the crossing — and the picture makes the reason obvious.
DynamicsThe orbit that must come back
A system with finitely many states has to repeat itself. Poincaré showed the same thing holds when the states are a continuum — almost every starting point returns arbitrarily close to where it began, however complicated the rule, and the argument is the pigeonhole principle with volume in place of counting.
LogicThe tree that closes
To prove a formula, assume it false and take it apart. Every branch ends in a contradiction, or one of them describes exactly how it could have been false — and either way the tree is the answer, drawn.
ComputationDistance is a picture
A message is a corner of a cube and an error is a step along an edge. Everything a code can do is decided by how far apart the corners it uses are — and that is a fact about a drawing.
ComputationSeven points, seven lines
A geometry with seven points, in which every two points lie on exactly one line and every two lines meet in exactly one point. There are no parallels, the whole thing is built out of the two-element field, and one of its lines has to be drawn as a circle.