Concept

Golden ratio

The proportion in which the whole is to the larger part as the larger part is to the smaller, which makes it one more than its own reciprocal. Its continued fraction is all ones, which makes it the number rational fractions approximate worst.

Named by 31 essays across 8 fields — each of them below, with the objects they name alongside it.

The whirling squares. Squares with Fibonacci sides 1, 1, 2, 3, 5, 8, 13, each attached to the long side of what came before. They fill a 13 by 21 rectangle exactly.

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.

geometry · Golden ratio
φ as a continued fraction. The nested fraction, one quotient per step, descending to the right.

A fraction that never closes

Euclid's algorithm throws away everything except the number of squares it peeled at each step. Those counts are a second name for the number it started from — one that terminates exactly when the ratio is a ratio.

number · Euclidean algorithm
8 multiples of φ in 7 boxes. The fractional parts of the first multiples of a number, dropped into equal boxes along the unit interval.

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.

number · Pigeonhole
Rotating by φ − 1 of a turn, 21 times. Points on a circle produced by repeatedly turning through the same angle.

Three gaps and no more

Turn a circle by the same irrational angle over and over. The points never repeat and never settle, and yet at every single stage the gaps they leave take at most three different lengths — never four, at any number of steps, for any angle.

dynamics · Golden ratio
Two hundred and forty roots, built and counted. An eight by eight grid whose upper cells stand for the pairs of coordinates a root can use, beside bars counting how many roots stand at each angle from a given root: 1, 56, 126, 56 and 1.

Two hundred and forty directions

The quaternions have twenty-four units and they are the vertices of the most symmetric object in four dimensions. Eight dimensions has two hundred and forty of them, and the quaternions turn out to be how they are built — twice over, with a hundred and ninety-two left to explain.

algebra · Quaternions
A map drawn through the cycle 0 → 1/3 → 1, and the graph its pieces make. The graph of a map made of two straight pieces through a cycle of three points, with the cycle drawn as a staircase, beside a two-node graph showing which piece may follow which and the matrix of that graph.

A matrix that counts the returns

Draw a map straight through the cycle 0 → 1/3 → 1 and its two pieces carry each other in a fixed pattern: the left piece only across the right, the right across both. The orbits' words are then walks on a two-node graph, and the number of points that come back after n steps is the trace of that graph's matrix to the nth power — 1, 3, 4, 7, 11, 18 — each one checked by solving for the points exactly.

dynamics · Symbolic dynamics
The logistic map applied 6 times at 3.5, 3.83, 4, and its folds. Side-by-side graphs of the logistic map composed with itself, one per parameter, each labelled with how many monotone pieces it has.

The folds that measure chaos

Apply the logistic map six times and its graph goes up and down 38 times at r = 3.5 and 64 times at r = 4. How fast that number of folds multiplies with each further step is the map's topological entropy: zero through the whole cascade of period doublings, log of the golden ratio in the window of three, log 2 at the top — and it never decreases as r rises.

dynamics · Symbolic dynamics
The integers of ℚ(√5), with ℤ[√5] inside them. Points a + bφ plotted against their conjugates for small whole a and b, with the index-two sublattice ℤ[√5] filled and the basic cells of both lattices shaded, of areas √5 and 2√5.

The integers a field contains

Inside the field of numbers a + b√5, the obvious integers are those with whole a and b. They are not all of them: the golden ratio has a one-half in it and satisfies x² = x + 1, a monic equation with whole coefficients, exactly as an integer should. The right integers form a lattice twice as dense as the obvious one — and a whole-number matrix proves they are closed under addition.

algebra · Field extensions
Euclid's game on 34 and 21. A 34 by 21 rectangle tiled by the squares of Euclid's algorithm, each run of equal squares shaded by the player who faces it, with the deciding run outlined.

The player who meets the first long run

Turn Euclid's algorithm into a game: two players take turns cutting squares off the rectangle, any number from the current run, and whoever cuts the last one wins. The whole game is decided before it starts — by whether the ratio of the sides is more or less than the golden ratio, which is the same thing as how many runs of length one come first.

geometry · Euclidean algorithm
The Cantor function has length 2. The graph of a singular or partly singular increasing function on the unit interval with an inscribed polygon, beside a table of inscribed lengths by stage and the value the derivative formula gives.

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 · Arc length
A straight line across a grid, and the word of walls it crosses. A line of slope 0.6180 crossing a unit grid, with each crossing marked V or H, beside the same path folded into a square as a billiard trajectory; the word begins VHVHVVHVHVVHVVHVHVVH.

The word a straight line spells

A ball rolling across a square table, forever, hits walls in some order: V for a side wall, H for the end wall. Unfold the table and the ball becomes a straight line across a grid, and the order of walls becomes a word — VHVHVVHVHVVHV… for the golden slope. That word has exactly n + 1 different blocks of every length n, the fewest any word that never repeats can have; every stretch of it holds its fair share of H's to within one; and its blocks occur with at most three different frequencies.

dynamics · Billiards
A pentagon, its pentagram, and the pentagon inside. A regular pentagon with its diagonals drawn as a pentagram, enclosing a smaller pentagon, repeated 3 times inward; every pentagon has diagonal-to-side ratio φ.

The diagonal no unit measures

Draw the five diagonals of a regular pentagon and they make a star with a smaller pentagon at its centre. Subtract the side from the diagonal and what is left is the smaller pentagon's diagonal; subtract that from the side and what is left is its side. The pentagon has handed back a smaller copy of itself, and it will do so for ever — which means no unit, however small, measures both the side and the diagonal an exact whole number of times.

geometry · Golden ratio
A patch of Penrose's rhombs. A disc of Penrose rhombus tiling after 5 subdivisions, thick and thin rhombs shaded differently: 550 thick and 340 thin half-rhombs.

Tiles that never repeat

Two rhombs with angles taken from the pentagon, cut each into halves, and cut each half into smaller copies of the two halves by a fixed rule. Repeat, and the pieces fill the plane with no gaps and no overlaps, in a pattern with five-fold stars everywhere and no period anywhere. The reason it cannot repeat is a single number: thick tiles outnumber thin ones by φ, and a repeating pattern would make that ratio a fraction.

geometry · Golden ratio
Two ways of counting that agree at every number. For n up to 40, the counts of partitions with gaps of at least two against partitions into parts congruent to 1 or 4 mod 5, on a logarithmic scale, equal at every n, with the second identity's counts beside them.

Two counts that agree for no visible reason

Write 10 as a sum of whole numbers that differ from each other by at least two, and there are six ways. Write 10 as a sum of numbers that each leave 1 or 4 on division by 5, and there are six ways. The same happens for 20 (thirty-one each), for 40 (three hundred and seventy-four each), for every number anyone has checked and every number there is. The two lists look nothing alike, and no one has found a simple way to turn one into the other.

number · Partitions
Sign patterns, and the far fewer points they land on. A logarithmic plot of the number of sign patterns, two to the n, against the number of distinct values the golden geometric sum takes, which is a Fibonacci number less one and falls further behind at every step.

Two sign patterns that land together

At λ = 1/φ the sign patterns + − − and − + + land in exactly the same place, because λ² + λ = 1. That one coincidence, repeated wherever it fits, puts 2ⁿ patterns onto a Fibonacci number of points, leaves the random sum's transform ringing at the same height forever, and makes a distribution that fills a whole interval live on a set of no length.

analysis · Harmonic series
The standard map as its kick grows. Three square phase portraits of the standard map at increasing strengths, dotted with orbits: curves spanning the square at the smallest, fewer at the critical value, and a scattered sea with islands at the largest.

The last circle to break

Kick a spinning rotor once a turn and most of its motions stay on curves that wind round forever, walls no orbit can cross. As the kick grows the walls break one by one, and the last to go is the one whose winding is the golden ratio — at a kick of 0.9716, found by watching a sequence of periodic orbits approximate it and asking whether they are stable.

dynamics · Mode locking
Writing 0.3 in base φ. The graph of x ↦ βx mod 1 for the golden ratio φ, the diagonal, and the cobweb staircase of the orbit of 0.3, beside the 8 digits it writes.

Counting in a base that is not a whole number

Multiply by β and keep the fractional part, over and over, and the whole parts you throw away are the digits of the starting number in base β — even when β is the golden ratio. Which digit strings can ever appear is decided by one string alone: the way the number 1 is written in that base. In base φ it is .11, so 11 is the only thing forbidden; in base 1.8 it never ends, and no finite list of rules describes what is allowed.

dynamics · Symbolic dynamics
Where x ↦ βx mod 1 spends its time, the golden ratio φ. A histogram of 2000000 orbit points of the β-map for the golden ratio φ in 50 bins, with Parry's staircase density drawn over it; they agree, and the density steps down at the orbit of 1.

Where a base-β orbit spends its time

Follow x ↦ βx mod 1 for a million steps and count how often the orbit visits each part of the interval. For the doubling map the answer is evenly; for the golden ratio it is a staircase with one step, spending 1.17 times the average near 0 and 0.72 times it near 1. The step sits exactly where the orbit of the number 1 lands, and in a base whose 1 never has a finite expansion the staircase has infinitely many steps.

dynamics · Symbolic dynamics
Five random Fibonacci sequences growing at one rate. Five jagged lines of log|tₖ| rising with k to a thousand, around a straight line of slope log 1.132, beneath a steeper dashed line of slope log 1.618.

A growth rate no step contains

Start with 1, 1 and at every step either add the last two numbers or subtract them, choosing by a coin. The sequence wanders, shrinks, even returns near zero — and grows, almost surely, like 1.13198824 to the power of the step. That number is a Lyapunov exponent of a product of random matrices, and it cannot be found by averaging anything about a single step: the two steps do not commute, and the rate depends on which way the vector is pointing when each one is applied.

dynamics · Sensitive dependence
Base-φ digits of two fractions and two irrational numbers. Four rows of 72 base-φ digits each, for 1/3, 2/7, √2 − 1 and 1/π; the two fractions repeat with periods 8 and 16, the two irrational numbers show no period.

Fractions repeat and roots look random

Almost every number between 0 and 1 has base-φ digits with the frequencies Parry's measure predicts. Which particular numbers do? Every fraction, provably, does not: its expansion repeats from the first digit, with a period equal to the period of the Fibonacci numbers modulo its denominator. And √2 − 1 and 1/π, computed exactly to twelve thousand digits, match every predicted frequency to within sampling error — which proves nothing about them at all.

dynamics · Symbolic dynamics
The most nearly equal dissections of a square into 3, 5 and 7 triangles found. 3 triangles, areas 0.25000, 0.50000, 0.25000, spread 2.5000e-1; 5 triangles, areas 0.19098, 0.21353, 0.19098, 0.19098, 0.21353, spread 2.2543e-2; 7 triangles, areas 0.14151, 0.14458, 0.14151, 0.14458, 0.14151, 0.14174, 0.14458, spread 3.0711e-3.

How nearly equal an odd number of triangles can be

A square cannot be cut into an odd number of triangles of equal area. It can be cut into five triangles whose areas differ by about two hundredths, seven that differ by three thousandths, nine by a ten-thousandth and a half — the spread falling by a factor of seven or more with every two triangles added, closing on equality and never reaching it. A search for the closest finds that the best five it can make have the golden ratio in their areas.

computation · Scissors congruence
The tree of solutions of x² + y² + z² = 3xyz. Markov triples from (1, 2, 5) to depth 4; 231 Markov numbers below 10^15; first 1, 2, 5, 13, 29, 34, 89, 169, 194, 233, 433, 610, 985, 1325.

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.

geometry · Golden ratio
Scrambled in three steps, restored in thirty. Cat map on 61×61: period 30; frames at steps 0, 1, 2, 3, 7, 22, 30; lit pixels 693.

A chaotic map that always comes back

Arnold's cat map stretches a square by the golden ratio squared and wraps it round, and any two nearby points fly apart: a difference of a million-millionth fills the square in twenty-seven steps. Apply the same map to a picture made of pixels and it dissolves into noise within a few steps — and then, after exactly thirty steps on a 61 × 61 grid, every pixel is back where it started. Chaos and exact return are both true, and the Fibonacci numbers decide how long the return takes.

dynamics · Sensitive dependence
Twenty-two states and 265,454 formulas. two letters, depth two: 4 final states and 18 below; 265454 up-sets; lower states q below p q, p below p q, – below p q, – below q, – below p, q below p q/q, – below p q/q, p below p q/p, – below p q/p, – below p q/–, – below q/p, – below q/–, – below p/–, – below p q/q/p, – below p q/q/–, – below p q/p/–, – below q/p/–, – below p q/q/p/–.

The second letter breaks the pattern

In one letter the constructive logic has infinitely many formulas, but they climb in a column two wide, four new ones for every step a state of knowledge can take. Add a second letter and the pattern is gone: sixteen formulas at the last step, 265,454 one step back, and more than two to the power 265,428 one step further. Every one of those is a genuine formula, and the reason the two-letter lattice has never been drawn is that each layer of the model is about as large as the number of formulas the layer above can tell apart.

logic · Non classical logic
A square cut into rectangles of ratio φ squared. 1/r@(0.0000,0.0000) 0.1273×0.3333; r@(0.1273,0.0000) 0.8727×0.3333; 1/r@(0.0000,0.3333) 0.1273×0.3333; r@(0.1273,0.3333) 0.8727×0.3333; 1/r@(0.0000,0.6667) 0.1273×0.3333; r@(0.1273,0.6667) 0.8727×0.3333

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.

computation · Scissors congruence
A flow that climbs for ever and falls short. 0:p0 +1.000000 → 1.000000; 1:p1 +0.618034 → 1.618034; 2:p2 +0.618034 → 2.236068; 3:p1 +0.381966 → 2.618034; 4:p3 +0.381966 → 3.000000; 5:p1 +0.236068 → 3.236068; 6:p2 +0.236068 → 3.472136; 7:p1 +0.145898 → 3.618034; 8:p3 +0.145898 → 3.763932; maximum 5.

A search for room that never ends

The textbook way to find the most that a network can carry is to find any route that still has room, push as much along it as it will take, and repeat until no route has room left. With whole-number capacities that must stop. Give one road a capacity of 0.618…, the golden ratio's reciprocal, and choose the routes badly, and it never stops: every push is positive, the flow converges, and it converges to 4.236 when the network can carry 5. The same choice made carelessly in floating point does stop — because of rounding, at the wrong answer, convinced it has finished.

discrete · Network flow
The golden parameters close in at two rates. K=1: limit 0.606661056818, deltas -3.37086,-2.65794,-2.90466,-2.80316,-2.84608,-2.82782,-2.83621,-2.83234,-2.83423,-2.83330,-2.83377,-2.83353,-2.83365,-2.83359,-2.83362,-2.83360; K=0.5: deltas -3.10336,-2.52153,-2.66376,-2.60094,-2.62398,-2.61555,-2.61898,-2.61767,-2.61817,-2.61798,-2.61805,-2.61803,-2.61804,-2.61803,-2.61803,-2.61804.

Two constants at the flat point

Turn up the circle map until its graph goes flat at one point, then hunt for the setting at which an orbit turns by the golden ratio. The settings that lock to 1/2, 2/3, 3/5, 5/8 close in on it, each gap 2.8336 times smaller than the last, and the orbit's returns to its start close in by 1.2886 at every step. Below the flat line the same two numbers are the golden ratio's own. Change the map to a different one with the same kind of flat point and both numbers come back unchanged: they belong to flatness, not to the sine.

dynamics · Mode locking
Rounding to the nearest saves three steps in ten. N=10^2: 3.981 / 3.155; N=10^3: 5.893 / 4.483; N=10^4: 7.826 / 5.832; N=10^5: 9.772 / 7.182; N=10^6: 11.702 / 8.520; N=10^7: 13.654 / 9.874; N=10^8: 15.587 / 11.214

Rounding to the nearest remainder

Euclid's algorithm divides and keeps the remainder, and the remainder it keeps is the one left after rounding the quotient down. Rounding to the nearest instead — allowing a remainder to be taken from above — never takes more steps, and Kronecker proved that no mixture of rounding up and down does better. On average it saves three steps in ten, the ratio of the logarithms of the golden ratio and of two. And its slowest inputs are not Fibonacci numbers but Pell numbers, because the worst case of each algorithm is the number its own kind of continued fraction expands most slowly: the golden ratio for one, the square root of two for the other.

geometry · Euclidean algorithm
Where the secant method goes, from every starting pair. x^3−x, 180×180 on [−2,2]²: to −1 10164, to 0 11954, to 1 10164, none 118.

Newton's method without a derivative

Replace Newton's tangent by the chord through the last two guesses and the method no longer needs a derivative — but it needs two starting values, so its basins live in a plane of pairs instead of on a line. The errors multiply instead of squaring, their logarithms add like Fibonacci numbers, and the digits gained grow by the golden ratio: 1, 3, 5, 9, 15, 25, 41, 67, 109.

dynamics · Newton basins
A bracket that shrinks by the golden ratio. 2: [0.00000, 1.00000]; 3: [0.00000, 0.61803]; 4: [0.23607, 0.61803]; 5: [0.23607, 0.47214]; 6: [0.32624, 0.47214]; 7: [0.32624, 0.41641]; 8: [0.36068, 0.41641]; 9: [0.36068, 0.39512]; peak 0.374750.

The search that reuses a point

To find the peak of a function that rises and then falls, evaluate it at two points and throw away the part beyond the lower one. Place the points so that the survivor can be used again, and there is exactly one way to do it: at the golden ratio. Each new evaluation then shrinks the bracket to 0.618 of its width, and with a fixed number of evaluations nothing does better than Fibonacci's numbers.

geometry · Golden ratio
Amounts arranged by remainder. Payable and unpayable amounts for coins 5 and 7, in columns modulo 5: largest unpayable 23, 12 unpayable amounts.

The largest amount two coins cannot pay

With coins of 5 and 7, the amounts 1, 2, 3, 4, 6, 8, 9, 11, 13, 16, 18 and 23 cannot be paid, and everything else can. Two lines of argument give the formula ab − a − b for the last gap, and half the rest of the board is gaps. For three coins no such formula exists, in a sense that can be proved. And the sets that coins can make have a count that climbs at the golden ratio, a conjecture settled from a table of 67, 118, 204.

number · Euclidean algorithm

Named alongside it

The objects these essays reach for when they reach for this one.

Continued fractionsFibonacci numbersFibonacciEuclidean algorithmExhaustive searchLatticeSelf-similaritySymbolic dynamicsTopological entropyLyapunov exponentPeriodic orbitRational approximation

All concepts