В данном случае все числа на месте, но практические аргументы такого рода не позволяют полностью исключить подобную возможность. Однако из этого примера видно, что перекрытий должно быть немало: ведь одни и те же выделенные числа встречаются в интересующей нас четверти таблицы по несколько раз. Почему? Потому что 20 сумм должны уложиться в множество, где всего 13 членов. Поэтому каждое выделенное число в среднем встречается в таблице 1,5 раза. (Реальное количество сумм — 27, и более точная оценка показывает, что каждое выделенное число встречается дважды.) Если же каких-то четных чисел в таблице не хватает, то перекрытие должно быть еще больше.
Можно сыграть в ту же игру в более широком диапазоне, с более высоким верхним пределом — скажем, до одного миллиона. Формула, известная как теорема о распределении простых чисел (см. главу 9), дает нам возможность подсчитать количество простых чисел в интервале до любого заданного числа x. Эта оценка — x/log x. В интервале до 1 000 000 количество простых оценивается по этой формуле в 72 380. (Точное их число 78 497.) Серый фон занимает около четверти соответствующей таблицы, поэтому в нем примерно n²/4 = 250 млрд выделенных чисел — столько в этом диапазоне возможных сумм двух простых. Это намного больше, чем количество четных чисел в этом же диапазоне (их полмиллиона). Теперь перекрытие должно быть гигантским, а суммы должны возникать в среднем по 500 000 раз каждая. Так что шанс на то, что какое-то четное число окажется пропущено, многократно снижается.
Приложив еще некоторые усилия, мы можем с помощью этого метода оценить вероятность того, что некое четное число в заданном диапазоне не окажется суммой двух простых, исходя из того, что простые числа распределяются случайно с периодичностью, описываемой теоремой о распределении простых чисел, т. е. что в диапазоне до любого заданного x находится около x/log x простых чисел. Именно это сделали Харди и Литлвуд. Они понимали, что такой подход не является строгим, поскольку простые числа определяются достаточно специфически и распределены на самом деле не случайно. Тем не менее разумно ожидать, что реальные результаты не войдут в противоречие с этой вероятностной моделью, поскольку определяющее свойство простых чисел, судя по всему, очень слабо связано с тем, что происходит при сложении двух таких чисел.
Несколько стандартных методов в этой области математики используют примерно такой же подход, но стараются дополнительными средствами сделать свою аргументацию как можно более строгой. В качестве примера можно привести различные варианты решета, построенные на базе решета Эратосфена. Общие теоремы о плотности чисел в сумме двух множеств и возникающие в ней при очень больших множествах пропорции также оказываются весьма полезными инструментами.
В случаях, когда математическая гипотеза в конце концов находит подтверждение, ее история часто развивается по стандартному шаблону. На протяжении некоторого времени разные люди доказывают верность этой гипотезы при каких-либо ограничениях. Каждый такой результат улучшает предыдущий и снимает часть ограничений, но со временем этот путь исчерпывает свои возможности. Наконец появляется новая остроумная идея — и завершает доказательство.
К примеру, гипотеза в теории чисел может утверждать, что каждое положительное целое число может быть представлено каким-то определенным образом с использованием, скажем, шести специфических чисел (простых, квадратов, кубов, каких угодно еще). Здесь ключевыми моментами являются каждое положительное целое и шесть специфических чисел. Первые попытки подступиться к этой проблеме дают слабые результаты, но постепенно, посредством небольших шажков, они улучшаются.
Первым шагом часто является доказательство какого-нибудь утверждения вроде, например, такого: каждое положительное целое число, которое не делится на 3 и 11, за исключением некоторого конечного их количества, может быть представлено через некое гигантское количество — скажем, 10666 — чисел оговоренного вида. Как правило, такая теорема умалчивает о том, сколько и каких существует исключений, так что результат невозможно приложить непосредственно к любому заданному целому числу. Следующий шаг состоит в том, чтобы обозначить границы эффективности, т. е. доказать, что каждое целое число больше 101042 может быть представлено таким образом. Затем снимается ограничение по делимости на 3, а немного позже и на 11. После этого авторы один за другим начинают снимать ограничения: одни уменьшают число 10666, другие 101042, третьи — то и другое одновременно. Типичным улучшением может быть, к примеру, такое: каждое целое число больше 5,8 × 1017 может быть представлено с использованием не более 4298 чисел оговоренного вида.
Тем временем другие исследователи продвигаются снизу вверх, начиная с маленьких чисел, и доказывают, часто при помощи компьютерных расчетов, что, скажем, каждое число, меньшее или равное 10¹², может быть выражено с использованием не более шести тех самых чисел. Примерно за год 10¹² превращается (за пять последовательных шагов, усилиями разных исследователей или групп) в 11,0337 × 1029. Следует отметить, что ни один из перечисленных шагов не является ни рутинным, ни простым; напротив, они совершаются с привлечением хитроумных специальных методов, которые ничего не говорят о более общем подходе, и доказательство при каждом последовательном шаге становится все более сложным и длинным. Через несколько лет такого постепенного продвижения это число при помощи примерно тех же идей, но более мощных компьютеров и новых ухищрений удается поднять до 1043. На этом, однако, метод стопорится, и все сходятся во мнении, что никакие уловки не помогут таким способом доказать полный вариант.
Гипотеза пропадает из виду, над ней уже никто не работает. Бывает, что продвижение почти совсем останавливается. Иногда без новостей проходит лет 20… И вдруг, как гром среди ясного неба, какие-нибудь Чизбургер и Чипс заявляют, что им удалось получить полное доказательство, переформулировав гипотезу в терминах комплексных метаэргодических квазимножеств и приложив теорию византийского квислинга. После нескольких лет споров о тонких моментах логики и затыкания нескольких дыр в доказательстве математическое сообщество признает его корректным и немедленно задается вопросами, не существует ли более простого способа получить тот же результат и нельзя ли его улучшить.
В последующих главах вы не раз увидите эту схему в действии. Но если рассказывать обо всем этом подробно, то может получиться довольно скучно, поэтому я не буду перечислять всех, кому удалось более точно определить экспоненту в гипотезе Джекила — Хайда, выяснив, что это не 1,773, а 1,771 + e для любого положительного e (как бы ни гордились Баггинс и Крумм своим последним достижением на этой ниве). Я опишу несколько значимых вкладов, оставив все другие за скобками. И дело не в том, что работа Баггинса и Крумма кажется мне незначительной. Может быть, она даже вымостила дорогу к прорывному открытию Чизбургера — Чипса. Но, по правде говоря, только специалисты, внимательно следящие за развитием событий, могут затаив дыхание ждать следующего крошечного шажка.
