Worked solution: Wantzel's algebraic impossibility proof via field extensions (1837)
Ancient Greek geometers could bisect any angle with straightedge and compass — cut it exactly in half — using nothing but a few arcs. It is natural to ask whether the same tools can cut any angle into three equal parts.
In 1837 Pierre Laurent Wantzel found a way to test this without ever picking up a compass: translate the picture into algebra. He showed that every length a straightedge and compass can produce must obey a very restrictive rule about the arithmetic of that length, then checked whether trisecting a plain angle obeys that rule.
Trisecting an arbitrary angle with straightedge and compass means constructing an angle of starting from , using only the two classical tools. Wantzel's 1837 paper, published in Liouville's Journal de mathématiques pures et appliquées, settled this question alongside doubling the cube by reducing both to algebra: a real number is constructible exactly when it can be reached from by a finite chain of square-root extractions (Wantzel 1837, §I).
The plan carried out in the remaining steps is: (1) show every constructible length has degree a power of over ; (2) reduce trisecting to solving a cubic equation for ; (3) show that cubic is irreducible over , so its root has degree ; (4) since is not a power of , is not constructible, so cannot be trisected.
Because one counterexample suffices to kill a general method, this single angle already proves that no straightedge-and-compass procedure can trisect every angle, even though some special angles (like ) can be trisected.
- Constructible (real) number
- A real number obtainable from and using only straightedge-and-compass steps: intersecting lines and circles determined by previously constructed points, starting from a unit segment.