все реже и реже, когда вы углубляетесь во вселенную чисел, удивительно, насколько часто попадаются простые числа-близнецы. Например, после простого числа 1129 на протяжении 21 последующего числа нет ни одного простого, а затем неожиданно появляется пара 1151 и 1153. Когда вы проходите 102 701, вам необходимо преодолеть 59 составных чисел, а затем внезапно возникают простые числа-близнецы 102 761 и 102 763. В наибольших простых числах-близнецах, известных к началу 2009 г., 58 711 цифр. Если учесть, что число атомов в наблюдаемой Вселенной имеет 80 цифр, такие числа оказываются до нелепости большими.
Однако будут ли и затем встречаться близнецы? Благодаря доказательству Евклида мы знаем, что и дальше найдем бесконечно много простых чисел, но как насчет их пар? Пока еще никто не смог придумать хитроумное доказательство, подобное Евклидову, что простых чисел-близнецов бесконечно много.
Одно время казалось, что близнецы могут сыграть ключевую роль в раскрытии тайны простых чисел. В книге «Человек, который принял жену за шляпу» Оливер Сакс описывает случай из реальной жизни, когда два аутистичных близнеца, обладавших феноменальными способностями, использовали простые числа как тайный язык. Обыкновенно братья сидели в клинике Сакса и обменивались между собой большими числами. Сначала Сакса озадачил их диалог, но как-то вечером он сумел понять его секрет. Выучив одно простое число, он решил проверить свою догадку. На следующий день он решил присоединиться к близнецам, которые обменивались шестизначными числами. Сакс, воспользовавшись паузой, произнес семизначное число, что застало близнецов врасплох. Некоторое время они сидели в раздумьях, так как число выходило за пределы их привычного диапазона, но потом одновременно улыбнулись, как будто узнали старого друга.
За время, проведенное у Сакса, близнецы сумели достичь девятизначных простых чисел. Конечно, никто не нашел бы удивительным, обменивайся они нечетными числами или даже квадратами чисел. Поразительно было, что они использовали простые числа, которые настолько случайно распределены. Объяснение тому, что это у них получалось, возможно, крылось в другой способности братьев. Они часто появлялись на телевидении и впечатляли аудиторию своим умением определить, что, скажем, 23 октября 1901 г. было средой. Решение задачи о том, каким был день недели с названной датой, осуществляется с помощью модульной (модулярной) арифметики. Наверное, близнецы поняли, что модульная арифметика также играет ключевую роль в определении того, является ли число простым.
Возьмите какое-либо число, скажем, 17 и вычислите 217. Если остаток от деления полученного числа на 17 равен 2, то у вас будет хорошее свидетельство в пользу того, что число 17 является простым. Этот тест на простоту числа зачастую неверно приписывают китайцам. На самом деле французский математик XVII в. Пьер де Ферма доказал, что если остаток не равен 2, то число 17 наверняка не является простым. В более общем случае если вы хотите проверить, что число p не является простым, то вычислите 2p и разделите результат на p. Если остаток не равен 2, то число p не может быть простым. Некоторые люди допускали, что близнецы,
