Angle trisection with compass and straightedge
Solved, 1837GeometryAlgebra
Statement
Given an arbitrary angle , construct in finitely many steps using only an idealized compass and an unmarked straightedge two rays that divide into three equal angles of measure .
Proved impossible by Pierre Laurent Wantzel in 1837. Wantzel showed that a real number is constructible by compass and straightedge from a unit segment if and only if lies in a tower of quadratic field extensions of , which implies that the degree of its minimal polynomial must be a power of . For , the triple-angle identity with shows that satisfies . Since this cubic polynomial has no rational roots, it is irreducible over , so , proving that cannot be trisected.
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
- Ian Stewart (2015). Galois Theory · DOI:10.1201/b18187
- David S. Richeson (2019). Tales of Impossibility: The 2000-Year Quest to Solve the Mathematical Problems of Antiquity