Operation set
Named by 18 essays across one field — each of them below, with the objects they name alongside it.
What two points can build
A compass and a straightedge are not a craft. They are two operations on a set of points, applied over and over, and writing them that way turns "can this be drawn?" into a question with an answer.
The cube that will not double
Doubling a cube needs an edge in the ratio of the cube root of two. That number satisfies an equation of degree three, three does not divide any power of two, and the oldest open problem in geometry closes in a line.
The angle that will not divide by three
Halving an angle costs one circle. Cutting it in three means solving a cubic, and for sixty degrees that cubic has no rational root — but plenty of angles do trisect, and which ones is a question with a countable answer.
Equal area is enough, and equal volume is not
Any two polygons of the same area can be cut into each other with finitely many straight cuts. The same sentence with area replaced by volume and polygon by polyhedron is false, and what blocks it is an angle.
The straightedge buys nothing
Every point a compass and a straightedge can construct together can be constructed by the compass alone. The straightedge draws lines nobody needs; the compass does the work, and the proof that it does is an inversion performed with arcs.
The planes a recurrence cannot leave
One multiplication and one addition, taken modulo a fixed number, produce a sequence that passes for random one value at a time. Taken two or three at a time it does not, and the reason is a whole-number relation that pins every point onto one of a small family of parallel lines.
The mark that changes what is reachable
Two thousand years of failure to trisect an angle with compass and straightedge was failure at a stated set of operations. Scratch two marks on the straightedge and Archimedes trisects any angle in four steps — because the new operation solves a cubic, and the old ones could only ever solve quadratics.
A dissection that never comes apart
The plane theorem lets the pieces be picked up and put down anywhere. Require instead that they stay joined at their corners and swing, and the theorem survives — which was open for a century and is a much stronger statement about the same cuts.
Slid, but never turned
The classical dissections all turn their pieces. Forbid the turn — allow the pieces to be slid and nothing else — and equal area stops being enough, for a reason that is a single number attached to each direction and that a cut cannot change.
Finitely many, and nobody says how many
The theorem promises a dissection exists and the proof produces one. Running the proof on a hexagon produces thirty-nine pieces, ingenuity produces five, and there is no method for proving that five cannot be four.
The obstruction that was the only one
Dehn showed in 1901 that a cube cannot be cut into a regular tetrahedron of the same volume, because a number built from edges and angles disagrees. For sixty-four years nobody knew whether that number was the whole story. Sydler proved in 1965 that it is: volume and Dehn's number together decide every case.
Equal area on a sphere, without a rectangle
On a sphere, two polygons of the same area can still be cut into each other, exactly as in the plane. Almost nothing in the plane proof survives the move: a sphere has no rectangles, no parallel strips and no similar triangles of different sizes. What carries the theorem instead is a quadrilateral with two right angles, built from a triangle's midline.
Two instruments with one reach
Allow every conic to be drawn at will, or allow an angle to be cut in three. The two permissions look nothing alike and reach exactly the same numbers — because what an operation buys is a degree, and both of these buy three.
A quintic a sliding mark reaches
The eleven-sided polygon needs a number of degree five, and five is not a product of twos and threes — so no conic and no angle trisector reaches it. A ruler with two scratches does, which places the marked ruler strictly above the conics and leaves its exact reach unknown.
The price of a construction
Three theorems have shown that a compass alone, a straightedge with one circle, and a compass stuck at one opening all reach exactly the points a full set of instruments reaches. None of them said what the journey costs. Émile Lemoine priced every movement of the hand in 1888, and by his count a compass that collapses when lifted — Euclid's — pays twenty-one operations, by Euclid's own method, for what a compass that holds its opening does in four.
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 centre a straightedge cannot find
Give a straightedge one circle and its centre, and it can do everything a compass can. Take the centre away and it cannot even find it again — because to a straightedge a circle has no centre. The maps that keep a circle and its straight lines are the motions of the hyperbolic plane, and in that plane the centre is a point like any other.
The lengths dividers cannot reach
A pair of dividers carries a length from one place to another and draws nothing. With a straightedge it finds midpoints, parallels and right angles, and it draws the regular 17-gon. It cannot draw a segment of length √(1 + √2) — and the reason is not on the page at all, but in the other root of the equation that number solves.
Named alongside it
The objects these essays reach for when they reach for this one.
Constructible numberConstructionDissectionInvariantAreaField extensionPolygonCongruenceImpossibilityStraightedgeTrisectionCircle