Which primes each tool reaches
pierpont-primes is one function. Everything below came out of it during this
build, at arguments taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and when the generator changes, this
page changes with it.
At its defaults
sub: "density", upTo: 400, marks: [10, 50, 100, 200, 400]
sub: "density", upTo: 1000, marks: [100, 400, 700, 1000]
upTo: 40
What it checked while it drew
Collected by running this generator with a listener on the assertions, not written here. The count is how many separate times this build put that claim to the test.
- the census runs to 40, which is far enough to contain the first prime a fold cannot reach ×5
- to 400 a fold reaches 155 regular polygons against a compass's 40 — 3.88× as many ×3
- the Fermat primes found below 400 are 3, 5, 17, 257, computed by dividing out rather than recited ×2
- the lead widens at every bound tried — 35 by 100, 115 by 400, 173 by 700, 223 by 1000 ×2
- 11 is prime and is not a Pierpont prime, so a regular 11-gon is beyond folding — computed rather than quoted ×1
- both counts are made by dividing n's odd part by the primes in each set, so a polygon is counted only if the arithmetic admits it ×1
- folding reaches every regular polygon the compass reaches, and the first it reaches that the compass does not is the 7-gon ×1
- the comparison is drawn over 3 toolsets, each of them named in the table ×1
- the compass's reach is on the chart, so the mark the other bars are read against is present ×1
- the Fermat primes found below 120 are 3, 5, 17, computed by dividing out rather than recited ×1
- the lead widens at every bound tried — 2 by 10, 17 by 50, 35 by 100, 67 by 200, 115 by 400 ×1
- the nonagon is reachable by a fold and not by a compass — nine is three squared, and a repeated factor of three needs a second cube root ×1
Where it is called
Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.
How many polygons a fold reaches
The heptagon is what the extra axiom buys and it is one polygon. What it actually buys is a density: to a thousand sides a compass reaches fifty-two regular polygons and a fold reaches two hundred and seventy-five, and the ratio between them is still widening. The compass has five usable primes in the whole of arithmetic and may use each once; a fold keeps acquiring new ones and may repeat the factor of three as often as it likes.
Reachable is not cheap
The closure is what makes folding a theory rather than a bag of tricks: constructions can be built out of constructions. What that also means is that constructions have lengths and the lengths compose, so every reachable number has a height as well as a degree — the number of extension steps the shortest tower to it must take. The two orderings disagree, and a ninth root is a shorter tower than an eighth.
Seven, and then twenty-two
The seven axioms are not seven useful folds somebody collected; they are the number of ways to spend a fold line's two degrees of freedom, and the count can be derived. Run the same derivation for two folds made at once and it gives twenty-two, for three fifty, for five a hundred and sixty-one — while the number of coincidences a pair of hands has to achieve in the same instant goes two, four, six, ten.
The biggest one that can also be folded
Which regular polygon uses a square sheet best, and which of them a fold can actually construct, are two questions with completely different pedigrees. Answered side by side over sixteen polygons, they turn out to agree — and the reason is that both are questions about the arithmetic of the same number.
The eleven-sided one nobody can fold
Folding reaches the heptagon, which a compass cannot. It does not reach the hendecagon, and the obstruction is a single prime factor: ten has a five in it, a fold solves cubics, and no arrangement of cubics produces a five.
The heptagon a compass cannot reach
Which regular polygons a tool can build is a condition on a single number. The compass needs it to be a power of two; a fold needs only that it has no factor above three — and seven is the first place the two answers differ.
Every generator · The axioms and construction field · The patterns a reader can fold