MathLabs

Worked solution: Wantzel's algebraic impossibility proof via field extensions (1837)

Step 1 of 7: What angle trisection asks, and Wantzel's plan
In plain words

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 60∘60^\circ angle obeys that rule.

60∘=3×20∘60^\circ = 3\times 20^\circ
Detailed analysis

Trisecting an arbitrary angle θ\theta with straightedge and compass means constructing an angle of θ/3\theta/3 starting from θ\theta, 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 Q\mathbb{Q} 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 22 over Q\mathbb{Q}; (2) reduce trisecting 60∘60^\circ to solving a cubic equation for x=2cos⁡20∘x=2\cos 20^\circ; (3) show that cubic is irreducible over Q\mathbb{Q}, so its root has degree 33; (4) since 33 is not a power of 22, cos⁡20∘\cos 20^\circ is not constructible, so 60∘60^\circ 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 90∘90^\circ) can be trisected.

Terms in this step
Constructible (real) number
A real number obtainable from 00 and 11 using only straightedge-and-compass steps: intersecting lines and circles determined by previously constructed points, starting from a unit segment.
Knowledge used in this step