Generator

8 rectangles under a curve

A generator in the analysis library, called 95 times across 23 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

riemann is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

With nothing chosen

8 rectangles under a curve. A left-endpoint Riemann sum with 8 rectangles approximating the area under a curve.

Four stages of the four-corner Cantor dust

Four stages of the four-corner Cantor dust. Four panels showing stages 1 to 4 of the four-corner Cantor set: 4, 16, 64 and 256 squares kept at the corners.

The shadows of the Cantor dust in two directions, stage by stage

The shadows of the Cantor dust in two directions, stage by stage. direction 37°: 1.000, 0.855, 0.730, 0.630, 0.557, 0.495, 0.446; direction (1, 2), at 63.4°: 1.000, 1.000, 1.000, 1.000, 1.000, 1.000, 1.000.

Why the shadow in the direction (1, 2) never shrinks

Why the shadow in the direction (1, 2) never shrinks. Stage 2 of the four-corner dust, each square labelled with the base-four digits of x + 2y, beside their shadows tiling the interval from 0 to 3.

How the dust's shadow depends on the direction

How the dust's shadow depends on the direction. stage 1: mean share 0.814; stage 3: mean share 0.651; stage 5: mean share 0.559; stage 7: mean share 0.497.

Favard length of the Cantor dust, stage by stage

Favard length of the Cantor dust, stage by stage. stage 0: 1.0000; stage 1: 0.8246; stage 2: 0.7288; stage 3: 0.6626; stage 4: 0.6117; stage 5: 0.5705; stage 6: 0.5363; stage 7: 0.5072; stage 8: 0.4818.

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

Analysis

A dust that almost every line misses

Keep the four corner squares of a square, then the four corners of each of those, and so on. What is left has a length, in the sense that measures length, and yet almost every straight line misses it entirely. Stage by stage the chance that a random line hits the dust falls — to 48% by the eighth stage — and how fast it falls to nothing is one of the few questions about a simple picture that is still open.

Analysis

A length counted by the lines that cross it

Throw straight lines at random across a curve and count how often they cross it. The average count, times π times the radius of the target, is the curve's length — for a wiggly closed curve, a spiral or a snowflake alike, with no following of the curve and no derivative anywhere. It is Crofton's formula of 1868, and it measures length the way a map-reader's ruled transparency does.

Analysis

A rectangle cut by a curve

Integration by parts is taught as the product rule run backwards. It is also a picture: an increasing curve cuts a rectangle into two pieces, one of them the area under the curve and the other the area beside it, and the formula says only that the pieces fill the rectangle. Run repeatedly, the same cut produces the factorials and Wallis's product for π.

Analysis

A rectangle grown on two sides

A product of two changing quantities is the area of a rectangle whose sides both move. The extra area is two strips and a corner, and the whole of the product rule is the observation that the corner is negligible and the strips are not.

Analysis

A series that waits on π

Add 1/(n³ sin² n) for n = 1, 2, 3, … and the terms are mostly tiny, except where n is almost a multiple of π and sin n is almost nought. Ten million terms add to 30.3145, four-fifths of it from the single term at n = 355. Whether the sum is finite depends on how closely fractions can approach π — on a number called its irrationality measure — and the best proof available says only that the measure is below 7.1, where the series needs it below 2.5.

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.

Analysis

An area measured by walking round it

A surveyor's instrument from 1854 measures the area of any shape on a map by having its pointer steered once round the boundary; a small wheel rolls and slides, and its reading, times the length of one arm, is the area. Nothing touches the inside. The reason is that area can be written as an integral over the boundary — Green's theorem — and the instrument is that integral built in brass. Walk a curve that crosses itself and the same integral counts some regions twice.

Analysis

An endless region with a finite area

A region that runs off to infinity can still have a finite area, and for the curves 1/xᵖ the exponent that makes the far end finite is exactly the one that makes the end at zero infinite. 1/x fails at both, no power succeeds at both, and a horn can hold less than π while needing infinite paint.

Analysis

An error with an unknown in it

Taylor's theorem does not say a partial sum is close to anything. It says the error is one more derivative evaluated somewhere nobody can name, and everything the theorem is worth comes from what happens when that somewhere is replaced by the worst case.

Number

An integral that cannot be a whole number

Niven's proof that π is not a fraction is the same squeeze as the one for e, with a much harder multiplier. A polynomial supplies the whole number; its own smallness supplies the contradiction; and both halves are computable.

Analysis

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.

Analysis

Covering a set from outside

To say how long a set is, cover it with intervals and add their lengths, then take the smallest total any covering achieves. That definition is short, obviously right for an interval, and gives the rationals a length of nothing.

Analysis

No integrand sits on the border

The area under 1/x out to infinity is infinite and the area under 1/x² is finite, so it is natural to look for the dividing line. There is none. Divide any divergent integrand by its own running integral and it still diverges, more slowly; divide any convergent one by the square root of its tail and it still converges, more slowly. Paul du Bois-Reymond proved in 1873 that no single integrand can separate the two families — and the slow ones are slow beyond imagining.

Analysis

No interval in it, and length to spare

The middle-thirds set has no length because the removed pieces add to one. Remove shrinking middles instead and they add to a half — leaving a set that still contains no interval anywhere, and still has half the length it started with.

Analysis

Only one curve through the factorials bends the right way

Infinitely many smooth curves pass through 1, 1, 2, 6, 24, 120, and some of them even obey the factorial's own rule, f(x + 1) = (x + 1)·f(x), at every x. Ask that the logarithm of the curve bend upwards everywhere and exactly one survives — Euler's integral. A wiggle of any size breaks the condition somewhere, the smaller the wiggle the further out, and the proof that nothing else survives is a squeeze that computes √π along the way.

Analysis

The area that names the number

The number e can be defined without mentioning slopes at all. Slide right along the curve 1/x until the area underneath reaches exactly one, and stop. That is where e is, and the reason logarithms turn multiplication into addition is visible in the same picture.

Analysis

The length belongs to the journey

Three maps from an interval with exactly the same image, and three different lengths. The picture of a curve is the set of points it passes through, and that set does not determine how far anything travelled along it.

Analysis

The length round an ellipse

An ellipse has an area anyone can write down, πab, and a perimeter nobody can: it is an integral with no expression in the functions of school mathematics. Kepler guessed it, Euler guessed better, and in 1914 Ramanujan wrote down a formula whose error falls like the fifth power of how far the ellipse is from a circle — off by four hundredths of a per cent even for a segment. Gauss had already found the way to compute it exactly, doubling the correct digits at every step.

Analysis

The length the derivative never sees

The Cantor function climbs from 0 to 1 with a slope of zero almost everywhere, so the formula ∫√(1 + f′²) dx says its graph has length 1 — the length of a flat line. The inscribed polygons say 2. Mix it half and half with the diagonal and the length becomes exactly the golden ratio, while the formula still reports only the part the slope can see.

Analysis

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.

Analysis

The staircase that is not the diagonal

A staircase can be made to follow a quarter circle as closely as anyone likes. Its length is 2 at every stage and the arc's length is 1.5708, and no amount of refinement closes the gap — which is a fact about length rather than about staircases.

Analysis

Which curves have a length at all

A length is defined as a supremum over inscribed polygons, which behaves because every refinement is longer than the last. It is also sometimes infinite — and the condition separating the two cases is a sum of absolute differences that either settles or does not.

Analysis

Which functions can be added up

Riemann's integral works when the upper and lower sums close on each other. The exact condition for that, found once measure existed to state it in, is that the points where the function jumps have measure zero — which some nowhere dense sets fail.

The whole library · What the figures prove