В книге логарифмов содержалась также таблица простых чисел, так что острый ум Гаусса начал проверять, нет ли какой-то связи между этими двумя таблицами, и здесь лежат истоки его огромного вклада в теорию простых чисел. Вместо того чтобы прогнозировать точное место простого числа относительно предыдущего, Гаусс попытался понять, можно ли проверить, сколько существует простых чисел, меньших 100, или 1000, или любого другого числа. Есть ли какой-то способ узнать, сколько таких чисел между 1 и N для заданного натурального числа N? Для этого он определил функцию:
π(Ν) = мощность множества {ρ<=Ν, где р — простое число}.
Запись не слишком удачная, поскольку складывается впечатление, что функция каким-то образом связана с числом π, а это не так. Сделав некоторые элементарные вычисления, можно прийти к выводу о том, что простые числа не распределяются равномерно. Например, существует 25 простых чисел, меньших 100; то есть при выборе числа от 1 до 100 у нас есть вероятность 1/4 столкнуться с простым числом. Эта вероятность уменьшается, если мы увеличиваем число Ν. Но следуют ли эти вариации какой-нибудь модели, которую можно выразить математически? Гаусс воспользовался своими таблицами простых чисел, чтобы найти ответ на этот вопрос. Когда он понаблюдал за долей простых чисел, взятых во все больших промежутках, ему показалось, что они следуют некой регулярной структуре. Если мы посмотрим на результат этих наблюдений для различных степеней числа 10, эта регулярность начнет вырисовываться.
| Степени числа 10 | Количество простых чисел (π(Ν)) | Среднее расстояние между простыми числами |
| 10 | 4 | 2,50 |
| 100 | 25 | 4,00 |
| 1000 | 168 | 5,95 |
| 10000 | 1229 | 8,14 |
| 100000 | 9592 | 10,43 |
| 1000000 | 78498 | 12,74 |
| 10000000 | 664579 | 15,05 |
В этой таблице намного больше информации, чем было в распоряжении Гаусса, у которого не было таблиц простых чисел, доходивших до 10000000. Но обычно ему требовалось меньше данных, чем другим людям, чтобы прийти к выводам, так что будет справедливо, если мы воспользуемся этим преимуществом. Если мы посмотрим на таблицу, становится очевидным, что среднее расстояние между последовательными простыми числами увеличивается, и для значений выше 10000 увеличение стабилизируется на 2,3. То есть когда мы умножаем на 10 число N, расстояние между простыми числами увеличивается на 2,3. Именно благодаря этой связи между умножением и сложением Гаусс подумал, что логарифмы могут играть важную роль. Поскольку среднее расстояние увеличивается на 2,3 вместо 1 каждый раз, когда мы умножаем на 10, возникает мысль, что это связано с логарифмом не по основанию 10. Гаусс выяснил, что наиболее подходящим для его вычислений основанием было число е, и, следовательно, он решил воспользоваться натуральными логарифмами. А ln(10) = 2,3034, следовательно, ln( 100) = ln(10 · 10) = ln(\0) + ln( 10), и аналогично при умножении еще на 10.
Это дало Гауссу основание сформулировать следующую гипотезу: для чисел в промежутке от 1 до N средняя удаленность между простыми числами равна ln(N). Следовательно, мы можем определить значение функции π как:
π(Ν) = Ν/ln(N)
Гаусс никогда не думал, что это точная формула. Он считал, что она может использоваться для оценки, для установления какого-то порядка в распределении простых чисел. Гаусс записал это приближение в книге логарифмов, но никому не объяснил своей идеи, поскольку у него не было доказательств правильности этого наблюдения и он не знал, сохранится ли модель по мере увеличения Ν. Такое поведение вполне соответствовало представлениям Гаусса о том, как нужно вести научные исследования. Без доказательства связь между простыми числами и логарифмами для ученого не имела ценности. Однако его идея стала зачатком нового способа решения проблемы и дала в будущем чудесные результаты.
С Гауссом в исследованиях вновь пересекся Лежандр. Французского математика также интересовала теория чисел, и в 1798 году, на шесть лет позже, чем Гаусс, он объявил об обнаружении экспериментальной связи между простыми числами и логарифмами. Результат, который предложил Лежандр, был лучше, поскольку выяснилось, что результат Гаусса удаляется от реальных значений по мере роста N.
π(Ν) = N/(ln(N)-1,08366)
сделав небольшое исправление, которое приближало формулу к реальному графику распределения простых чисел. На самом деле при существующих на то время таблицах простых чисел было почти невозможно различить графики π(Ν) и результат Лежандра. Он приспособил функцию к графику, что было относительно простой задачей при использовании метода наименьших квадратов, и поэтому в формуле появился такой член, как 1,08366, не имеющий в математике самостоятельного значения. Лежандр в своих изысканиях больше заботился о том, чтобы находить практические объяснения, а не искать доказательства. Так, в 1808 году он опубликовал свою гипотезу о простых числах в книге, озаглавленной Theorie des nombres («Теория чисел»), не раскрывая метода, который привел его к этому заключению. Спор о том, кто первым открыл связь между логарифмами и простыми числами, вызвал новую полемику между Гауссом и Лежандром. Свое разрешение она нашла только после смерти Гаусса, когда были изучены его заметки и переписка и было установлено, что он вновь обошел Лежандра. В любом случае уравнение Лежандра с добавленным членом имело довольно неестественный вид, кроме того, не было уверенности, что результат будет хорошим после расширения таблиц простых чисел.
Неудивительно, что Гаусс посвятил свои последние годы улучшению этого результата в поисках более точной и лучше обоснованной с точки зрения математики формулы. Так возникла проблема вычисления вероятностей. Было очевидно, что по мере увеличения N вероятность найти простое число уменьшается. Идея состояла в том, чтобы воспользоваться вероятностями, основанными на выражении
1/ln(N)
Результат Гаусса получил новое выражение:
На самом деле эта формула была небольшой модификацией предыдущей; ученый обозначил ее Li(N) и назвал интегральным логарифмом N; выражение было более точным, поскольку в нем ряд сумм заменялся интегралом, то есть бесконечной суммой. Итак, выражение, заданное Гауссом, имело вид:
Гаусс предположил: π(Ν) = Li(N), что известно как гипотеза Гаусса о простых числах, которая, как мы увидим, превратилась в теорему Гаусса о простых числах. Так немецкий математик снова превзошел Лежандра, хотя для того чтобы доказать его открытие, потребовался огромный технический прогресс в вычислении простых чисел. Чтобы проверить свою гипотезу, Гаусс много времени посвятил построению таблиц простых чисел. В возрасте более 70 лет он написал астроному Иоганну Энке (1791-1865): «Очень часто я пользовался четвертью часа отсутствия дел, чтобы находить простые числа с промежутками размером в тысячу». Что и говорить, весьма оригинальный способ отдыхать! Но благодаря ему Гауссу удалось определить количество простых чисел, меньших 3000000, и он выяснил, что разница по сравнению с результатом его интегральной функции едва равна 0,0007 %. Когда появились более обширные таблицы простых чисел, обнаружилось, что формула Лежандра была гораздо менее точной и давала заметную погрешность для чисел больше 10000000.
С помощью современных методов вычислений было выяснено, что результат Гаусса для простых чисел меньше 1016 отличается от верного значения едва на одну десятимиллионную от 1 %, в то время как результат Лежандра дает отклонение в несколько тысяч миллионов раз больше. Мы можем утверждать, что Гаусс, основываясь на рассуждениях математического характера, превзошел Лежандра, который просто подобрал формулу для доступных ему данных.
Кроме этой первой гипотезы о том, что функция π(Ν) может быть точно оценена функцией Li(N) для бесконечных значений N, Гаусс вывел и вторую гипотезу, поскольку считал, что функция Li(N) в конце концов будет переоценивать реальное количество простых чисел (всегда на бесконечно малый процент) и что эта тенденция будет сохраняться. Это второе утверждение получило название второй гипотезы Гаусса. Доказать ее или опровергнуть было непростой задачей, поскольку в то время еще не было современных компьютеров, которые могли совершить необходимые вычисления. Подтвердить или опровергнуть гипотезы Гаусса можно с помощью строгого математического доказательства: нельзя ограничиться экспериментальным подтверждением, поскольку какой бы длинной ни была составленная таблица простых чисел, всегда будут сомнения в том, сохранится ли эта тенденция по мере продвижения ко все большим числам. Для математики возможности экспериментальной проверки на невообразимо больших числах недостаточно, и в этом ее отличие от других наук.
В проверке гипотез Гаусса заметную роль играл Бернхард Риман, которого можно назвать его лучшим учеником.
В 1809 году Вильгельм фон Гумбольдт (1767-1835) стал министром образования Пруссии и совершил революцию в образовательной системе. Изучение математики впервые получило большое значение в новых гимназиях и университетах, студентов воодушевляли изучать математику как таковую, а не только в качестве вспомогательной дисциплины на службе у других наук. Но эта тенденция весьма отличалась от французского подхода, в котором превалировало утилитарное знание. Одним из тех, кому удалось воспользоваться этим изменением, был Риман, на тот момент один из самых способных студентов-математиков в Германии. После окончания учебы в Люнебурге (государство Ганновер), следуя желанию своего отца-священнослужителя, он в 1846 году поступил в Гёттингенский университет, который славился преподаванием теологии. Так судьба свела Римана с уже пожилым Гауссом. Через некоторое время молодой студент убедил своего отца разрешить ему заменить изучение теологии на математику. Риман в течение двух лет учился в Берлинском университете, поскольку в Гёттингене, по его мнению, было мало интеллектуальных стимулов, помимо Гаусса. В Берлине он завязал общение с Дирихле, который предложил студенту первые задачи с простыми числами. Во время пребывания в Берлине Бернхарду удалось изучить записи Гаусса с гипотезами о простых числах.
Риман вернулся в Гёттинген в 1849 году, чтобы закончить докторскую диссертацию и отдать работу на оценку своему учителю, Гауссу. Он сделал это в 1854 году, за год до смерти наставника.
Когда Риман начал заниматься простыми числами, нужно было доказать еще две гипотезы Гаусса. Во-первых, что функция π(Ν) может быть точно выражена Li(N) для любого N, то есть что разница между ними является бесконечно малой, таким образом, ее предел стремится к нулю. И во-вторых, что Li(N) > π(Ν) для любого значения Ν. Чтобы взяться за проблему, Риман ввел знаменитую дзета-функцию, которая определяется следующим образом:
где z — комплексное число, отличное от 1. У этой функции есть значения, в которых она равна нулю, такие как z = -2, z = -4 и другие, известные под названием тривиальных нулей. Нетривиальные нули — это те, для которых действительная часть строго больше нуля, но строго меньше 1. Вспомним, что комплексное число всегда имеет вид а + bi где а и b — действительные числа. Итак, для нетривиальных нулей справедливо 0 < а < 1.
Риман своим определением всего лишь обобщил функцию, изученную Эйлером, который обозначил ее так же:
Разница между дзета-функцией Римана и функцией Эйлера состоит в области определения. Для Эйлера х имеет действительное значение, в то время как у Римана z — комплексное число. Следовательно, функция Эйлера принимает действительные значения, в то время как функция Римана принимает комплексные значения.
Интерес математиков к этой бесконечной сумме, известной как ряд, происходит из мира музыки, и этот ряд появился раньше исследований Эйлера, хотя именно он изучил его наиболее глубоко и нашел связь с простыми числами. Пифагор заметил, что звук, издаваемый сосудом с водой, зависит от количества содержащейся в нем жидкости. Оказалось, что звуки гармоничны, если количество воды является частью от целого, дробью с числителем 1, то есть 1, 1/2, 1/3, 1/4, ... Пифагор назвал этот ряд гармоническим. Сумма гармонического ряда равноценна тому, что в дзета-функции Эйлера х взяли равным 1. Можно доказать, что сумма этого ряда бесконечна. На первый взгляд это очевидный результат, поскольку если мы сложим бесконечное количество положительных чисел, сумма будет расти и в конце концов примет бесконечное значение. Но дело в том, что это не так: для х = 2 ряд расходится. Действительно, Эйлер доказал, что значение
В истории математики не всегда было ясно, будет ли сумма бесконечного числа положительных членов обязательно равна бесконечности, и даже появились философские теории, посвященные этому.
Первый большой результат, связывающий дзета-функцию с простыми числами, был получен Эйлером в 1737 году. Он утверждает, что
Эйлер разложил каждый член ряда на произведение простых чисел. Например,
1/90 = 1/2 1/З² 1/5
Риман глубоко изучил функцию, введенную Эйлером, а также расширил сферу применения функции от действительных к комплексным числам.
Когда область определения расширяется до комплексных чисел, с функцией становится намного сложнее работать. Для начала, ее невозможно представить графически.
Дзета-функция, которой пользовался Эйлер, — это действительная функция с действительным значением, то есть для действительного значения мы получаем результат, который также является действительным значением. Например, мы знаем, что
Благодаря этому можно изобразить функцию в виде графика на плоскости, которую математики обозначают R². Когда мы меняем область определения функции, то есть множество, в котором она принимает значения, на множество комплексных чисел, результат функции также становится комплексным числом. Если мы сочтем, как это сделал Эйлер, что комплексное число a + bi может быть представлено как пара (a, b) е R², и то же самое справедливо для ζ(α + bi), которое также является комплексным числом, то получается, что его графическое представление должно осуществляться в R4, то есть в пространстве из четырех измерений. Построение графиков в пространствах из четырех измерений нам недоступно, однако Риман смог вообразить эту функцию в четырех измерениях и понял, что существует связь между простыми числами и нетривиальными нулями функции, то есть теми, действительная часть которых лежит строго между 0 и 1.
При этом он начал с вычисления нетривиальных нулей функции и на основе этих вычислений и глубокого понимания сути дзета-функции предположил, что действительная часть любого нетривиального нуля функции равна 1/2. Это утверждение известно как гипотеза Римана.
Риман сразу же понял, что его гипотеза может объяснить причину, по которой результат Гаусса с функцией Li(N) оказался таким точным. Позже было доказано, что гипотеза Римана эквивалентна первой гипотезе о простых числах Гаусса.
Перфекционизм, которым страдал Риман в период своего обучения, чуть не помешал ему записать свои открытия. Без сомнения, так сказывалось влияние Гаусса, который настаивал на том, что публиковать следует только идеальные доказательства, абсолютно лишенные пробелов. В ноябре 1859 года Риман опубликовал в ежемесячных заметках Берлинской академии эссе о своих открытиях. Этим десяти страницам плотных математических рассуждений было суждено быть единственными, которые Риман опубликовал по вопросу простых чисел, и несмотря на это они оказали значительное влияние на восприятие данных чисел в будущем. И все же, несмотря на блестящую интуицию Римана, эссе не было оценено. Вслед за своим учителем, Гауссом, Риман уничтожил все «леса». Главный тезис эссе состоял в том, что функция L.(N) Гаусса будет предоставлять каждый раз все лучшее приближение к функции π(Ν) по мере нашего продвижения в расчетах. Хотя Риман предложил инструмент доказательства гипотезы Гаусса, решение осталось вне досягаемости. Впрочем, Риман ввел форму, с помощью которой в будущем оказалось возможным подступиться к проблеме. Доказательство гипотезы Римана сразу же захватило математиков.
Давид Гильберт, математик, предложивший в 1900 году знаменитый список ИЗ 23 НЕРЕШЕННЫХ ПРОБЛЕМ
В 1890 году по предложению Шарля Эрмита (1822-1901), одного из главных французских знатоков теории чисел, Парижская академия учредила премию — Grand Prix des Sciences Mathematiques — за доказательство первой гипотезы Гаусса о простых числах. Работу по этой теме представил ученик Эрмита, Жак-Саломон Адамар (1865-1963). Хотя он не предложил полного доказательства, его идей было достаточно для того, чтобы стать лауреатом премии. В 1896 году Адамару удалось заполнить лакуны своего первого доказательства, и ему не нужно было опираться на гипотезу Римана о том, что у нетривиальных нулей действительная часть равна одной второй. Адамару достаточно было доказать, что ни у одного нетривиального нуля нет действительной части, большей единицы, и он смог это сделать.
Спустя век после того, как Гаусс открыл связь между простыми числами и логарифмической функцией, наконец появилось доказательство гипотезы Гаусса о простых числах. Поскольку речь шла уже не о гипотезе, с этого момента она стала называться теоремой Гаусса о простых числах. Безусловно, Адамар не смог бы достичь успеха в своей работе без вклада Римана. Адамару пришлось разделить славу с бельгийским математиком Шарлем ла Валле Пуссеном (1866-1962), который в том же году нашел другое доказательство того же результата.
Следовательно, теперь оставалось только доказать или опровергнуть вторую гипотезу Гаусса о простых числах. Но если доказательство гипотезы Гаусса было подвигом, то попытка оспорить его догадку требовала уже поистине нечеловеческих усилий. Однако Джон Идензор Литлвуд (1885-1977), английский математик первой половины XX века, взялся за работу. Литлвуд был выдающимся учеником Годфри Харолда Харди (1877-1947), он получил известность благодаря работам по теории чисел, неравенств и теории функций. В 1912 году Литлвуд открыл, что гипотеза Гаусса — это мираж, что существуют области, где истинное количество простых чисел недооценено. Он осуществил доказательство с помощью математических рассуждений, поскольку нет способа наглядно аргументировать, что Гаусс ошибся. И на самом деле до сегодняшнего дня никому не удалось дойти до области чисел, в которой гипотеза Гаусса оказалась бы ложной. Несколькими годами позже, в 1933 году, студент Литлвуда по имени Стенли Скьюз (1899-1988) установил, что только когда обнаружатся простые числа порядка 10101034, мы столкнемся с недооценкой количества простых чисел со стороны интегрального логарифма Гаусса. Но речь идет о настолько огромном числе, что мы должны проявить снисхождение к неточности, допущенной великим мастером.
ГЛАВА 5
Вклад в геометрию и физику
Гаусса с юности привлекала геометрия. Необычайная изобретательность привела его к поиску альтернатив евклидовой геометрии, которая в его время считалась единственно возможной. Также ученый внес большой вклад в дифференциальную и прикладную геометрию, особенно в геодезию. В области физики он сотрудничал с такими известными фигурами, как Вебер и Гумбольдт, и оставил свой след в таких разделах, как магнетизм и динамика.
Гаусс был человеком постоянных привычек, и он не хотел менять их по причинам, которые считал незначительными. Так, он всячески избегал длительных поездок, разве что речь шла о том, чтобы добыть материал для научной работы. Математик вполно комфортно чувствовал себя в Гёттингене или Брауншвейге, и его жизнь мирно протекала в этих городах и их окрестностях.
Как и другие великие ученые того времени, Гаусс получал многочисленные приглашения читать лекции из других городов и даже стран. Гёттинген был маленьким провинциальным городом, и многие считали, что главному математическому гению Германии следовало бы жить в более прогрессивном центре страны — Берлине. В 1822 году и в период 1824-1825 годов между образовательными властями Берлина и Гауссом шли серьезные переговоры о его переезде в университет столицы Пруссии. Эта территория недавно сбросила с себя французское владычество, и ее население вновь охватывал дух национального возрождения. Братья Гумбольдты — Александр (1769— 1859), ученый и исследователь, и Вильгельм (1767-1835), просвещенный политик, — пытались возбудить в австрийцах патриотическое чувство, поэтому для них было очень важно, чтобы Гаусс оказался в том месте, которое должно было стать истоком новой страны. С другой стороны, вторая супруга ученого, Минна (как и остальные члены ее семьи) подталкивала Гаусса переехать в Берлин, где было больше новых возможностей. В это же время скончался секретарь научного отдела Берлинской академии, и Гауссу сразу же предложили эту престижную и намного выше оплачиваемую должность, чем была у него в Гёттингене.
Берлин в это время был самым мощным центром государства, и казалось естественным, что лучшие немецкие ученые жили именно там. Гаусс среди этих ученых занимал почетное место, но сам он не испытывал никакой охоты к перемене мест, поэтому никогда лично не участвовал в переговорах об этом. Несмотря на усилия Карла Генриха Линденау (1755-1842), нового главы министерства, математик не проявлял никакого интереса к звучавшим заманчивым предложениям.
Гаусс был консерватором, ему было очень комфортно в спокойном городе, мало открытом переменам, происходившим в то время во всей Европе, поэтому переезжать он не торопился. Однако в конце 1825 года сложилась ситуация, когда казалось, что математика удалось уговорить. Гаусс даже проинформировал правительство Ганновера, на территории которого находится Гёттинген, что планирует переехать в Берлин и быть в подчинении государства Пруссия. Сразу же после этого изначально неуступчивый Ганновер увеличил ученому зарплату до того уровня, который ему предложили в Берлине. Также Гауссу предложили повысить его в должности и реконструировать обсерваторию, в которой протекала жизнь ученого. Естественно, Гаусс тут же ухватился за возможность остаться в Гёттингене. Это решение расстроило и даже разочаровало многих его друзей, участвовавших в патриотическом движении возрождения страны, таких как Ольберс, Фридрих Вильгельм Бессель (1784-1846) — математик и астроном, с которым Гаусс поддерживал переписку, и, конечно, Линденау. Для них Берлин был единственным местом, достойным Гаусса. Они считали, что государство Пруссия — это зачаток объединенной Германии. Впрочем, несмотря на то что ученый остался в маленьком Гёттингене, его реальное влияние на научную жизнь было ничуть не меньше, чем если бы он отправился в Берлин, чтобы начать в Пруссии новую карьеру. Гаусс обладал огромным личным авторитетом, его публикации пользовались широкой известностью и, конечно же, сыграли свою роль и в развитии научной деятельности, и в технологическом и экономическом прогрессе его страны в первой трети XIX века.
Беременности и роды, которые следовали друг за другом три раза с1811 по 1816 годы, подорвали здоровье Минны Гаусс, женщина больше не могла активно заниматься домом и отказалась от общественной деятельности, так что она не слишком настаивала на переезде в Берлин, хотя и не была против.
Совместная жизнь Гаусса с Минной протекала довольно мирно, чего нельзя сказать о его отношениях с детьми, особенно от второго брака. Исключением стала только самая младшая дочь — Тереза, которая заботилась о Гауссе до его смерти. Старший сын ученого от первого брака, Иосиф, также поддерживал с отцом теплые отношения и даже помогал ему в некоторых работах. Но об этом мы поговорим позже. Будучи военным, Иосиф не очень часто общался с отцом, но Гаусс получал искреннее удовольствие от этого общения и гордился профессиональными успехами сына, о которых тот ему писал. Отношения с двумя сыновьями от Минны были ужасными, оба они, Ойген и Вильгельм, уехали в Северную Америку, спасаясь от семейных конфликтов. Ойген всегда упрекал Гаусса за то, что тот потребовал, чтобы сын занимался юриспруденцией, к которой сам Ойген не испытывал никакого интереса.
Несмотря на то что Гаусс пользовался огромным уважением, из-за своего замкнутого характера он стремился заниматься только своими исследованиями и старался остаться незамеченным, хотя иногда мог бы воспользоваться своим авторитетом, чтобы помочь друзьям. Показательно в этом смысле известное дело Гёттингенской семерки 1837 года. В этом году умер король Англии Вильгельм IV, его сменила королева Виктория, однако салический закон, действовавший в государстве Ганновер, запрещал женщине наследовать власть, хотя в тот момент государство входило в состав английской короны. Чтобы спасти положение, было заключено соглашение, и в Ганновере стал править дядя Виктории, Эрнст Август, герцог Камберлендский. Через год новый король отменил Конституцию и другие свободы, что вызвало реакцию со стороны семи профессоров; в их число входили и Вильгельм Вебер, с которым Гаусс уже несколько лет сотрудничал в области изучения физики, и Георг Генрих Август Эвальд (1803-1875), ориенталист, зять Гаусса и его большой помощник. Эти семь преподавателей подписали формальный протест, выступив против абсолютистских действий власти, совершенно не соответствующих духу того времени. Король Эрнст Август, презрев ценных ученых, высокомерно заявил, что может «найти новых преподавателей так же легко, как и балерин балета». Вследствие этого семь подписавшихся потеряли работу и были уволены из университета. Официально Гаусс не выступил в пользу подписавшихся, хотя похоже, что он действовал приватно, встретившись с королем и предложив ему соглашение для восстановления ученых в должности. Однако договор предполагал настолько унизительные и неприемлемые условия этого восстановления для Вебера и Эвальда, что те не пошли на уступки и были вынуждены уехать. Для Гаусса отъезд Вебера означал конец интенсивного сотрудничества, хотя до 1840 года у них были совместные проекты — «Университетский журнал» и «Атлас геомагнетизма».