Простая одержимость

Вопрос о том, можно ли доказать ТРПЧ элементарными методами, оставался открытым, но по прошествии нескольких десятилетий общее мнение утвердилось в том, что это невозможно. Так, в тексте Алберта Ингэма 1932 года «Распределение простых чисел» автор сообщает в подстрочном примечании: «Доказательство теоремы о распределении простых чисел „в терминах вещественных переменных“, т.е. доказательство, не вовлекающее, будь то явным или неявным образом, понятие аналитической функции комплексной переменной, никогда не было обнаружено, и теперь понятно, почему так и должно быть».

Ко всеобщему изумлению, такое доказательство было обнаружено в 1949 году Атле Сельбергом — норвежским математиком, работавшим в Институте высших исследований в Принстоне, штат Нью-Джерси.[70] История получения этого результата неоднозначна, поскольку Сельберг предварительно сообщил о своих, еще неокончательных, идеях эксцентричному венгерскому математику Паулю Эрдешу, который использовал их и получил свое собственное доказательство одновременно с Сельбергом. После смерти Эрдеша в 1996 году были написаны две его популярные биографии, и любознательный читатель может найти полный отчет об этой запуганной истории в любой из них. Доказательство называется «доказательством Эрдеша-Сельберга» в Венгрии и «доказательством Сельберга» за ее пределами.^{A2}

В дополнение к своим исследованиям Чебышев был замечательным научным руководителем, умевшим увлечь своими темами. Его ученики несли идеи и методы учителя в другие российские университеты, повсюду пробуждая интерес и поднимая уровень преподавания. Сохраняя активность и на восьмом десятке лет, Чебышев был также оригинальным изобретателем, сконструировавшим несколько арифмометров, которые сохранились до нашего времени в музеях Москвы и Парижа. В его честь назван лунный кратер, расположенный около 135°W 30°S.[71]

IV.

Я не могу расстаться с Чебышевым, не упомянув, по крайней мере мимоходом, о его знаменитом отклонении — знаменитом, я хочу сказать, среди специалистов по теории чисел.

Если разделить простое число (отличное от 2) на 4, то остаток должен быть или 1, или 3. Демонстрируют ли простые числа какое-нибудь отклонение? Да: в пределах до p = 101 имеются 12 простых, которые дают остаток 1, и 13 тех, что дают остаток 3. В пределах до p = 1009 счет равен 81 к 87. В пределах до p = 10 007 счет равен 609 к 620. Ясно видно, что остаток 3 встречается не намного, но все же отчетливо чаще, чем остаток 1. Это дает пример чебышевского отклонения, первое замечание Чебышева о котором относится к 1853 году. Отклонение, которое таким образом выказывают остатки, в конце концов нарушается при p = 26 861, когда простые, дающие остаток 1, на короткое время вырывают первенство. Однако это не более чем единовременное отклонение: настоящая первая зона, где происходит нарушение, составлена из 11 простых чисел от p = 616 877 до p = 617 011. Простые с остатком 1 удерживают лидерство только для 1939 из первых 5,8 миллиона простых (предел, до которого я дошел в своих проверках). Они ни разу не вырываются вперед среди последних 4 988 472 из этих простых чисел.

Что касается делителя 3, то для него отклонение выражено даже еще радикальнее. Здесь остаток (для чисел, больших p = 3) может быть или 1, или 2, и имеющееся отклонение — в пользу 2. Оно ни разу не нарушается до p = 608 981 813 029. Вот это вам отклонение! Нарушение выявили в 1978 году Картер Бейс и Ричард Хадсон. Нам еще представится случай упомянуть чебышевское отклонение в главе 14.

V.

Осенью 1852 года — первого года работы над своей диссертацией на право чтения лекций — Риман снова встретил Дирихле. Весь эпизод достаточно трогателен, и я приведу отрывок из биографии, написанной Дедекиндом: