Transcendence
Named by 8 essays across 4 fields — each of them below, with the objects they name alongside it.
How close a fraction can get
Drop eight points into seven boxes and two of them share. That one line, applied to the multiples of an irrational number, proves that every irrational has infinitely many astonishingly good rational approximations — and no construction is needed anywhere.
A tower whose degrees multiply
Treat a field containing another as a vector space over it, and the size of an extension becomes a dimension — one that multiplies along a tower, so that three impossible constructions become arithmetic about which numbers divide which.
An integral that cannot be a whole number
Niven's proof that π is not a fraction is the same squeeze as the one for e, with a much harder multiplier. A polynomial supplies the whole number; its own smallness supplies the contradiction; and both halves are computable.
Approached too fast to be algebraic
An algebraic number of degree d cannot be approached by fractions faster than the denominator's dth power. So a number that is approached faster than that is the root of no polynomial at all — and one can be built by choosing where its decimal digits go.
Countable, and everywhere
The numbers a polynomial can catch arrive in finite batches, so they can be listed. They are also in every interval, however short. Being listable turns out to say nothing whatever about being sparse.
A curve that divides any angle
Let a radius turn at a steady rate while a horizontal line falls at a steady rate, both finishing together, and mark where they cross. The curve they trace turns heights into angles, so dividing a height — which a ruler and compass can always do — divides the angle in the same ratio. The same curve meets its base at 2/π of the side, a length from which a square with the area of a circle follows. It reaches what no marked ruler or conic can, and the ancient objection to it is exact.
The spiral that measures its own circle
Let a ray turn steadily while a point moves steadily out along it, and the point draws Archimedes' spiral. Distance from the centre is then proportional to angle, so dividing a length divides an angle in any ratio. The spiral's second power is stranger: the tangent at the end of the first turn cuts off, on a line through the centre, a straight length exactly equal to the circumference of the circle through that end — a curved length laid out straight, and with it the circle squared. The catch is the tangent itself.
A third reached only in the limit
No compass-and-straightedge construction trisects every angle. But a quarter, plus a quarter of a quarter, plus a quarter of that, and so on, adds up to a third — and each of those pieces is two bisections away. So an angle can be trisected by bisecting forever, every stage exact and the shortfall shrinking to a quarter each time. The construction never ends, and that is precisely what Wantzel's proof forbids: a construction is a finite thing, and a third of a general angle is only reached in the limit.
Named alongside it
The objects these essays reach for when they reach for this one.
Constructible numberPiAlgebraic numberAngle trisectionContinued fractionsExistence proofLiouville numberRational approximationArchimedean spiralBaire categoryBasisBinary expansion