Математика была не единственным талантом мальчика. К 15 годам он достиг значительных успехов в древних языках, которые изучал в местной гимназии; обучение там также оплачивал герцог. (В старой немецкой образовательной системе гимназия была чем-то вроде школы для подготовки к поступлению в университет. Слово переводится примерно как «старшая школа», но учиться там можно было только за плату.) Многие из лучших работ Гаусса были позднее написаны на латыни. В 1792 году он поступил в Карлово училище в Брауншвейге, и снова обучение оплачивал герцог.
К 17 годам он уже доказал замечательную теорему в теории чисел, известную как квадратичный закон взаимности. В ней утверждается фундаментальная, но достаточно неординарная закономерность в свойствах делимости полных квадратов. На эту закономерность обратил внимание еще Леонард Эйлер, но Гаусс об этом не знал и сам открыл все заново. Лишь очень немногие вообще задумывались о том, чтобы поставить этот вопрос. Юноша, кроме того, глубоко размышлял о теории уравнений. На самом деле эти размышления и привели его к построению правильного 17-угольника и тем самым направили на путь, ведущий к математическому бессмертию.
Между 1795 и 1798 годами Гаусс учился, чтобы получить диплом в Геттингенском университете, причем за обучение снова платил герцог Фердинанд. У Гаусса было немного друзей, но те дружеские отношения, которые он завязал, были глубокими и долгими. В Геттингене же Гаусс встретил Бойяи — опытного геометра в эвклидовых традициях.
Математические идеи приходили к Гауссу столь быстро и в таком изобилии, что иногда, казалось, полностью поглощали его. Когда в голове у него возникала новая идея, он мог внезапно уставиться в пространство, бросив при этом все, чем занимался до этого. Он сформулировал некоторые теоремы, которые были бы справедливы, «если бы истинной была не эвклидова, а другая геометрия». На переднем плане его размышлений было его главное сочинение — Disquisitiones Arithmeticae — и к 1798 году эта книга была в основном закончена. Однако Гаусс хотел удостовериться, что отдал должное своим предшественникам в вопросах приоритета, для чего отправился в университет Хельмштедта, где была прекрасная математическая библиотека, которую курировал Иоганн Пфафф — самый известный из немецких математиков.
В 1801 году, после огорчительной задержки в типографии, Disquisitiones Arithmeticae наконец вышла с изобильным и, без сомнения, искренним посвящением герцогу Фердинанду. Щедрость герцога не иссякла, даже когда Карл закончил университет. Фердинанд оплатил расходы, необходимые для издания с соблюдением всех необходимых требований диссертации Гаусса, представленной им в университете Хельмштедта. А когда Карл обеспокоился своим материальным положением после окончания университета, герцог определил ему пособие, позволявшее продолжать исследования, не слишком заботясь о деньгах.
Заслуживает упоминания и такая сторона Disquisitiones Arithmeticae, как ее бескомпромиссный стиль. Доказательства написаны очень тщательно и логически безупречно, однако изложение не делает читателю никаких поблажек и не дает подсказок насчет интуитивных соображений, стоящих за той или иной теоремой. Позднее Гаусс оправдывал такую позицию (которой он придерживался на протяжении всей своей карьеры) тем, что «когда строительство прекрасного здания закончено, окружавших его лесов больше не должно быть видно». Это прекрасно, если цель состоит исключительно в том, чтобы люди любовались зданием. Но не так уж прекрасно, если есть желание научить их строить самостоятельно. Карл Густав Якоб Якоби, работы которого по комплексному анализу основаны на идеях Гаусса, сказал о своем прославленном предшественнике, что «он как лис, который хвостом заметает свои следы на песке».
Приблизительно в то время математики постепенно подходили к осознанию того факта, что, хотя комплексные числа кажутся искусственным образованием, а их интерпретация туманна, использование их намного упрощает алгебру, позволяя решать уравнения единообразным способом. Изящество и простота — пробный камень математики, и новаторские концепции, сколь бы странными они сначала ни казались, имеют тенденцию в конце концов брать верх, если они способствуют сохранению изящества и простоты предмета.
Если работать только с традиционными «вещественными» числами, то уравнения ведут себя раздражающе беспорядочным образом. Уравнение x2 − 2 = 0 имеет два решения — плюс или минус квадратный корень из двух, — но очень похожее уравнение x2 + 1 = 0 вообще не имеет решений. Однако это уравнение имеет два решения в комплексных числах: i и −i. Символ i для обозначения √−1 был введен Эйлером в 1777 году, но появился в печати лишь в 1794-м. Теорию, выраженную лишь в терминах «вещественных» уравнений, загромождают исключения и необходимость педантичного разграничения различных случаев. Аналогичная теория комплексных уравнений оставляет в стороне все эти сложности за счет того, что с самого начала предлагается купить оптом одно-единственное усложнение — позволить комплексным числам появляться наравне с вещественными.
К 1750 году идеи, вызванные к жизни итальянскими математиками эпохи Возрождения, достигли зрелости и замкнутости. Предложенные методы решения кубики и квартики воспринимались как естественные обобщения вавилонского решения квадратных уравнений. В достаточных подробностях была разработана связь между радикалами и комплексными числами, причем было осознано, что в этом расширении обычной числовой системы у числа имеется не один кубический корень, а три; не один корень четвертой степени, а четыре; не один корень пятой степени, а пять. Ключом к пониманию того, откуда берутся эти новые корни, стало прекрасное свойство «корней из единицы», то есть корней n-й степени из числа 1. Эти корни образуют вершины правильного n-угольника в комплексной плоскости[19], одна вершина которого лежит в точке 1. Остальные корни из единицы располагаются на равных расстояниях вдоль окружности единичного радиуса с центром в точке 0. На рисунке показано расположение корней пятой степени из единицы.
В более общем виде, если дан любой конкретный корень пятой степени из некоторого числа, то можно получить еще четыре, умножая его на q, q2, q3 и q4[20]. Эти числа также располагаются по окружности с центром в 0. Например, корни пятой степени из 2 показаны на рисунке справа.
Слева: корни пятой степени из единицы в комплексной плоскости.
Справа: корни пятой степени из двух.
Все это очень мило, но здесь же содержится намек на нечто гораздо более глубокое. Корни пятой степени из 2 можно рассматривать как решения уравнения x5 = 2. Это уравнение пятой степени, и у него пять комплексных решений, причем только одно из них вещественно. Аналогичным образом уравнение x4 = 2 имеет четыре решения (все корни четвертой степени из 2), уравнение на корни 17-й степени из 2 имеет 17 решений и так далее. Не обязательно быть гением, чтобы подметить правило: число решений равно степени уравнения.
То же самое, как представлялось, выполняется не только для уравнений на корни п-й степени, но и вообще для любого алгебраического уравнения. Математики пребывали в убеждении, что в области комплексных чисел каждое уравнение имеет ровно столько решений, какова степень уравнения. (Технически это утверждение верно, только когда решения подсчитываются с учетом их «кратностей». Если это соглашение не использовать, то число решений равно степени уравнения или меньше ее.) Эйлер доказал это свойство для уравнений степеней 2, 3 и 4 и утверждал, что аналогичные методы будут работать и в общем случае. Его идеи выглядели правдоподобно, но заполнение пробелов в намеченной им схеме доказательства оказалось практически невозможным, и даже сегодня требуются серьезные усилия, чтобы довести метод Эйлера до логического конца. Тем не менее математики предполагали, что если они решают уравнение некоторой степени, то следует ожидать появления в точности стольких корней, какова эта степень.
По мере того как Гаусс развивал свои идеи в теории чисел и анализе, его все менее и менее удовлетворяло то, что никто не доказал это предположение. Характерно, что в конце концов он сам предложил доказательство. Оно было сложным и на удивление непрямым: любой квалифицированный математик мог убедиться в его верности, но никто не мог сообразить, как же Гаусс до него додумался. Математический лис мстительно вилял хвостом.
В переводе с латыни заглавие диссертации Гаусса звучало как «Новое доказательство, что каждую рациональную целую функцию одного переменного можно разложить на вещественные множители первой или второй степени». Если пробиться через профессиональные термины, принятые в то время, то заглавие утверждает, что каждый многочлен (с вещественными коэффициентами) равен произведению выражений, представляющих собой линейные или квадратичные многочлены.
