Вершиной «Начал» стало доказательство того, что существует ровно пять правильных многогранников – объемных фигур, гранями которых являются правильные многоугольники, одинаково организованные в каждой вершине. Перечислим эти пять фигур: тетраэдр с четырьмя гранями – равносторонними треугольниками; куб с шестью квадратными гранями; октаэдр с восемью гранями – равносторонними треугольниками; додекаэдр – двенадцатигранник с правильными пятиугольниками в качестве граней; и икосаэдр с двадцатью гранями – равносторонними треугольниками. Отметим, что если вы являетесь Евклидом и настаиваете на логических доказательствах, то вы не сможете построить трехмерную геометрию додекаэдра, если предварительно не разобрались в двумерной геометрии правильного пятиугольника. В конце концов, додекаэдр построен из двенадцати правильных пятиугольников. Так что прежде, чем приступать к настоящему делу – к правильным многогранникам, вам придется разобраться с правильными пятиугольниками и многими другими премудростями.
Среди базовых допущений Евклида имеется невысказанное, но безусловное ограничение на способы построения геометрических фигур. Все делается при помощи только прямых линий и окружностей. По существу, при построении разрешается пользоваться только линейкой и циркулем. Геометрия Евклида представляет собой математическую идеализацию, в которой прямые линии всегда бесконечно тонки и идеально прямы, а окружности бесконечно тонки и идеально круглы. Так что про Евклидовы построения никак не скажешь, что они сойдут, мол, для сельской местности; они точны, то есть достаточно хороши даже для проверки бесконечно педантичным сверхразумом с бесконечно мощным микроскопом.
* * *
Подход Гаусса к правильным многоугольникам основан на открытии Декарта, которое гласит, что геометрия и алгебра – две стороны одной монеты, связанные между собой координатами на плоскости. Прямая линия представляется уравнением, которому должны соответствовать координаты каждой ее точки. То же можно сказать об окружностях, только уравнение там получается посложнее. Если две прямые или окружности пересекаются, то точки их пересечения должны удовлетворять обоим уравнениям. Если вы пытаетесь найти эти точки путем решения пары уравнений, то для двух прямых все получится достаточно просто. Если прямая пересекается с окружностью или если пересекаются две окружности, то вам придется решить квадратное уравнение. Для этого существует формула, и ее ключевое действие – извлечение квадратного корня. Остальное сводится к простой арифметике: сложить, вычесть, умножить, разделить.
Процесс геометрического построения при помощи линейки и циркуля сводится, с точки зрения алгебраиста, к формированию последовательности квадратных корней. Если воспользоваться кое-какими специфическими приемами, станет ясно, что это то же самое, что решить уравнение, «степень» которого – наибольшая степень неизвестного в нем – равна 2, 4, 8, 16, то есть представляет собой степень двойки. Не каждое такое уравнение сводится к совокупности квадратных уравнений, но ключ здесь – степень двойки. Какая именно степень, определяет, сколько квадратных уравнений вам потребуется объединить в цепочку.
Правильные многоугольники превращаются в очень простые уравнения, если воспользоваться комплексными числами, в которых из –1 можно извлечь квадратный корень. Вот, к примеру, уравнение для вершин правильного пятиугольника:
Согласитесь, очень простое и элегантное уравнение. Если исключить очевидное действительное решение x = 1, то остальные удовлетворяют уравнению
x4 + x3 + x2 + x + 1 = 0.
По-прежнему красивое уравнение и, главное, четвертой степени, а 4 – степень двойки. Нечто аналогичное происходит и с уравнением семнадцатиугольника, но здесь в уравнениях складываются степени неизвестного вплоть до шестнадцатой, а 16 – тоже степень двойки.
С другой стороны, правильный семиугольник имеет аналогичное уравнение степени 6, которая не является степенью двойки. Так что вы определенно не можете построить правильный семиугольник при помощи линейки и циркуля
[19]. Поскольку Евклид строит пятиугольник, его уравнение тоже должно сводиться к серии квадратных уравнений. Применив алгебру, несложно выяснить, как именно. Вооруженный этой идеей, Гаусс обнаружил, что уравнение семнадцатиугольника тоже сводится к серии квадратных уравнений. Во-первых, 16 = 24, то есть степень двойки, что необходимо для разложения в систему квадратных уравнений, хотя не всегда достаточно. Во-вторых, 17 – простое число, что позволило Гауссу найти эту систему.
Любой знающий математик мог проследить за рассуждениями Гаусса после того, как тот показал верный путь, но никто другой даже не заподозрил, что Евклид в свое время назвал не все правильные многоугольники, которые можно построить.
Неплохо для девятнадцатилетнего юноши.
* * *
Благодаря финансовой помощи герцога Гаусс продолжал двигаться вперед семимильными шагами, особенно в теории чисел. С детства он умел молниеносно считать и мог мгновенно проделывать в уме сложные арифметические расчеты. В докомпьютерную эпоху такая способность была очень полезна. Она помогала ему быстро продвигаться вперед в теории чисел, и репутация молодого Гаусса заметно подросла, когда он написал один из самых известных исследовательских текстов в истории математики – «Арифметические исследования» (Disquisitiones Arithmeticae). Эта книга сделала для теории чисел то, что Евклид двумя тысячелетиями раньше сделал для геометрии. Благодаря субсидии, которую выделил пунктуальный герцог, книга вышла в 1801 г.; автор в ответ посвятил книгу спонсору.
Один из основных методов, используемых в книге, представляет собой типичный пример способности Гаусса синтезировать из массы неорганизованных и сложных результатов простые понятия. Сегодня мы называем этот метод модульной арифметикой. Многие ключевые результаты в теории чисел зиждутся на двух простых вопросах:
При каких условиях одно заданное число делится на другое?
Если не делится, то как связаны эти два числа?
Проведенное Ферма различие между 4k + 1 и 4k + 3 относится к этому же типу. Здесь речь идет о том, что произойдет, если разделить некое число на 4. Иногда оно делится нацело. Числа
кратны четырем. Остальные четные числа
не кратны. Мало того, каждое из них при делении на 4 дает остаток 2; то есть они представляют собой сумму числа, кратного 4, и «остатка» 2. Аналогично нечетные числа дают в остатке либо 1:
