Quadratic irrational
Named by 7 essays across 3 fields — each of them below, with the objects they name alongside it.
One solution that makes all the others
The equation x² − 2y² = 1 has infinitely many whole-number solutions, and every one of them is a power of the smallest. The multiplication that produces them is what multiplying two numbers of the form a + b√2 comes to when the √2 terms are collected — so an equation about a hyperbola turns out to carry a group.
Why the expansion has to repeat
The continued fraction of √61 runs 7; 1, 4, 3, 1, 2, 2, 1, 3, 4, 1, 14 and then starts again. It must: each step's state is a pair of whole numbers trapped in a small band, and only 14 pairs fit. The expansion of √61 visits 11 of them in a cycle, the other 3 form a cycle of their own, and the period reads the same backwards before its last term, which is twice the first.
Sixty needs two digits and sixty-one needs ten
The smallest solution of x² − 60y² = 1 is x = 31. For x² − 61y² = 1 it is x = 1,766,319,049. The jump is not an accident of 61: the solution is exactly the product of one period's complete quotients, so its size is set by how long the continued fraction takes to come home — and for the cattle problem Archimedes is said to have posed, that product has 103,273 digits.
A cube root that looks like chance
The continued fraction of √61 repeats after eleven terms, and every square root's must. The cube root of 2 obeys no such law. Computed exactly, by a method of Lagrange's that never leaves the whole numbers, its terms run 1, 3, 1, 5, 1, 1, 4 … and throw up a 534 at the thirty-fifth place and a 7,451 at the 571st — and in every statistic anyone has measured, they look like the terms of a number picked at random.
The numbers that come after the golden ratio
The golden ratio is the number worst approximated by fractions: no constant larger than √5 works in Hurwitz's theorem. Set it aside and √2 is worst, with √8. Set that aside and the next is a number whose continued fraction repeats 2, 2, 1, 1, with √221/5. Markov proved in 1879 that the list continues for ever below 3, one entry for each solution of x² + y² + z² = 3xyz.
Real fields that factorise uniquely
Among the fields Q(√−d) only nine have unique factorisation, and Gauss guessed as much. Among the real fields Q(√p) he guessed the opposite — infinitely many — and the guess is still unproved. Counting cycles of reduced quadratic forms for the 16,900 primes p ≡ 1 mod 4 below 400,000 finds 79 per cent with class number one, drifting slowly down towards the 75.45 per cent that Cohen and Lenstra's heuristic predicts — and finds the reason the real fields behave so differently: their units are enormous.
The rectangles a square can be cut into
Cut a square into rectangles that all have the same shape — the same ratio of long side to short, in any sizes, lying either way. Two to one is easy. The golden ratio is impossible, however many pieces are used and however small. The ratio φ squared works with six. What decides it is not the ratio but its partner: the number obtained by changing the sign of the square root, which must be positive. Changing that sign is a map that keeps every sum and product and scrambles every size, and areas that must add up to one cannot all turn negative.
Named alongside it
The objects these essays reach for when they reach for this one.
Continued fractionsPell equationFundamental solutionConjectureGolden ratioPeriodicityQuadratic formAlgebraic numberAlgorithmBinary treesConjugateConvergent