The collection

Every essay — page 3

Page 3 of 3, continuing through the fields in the same order.

Geometry Analysis Algebra Discrete Topology Probability Number Ladders Concepts Search

Number

The whole numbers, and how much structure they turn out to have.

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.

7 figures
0/71/72/73/74/75/76/7the fractional parts of φ, 2φ, 3φ, …5φ and 0φ landed in the same boxso 5φ is within 1/7 of the whole number 8 — an error of 0.0902which makes 8/5 accurate to 1.8e-2

How close a fraction can get

Drop eight points into seven boxes and two of them share. That one line, applied to the multiples of an irrational number, proves that every irrational has infinitely many astonishingly good rational approximations — and no construction is needed anywhere.

7 figures
first split 2 × 180first split 18 × 203602180229022245222315222335360182029210233225both end in 2 × 2 × 2 × 3 × 3 × 5the same primes, the same number of times, in a different order — and that is the theorem

One way to factor, and no other

Every number breaks into primes in exactly one way. That is so familiar it is hard to see as a claim at all — until it is put beside an arithmetic where it is false, and where six has two different factorisations that cannot be reconciled.

6 figures
124361251020153060× 2 →× 3 ↑2^2 × 3 × 5 — 3 × 2 × 2 = 12 divisors

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

6 figures
2^2 × (2^3 − 1) = 4 × 7 = 2812471428× 1× 7= 7= 49the whole rectangle adds to 7 × (1 + 7) = 56which is twice 28, so the divisors below 28 add to 28 exactly

Numbers that are their own parts

Six is one plus two plus three. Twenty-eight is one plus two plus four plus seven plus fourteen. Euclid explained where such numbers come from; Euler proved there are no others of that kind; and whether an odd one exists has been open for two thousand years.

6 figures
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.

6 figures
(−1, 0)3/4 → 7, 24, 252/3 → 5, 12, 131/2 → 3, 4, 52/5 → 21, 20, 291/3 → 8, 6, 101/4 → 15, 8, 17each line of rational slope meets the circle a second time at a rational pointclearing the denominators turns that point into a Pythagorean triple, and every triple arises this way

Every triple, on one circle

Draw a line of rational slope through a single point of a circle. Wherever it comes out is a rational point, and clearing the denominators turns it into a Pythagorean triple — so every triple there is comes from one line through one point.

6 figures
1 string1 string5 strings5 strings5 strings5 strings5 strings5 strings32 strings fall into 8 necklaces32 strings in all: 2 constant ones, and 6 rings of 5so 32 − 2 = 5 × 6, and p divides a^p − a with nothing left over

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

6 figures
0612391017134511281401234012mod 3 ↓mod 5 →every one of the 15 pairs is reached, exactly onceso a remainder mod 3 and a remainder mod 5 together name one number mod 15

Two dials at once

Watch one number on two clocks with different faces. If the faces share no factor, every pair of readings occurs exactly once — so two remainders name a number, and a hard calculation can be split into two easy ones.

6 figures
slope 7/117 points below the line, 8 above, and 7 + 8 = 5 × 3 = 15(7 | 11) = −1 from the count below; (11 | 7) = +1 from the count above

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

6 figures
755the overlap is 7² = 49; the two corners are 2 × 5² = 50they differ by 1, which is exactly 17² − 2 × 12² = 1and 7, 5 is a smaller pair with the same discrepancy, the other way round

The square that cannot shrink

The usual proof that the square root of two is irrational is about even and odd numbers. There is a proof about squares instead, in which a supposed solution is folded into a smaller one — and the folding is a drawing.

6 figures
5 + 4 + 2 + 14 + 3 + 2 + 2 + 1read downboth are partitions of 12: the same dots, counted along the rows and then down the columnsand turning the diagram over a second time gives back what it started as

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

7 figures