Чтобы понять, насколько радикальным было открытие Гаусса, нам нужно вернуться на две с лишним тысячи лет назад, в Древнюю Грецию. Евклид в «Началах» систематизировал и привел к единому виду теоремы великих греческих геометров. Он был ярым поборником логики и утверждал, что все должно быть доказано. Ну, почти все. С чего-то нужно начинать, и начинают обычно с предположений, которые не доказываются. Такие предположения Евклид подразделил на три типа: определения, общепринятые положения и постулаты. Мы сегодня называем утверждения двух последних типов аксиомами.
На базе таких предположений Евклид проработал значительную часть греческой геометрии, шаг за шагом. На наш современный взгляд, кое-каких допущений у него все же недоставало – довольно тонких допущений, таких как «если прямая проходит через некую точку внутри окружности, то эта прямая, если ее продолжить достаточно, должна с этой окружностью пересечься». Но если оставить мелочные придирки, Евклид проделал замечательную работу, выведя далеко идущие следствия из простых принципов.
Вершиной «Начал» стало доказательство того, что существует ровно пять правильных многогранников – объемных фигур, гранями которых являются правильные многоугольники, одинаково организованные в каждой вершине. Перечислим эти пять фигур: тетраэдр с четырьмя гранями – равносторонними треугольниками; куб с шестью квадратными гранями; октаэдр с восемью гранями – равносторонними треугольниками; додекаэдр – двенадцатигранник с правильными пятиугольниками в качестве граней; и икосаэдр с двадцатью гранями – равносторонними треугольниками. Отметим, что если вы являетесь Евклидом и настаиваете на логических доказательствах, то вы не сможете построить трехмерную геометрию додекаэдра, если предварительно не разобрались в двумерной геометрии правильного пятиугольника. В конце концов, додекаэдр построен из двенадцати правильных пятиугольников. Так что прежде, чем приступать к настоящему делу – к правильным многогранникам, вам придется разобраться с правильными пятиугольниками и многими другими премудростями.
Среди базовых допущений Евклида имеется невысказанное, но безусловное ограничение на способы построения геометрических фигур. Все делается при помощи только прямых линий и окружностей. По существу, при построении разрешается пользоваться только линейкой и циркулем. Геометрия Евклида представляет собой математическую идеализацию, в которой прямые линии всегда бесконечно тонки и идеально прямы, а окружности бесконечно тонки и идеально круглы. Так что про Евклидовы построения никак не скажешь, что они сойдут, мол, для сельской местности; они
Подход Гаусса к правильным многоугольникам основан на открытии Декарта, которое гласит, что геометрия и алгебра – две стороны одной монеты, связанные между собой координатами на плоскости. Прямая линия представляется уравнением, которому должны соответствовать координаты каждой ее точки. То же можно сказать об окружностях, только уравнение там получается посложнее. Если две прямые или окружности пересекаются, то точки их пересечения должны удовлетворять
Процесс геометрического построения при помощи линейки и циркуля сводится, с точки зрения алгебраиста, к формированию последовательности квадратных корней. Если воспользоваться кое-какими специфическими приемами, станет ясно, что это то же самое, что решить уравнение, «степень» которого – наибольшая степень неизвестного в нем – равна 2, 4, 8, 16, то есть представляет собой степень двойки. Не каждое такое уравнение сводится к совокупности квадратных уравнений, но ключ здесь – степень двойки.
Правильные многоугольники превращаются в очень простые уравнения, если воспользоваться комплексными числами, в которых из –1 можно извлечь квадратный корень. Вот, к примеру, уравнение для вершин правильного пятиугольника:
Согласитесь, очень простое и элегантное уравнение. Если исключить очевидное действительное решение
По-прежнему красивое уравнение и, главное, четвертой степени, а 4 – степень двойки. Нечто аналогичное происходит и с уравнением семнадцатиугольника, но здесь в уравнениях складываются степени неизвестного вплоть до шестнадцатой, а 16 – тоже степень двойки.