Если бы числа могли говорить. Гаусс. Теория чисел
Шрифт:
Если р — простое число вида 4n + 1, то +p — вычет (или невычет) по модулю любого простого числа, которое, взятое в положительной форме, является вычетом (или невычетом) по модулю p. Если р имеет вид 4n + 3, то -р обладает тем же свойством.
Скобки в теореме указывают на то, что результат может быть прочитан при исключении содержимого скобок или при включении их при замене непосредственно предшествующего выражения. Проще говоря, существует взаимность между парой сравнений х^2 == q (mod р) и х^2 == р (mod q), где р и q — простые числа. То есть если мы можем проверить первое сравнение (х^2 == q (mod p)), то автоматически проверяется и второе (х^2 == р (mod q)); и если первое неверно, то неверно и второе. Есть одно исключение, которое состоит в том, что как p, так и q в остатке дают 3, когда делятся на 4; в этом случае одно и только
Доказательство Гаусса начинается с эвристических соображений, результатом чего является закон для определенных простых чисел. Затем ученый переходит, по индукции, к доказательству общего случая. Это доказательство очень обширное, в нем отдельно рассматриваются восемь различных случаев. Петер Густав Дирихле, который был учеником немецкого математика и одним из главных читателей его книги, упростил доказательство, сократив число случаев до двух. Гаусс заканчивает раздел другими результатами, выводимыми из его теоремы. Только за это доказательство он достоин звания одного из самых талантливых математиков своего времени, но в этой работе будут и другие, не менее важные идеи.
Раздел V — центральная часть книги. Он посвящен выражениям типа F = ах^2 + 2bху + су^2, где а,b,с — целые числа; эти выражения были названы Эйлером квадратичными формами. Существенная часть этого раздела не является оригинальной — в ней собраны и унифицированы результаты Лагранжа по этой теме.
Проблема, которую решает Гаусс, — это определение того, какие целые числа М могут быть представлены в виде выражения ах^2 + 2 bху + су^2 = М, где x и y — целые числа. Обратная, и более интересная, проблема, которую он также решил, заключается в том, чтобы при заданных М и а, b и с найти значения x и y, которые определяют значение М в квадратичной форме. Для этого Гауссу потребовалось классифицировать квадратичные формы и подойти к ним дифференцированно. С этой целью он использовал два базовых алгебраических свойства квадратичной формы. Гаусс установил классификацию квадратичных форм и их свойств на основе дискриминантов.
В этот раздел также включено доказательство теоремы, относящейся к треугольным числам, о которой мы уже говорили.
В разделе VI представлены многочисленные примеры применения понятий, разработанных в предыдущем разделе. Основные затрагиваемые вопросы — это разложение на простые дроби; то есть разложение дроби на сумму дробей со знаменателями, образованными от знаменателя исходной дроби. Эта техника имеет широкое применение в интегралах рациональных функций, то есть тех, которые могут быть представлены в виде частного многочленов. Также речь идет о периодических десятичных дробях и решении сравнений собственными методами Гаусса. Другая интересная тема — это поиск критериев, которые позволили бы выделять простые числа без трудоемких вычислений. Как мы увидим, изучение простых чисел сопровождало ученого всю его жизнь, но мы рассмотрим это отдельно.
В алгебре дискриминант многочлена — это некое выражение из коэффициентов данного многочлена, которое равно нулю тогда и только тогда, когда у многочлена множественные корни. Например, дискриминант квадратного многочлена ах^2 + bх + с равен b^2-4ac, поскольку формула корня данного многочлена следующая:
то есть достаточно, чтобы дискриминант в том виде, в каком мы его определили, был равен нулю, чтобы получить единое двойное решение. В случае с многочленом х^2-4х + 4, поскольку у него нулевой дискриминант, мы получаем один двойной корень (2), так что, применив основную теорему алгебры, получаем х^2-4х + 4 = (х - 2)^2.
Раздел VII — самая известная часть «Исследований», оказавшая огромное влияние на развитие науки. В этом разделе шла речь о делении круга с помощью линейки и циркуля — классической теме математики. Очевидно, что эта задача связана с построением правильных многоугольников, так что Гаусс включил сюда свое знаменитое построение многоугольника с 17 сторонами, найдя достаточное условие для построения правильного многоугольника с помощью линейки и циркуля.
В мире математики все признают, что «Арифметические исследования» — это не просто сборник замечаний о числах. Работа знаменует собой рождение теории чисел как независимой дисциплины. Ее публикация сделала теорию чисел царицей математики — это определение очень нравилось Гауссу. И все же, несмотря на это, труд был не слишком тепло принят Парижской академией наук, которая сочла его темным и неясным. Одна из причин такого впечатления состоит в том, что Гаусс старался сохранять тайну, исключая или скрывая пути, которые привели его к открытиям. Как и следовало ожидать, математики не до конца поняли новую работу и назвали труд «книгой за семью печатями». Ее сложно читать даже специалистам, но содержащиеся в ней сокровища, включая скрытые в лаконичных синтетических доказательствах, сегодня доступны каждому, кто захочет восхититься ими, в основном благодаря работам Дирихле, который первым разбил эти семь печатей.
Рассказывают, что Дирихле использовал книгу Гаусса как подушку, чтобы ночью некоторые знания перетекли в его голову.
Лагранж также безоговорочно хвалил книгу. В своем письме Гауссу от 31 мая 1804 года он признается:
«Ваши «Исследования» быстро возвели Вас до уровня первых математиков, и я считаю, что последний раздел содержит самое красивое аналитическое открытие, которое только было сделано за последнее время [...]. Я думаю, что никто более искренне не аплодирует Вашим достижениям, чем я».
Если вспомнить, что все изложенные в книге результаты были получены Гауссом в возрасте до 30 лет, остается только удивляться его таланту. Очень вероятно, что именно в память о Гауссе Филдсовская премия — важнейшая награда, которую может получить математик, — вручается только ученым до 40 лет. В отличие от Нобелевской премии, которая обычно вручается ученым, приближающимся к концу карьеры, медали Филдса оставлены для молодых.
В конце 1798 года ученый вернулся в Брауншвейг, где жил до 1807 года. Очевидно, что этот период был критическим для его карьеры. Сначала Гаусс, закончив обучение в Гёттингенском университете, боялся потерять расположение герцога, но в январе 1799 года математик рассказывал Вольфгангу Бойяи, что герцог продолжает выплачивать стипендию, и это позволяет ему жить, посвящая себя исследованиям. Очевидно, что в это время Гаусс был вполне удовлетворен своим математическим прогрессом и с избытком оправдывал ожидания, возложенные на него: он не только блестяще завершил обучение в Гёттингенском университете, но и решил проблему построения правильного многоугольника с 17 сторонами. Во время этого второго периода в Брауншвейге можно заметить расширение научных интересов Гаусса; он впервые посвятил себя вопросам математики, специфически применимым к теоретической и практической астрономии.
Дирихле (1805-1859) — немецкий математик XIX века. Он получил образование в Германии, а затем во Франции, где учился у многих самых известных математиков своего времени, таких как Фурье. После выпуска работал преподавателем в университетах Бреслау (1826-1828),
Берлина (1828-1855) и Гёттингена, где получил кафедру, оставленную Гауссом после его смерти. Многие свои работы Дирихле посвятил тому, чтобы дополнить труд Гаусса, приводя полные доказательства его результатов, чтобы они стали более доступными будущим поколениям математиков. Его самый значительный вклад сделан в теорию чисел, где он уделил особое внимание изучению рядов и развил теорию рядов Фурье. Первая публикация ученого включала в себя частичное доказательство теоремы Ферма для случая n = 5, которое также нашел Адриен Мари Лежандр, один из рецензентов. Дирихле нашел свое доказательство почти одновременно с Лежандром, а потом успешно продолжил его для п = 14. Математик применил аналитические функции к вычислению арифметических задач и установил критерии сходимости рядов. В области математического анализа он усовершенствовал определение и понятие функции. Дирихле приписывают современное понимание функции в математике.