Classical Constructions

Abstract Algebra · Axiom Academy

REAL WORLD Classical Constructions Ancient Greek geometric puzzles meet modern abstract algebra: discover why compass and straightedge have fundamental mathematical limits. For over 2,000 years, mathematicians tried to solve three famous problems using only a compass (to draw circles) and straightedge (to draw lines): The shocking truth? All three are impossible! But how do we know? The answer lies in abstract algebra and field extensions. A number is constructible if we can create a line segment of that length starting from a unit segment, using only compass and straightedge. Examples of what can be constructed: • All rationals: 1/2, 3/4, ... Examples that are impossible : Key Insight: Compass and straightedge operations correspond to arithmetic operations (±, ×, ÷) and square roots. Nothing else! Every constructible number lies in a field extension of ℚ (the rationals) obtained by repeatedly adjoining square roots. A number α is constructible if and only if [ℚ(α) : ℚ] is a power of 2. This is because each compass-and-straightedge operation can at most introduce a quadratic extension (degree 2), and we can only compose such operations. To double a unit cube, we need a cube of volume 2. This requires constructing ∛2. But the minimal polynomial is x³ - 2 , which has degree 3 (not a power of 2!). Consider trisecting 60°. We'd need cos(20°), but: Setting t = cos(20°) and using cos(60°) = 1/2, we get: 8t³ - 6t - 1 = 0 This cubic is irreducible over ℚ, so [ℚ(cos(20°)) : ℚ] = 3 ✗

This is the written version of the interactive lesson above. See the full Abstract Algebra course.