Concept

Constructible polygon — where it appears

A regular polygon a given tool can build exactly. The condition is arithmetic on one number: a compass needs the totient of the side count to be a power of two, and a fold needs it to have no prime factor above three — so the heptagon is the first place the two answers differ.

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
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
how many extension steps the shortest tower to each polygon takesa polygon of n sides needs the degree of two cosine of a turn over n, which is Euler's totient halved3 sides0degree 1 · square roots only, so a compass reaches it4 sides0degree 1 · square roots only, so a compass reaches it5 sides1degree 2 · square roots only, so a compass reaches it6 sides0degree 1 · square roots only, so a compass reaches it7 sides1degree 3 · 1 cube root8 sides1degree 2 · square roots only, so a compass reaches it9 sides1degree 3 · 1 cube root10 sides1degree 2 · square roots only, so a compass reaches it12 sides1degree 2 · square roots only, so a compass reaches it13 sides2degree 6 · 1 square root and 1 cube root14 sides1degree 3 · 1 cube root15 sides2degree 4 · square roots only, so a compass reaches it16 sides2degree 4 · square roots only, so a compass reaches it17 sides3degree 8 · square roots only, so a compass reaches it18 sides1degree 3 · 1 cube root19 sides2degree 9 · 2 cube roots20 sides2degree 4 · square roots only, so a compass reaches it21 sides2degree 6 · 1 square root and 1 cube root24 sides2degree 4 · square roots only, so a compass reaches it26 sides2degree 6 · 1 square root and 1 cube root27 sides2degree 9 · 2 cube roots28 sides2degree 6 · 1 square root and 1 cube root30 sides2degree 4 · square roots only, so a compass reaches it32 sides3degree 8 · square roots only, so a compass reaches it34 sides3degree 8 · square roots only, so a compass reaches it35 sides3degree 12 · 2 square roots and 1 cube root36 sides2degree 6 · 1 square root and 1 cube root37 sides3degree 18 · 1 square root and 2 cube roots38 sides2degree 9 · 2 cube roots39 sides3degree 12 · 2 square roots and 1 cube root40 sides3degree 8 · square roots only, so a compass reaches itthe pale bars are the polygons a compass reaches, and they are not the cheap ones — 4 of the one-step polygons need a cube root

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.

construction · Origami numbers

Named alongside it

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

TotientFermat primesField extensionPierpont primesConstructible numberOrigami numberReachable setRegular polygonTrade-off

All concepts