The ancients were concerned with what lengths could be constructed
from a given length by means of certain operations with an unmarked
straight edge and a compass. In modern language, a number
can be constructed if and only if
is a subfield of
a field
for which there is a tower
with each extension
of degree 2.
Gauss proved that the cyclotomic number
is
constructible if and only if
is a power of 2 times a product of
distinct Fermat primes (i.e. primes of the form
). This answers
the question of whether it is possible to divide a circle into
equal parts using compass and straight edge. In the article below,
Michael Rosen gives a modern review of Gauss' theorem and then goes
through a less well known theorem of Abel about the lemniscate, which
is the figure 8 curve satisfying
Abel proved that it is possible to use ruler and compass to divide the
lemniscate into
equal length parts if and only if
is a power
of 2 times a product of distinct Fermat primes.
Another possible project would be to look at the generalization of Abel's theorems to ``clovers'' by Cox and Shurman. A lemniscate is something like a ``two-leaved clover''. Generalizations of Abel's theorem to multi-leaved clovers are proved in the recent Monthly paper:
Another interesting project would be to study Gleason's paper on a variation of Gauss' theorem. Gauss showed the regular 13-gon (``triskaidecagon'') cannot be constructed by straight edge and compass. However, suppose we allow certain other operations, such as the ability to trisect angles. Then what regular polygons may we construct?