The claims, measured

The claim that survives

Of the three famous assertions about this subject, one is out by a factor of two, one is true of a branch rather than of plants, and one is right — in a sharper form than the version usually told, and about arithmetic rather than about packing.

This site spends most of its length taking claims apart, which risks leaving an impression that the subject is a pile of errors. It is not. One of the three famous assertions about it is correct, and it is correct in a form sharper and more interesting than the version usually repeated.

The version of the claim that does survive measurementThe golden angle scores 0.4377, against 0.3306 for the best of 1500 other angles sampled. The dashed line is Hurwitz's 1/√5, which no number can exceed.00.2000.400100120140160divergence angle (°)resistance to rational approximation (higher is more irrational)1/√5 — the bound137.508° — 0.4381500 angles on a 0.05° grid, plus the golden angle exactlythis claim is sharp
Fig. 1 Resistance to rational approximation, across fifteen hundred sampled angles plus the golden angle evaluated exactly. The dashed line is Hurwitz’s bound, which no number can exceed.

The quantity

How well a number x is approximated by fractions is measured by how small q·|qx − p| can be made, taking the best p for each denominator q. A number with good approximations gets that quantity very small; a number that resists them keeps it large.

Hurwitz proved in 1891 that for every irrational number the quantity can be pushed below 1/√5 = 0.4472, and that the golden ratio is the number for which it cannot be pushed any lower. It is the extreme case, and the bound is attained by it and by nothing else that is not equivalent to it.

Measured here, the golden angle scores 0.4377 — the sampling floor approaching the theoretical value — against 0.3306 for the best of fifteen hundred other angles across a seventy-five degree window.

That is not a narrow win. It is a different regime.

Why the sweep cannot find it

A detail worth noticing, because it is the same difficulty the subject has in miniature.

The sweep steps in twentieths of a degree and therefore consists entirely of rational angles. Every one of them, being rational, has a denominator at which the approximation is exact and the score collapses — so the sweep can never land on the answer, and the best it reports is whichever grid point happens to be furthest from a low-denominator fraction.

The golden angle had to be evaluated exactly and inserted. Anything else would have been measuring the grid.

That is a small methodological point with a large moral: the property being measured is invisible to any finite sampling of the parameter, which is exactly why the packing measurements at fixed head size could not find it either.

Why this is the right form of the claim

Three reasons.

It is exact. Hurwitz’s theorem is a theorem. There is no head size at which it stops applying, no criterion under which it gives a different answer, and no dependence on how the measurement is made.

It explains the phyllotaxis. The parastichy numbers are the denominators of the good approximations, so an angle with no good approximations at any denominator never develops the rows that a good approximation produces. That is what keeps the gaps bounded, and it is the mechanism the packing story gestures at without stating.

It explains the extremeness. Every irrational angle eventually fills the disc; the golden angle is the one that never has a bad phase on the way. That is a statement about all scales at once, which is why no measurement at one scale can show it.

What it does not claim

It does not claim a plant computes it, or benefits from the last decimal place, or would be measurably worse at 137.3°.

The biological version is much weaker and is enough: a meristem that places each primordium away from its neighbours is pushed away from angles whose multiples pile up, and the golden angle is where that pressure has nowhere left to push. The theorem says why the attractor is where it is. It does not say that a plant needs to be there.

Confusing those two is how “the most irrational number” acquired its air of mysticism. The arithmetic is remarkable; the plant is just avoiding its own neighbours.

The three claims, together

The nautilus is a golden spiral. Out by a factor of 2.14, and the one free choice in the measurement cannot account for it.

Sunflower spirals are always Fibonacci. True of a branch, not of plants — the Lucas branch gives 47 and 76, and the same model reaches it.

137.5° is optimal. Right, once the criterion is named. Not as packing at any particular size, where three criteria give three answers, but as resistance to rational approximation, where it is the extreme case and there is a theorem.

One in three is a better record than this subject’s reputation suggests, and the one that survives is the one worth telling.

How nearly each angle is a simple fraction of a turnA dip means a rational approximation and a lattice with visible rows. The golden angle's floor is 0.008; the rational angle reaches 0e+0.00.2000.400204060denominator qhow nearly q × angle is a whole turn (0 = exactly)golden 137.508°137.3°135° = 3/8distance to the nearest whole turnno dips means no rows
Fig. 2 How nearly each candidate angle is a simple fraction of a turn. A dip means a good rational approximation, and a good rational approximation means visible rows.
Continued fractions: why one number resists approximationA large partial quotient means a very good rational approximation just ahead of it. The golden ratio's are all 1, the smallest they can be, all the way down.golden ratio[1; 1, 1, 1, 1, 1, 1, 1, 1, …]best approximations 2/1 3/2 5/3√2[1; 2, 2, 2, 2, 2, 2, 2, 2, …]best approximations 3/2 7/5 17/12π[3; 7, 15, 1, 292, 1, 1, 1, 2, …]best approximations 22/7 333/106 355/113partial quotientsall ones is the extreme case
Fig. 3 The arithmetic underneath the sequences. A large partial quotient means a very good rational approximation just ahead of it.
How the largest gap behaves as the head fillsThe rational angle's gap grows by a factor of 3.8 over this range; the golden angle's stays within 1.30. This is the claim about 137.5° that survives measurement.02.5057.50105001e+32e+32e+3number of primordialargest empty gap, in units of the mean spacing137.508° (golden)137.3°135° = 3/8 of a turngaps measured from the triangulationan asymptotic claim, not a contest
Fig. 4 How the largest empty gap behaves as the pattern grows. A rational angle’s grows without bound; an irrational one’s does not.
One packing criterion across the angles, with the others' winners markedThe three criteria pick 137.5°, 138.0° and 135.0°. The golden angle is near the top of all three and the exact winner of none at this size.00.2500.5000.7501120130140150divergence angle (°)closest pair, as a fraction of the mean spacing (higher is better)137.508°400 points per anglethree criteria, three winners
Fig. 5 Packing quality against the divergence angle. Several reasonable criteria give several different winners.
Growth per turn: what is claimed and what is measuredThe measured range is 2.9–3.4; the golden figure is 6.854. There is no overlap and the gap is more than twice the width of the range.measured nautilus, lowmeasured nautilus, typicalmeasured nautilus, highgolden spiral, φ⁴shaded: the measured rangethe claim sits outside it
Fig. 6 The claim and the measurements on one axis, with the measured range shaded. There is no overlap.
Raup's morphospace, and the line where the whorls come apartThe curve is W·D = 1. Below it the whorls are in contact, above it they are free, and both regions hold real animals — what the geometry cannot say is which parts are occupied.00.2500.5000.75023456W — whorl expansion per turnD — distance of the opening from the axisdarker: whorls in contactthe curve is W·D = 1
Fig. 7 The same discipline in another corner of the subject. The curve is a boundary the geometry computes exactly; which regions of it real animals occupy is a census, and the figure draws the one and not the other.