Concept

Fermat primes — where it appears

A prime one more than a power of two. A regular polygon is constructible with compass and straightedge exactly when its side count is built from them, and folding replaces them with a larger family.

Named by 3 essays across one field — each of them below, with the objects they name alongside it.

compassfolding3242546276the first gap8496104111012413121461581681716186191820821122210232224825202612n across the top, φ(n) underneathcompass: φ(n) a power of two — Gauss, and Wantzel's proof that nothing else worksfolding: φ(n) with no factor above three, because one fold solves a cubic

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.

construction · Constructible polygons
pp − 1, factoredcompassfoldingthe regular p-gon32both tools52 · 2both tools72 · 3folding only112 · 5neither132 · 2 · 3folding only172 · 2 · 2 · 2both tools192 · 3 · 3folding only232 · 11neither292 · 2 · 7neither312 · 3 · 5neither372 · 2 · 3 · 3folding only11 is the first prime out of a fold's reach — 11 − 1 = 2 · 5the factor of five is the obstruction, and no arrangement of folds produces onea compass needs a power of two; a fold needs nothing above three

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.

construction · Constructible polygons
050100150200250300350400020406080100120140160sides, up to npolygons reachablea fold — 155a compass — 40both sets computed by division to 400 · 4 Fermat primes and 13 Pierpont primes below it

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.

construction · Constructible polygons

Named alongside it

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

Pierpont primesConstructible numberConstructible polygonField extensionTotientCompletenessReachable setThe axioms

All concepts