Origami number — where it appears
Named by 4 essays across one field — each of them below, with the objects they name alongside it.
The numbers a fold reaches
Folding solves cubics, which is one fact about one fold. The reason the subject has a theory rather than a bag of tricks is a second fact about all of them: the lengths a folder can mark are closed under addition, subtraction, multiplication, division, square roots and cube roots. Constructions can therefore be built out of constructions — and no tower of them ever arrives at a fifth root.
Twos and threes run out
A fold reaches a number exactly when the degree of its equation is a product of twos and threes, which sounds like a large set because it is infinite and because it is so much larger than the compass's. Counted, the reachable degrees are the lattice points under a straight line, so there are about half a log-squared of them: twenty of the first hundred, a hundred and forty-two of the first million. The share falls from a fifth to one part in seven thousand, and the factor by which folding beats the compass rises at every decade without ever settling.
Gauss's polygon is the expensive one
Which regular polygons a fold reaches is a condition on the factorisation of Euler's totient, and every polygon that passes it also has a height — the number of extension steps the shortest tower to it takes. Read that column instead of the verdict and the field inverts: the heptagon, which no compass reaches, costs one step; the seventeen-sided polygon that made Gauss famous costs three, the most on the list; and the polygons a compass finds easy are the ones a folder pays most for.
The axiom that reaches furthest wastes most
The field of origami numbers is defined on an unbounded plane and a folder has a square. Counted axiom set by axiom set on the same sheet, the share of crossings that land off the paper rises with every axiom added: nothing at all from the first two, fifty-seven per cent from the four linear ones at a single round, and seventy-six per cent from the conic axiom at a single round — more, in one round, than the linear four lose in two. The instrument that reaches furthest into the field delivers the smallest share of what it specifies.
Named alongside it
The objects these essays reach for when they reach for this one.
Field extensionReachable setCube rootThe axiomsClosureConstructible numberConstructible polygonCountingCubicIdealisationQuadraticReference point