Depth

Ladders

A field says what an essay is about. A ladder says what else there is to say about it — the distinct arguments that stand against one idea, from the one that introduces it to the one that assumes all the others.
has itdoes nottests positivetrue, and positive: 0.99%false, and positive: 4.95%so of the positives,16.7% really have it

Bayes' theorem is a picture of a square

A test that is 99% accurate returns a positive result. The chance it is right can easily be under one in five, and the reason is visible the moment the population is drawn as a square rather than described as a formula.

1 rung · probability
01020304050607000.20.40.60.81people in the groupchance of a match23 people — 50.7%

Twenty-three people

A room needs 253 people before someone probably shares a birthday with you. It needs 23 before two of them probably share one with each other. The gap between those numbers is the whole problem.

1 rung · probability
14 of them

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

1 rung · discrete
1173760121153109683661left or right, 12 times, 600 times over

A bell curve assembled out of coin flips

Drop six hundred balls through a board of pegs, each bouncing left or right at random, and they pile up in a shape that can be predicted precisely. Nothing coordinated them.

1 rung · probability
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.

1 rung · geometry
πθ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.

1 rung · analysis
realimaginaryθφzwzw|z| = 1.49|w| = 1.08|zw| = 1.61θ + φ = 76°

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.

1 rung · algebra
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.

1 rung · geometry
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.

1 rung · geometry
λ = 3.00λ = 1.00[2, 1, 1, 2]

The directions a map leaves alone

Almost every arrow comes out of a transformation pointing somewhere else. A few come out pointing exactly where they went in, only longer or shorter. Those few decide nearly everything the map does.

1 rung · algebra
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.

1 rung · geometry
VEFV − E + Ftetrahedron4642cube81262octahedron61282dodecahedron2030122icosahedron1230202

Every corner pays for itself

Count the corners of any solid, subtract the edges, add the faces. The answer is two. It is two for a cube, for a pyramid, for a football, for anything squashed or stretched — and the number is measuring the shape it is wrapped around rather than the shape itself.

1 rung · topology
Ndegree 3Idegree 5Edegree 3Sdegree 3

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.

1 rung · discrete
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.

1 rung · geometry
00.20.40.60.8100.20.40.60.81xf(x)f(0.694) = 0.694the diagonal

Something always stays put

Stir a cup of coffee however violently and let it settle. Some molecule is exactly where it started. Crumple a map and drop it on the region it depicts, and one point lies over the place it names.

1 rung · topology
-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.

1 rung · analysis
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.

1 rung · geometry
the mapwho touches whom

Four colours, and a proof nobody can read

Every map on a plane can be coloured with four colours so that no two neighbours match. The statement is understandable by a child, it resisted a century of attempts, and the proof that settled it cannot be checked by a human being.

1 rung · discrete
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.

1 rung · analysis
abshadowa · b = 10.00= 2.43 × 4.12

The dot product is a shadow

Multiply the matching coordinates and add them up. That rule explains nothing, and it hides the fact that the answer is a length — how far one arrow reaches along another, times how long that other one is.

1 rung · algebra
beforeafter · area × 2.50210.51.5

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.

1 rung · algebra
83 of 120 cross a line2Ln / dc ≈ 2.892

Getting pi by dropping needles on the floor

Throw a needle at a lined floor enough times, count how often it crosses a line, and pi falls out. There is no circle anywhere in the experiment.

1 rung · probability

The surface with one side, and what happens when it is cut

A strip of paper, half a twist, and a join. The result has one side and one edge, and cutting it down the middle does not produce two of anything.

1 rung · topology

Pascal's triangle, in two colours

Shade the odd numbers in Pascal's triangle and a fractal appears. Nothing was designed to produce it, and the same shape arrives independently from a completely different construction.

1 rung · discrete
211111111111spread as evenly as possible, the fullest box still holds 2

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

1 rung · discrete

The primes on a spiral, and a pattern nobody ordered

Wind the whole numbers outward in a square spiral, mark the primes, and they line up on diagonals. The observation is a hundred years old and there is still no proof it means anything.

1 rung · discrete
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.

1 rung · geometry
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.

1 rung · geometry
the one point with nowhere to goa circle on the sphere……is a circle on the planethe plane runs on past the edge of the drawing

A sphere is a plane plus one point

Remove a single point from a sphere and what is left can be flattened out to cover an infinite plane exactly. The construction is one straight line, repeated.

1 rung · topology
-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.

1 rung · analysis
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.

1 rung · analysis
-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.

1 rung · analysis
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.

1 rung · analysis

All essays