In 1796, at the age of 19, Gauss proved that the regular heptadecagon is constructible using a ruler and a compass. Later, various explicit constructions were discovered, most notably by Richmond in 1909. We will present Gauss' proof and Richmond's construction, assuming standard Galois theory.
The talk should be accessible to everybody.