что приводит к корням i и -i, то получается, что x² + 1 = (x + r) · (x - r), в соответствии с основной теоремой алгебры.
Первым, кто активно пользовался мнимыми числами, также называемыми комплексными, был итальянский математик Джироламо Кардано (1501-1576), который применил их в формуле решения кубических уравнений, но термин «комплексные числа» был введен Гауссом при доказательстве основной теоремы алгебры в своей докторской диссертации.
Кроме того, именно Гаусс увидел самые широкие возможности для применения комплексных чисел в будущем. Также Гаусс ответил и на другой вопрос: понадобится ли математикам создавать новые числа для каждого нового уравнения? Если бы мы захотели решить такое уравнение, как х4 + 1 = 0, нужно ли искать новые числа? Гаусс доказал, что в этом нет необходимости: пользуясь числом i, математики могут решить любое полиномиальное уравнение. Его решением будет сочетание обычного действительного числа и нового числа i. Гаусс открыл, что мнимые числа — это просто добавление нового измерения к обычной числовой прямой, поэтому каждое мнимое число соответствует точке на плоскости — так же, как действительное число соответствует точке на прямой. Кроме того, ученый создал новый способ представления чисел с помощью координатной оси, как показано на рисунке.
Несмотря на то что речь шла об очень эффективном представлении, Гаусс держал в секрете эту карту мира мнимых чисел. Как только доказательство было обнаружено, ученый убрал графические «леса», так что от них не осталось и следа. При этом он осознавал, что математики часто смотрят на графики с некоторым подозрением, отдавая предпочтение языку формул и уравнений, поскольку в то время существовало мнение, что графики могут быть ошибочными. Гаусс знал, что графическое представление мнимых чисел вызовет недоверие, поэтому исключил его из доказательства, которое сразу же стало довольно непонятным для современников. Непонятным настолько, что в некоторых книгах по истории науки говорится, что первое доказательство теоремы, предложенное математиком, было ошибочным, хотя вернее было бы сказать — неполным. И пробел находится в том варианте доказательства, которое было опубликовано, а не в том, которое Гаусс вывел для себя.
В ту эпоху превалировала мысль о том, что числа -- это объекты, которые можно складывать и умножать, но не изображать. И потребовалось 50 лет для того, чтобы Гаусс решился открыть коллегам графические леса, которыми он воспользовался в диссертации. Эта теорема так захватила Гаусса, что он нашел еще три ее доказательства. Второе возникло через год после защиты, и оно дополняло некоторые пропуски первоначального варианта. Третье доказательство, выдвинутое в 1815 году, было основано на идеях Эйлера, в нем не применяются геометрические положения, и это первая серьезная попытка чисто алгебраического доказательства с открытым использованием комплексных чисел. Тут же Гаусс критикует попытки других математиков, основанные на аналитических методах. Последнее доказательство было получено в 1849 году, в связи с 50-летием докторской диссертации. Оно очень похоже на первое, но в этот раз Гаусс приводит все геометрические рассуждения. Чтобы понять важность диссертации Гаусса, достаточно отметить, что доказательство теоремы повергло в прах Эйлера, Лагранжа и Лапласа — трех величайших математиков в истории.
На основе работ Гаусса можно было подступиться к поиску корней многочлена любой степени. Для уравнений до пятой степени (n = 5) были найдены формулы нахождения корней с помощью коэффициентов самого многочлена, что называется решением в радикалах. Формулы были того же типа, что мы использовали для решения уравнений второй степени, однако для уравнений пятой степени их никак не могли найти. Решение нашлось у очень молодого французского математика Эвариста Галуа (1811-1832), который погиб в результате дуэли, едва ему исполнился 21 год. Галуа доказал, что невозможно решить уравнения пятой степени с помощью коэффициентов самого многочлена, и нашел альтернативные методы нахождения корней, пользуясь результатами Гаусса.
Галуа представил свои математические результаты, известные как теория Галуа, в Парижскую академию наук в 1830 году, чтобы получить премию по математике. Эта работа так и не была оценена, поскольку попала в руки Огюстена Луи Коши (1789-1857); тот признал себя недостаточно компетентным для ее разбора и передал заметки Жозефу Фурье (1768— 1830), который, как секретарь академии, должен был найти нового специалиста для анализа. Смерть Фурье оставила эти поиски незавершенными, статья Галуа затерялась и так и не была опубликована. Однако за ночь до дуэли Галуа, который понимал, что его шансы выжить в поединке невысоки, и в то же время осознавал важность своих открытий, торопливым почерком написал заметки, в которых обобщалось то, что известно как теория Галуа о решении уравнений. Именно это его письменное завещание вошло в историю и позволило последующим математикам восстановить результаты молодого гения. Известно, что в том году премию академии получили Нильс Хенрик Абель (1802-1829) и Карл Густав Якоб Якоби (1804-1851), двое из самых талантливых математиков своего времени. Однако вопрос, одержали бы они победу, если бы исходная работа Галуа не потерялась, так и останется без ответа. Можно лишь утверждать, что открытия молодого Галуа в математике можно сравнить лишь с открытиями самого Гаусса.
Гаусс начал свои исследования по теории чисел во время пребывания в Коллегии Карла в 1795 году, но к работе над своим основным трудом, Disquisitiones arithmeticae («Арифметические исследования»), он приступил во время пребывания в Гёттингенском университете с 1795 по 1798 год. Мы это знаем благодаря его научному дневнику, в котором уже в 1796 году появляются два блестящих результата: разложение любого целого числа на три треугольных и построение правильного 17-угольника, о которых мы уже говорили в главе 1. Они оба включены в «Исследования», увидевшие свет в Лейпциге летом 1801 года, через три года после возвращения Гаусса в его родной город Брауншвейг. Ученый снова отложил публикацию своих результатов до тех пор, пока не смог сделать этого в формате книги.
В «Исследованиях» Гаусс придал новое направление теории чисел, которая перестала быть набором разрозненных результатов и превратилась в такую же важную математическую дисциплину, как анализ или геометрия.
Работа разделена на семь глав, или разделов. Первые три раздела вводные, разделы с IV по VI образуют центральную часть работы, а раздел VII — это маленькая монография, посвященная отдельной теме, но связанная с остальными главами.
В разделе I, состоящем всего из пяти страниц, вводятся элементарные понятия, такие как признаки делимости на 3, 9 и 11. Кроме того, Гаусс дает определение сравнения по модулю; это понятие будет раскрыто в разделе II: если заданы целые числа а и b и их разница (а - b или b - а) делится без остатка на число m, мы говорим, что a, b сравнимы по модулю m, и это записывается следующим образом: a = b (mod m). Так, 56 = 6 (mod 5) или 47 = 14 (mod 11).
Сравнения по модулю — очень важное открытие в математике, они помогают выполнять вычисления любого типа. Их идея близка к тому, как работают с обычным циферблатом часов, поэтому сравнения также называют вычислителями часов. Если обычные часы со стрелками показывают 9, и проходит 4 часа, стрелки будут показывать 1. То есть 13=1 (mod 12). Такое вычисление, как 7² = 7 · 7, в итоге дает 1 по модулю 12, поскольку 49, разделенное на 12, в остатке дает 1. Результат сравнения по модулю — это всегда остаток от деления числа на определенный модуль.
Значимость этой системы проявляется, когда речь идет о более сложных вычислениях. Если нужно вычислить 7³ = 7 · 7 · 7, вместо того, чтобы умножать 49 на 7, Гаусс мог ограничиться тем, чтобы умножить 7 на результат последнего сравнения по модулю, то есть 1, произведение будет равно, без сомнения, 7. Так, Гаусс знал, что произведение — это число, которое при делении на 12 в остатке дает 7. Этот метод может быть применен на больших числах, которые превышают возможность вычисления. Не имея ни малейшего понятия о значении 799, с помощью сравнений по модулю ученый знал, что если разделить это число на 12, в остатке получится 7. Исследования Гаусса в этой области арифметики были революционными для математики начала XIX века и позволили ученым обнаруживать структуры, до этого скрытые. Сегодня арифметика сравнений по модулю, также называемая модульной арифметикой, является фундаментальной для безопасности в интернете, где сравнения используются для величин, превышающих количество атомов во Вселенной.
Также преимущество этой записи состоит в том, что она напоминает форму, в которой мы записываем алгебраические выражения. Вместо арифметической делимости, описание которой может быть громоздким, она дает краткую запись, благодаря которой можно складывать, вычитать и умножать сравнения, если их модуль одинаков, а также решать уравнения вида: ах + b == c (mod m).
В заключении к двум первым разделам Гаусс применил эти методы к историческим проблемам, таким как вычисление знаменитой функции φ Эйлера. Функция φ(N) определяется как количество целых положительных чисел, меньших или равных N и взаимно простых с Ν. В математике два числа называются взаимно простыми, если у них нет общих делителей, то есть их наибольший общий делитель — 1. Например, 9 = З² является взаимно простым с 10 = 5 · 2, и его нужно было бы найти при вычислении φ( 10). Множество φ( 10) состоит, следовательно, из четырех элементов (1, 3, 7 и 9), и значит, φ( 10) = 4.
Гаусс вывел общую формулу для вычисления φ(Ν). Если мы разложим N на простые множители ρ1,ρ2, ...,рn, то получим N = р1m1, p2m2 · ... · pnmn, где pi простые числа, a mi — кратность их повторения. Формула имеет вид:
чего и следовало ожидать.
Формула зависит от простых чисел, на которые раскладывается N, а не от кратности их повторения. В случае с N = 180 получается, что 180 = 2² · З² · 5, следовательно,
amxm + am-1xm-1 + ··· +а1x + b == 0 (mod р),
модуль которой р — простое число, не являющееся делителем аm, может быть решена не более чем m различными способами или не может иметь больше m корней, не сравнимых по модулю р.
В разделе III, озаглавленном De residuis Potestatum («О степенных вычетах»), говорится о квадратичных вычетах и вычетах большей степени. Если заданы целые числа тип, где m не является делителем n, и если существует такое число x, что х² = m (mod n), говорят, что m — квадратичный вычет по модулю n; в противном случае говорят, что m — квадратичный невычет по модулю n. Например: 13 — квадратичный вычет по модулю 17, поскольку уравнение х² == 13 (mod 17) имеет в качестве решений х = 8, 25, 42, поскольку 8² = 64, что при делении на 17 дает 13 в остатке, 25² = 625, что при делении на 17 вновь дает 13 в остатке, и то же самое происходит с 42² = 1764.
В разделе доказывается малая теорема Ферма: np-1 == 1 (mod p), где р — простое число, не являющееся делителем n. То есть если р — простое число, которое не является делителем n, то np-1 всегда делится на р. Для случая n = 8 np = 5 получается, что 84-1 = 4095, а это делится на 5. Для получения этого результата Гаусс воспользовался формулой бинома Ньютона, сформулированной для сравнений. Следствием является теорема Вильсона, в которой говорится, что если задано простое число р, то
1·2·3·...·(p-1) = (p-1)! == -1 (mod p).
Произведение всех чисел, меньших заданного простого, при добавлении единицы всегда делится на это число. Если, например, мы выберем 7, то 6! = 720, а 721 делится на 7.
Три первых раздела представляют собой системное введение в теорию чисел и готовят почву для разделов IV и V.
Главный итог раздела IV — это знаменитый квадратичный закон взаимности. Теорема (в виде гипотезы) была сформулирована Эйлером в 1742 году в его письме Гольдбаху. Полвека спустя, в 1798 году, Лежандр опубликовал доказательство, основанное на недоказанных аргументах, так что первое правильное доказательство теоремы принадлежало Гауссу, который называл ее золотой теоремой. В книге Гаусса она сформулирована в следующем виде:
Если р — простое число вида 4n + 1, то +p — вычет (или невычет) по модулю любого простого числа, которое, взятое в положительной форме, является вычетом (или невычетом) по модулю p. Если р имеет вид 4n + 3, то -р обладает тем же свойством.
Скобки в теореме указывают на то, что результат может быть прочитан при исключении содержимого скобок или при включении их при замене непосредственно предшествующего выражения. Проще говоря, существует взаимность между парой сравнений х² == q (mod р) и х² == р (mod q), где р и q — простые числа. То есть если мы можем проверить первое сравнение (х² == q (mod p)), то автоматически проверяется и второе (х² == р (mod q)); и если первое неверно, то неверно и второе. Есть одно исключение, которое состоит в том, что как p, так и q в остатке дают 3, когда делятся на 4; в этом случае одно и только одно из сравнений верно.
Доказательство Гаусса начинается с эвристических соображений, результатом чего является закон для определенных простых чисел. Затем ученый переходит, по индукции, к доказательству общего случая. Это доказательство очень обширное, в нем отдельно рассматриваются восемь различных случаев. Петер Густав Дирихле, который был учеником немецкого математика и одним из главных читателей его книги, упростил доказательство, сократив число случаев до двух. Гаусс заканчивает раздел другими результатами, выводимыми из его теоремы. Только за это доказательство он достоин звания одного из самых талантливых математиков своего времени, но в этой работе будут и другие, не менее важные идеи.
Раздел V — центральная часть книги. Он посвящен выражениям типа F = ах² + 2bху + су², где а,b,с — целые числа; эти выражения были названы Эйлером квадратичными формами. Существенная часть этого раздела не является оригинальной — в ней собраны и унифицированы результаты Лагранжа по этой теме.
Проблема, которую решает Гаусс, — это определение того, какие целые числа М могут быть представлены в виде выражения ах² + 2 bху + су² = М, где x и y — целые числа. Обратная, и более интересная, проблема, которую он также решил, заключается в том, чтобы при заданных М и а, b и с найти значения x и y, которые определяют значение М в квадратичной форме. Для этого Гауссу потребовалось классифицировать квадратичные формы и подойти к ним дифференцированно. С этой целью он использовал два базовых алгебраических свойства квадратичной формы. Гаусс установил классификацию квадратичных форм и их свойств на основе дискриминантов.
В этот раздел также включено доказательство теоремы, относящейся к треугольным числам, о которой мы уже говорили.
В разделе VI представлены многочисленные примеры применения понятий, разработанных в предыдущем разделе. Основные затрагиваемые вопросы — это разложение на простые дроби; то есть разложение дроби на сумму дробей со знаменателями, образованными от знаменателя исходной дроби. Эта техника имеет широкое применение в интегралах рациональных функций, то есть тех, которые могут быть представлены в виде частного многочленов. Также речь идет о периодических десятичных дробях и решении сравнений собственными методами Гаусса. Другая интересная тема — это поиск критериев, которые позволили бы выделять простые числа без трудоемких вычислений. Как мы увидим, изучение простых чисел сопровождало ученого всю его жизнь, но мы рассмотрим это отдельно.
Раздел VII — самая известная часть «Исследований», оказавшая огромное влияние на развитие науки. В этом разделе шла речь о делении круга с помощью линейки и циркуля — классической теме математики. Очевидно, что эта задача связана с построением правильных многоугольников, так что Гаусс включил сюда свое знаменитое построение многоугольника с 17 сторонами, найдя достаточное условие для построения правильного многоугольника с помощью линейки и циркуля.
В мире математики все признают, что «Арифметические исследования» — это не просто сборник замечаний о числах. Работа знаменует собой рождение теории чисел как независимой дисциплины. Ее публикация сделала теорию чисел царицей математики — это определение очень нравилось Гауссу. И все же, несмотря на это, труд был не слишком тепло принят Парижской академией наук, которая сочла его темным и неясным. Одна из причин такого впечатления состоит в том, что Гаусс старался сохранять тайну, исключая или скрывая пути, которые привели его к открытиям. Как и следовало ожидать, математики не до конца поняли новую работу и назвали труд «книгой за семью печатями». Ее сложно читать даже специалистам, но содержащиеся в ней сокровища, включая скрытые в лаконичных синтетических доказательствах, сегодня доступны каждому, кто захочет восхититься ими, в основном благодаря работам Дирихле, который первым разбил эти семь печатей.
Рассказывают, что Дирихле использовал книгу Гаусса как подушку, чтобы ночью некоторые знания перетекли в его голову.
Лагранж также безоговорочно хвалил книгу. В своем письме Гауссу от 31 мая 1804 года он признается:
Если вспомнить, что все изложенные в книге результаты были получены Гауссом в возрасте до 30 лет, остается только удивляться его таланту. Очень вероятно, что именно в память о Гауссе Филдсовская премия — важнейшая награда, которую может получить математик, — вручается только ученым до 40 лет. В отличие от Нобелевской премии, которая обычно вручается ученым, приближающимся к концу карьеры, медали Филдса оставлены для молодых.
В конце 1798 года ученый вернулся в Брауншвейг, где жил до 1807 года. Очевидно, что этот период был критическим для его карьеры. Сначала Гаусс, закончив обучение в Гёттингенском университете, боялся потерять расположение герцога, но в январе 1799 года математик рассказывал Вольфгангу Бойяи, что герцог продолжает выплачивать стипендию, и это позволяет ему жить, посвящая себя исследованиям. Очевидно, что в это время Гаусс был вполне удовлетворен своим математическим прогрессом и с избытком оправдывал ожидания, возложенные на него: он не только блестяще завершил обучение в Гёттингенском университете, но и решил проблему построения правильного многоугольника с 17 сторонами. Во время этого второго периода в Брауншвейге можно заметить расширение научных интересов Гаусса; он впервые посвятил себя вопросам математики, специфически применимым к теоретической и практической астрономии.