|
Чжан Итан поразил математический мир заявлением о том, что он мог бы доказать, что существует бесконечное число пар простых чисел, которые различаются между собой не более чем на 70 млн. После этого его статья была принята к публикации ведущим журналом теоретической математики Annals of Mathematics. Возможно, это утверждение звучит слабовато по сравнению с гипотезой о простых числах-близнецах, но впервые кому-то удалось показать, что бесконечное число простых чисел различается между собой не более чем на некоторую фиксированную величину. Если бы 70 млн можно было как-нибудь ужать до 2, это решило бы проблему гипотезы о простых числах-близнецах.
Сегодня математики все чаще пользуются Интернетом, чтобы объединить силы в работе над какой-нибудь задачей, и Теренс Тао организовал коллаборацию, целью которой стало снижение числа 70 млн до чего-нибудь поменьше. Он сделал это в рамках проекта Polymath – системы, созданной для содействия работам такого рода. По мере того как математики лучше понимали методы Чжана, число сдавалось. Джеймс Мэйнард снизил число 70 млн до 600 (и даже до 12, если принять еще одно предположение, известное как гипотеза Эллиота – Халберстама). К концу 2013 г. новые идеи Мэйнарда снизили это число до 270. Это пока не 2, но намного ближе к делу, чем 70 млн.
Проблема Гольдбаха для нечетных
Вторая загадка, связанная с простыми числами и нашедшая, наконец, решение (вероятно!), восходит к 1742 г., когда немецкий математик-любитель Христиан Гольдбах написал Леонарду Эйлеру письмо, содержавшее несколько наблюдений над простыми числами. Одно из них выглядело так: «Любое целое число, большее 2, можно записать как сумму трех простых чисел». Эйлер тогда вспомнил предыдущую беседу, в которой Гольдбах сделал родственное предположение: «Любое четное целое число есть сумма двух простых чисел».
При господствовавшем на тот момент представлении, что 1 – целое число, из второго заявления следует первое, поскольку любое число может быть записано либо как n + 1, либо как n + 2, где n – четное. Если n есть сумма двух простых чисел, то число, о котором идет речь, есть сумма трех простых чисел. Эйлер сказал: «Я рассматриваю это [второе утверждение] как полностью верную теорему, хотя и не могу доказать ее». Надо сказать, что эти слова довольно точно характеризуют состояние проблемы на сегодняшний день. Однако мы уже не считаем 1 простым числом, о чем говорилось выше. Потому мы сегодня разбиваем задачу Гольдбаха на две отдельные гипотезы. Бинарная проблема Гольдбаха утверждает: «Всякое четное число, большее 2, есть сумма двух простых чисел».
Тернарная проблема Гольдбаха (или проблема Гольдбаха для нечетных) гласит: «Всякое нечетное число, большее 5, есть сумма трех простых чисел». Из бинарной гипотезы следует тернарная, но не наоборот. С годами нескольким математикам удалось добиться прогресса в этих вопросах. Самым сильным результатом по бинарной гипотезе, возможно, является результат Чэнь Цзинжуня, который доказал в 1973 г., что всякое достаточно большое четное целое число есть сумма простого и полупростого чисел (полупростое число – это либо простое число, либо произведение двух простых чисел). В 1995 г. французский математик Оливье Рамаре доказал, что всякое четное число есть сумма не более шести простых чисел, а всякое нечетное число – сумма не более семи простых чисел. Среди специалистов стало крепнуть мнение, что проблема Гольдбаха для нечетных близка к решению, и они оказались правы: в 2013 г. Харальд Хельфготт объявил о доказательстве с применением связанных методов. Математики до сих пор проверяют его результат, но он, кажется, до сих пор держится. |
