Doubling the cube
Solved, 1837GeometryAlgebra
Statement
Given the edge of a cube of side length , construct in finitely many steps using only an idealized compass and an unmarked straightedge the edge length of a second cube whose volume is twice that of the given cube.
Proved impossible by Pierre Laurent Wantzel in 1837. Setting , doubling the cube requires constructing the real number , which is a root of the polynomial . By Eisenstein's criterion for the prime (or rational root inspection), is irreducible over , so the field extension has degree . Wantzel proved that any length constructible with an unmarked straightedge and compass lies in an iterated quadratic extension of of degree ; since does not divide , is not constructible.
References
- Pierre Laurent Wantzel (1837). Recherches sur les moyens de reconnaître si un problème de géométrie peut se résoudre avec la règle et le compas
- Thomas Little Heath (1921). A History of Greek Mathematics, Volume 1: From Thales to Euclid
- David S. Richeson (2019). Tales of Impossibility: The 2000-Year Quest to Solve the Mathematical Problems of Antiquity