Братишка, ты цел?

Математики приблизились к решению проблемы простых чисел-близнецов

Плотность простых чисел
Плотность простых чисел

Американский математик Итан Чжан представил работу, которая может считаться важнейшим шагом на пути решения задачи о простых числах-близнецах — по некоторым данным, одной из старейших нерешенных проблем в математике. Работа принята в Annals of Mathematics и, судя по первым отзывам рецензентов, ошибок не содержит. В открытом доступе статьи пока нет, но записи с семинара, который Чжан провел в Гарвардском университете, уже гуляют по Сети.

Простыми называются числа, которые делятся только на единицу и на себя (для удобства 1 в множество простых не включается). Они всегда интересовали математиков, ведь именно простые числа составляют кирпичики, из которых построены все остальные числа — хорошо известно, что всякое число единственным образом разлагается в произведение простых чисел (необязательно попарно различных).

Самые естественные вопросы, возникающие в связи с этим у математиков, касаются строения множества простых чисел. Несмотря на то, что большинство таких вопросов, как правило, формулируется очень просто, ответы на них не просто сложны. Чаще всего они оказываются результатом целых теорий, которые, как водится, имеют кучу полезных приложений — от криптографии до квантовой механики, но создавались исключительно для того, чтобы ответить на эти самые вопросы.

Прежде всего возникает вопрос о том, конечно ли множество простых чисел. Ответ хорошо известен со школы: множество простых чисел бесконечно, и это легко доказать. Действительно, пусть это не так и множество простых чисел конечно. Обозначим эти числа через p1, p2, ... pn и рассмотрим число p1p2....pn + 1. Легко увидеть, что это число не делится ни на одно из перечисленных простых чисел, и, стало быть, среди его простых делителей есть числа, которые в наш список не попали. Это противоречие и завершает наше доказательство. Точнее, не наше, а Евклида, опубликованное в 9-м томе его «Начал».

Если простых чисел бесконечное множество, то возникает другой вопрос: как они расположены в ряду натуральных чисел? Нет ли для них, например, формулы? Выписывание первых нескольких чисел (скажем, 2, 3, 5, 7, 11, 13, 17, 19) совершенно не проясняет (по крайней мере автору) ситуацию. На настоящий момент известно несколько результатов, касающихся строения этого множества. Этим вопросом (о формуле) занимался Эйлер. Ему, например, принадлежит следующее наблюдение: квадратичный трехчлен n2 − n + 41 дает простые значения для всех натуральных n, не превосходящих 40. Быть может, тогда существует подходящая формула в виде многочлена? Легко доказывается, что такой формулы, конечно, нет. Впрочем, некоторое подобие формулы получить можно (см. врез выше).

Если эффективной формулы для множества простых чисел нет, то, решили математики, его следует изучать другими методами. Например, насколько редко могут быть расположены простые числа? Оказывается, последовательные отрезки числового ряда, не содержащие ни одного простого числа, могут быть сколь угодно длинными. Действительно, возьмем произвольное натуральное число n и рассмотрим отрезок натурального ряда вида (n + 1)! + 2, (n + 1)! + 3, ..., (n + 1)! + n + 1. Каждое из представленных чисел составное: первое делится на 2, второе — на 3, третье — на 4 и так далее. Стало быть, простые числа могут быть сколь угодно «разреженными». Более того, можно сказать, что в некотором смысле расстояние между соседними простыми числами в среднем растет как log p.

Соответственно, возникает следующий вопрос: а какое минимальное расстояние может быть между двумя простыми числами? Пусть это расстояние 1, то есть числа p и p + 1 простые одновременно. Учитывая, что четные и нечетные числа в числовом ряду чередуются, получаем, что одно из этих чисел должно быть четным, то есть делиться на 2. Если учесть, что по нашему (сугубо техническому) соглашению 1 не является простым числом, то существует одна-единственная такая пара простых чисел — это 2 и 3. Следовательно, расстояние между любыми двумя соседними другими простыми числами — как минимум два. Простые числа, расстояние между которыми равно двум, и называются числами-близнецами.

Первые несколько пар чисел-близнецов легко перечислить — это (3, 5), (5, 7), (11, 13), (17, 19) и так далее. Самая большая пара чисел-близнецов из известных на настоящий момент была открыта в декабре 2011 года в рамках проекта распределенных вычислений PrimeGrid. Она имеет вид (3756801695685 · 2666669 — 1, 3756801695685 · 2666669 + 1). В десятичной записи каждого из этих чисел по 200700 знаков. Это, конечно, очень большие числа, и само их существование ставит такой вот вопрос: конечно ли множество чисел-близнецов? Этот вопрос, точнее предположение о бесконечности этого множества, и носит название «гипотезы о числах-близнецах». Тут важно понимать, что бесконечность множества чисел-близнецов ни в коем случае не противоречит утверждению о логарифмическом росте расстояний между простыми числами — рост просто означает, что исключений (не укладывающихся в общую тенденцию чисел) достаточно мало.

Довольно часто гипотезу о числах-близнецах приписывают Евклиду. Разумеется, такого рода утверждения были грекам по силам, однако убедительных подтверждений этого факта нет. Впервые в печатной литературе эта гипотеза была высказана в 1849 году Альфонсом де Полиньяком в более общем виде: для любого четного числа 2k множество таких соседних простых чисел (то есть между которыми нет других простых), чтобы расстояние между ними в точности равнялось 2k, бесконечно. При k = 1 получаем оригинальную формулировку. Что касается термина «числа-близнецы», то он был введен в обиход математиком Вигго Бруном. Брун изучал разного рода простые числа и в 1915 году доказал замечательную теорему, о которой, пожалуй, следует рассказать чуть более подробно.

Гармоническим рядом называется последовательность дробей 1/n. Известно, что, несмотря на убывание величин этой последовательности, сумма этого ряда бесконечно большая: то есть, для любого наперед заданного числа можно подобрать такое N, что сумма первых N членов гармонического ряда будет больше этого числа. При этом, если брать не все натуральные n, а только простые, то есть рассмотреть последовательность 1/pn, где pn — последовательно занумерованные простые числа, то сумма полученного ряда все равно будет бесконечно большой (еще математики говорят, что такой ряд расходится).

Брун решил рассмотреть последовательность, состоящую только из чисел-близнецов. Если бы такой ряд расходился, то из этого немедленно бы вытекало утверждение гипотезы о числах-близнецах — ясное дело, сумма конечного числа чисел не бесконечна. Однако, оказалось, что сумма полученного ряда не только конечна (математики в таком случае говорят, что ряд сходится), но и равна достаточно небольшому числу, известному как константа Бруна B2. Она примерно равна 1,902160583104. То есть теорема Бруна является еще одним подтверждением того, что пар чисел-близнецов по сравнению с остальными простыми числами немного.

Интерес Бруна к числам-близнецам был инспирирован, среди прочего, выступлением Эдмунда Ландау на Пятом Международном конгрессе математиков в 1912 году. Тогда Ландау сформулировал четыре задачи из теории чисел, решение которых, по его мнению, было недостижимо для математиков того времени. Гипотеза о числах-близнецах была одной из этих проблем. На самом деле за прошедшие 100 лет ситуация несколько изменилась, но только не для гипотезы о числах-близнецах (например, тринарная проблема Гольдбаха для достаточно больших чисел была решена в 1937 году Виноградовым). При этом большинство математиков уверены в истинности гипотезы о числах-близнецах. Например, самое свежее неправильное доказательство этого утверждения датируется 2004 годом.

Да что там гипотеза! До последнего времени не был понятен даже такой факт. Рассмотрим множество Mk из гипотезы Полиньяка соседних простых чисел, расстояние между которыми равно 2k. Бесконечно ли это множество хоть для какого-нибудь k? Лишь только теперь математик из США Итан Чжан показал, что для некоторого k, не превосходящего 35 миллионов, такое множество действительно бесконечно. На первый взгляд может показаться, что 35 миллионов от 1 (речь про k) очень уж далеки, но не для математики.

Итак, что же сделал Чжан? Он взял более раннюю работу своего коллеги и немного подправил функции, которые там фигурировали (более подробно доказательство изложено здесь). При этом, что особенно удивительно и что даже вызвало подозрения на первом этапе анализа доказательства, Чжан использовал уже существующую технику. В этом смысле его доказательство разительно отличается от, например, недавнего доказательства ABC-гипотезы Синити Мотидзуки (тоже, кстати, ключевой проблемы теории чисел, которую часто упоминают в одном ряду с гипотезой о числах-близнецах). Доказательство Мотидзуки занимает свыше 500 страниц и содержит целую теорию — с момента публикации прошло полгода, а результаты его проверки до сих пор неизвестны. Скорее всего, математики, занимающиеся этой самой проверкой, до сих пор не добрались до конца работы.

Статья Чжана, напротив, довольно проста. Более того, ее рецензенты из Annals of Mathematics — журнала, куда она была подана — заявили, что судя по всему работа верна. Главное, впрочем, даже не это — не исключено, что метод Чжана еще можно будет подправить, так что, возможно, значение k удастся уменьшить. Сам математик почти уверен, что до 1 дело не дойдет, но что можно «сбить» с 35 миллионов, он не сомневается.

Вместо заключения

Здесь, по хорошей традиции, автор должен попытаться ответить на вопрос пытливого читателя: «А зачем все это нужно?» В этот раз ответ будет в виде байки.

В 1994 году математик Томас Найсли вычислял константу Бруна. Делал он это грубой силой, то есть считая сумму дробей для пар чисел-близнецов. Когда дело дошло до пары (824 633 702 441, 824 633 702 443), в машинной выдаче обнаружились странности. В частности, суммы, посчитанные до добавления в сеть новых мощных машин на базе Pentium, отличались от цифр, полученных после. Проведя несколько испытаний, Найсли пришел к выводу, что в процессорах Intel имеется какой-то дефект в системе деления чисел с плавающей точкой. Несмотря на то, что неправильный результат в среднем выдавался в одном случае из 9 миллиардов, новость о наличии бага привела к тому, что в 1995 году корпорация Intel потратила 475 миллионов долларов на замену содержащих дефект процессоров. Такие дела.

Обсудить
Наука и техника00:0223 июня
Стив Джобс

Гнилой пепин

Забытая история худшего в истории продукта от Apple
Я милого узнаю по наколке
Почему россиянки ищут спутников жизни среди зэков
«Людей с такими симптомами всего четверо в мире»
Сергей Мостовщиков о любви, стойкости и третьем круге кровообращения
Школа — не место для творчества
Можно ли принести в систему образования что-то новое со стороны
Аман Тулеев«Отставка для него равна смерти»
Почему поиск преемника старейшего губернатора России станет большой проблемой
Пан или пропал
Киев угрожает арестами активов «Газпрома» за пределами национальной юрисдикции
Вода камень точит
Инвестиционная привлекательность столицы может вырасти на 10 процентов
Сергей КурченкоОтнять и поделить
Какую собственность на Украине все еще может потерять Россия
Кистью и краской
Неизвестные кадры Великой Отечественной через призму советской ретуши
Стив ДжобсГнилой пепин
Забытая история худшего в истории продукта от Apple
Ждите гостей
Доказано существование высокотехнологичной цивилизации в Млечном Пути
Аскот, ВеликобританияДень безумных шляп
Почему британские аристократы, съехавшиеся на скачки в Аскоте, так странно одеты
Миллениалы в бегах
Куда иммигрировать молодому россиянину, мечтающему жить за границей
 reaches up to the sky during the summer solstice at Stonehenge, near Salisbury in England, Tuesday, June 21, 2011. The ancient stone circle of Stonehenge is a World Heritage Site erected between approximately 3000BC and 1600BC and despite years of research the reason behind its construction remains a mystery. The summer solstice in the northern hemisphere occurs annually on June 21 and is the time at which the sun is at its northernmost point in the sky.Меч и мотоцикл
Зачем тысячи ведьм и друидов собрались возле Стоунхенджа
Тест и стоимость владения Skoda Superb
Длительный тест универсала Skoda Superb: итоги
Самые крутые участники гонки Pikes Peak
Лучшие автомобили «Гонки в облаках» за ее 101-летнюю историю
Самые качественные машины в мире
Машины каких брендов ездят в сервис реже остальных
Русская рулетка
Как спланировать гонку в 24 часах Ле-Мана и почему эти планы могут не сработать
Вите надо выйти
Соседи несколько лет травят москвича, который отказывается переселяться
Без свидетелей
Дома для тех, кто ненавидит соседей
Москва за нами
Какие квартиры можно купить в пределах МКАД по цене до трех миллионов рублей
Классовая борьба
На смену дешевым квартирам в Москве пришел новый вид жилья
Да катитесь вы
Семейная пара отказалась от квартиры и поселилась в автобусе