Вундеркинд Карл Фридрих Гаусс в 19 лет обнаружил, какие многоугольники можно построить с помощью циркуля и линейки, а какие — нет. В то время Гаусс колебался между лингвистикой и математикой, поскольку к обеим наукам проявил удивительные способности. Раскрыв тайну многоугольников, он понял, что призван стать геометром, и занялся математикой. Гауссу не пришлось сожалеть о выборе: многие годы он оставался бесспорным лидером в своей области.

Найденный им ответ к задаче о многоугольниках был таким: правильный n-угольник можно построить с помощью циркуля и линейки, если выполняется равенство

n = 2^kp₁p₂·…·p_m при k >= 0,

где р_i — либо единицы, либо различные простые числа Ферма. Осталось объяснить, какие числа называются числами Ферма. Число F_p называется числом Ферма, если имеет вид

Числа Ферма могут быть простыми или составными:

F₆ разложил на множители французский математик Фортюне Ландри в 1880 году. Для последующих F_p вплоть до F₁₁ были найдены способы разложения на множители, но больше простых чисел Ферма обнаружить пока не удалось. Неизвестно, существуют ли они.

Из теоремы следует, что возможно построение правильных n-угольников для

n = 3, 4, 5, 6, 8, 10, 12, 15, 16, 17, 24 … вплоть до 65537, что соответствует F₄.

Здесь мы ненадолго остановимся и укажем, что, по-видимому, существует руководство, описывающее построение правильного 65537-угольника.

В 1894 году немецкий геометр Иоганн Густав Гермес (1846–1912) завершил немыслимое построение, занимающее свыше 200 страниц. Он не смог опубликовать свой труд и передал рукопись Гёттингенскому университету, где она хранится до сих пор и, возможно, будет храниться вечно — ознакомившись с описанием построения, некоторые сомневаются в его правильности. Каким же огромным будет разочарование, если окажется, что Гермес, потратив столько сил (по оценкам британского геометра Гарольда Скотта Макдональда Коксетера, эта работа заняла десять лет), допустил ошибку. Но вряд ли кто-то готов потратить еще десять лет на то, чтобы убедиться в этом.