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 What's new Ladders Concepts Search

Geometry

Shapes, and the arguments you can make by rearranging them.

same four trianglessame four triangles

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

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

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

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

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
23581321 : 13 = 1.6154 (φ = 1.6180)

The rectangle that eats itself

Cut a square off a golden rectangle and what is left is a golden rectangle. That single property is the whole of the golden ratio, and it explains both what the number really does and most of what is wrongly claimed for it.

6 figures
area πr²base 2πr, height r — area ½ · 2πr · r

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

6 figures
width 180.1at every angle

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

6 figures
120°60°ABPthe same chordat the apex: 60°at the centre: 120°one is half the other,wherever P is put

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

7 figures

The plane, divided by whoever is nearest

Scatter some points and colour every other point of the plane by which one is closest. The result is a tiling nobody designed, and its dual triangulation has a property that no part of the construction mentions.

7 figures
CBAhalf the squarehalf the rectangle

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

7 figures

Analysis

Limits, curves, and what happens when you keep going.

πθ1−1sin

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

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

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

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
246810121416182022240123ntotal 3.776term 0.042

A sum whose terms vanish and whose total does not

Add a half, a third, a quarter, and keep going. The terms shrink to nothing and the total passes every number there is — but so slowly that no computation will ever watch it happen.

6 figures
-8-6-4-22468-2-112xsin xdegree 9 is out by 4.7e+0 at x = 5.76

One point's worth of information

A Taylor series claims that everything a function does, everywhere, is encoded in its behaviour at a single point. That claim is extraordinary, it is often true, and the cases where it fails are the interesting ones.

6 figures
0.511.522.512345xh = 1.2 slope 3.2000h = 0.8 slope 2.8000h = 0.5 slope 2.5000h = 0.28 slope 2.2800h = 0.12 slope 2.1200

The slope of a single point

A slope needs two points. A derivative is the slope at one. The construction that bridges the gap is a sequence of secants, and the whole difficulty of calculus is in what "the limit of that sequence" is allowed to mean.

6 figures
246810121416182022240.60.70.80.91terms usedln 2 = 0.69315odd sums, from aboveeven sums, from below

The same terms, in a different order, adding to whatever is asked

Flip alternate signs in the harmonic series and it converges. Reorder the terms — add nothing, remove nothing — and it converges to any number chosen in advance. Addition stops being commutative, and the picture shows where it goes.

7 figures
00.511.522.5300.51fthis areaheight 1.12900.511.522.5300.511.522.5where the area stopsarea so farslope 1.129

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

7 figures

Algebra

Structure: what stays true when you change the numbers.