Величайшие математические задачи

Наглядным примером служит гипотеза Пойа, которую в 1919 г. выдвинул венгерский математик Дьердь Пойа. Он предположил, что по крайней мере половина всех целых чисел вплоть до заданной величины имеет нечетное число простых множителей. Повторяющиеся множители в данном случае учитываются отдельно, а начинаем мы с 2. К примеру, число простых множителей для предела 20 приведено в табл. 2, где последняя колонка отражает процент чисел до данного предела с нечетным числом простых множителей.

Все значения в последней колонке выше 50 %, а более обширные расчеты позволяют предположить, что это всегда так. В 1919 г., без всяких компьютеров, исследователи не смогли найти чисел, которые опровергли бы эту гипотезу. Но в 1958 г. Брайан Хазелгроув доказал при помощи аналитической теории чисел, что гипотеза Пойа неверна для некоего числа — числа, не превосходящего 1,845 × 10³⁶¹, если быть точным. Как только на сцене появились компьютеры, Шерман Леман показал, что гипотеза неверна для 906 180 359. К 1980 г. Минору Танака доказал, что минимальное из таких чисел 906 150 257. Так что вы могли бы собрать экспериментальные данные по всем числам почти до миллиарда и не понять, что гипотеза неверна.

Тем не менее приятно знать, что число 906 150 257 необычайно интересно.

Разумеется, сегодняшние компьютеры, если их как следует запрограммировать, опровергли бы гипотезу Пойа в несколько секунд. Но иногда не помогают даже они. Классический пример — число Скьюза, где первоначально громадное количество численных данных указывало на то, что некая знаменитая гипотеза верна, но на самом деле она неверна. Это гигантское число появилось в задаче, тесно связанной с гипотезой Римана: аппроксимацией π(x) функции Li(x). Как мы только что видели, теорема о распределении простых чисел утверждает, что, когда x становится большим, отношение этих двух величин стремится к 1. Численные расчеты указывают на более сильное утверждение: это отношение всегда меньше 1, т. е. π(x) меньше Li(x). В 2008 г. численные расчеты Тадея Котника показали, что это верно для x меньше 10¹⁴. К 2012 г. Дуглас Столл и Демишель повысили этот предел до 10¹⁸, и такой же результат независимо от них получил Андрей Кульша. А расчеты Томаша Оливейра-и-Сильва позволяют предположить, что предел может быть увеличен до 10²⁰.

Таблица 2. Процент чисел до заданного предела, имеющих нечетное число простых множителей

Звучит, кажется, исчерпывающе. Данные здесь сильнее, чем лучшие численные результаты, полученные до сих пор для гипотезы Римана. Но в 1914 г. Литтлвуд доказал, что эта гипотеза неверна — и как доказал! По мере того как x проходит через положительные действительные значения, разность π(x) — Li(x) меняет знак (с отрицательного на положительный или наоборот) бесконечно часто. В частности, π(x) больше Li(x) для некоторых достаточно больших значений x. Однако доказательство Литтлвуда ничего не говорило о конкретных значениях x.

В 1933 г. его ученик, южноафриканский математик Стенли Скьюз, оценил, насколько большим должен быть x: не более 10∧10∧10∧34, где знак ∧ обозначает «возвести в степень». Это настолько гигантское число, что если все его цифры напечатать в книге — довольно скучной книге, состоящей из 1 с бесконечными нулями, — то Вселенная не вместила бы этой книги, даже если бы каждая цифра была размером с элементарную частицу. Более того, чтобы доказательство работало, Скьюзу пришлось принять на веру истинность гипотезы Римана. К 1955 г. он нашел способ обойтись без гипотезы Римана, но не бесплатно: его оценка увеличилась до 10∧10∧10∧963.

Эти числа слишком велики даже для прилагательного «астрономический», но дальнейшие исследования помогли снизить их до величин, которые уже можно охарактеризовать как космологические. В 1966 г. Леман заменил числа Скьюза на 10¹¹⁶⁵. Те Риеле в 1987 г. понизил эту оценку до 7 × 10³⁷⁰, а в 2000 г. Картер Бейз и Ричард Хадсон свели ее к 1,39822 × 10³¹⁶. Затем Чжоу Куок Фай и Роджер Плаймен срезали еще немножко и довели ограничение до 1,39801 × 10316. Это изменение может показаться несущественным, но на самом деле данная оценка меньше предыдущей на 2 × 10³¹². А Саутер и Демишель еще улучшили этот результат, сведя его к 1,3971667 × 10³¹⁶.

Но пока суд да дело, в 1941 г. Аурел Уинтнер доказал, что маленькая, но ненулевая доля целых чисел удовлетворяет неравенству π(x) > Li(x). В 2011 г. Столл и Демишель просчитали первые 200 млрд нулей дзета-функции, что позволяет судить о π(x) для всех x вплоть до ^{1010 000 000 000 000}, и нашли доказательство того, что если x меньше, чем 3,17 × 10¹¹⁴, то π(x) меньше Li(x). Так что для данной конкретной проблемы все свидетельства по крайней мере до 10¹⁸, а очень может быть, что и до 10¹¹⁴ или даже больше, только вводят в заблуждение. Переменчивые боги теории чисел любят пошутить за счет людей.