x⁵− 1 = (x − 1) (x⁴ + x³ + x² + x + 1).

(«Неприводимость» означает, что у этих многочленов уже нет делителей, как у простых чисел.) Первый делитель дает единственное действительное решение x = 1. Второй делитель дает четыре комплексных решения — и четыре вершины пятиугольника. Так что с комплексными числами все выглядит гораздо разумнее и элегантнее.

Часто сложно понять, каким путем математики прошлого приходили к новым открытиям, потому что в те времена было принято представлять только конечный результат размышлений и оставлять в стороне все ошибочные шаги, которые были сделаны в ходе исследования. Эта проблема часто осложняется и тем, что естественный ход мысли в прошлом выглядел иначе, чем сегодня. Гаусс, в частности, широко известен своей склонностью заметать следы и публиковать только конечный, тщательно отшлифованный анализ. Однако в том, что касается исследований Гаусса по построению 17-угольника, материала у нас достаточно: окончательная публикация содержит достаточно ценных указаний.

Его отправная точка новизной не отличалась. И до Гаусса кое-кто из математиков понимал, что приведенный выше анализ правильных многоугольников работает в общем случае. Построение многоугольника с числом сторон n эквивалентно решению уравнения xⁿ − 1 = 0 в комплексных числах. Более того, этот многочлен раскладывается на два многочлена вида

(x − 1) (xⁿ⁻¹ + xⁿ⁻² + … + x² + x + 1).

Опять же первый множитель дает действительное решение x = 1, а остальные n − 1 решений получаются из второго множителя. Если n нечетное, все они комплексные; если n четное, одно из них становится вторым действительным решением x = −1.

Однако Гаусс заметил то, что просмотрели все остальные: иногда второй делитель можно выразить через несколько квадратных уравнений. Не представить в виде произведения более простых множителей, поскольку это невозможно, а решить с использованием уравнений, коэффициенты которых решают другие уравнения. Ключевым фактором — слабым звеном всей задачи — является одно элегантное свойство алгебраических уравнений, возникающее, когда мы решаем их подобным образом одно за другим. Такой расчет всегда эквивалентен решению единственного уравнения, но, как правило, более высокой степени. Повышение степени — цена, которую мы платим за уменьшение количества уравнений. Технически эта процедура может оказаться достаточно сложной и путаной, но одно мы можем предсказать заранее: какая получится степень. Для этого достаточно перемножить степени всех последовательных многочленов.

Если все они квадратные, то результат будет 2 × 2 × … × 2, т. е. степень двойки. Поэтому, если построение существует, n − 1 должно быть степенью двойки. Однако этого условия не всегда достаточно. Если n = 9, n − 1 = 8, а это степень двойки. Но Гаусс выяснил, что для правильного девятиугольника построения не существует, поскольку 9 — не простое число. А как насчет следующего шага, на котором мы решаем систему из четырех квадратных уравнений? Степень n − 1 соответствующего объединенного уравнения равна 2 × 2 × 2 × 2 = 16. Тогда n = 17, а это простое число.

К этому моменту Гаусс, вероятно, уже понял, что наткнулся на что-то интересное, но оставался еще один технический момент, который вполне мог все испортить. Гаусс убедился, что для существования построения правильного многоугольника с простым числом сторон это простое число должно равняться степени двойки плюс 1.