41,43, 47, 53,61,71,83,97,113, 131, 151,173, 197, 223, 251,281, 313, 347, 383, 421, 461, 503, 547, 593, 641, 691, 743, 797, 853, 911, 971, 1033, 1097, 1163, 1231,1301, 1373,1447, 1523,1601.
Все эти числа простые. Начало казалось многообещающим, но при x = 40 и х=41 формула давала составные числа. И снова формула непрерывного и бесконечного порождения простых чисел ускользнула. Также Эйлер открыл, что если изменить независимый член уравнения и вместо 41 подставить 2, 3, 5, 11, 17, также получаются простые числа, но этот ряд всегда в конце концов прерывается. В 1751 году Эйлер пишет: «Есть некоторые загадки, в которые человеческий разум никогда не проникнет. Чтобы убедиться в этом, достаточно бросить взгляд на таблицы простых чисел. Мы заметим, что в них нет ни порядка, ни закона». Если даже великий Эйлер сдался, то проблема действительно серьезна. Так обстояли дела, когда вопросом заинтересовался Гаусс. Наш герой искренне восхищался Эйлером и даже сказал о нем, имея в виду теорию чисел:
«Особая красота этой сферы привлекала всех, кто активно занимался ее развитием; но никто не выражал этого так ярко, как Эйлер, который почти во всех своих многочисленных работах, посвященных теории чисел, постоянно говорит о том удовольствии, которое он получает от этих исследований и от приятных изменений, происходящих в работах, наиболее прямо связанных с практическим применением».
ГИПОТЕЗЫ ГАУССА О ПРОСТЫХ ЧИСЛАХ
Как вы уже поняли, в течение многих веков математики безуспешно пытались найти формулу, которая бесконечно генерировала бы простые числа. Но Гаусс решил пойти другим путем и использовать новую стратегию. Собственно, этим он славился с юных лет: гениальность Гаусса в том и состояла, что он всегда шел к решению собственными путями, избегая очевидного и многажды опробованного. Ученый оставил поиск универсальных формул (путь, который всегда заводил в тупик), он попытался найти закономерность в распределении простых чисел и, если это возможно, математические выражения, определявшие эту закономерность. Так наметился перелом в подходе к проблеме, а последующие поколения математиков получили обширный материал для изучения, на основе которого были сделаны перспективные открытия. Идея Гаусса состояла в том, чтобы связать распределение простых чисел с логарифмами по основанию е. Казалось, что эта идея буквально вспыхнула в его живом математическом уме, однако на самом деле она вынашивалась годами, а полученные результаты надолго пережили ученого.
В 14 лет Гаусс получил в подарок книгу о логарифмах — необходимом инструменте для любого, кто интересуется арифметикой. С появлением математических калькуляторов логарифмы утратили часть своего значения, и сейчас их изучают не так интенсивно, как это было десятки лет назад. Причина в том, что логарифмы позволяли очень упростить математические операции.
ПРИМЕНЕНИЕ ЛОГАРИФМОВ
Если даны два действительных числа b и х, можно сказать, что z — это логарифм х по основанию b, если b, возведенное в степень z, дает х. Выражаясь математически:
logbx=z↔bz=x.
У логарифмов есть два свойства, которые делают их очень удобными для арифметических операций. С одной стороны, логарифм произведения — это сумма логарифмов, а его частное превращается в разность. Так,
logb(x · y) = logbx+logby, и, кроме того, logb(x/y) = logbx-logby,
что позволяет осуществлять умножение и деление как сложение и вычитание с помощью таблиц логарифмов, которые совсем недавно были знакомы каждому школьнику. Благодаря замене умножения сложением, которую делают возможной логарифмы, ускорилось развитие навигации и торговли; таблицы логарифмов и обратных им величин стали очень популярны. Первую таблицу логарифмов составил в 1614 году шотландец Джон Непер (1550-1617). Математики поняли, что основание логарифма может меняться, благодаря чему стал очень популярным логарифм по основанию е. Это иррациональное число, принимающее значение 2,718182..., было впервые определено Эйлером и присутствует во многих математических выражениях. Число е можно получить как сумму
где n! — факториал натурального числа п.
Логарифмы по основанию е называют натуральными и обозначают In.
В книге логарифмов содержалась также таблица простых чисел, так что острый ум Гаусса начал проверять, нет ли какой-то связи между этими двумя таблицами, и здесь лежат истоки его огромного вклада в теорию простых чисел. Вместо того чтобы прогнозировать точное место простого числа относительно предыдущего, Гаусс попытался понять, можно ли проверить, сколько существует простых чисел, меньших 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( ) + ln( 10), и аналогично при умножении еще на 10.
Это дало Гауссу основание сформулировать следующую гипотезу: для чисел в промежутке от 1 до N средняя удаленность между простыми числами равна ln(N). Следовательно, мы можем определить значение функции π как:
π(Ν) = Ν/ln(N)
Гаусс никогда не думал, что это точная формула. Он считал, что она может использоваться для оценки, для установления какого-то порядка в распределении простых чисел. Гаусс записал это приближение в книге логарифмов, но никому не объяснил своей идеи, поскольку у него не было доказательств правильности этого наблюдения и он не знал, сохранится ли модель по мере увеличения Ν. Такое поведение вполне соответствовало представлениям Гаусса о том, как нужно вести научные исследования. Без доказательства связь между простыми числами и логарифмами для ученого не имела ценности. Однако его идея стала зачатком нового способа решения проблемы и дала в будущем чудесные результаты.
С Гауссом в исследованиях вновь пересекся Лежандр. Французского математика также интересовала теория чисел, и в 1798 году, на шесть лет позже, чем Гаусс, он объявил об обнаружении экспериментальной связи между простыми числами и логарифмами. Результат, который предложил Лежандр, был лучше, поскольку выяснилось, что результат Гаусса удаляется от реальных значений по мере роста N.
