Geometric Constructions
Constructible Operations
| Property | Statement |
|---|---|
| Bisect segment | Perpendicular bisector construction |
| Bisect angle | Arc intersection method |
| Perpendicular | From point to line |
Examples
Example 1. Can you trisect an angle with compass and straightedge?
Solution. No — proved impossible by Galois theory.
In Depth
Classical geometric constructions use only a compass and straightedge (unmarked ruler). The three famous unsolved problems of antiquity — squaring the circle, doubling the cube, and trisecting an angle — were proved impossible in the 19th century using Galois theory.
Constructible numbers are those reachable from 0 and 1 by a finite sequence of additions, subtractions, multiplications, divisions, and square roots. A regular \(n\)-gon is constructible if and only if \(n=2^k p_1 p_2\cdots p_m\) where the \(p_i\) are distinct Fermat primes (\(3, 5, 17, 257, 65537\)).
Squaring the circle requires constructing \(\sqrt{\pi}\), but \(\pi\) is transcendental (Lindemann, 1882) — not a root of any polynomial with rational coefficients — so it is not constructible. Doubling the cube requires constructing \(\sqrt[3]{2}\), which has degree 3 over \(\mathbb{Q}\) and is not constructible.
Trisecting an angle is generally impossible: trisecting 60° would require constructing \(\cos 20°\), which satisfies \(8x^3-6x-1=0\), an irreducible cubic over \(\mathbb{Q}\). Since its degree is 3 (not a power of 2), it is not constructible.
Modern compass-and-straightedge constructions are used in architecture and design for their aesthetic precision. Computer-aided geometric design (CAGD) uses Bézier curves and B-splines — smooth curves defined by control points — as the modern analogue of classical constructions.
Key Properties & Applications
Origami (paper folding) is more powerful than compass-and-straightedge: it can trisect angles and double the cube. Huzita–Hatori axioms formalize origami constructions. Origami can solve cubic and quartic equations, making it strictly more powerful than classical constructions.
Neusis constructions (using a marked straightedge) can also trisect angles and double the cube. Archimedes described a neusis trisection. The additional power comes from the ability to set a specific length on the straightedge.
In computer-aided design, geometric constructions are replaced by constraint-based modeling: specify geometric relationships (parallel, perpendicular, tangent, equal length) and the software solves the constraint system. This is the modern analogue of classical construction.
Further Reading & Context
The study of geometric constructions connects to many areas of mathematics and its applications. Understanding the foundational definitions and theorems provides the basis for advanced work in analysis, algebra, and applied mathematics.
Historical development: most mathematical concepts evolved over centuries, with contributions from mathematicians across many cultures. The modern axiomatic treatment provides rigor, while computational tools enable practical application.
In modern mathematics, this topic appears in graduate courses and research across pure and applied mathematics. Connections to computer science, physics, and engineering make it a versatile and important area of study. Mastery of the core results and techniques opens doors to research in number theory, analysis, geometry, and beyond.
Recommended next steps: work through the standard theorems with full proofs, explore the connections to related topics listed above, and practice with a variety of problems ranging from computational exercises to theoretical proofs. The interplay between different areas of mathematics is one of the subject's greatest rewards.