Mathematics
Constructing a Regular Heptadecagon with Straightedge and Compass
Quick fact
In 1796, at age 19, Carl Friedrich Gauss discovered that a regular 17-sided polygon is constructible with a straightedge and compass. He was so proud of this feat that he requested a regular heptadecagon be engraved on his tombstone (the sculptor declined, but the discovery remains a landmark).
Why this is interesting
For over two thousand years, no one could construct a regular 17-sided polygon with just a compass and straightedge. Then, a teenager solved it in a single night—and almost didn't tell anyone.
Read the full explanation
Understanding Constructing a Regular Heptadecagon with Straightedge and Compass
Imagine you have only a pencil, a straightedge (unmarked ruler), and a compass. With these, you can draw circles and straight lines. The question is: which regular polygons can you draw? For centuries, the Greeks knew how to construct triangles, squares, pentagons, and their multiples, but no one could construct a polygon with 17 sides. Many suspected it might be impossible. Gauss showed it is possible. The trick is to represent the construction problem as an algebraic equation and show that its solutions can be built using the operations the tools allow—essentially, square roots. In the 1790s, Gauss discovered that the 17-gon's construction relies on a beautiful property of the number 17: it is a Fermat prime, a prime of the form 2^{2^n}+1. For 17, n=2, so 2^{2^2}+1 = 2^4+1 = 16+1 = 17. This special property means the equation for the 17th roots of unity can be broken down into a chain of quadratic equations, each solvable by square roots, which are exactly what a compass-and-straightedge construction can produce.
A deeper explanation
Why does being a Fermat prime matter? The construction of a regular n-gon is equivalent to finding the n-th roots of unity, the complex numbers that satisfy x^n = 1. These roots form the vertices of the polygon on the unit circle. The key is whether these roots can be expressed using a sequence of square roots, because each square root corresponds to an intersection of a line and a circle. Gauss proved that a regular n-gon is constructible if and only if n is a product of a power of 2 and distinct Fermat primes (primes of the form 2^{2^k}+1). For n=17, which is itself a Fermat prime, the relevant cyclotomic polynomial has degree 16, but its Galois group is cyclic of order 16, allowing a tower of quadratic extensions. Gauss exploited this to find an explicit chain of square roots that gives the cosine of the angle 2π/17. His construction, while intricate, is a masterpiece of algebra applied to geometry. This result not only solved an ancient problem but also laid the groundwork for Galois theory, which would generalize the question of which geometric constructions are possible. It also highlighted the deep connection between prime numbers and geometry, a theme that echoes in modern number theory.