С появлением доказательства Линдеманна эта глава математики пришла к своему первому действительно важному выводу. Невозможность квадратуры круга оказалась не более чем побочным эффектом. Гораздо важнее для математиков было понять, почему так происходит. Теперь они могли двигаться вперед и развивать теорию трансцендентных чисел, которая сегодня представляет собой активную (и дьявольски сложную) область исследований. Даже наиболее очевидные и на вид правдоподобные гипотезы о трансцендентных числах остаются по большей части недоказанными.

Вооруженные достижениями Абеля и Галуа, мы можем вернуться к задаче о построении правильных многоугольников. Для каких чисел n можно построить правильный n-угольник циркулем и линейкой? Ответ на этот вопрос весьма необычен.

В Disquisitiones Arithmeticae Гаусс сформулировал необходимые и достаточные условия на целое число n, но доказал только их достаточность. По его утверждению, у него было доказательство, что те же условия являются и необходимыми, но, как и большая часть его результатов, оно осталось неопубликованным. Гаусс в действительности выполнил сложную часть работы, а Ванцель привел недостающие подробности в своей статье 1837 года.

Чтобы лучше понять данный Гауссом ответ, рассмотрим правильный 17-угольник. Что есть такого в числе 17, что позволяет построить правильный многоугольник с 17 сторонами? Почему это невозможно, скажем, для чисел 11 или 13? Заметим, что все эти три числа — простые. Легко показать, что если правильный n-угольник допускает построение, то можно построить правильный p-угольник для каждого простого числа p, на которое делится n. Надо просто взять каждый ⁿ/_p-угол. Например, если взять каждую третью вершину в правильном 15-угольнике, получим правильный 5-угольник. Так что имеет смысл рассматривать простое число сторон, а затем получить полное решение, используя результаты для простых чисел.

Число 17 простое, что для начала уже неплохо. Выполненный Гауссом анализ, переформулированный в более современных терминах, основан на том факте, что решения уравнения x¹⁷ ? 1 = 0 образуют вершины правильного 17-угольника на комплексной плоскости. У этого уравнения имеется один очевидный корень x = 1. Остальные 16 — это корни многочлена 16-й степени, и можно показать, что этот многочлен есть x¹⁶ + x¹⁵ + x¹⁴ + … + x² + x + 1. 17-угольник строится путем решения цепочки квадратных уравнений, а это оказывается возможным потому, что 16 есть степень числа 2: 16 = 2⁴.

Аналогично в более общем случае аргументы того же типа показывают, что когда p — нечетное простое число, правильный p-угольник допускает построение, если и только если p ? 1 есть степень числа 2. Такие нечетные простые числа называются (простыми) числами Ферма, потому что Ферма первым взялся их исследовать. Грекам было известно о построении правильного 3-угольника и правильного 5-угольника. Заметим, что 3 ? 1 = 2 и 5 ? 1 = 4 суть степени числа 2. Результаты греков, таким образом, согласуются с критерием Гаусса, а 3 и 5 — первые два из чисел Ферма. С другой стороны, 7 ? 1 = 6, что не есть степень двойки, так что правильный 7-угольник не допускает построения циркулем и линейкой.

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

Остается выяснить, каковы же числа Ферма. Следующим после 3 и 5 идет Гауссово 17. Следующее — 257, а за ним — уже довольно большое число 65 537. Это единственные известные простые числа Ферма. Никто не доказал, что дальнейшие числа Ферма существуют — но никто не доказал и того, что их нет. Насколько нам известно на данный момент, может существовать абсолютно гигантское простое число Ферма, пока не известное человечеству. Согласно знаниям, имеющимся на сегодняшний день, это число составляет по меньшей мере 2^33554432 + 1, и этот монстр и в самом деле может оказаться следующим простым числом Ферма. (Показатель степени 33 554 432 сам есть степень числа 2, а именно 225. Все числа Ферма на единицу превосходят двойку, возведенную в степень, являющуюся степенью двойки.) Это число имеет более десяти миллионов знаков. Даже после сделанных Гауссом великих открытий мы все равно не знаем в точности, какие именно правильные многоугольники можно построить, но единственным пробелом в наших знаниях остается вопрос о существовании очень больших чисел Ферма.

Гаусс доказал, что правильный 17-угольник допускает построение, но в действительности не дал описания самого построения, хотя и заметил, что основной шаг состоит в построении отрезка, длина которого равна

Поскольку квадратные корни можно построить всегда, искомое построение скрыто в этом замечательном числе. Первое явное построение осуществил Ульрих фон Югэнен в 1803 году. В 1893 году Герберт Уильям Ричмонд нашел более простой вариант[34].

В 1832 году Ф. Ж. Ришло опубликовал ряд статей о построении правильного 257-угольника под заголовком De resolutione algebraica aequationis x²⁵⁷ = 1, sive de divisione circuli per bisectionem anguli septies repetitam in partes 257 inter se aequales commentatio coronata, который сам уже производит не меньшее впечатление, чем число сторон его многоугольника.

Имеется апокрифическая байка[35] о том, как сверхстарательному аспиранту было предложено построить в своей диссертации 65 537-угольник, после чего тот появился вновь лишь двадцать лет спустя. Реальность почти столь же курьезна: Ж. Эрмес из Лингенского университета посвятил этой задаче десять лет, закончив ее в 1894 году; его неопубликованная работа хранится в Геттингенском университете. К сожалению, Джон Хортон Конуэй — быть может, единственный из математиков нашего времени, когда-либо взглянувший на эти документы, — сомневается, что там все верно.

Уильям Роуэн Гамильтон[36] был величайшим математиком из всех, когда-либо рожденных Ирландией. Он появился на свет, когда часы отбивали полночь с 3 на 4 августа 1805 года, и впоследствии так и не смог окончательно решить, какой же из дней считать днем своего рождения. По большей части он склонялся к 3-му, но на его надгробии указана дата «4 августа», потому что ближе к концу жизни он перешел на эту дату по сентиментальным причинам. Он был блестящим лингвистом, математическим гением и алкоголиком. Он задался целью изобрести алгебру в размерности три, но вместо этого во вспышке озарения, которое вылилось в акт вандализма по отношению к мосту, реализовал то, к чему стремился, в размерности четыре. Он навсегда изменил взгляды человечества на алгебру, пространство и время.

Уильям родился в богатой семье — он был третьим сыном Арчибальда Гамильтона, юриста, голова которого была устроена подходящим для бизнеса образом. У Уильяма была также сестра по имени Элиза. Отец любил пропустить пару-тройку стаканчиков, поэтому некоторое время с ним приятно было находиться в одной компании, однако ближе к вечеру дело поворачивалось обратной стороной медали. Арчибальд ясно выражал свои мысли, был умен и религиозен, и его младший сын унаследовал все его отличительные черты, включая пристрастие к алкоголю. Мать Уильяма Сара Хаттон в умственном отношении не уступала мужу — она происходила из семьи, несшей на себе знаки интеллектуального отличия, однако ее влияние на маленького Уильяма ограничилось по большей части передачей ему своих генов — в трехлетнем возрасте мальчик был отдан в обучение к дяде Джеймсу. Джеймс был викарием и превосходным лингвистом, и его интересы определили основные направления образования Уильяма.