Constructible polygon — where it appears
Named by 3 essays across one field — each of them below, with the objects they name alongside it.
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.
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.
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.
Named alongside it
The objects these essays reach for when they reach for this one.
TotientFermat primesField extensionPierpont primesConstructible numberOrigami numberReachable setRegular polygonTrade-off