Depth

Ladders — page 3

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.
050100150200250300350400-60-40-20204060steps takendistance from the start√n

A walk that always comes home, until it does not

Step left or right at random, forever, and the walk returns to where it started with certainty. On a grid it also returns. In space it does not, and about a third of walks leave and never come back.

1 rung · probability
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
11122113233231142535344353524115 fractions, all in lowest terms, none of them twiceand left to right they are already in order

Every fraction, exactly once

Take two fractions, add the tops and add the bottoms. That is not how fractions are added, it is not an average, and repeating it produces every positive rational exactly once, already in lowest terms.

1 rung · number
12 lattice points sit on the circle — and 4 × (3 − 0) = 12divisors of 25: 1, 5, 25 are 1 mod 4, none are 3 mod 4

Two squares, and a lattice

Whether a prime is the sum of two squares is decided entirely by its remainder on division by four. A fact about circles is settled by a fact about remainders, and neither statement contains any hint of the other.

1 rung · number
-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

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.

1 rung · geometry

All essays