Почему простые числа образуют пары
Простое число делится без остатка только на 1 и на само себя. Иногда два таких числа стоят на числовой прямой почти рядом: расстояние между ними равно двум. Их называют близнецами-простыми. Пара 11 и 13 — наглядный пример, но такие пары встречаются и дальше: например, 17 и 19.
Вопрос в том, заканчиваются ли они когда-нибудь. Кажется естественным ожидать, что простых чисел бесконечно много, а значит, среди них должны снова и снова находиться пары с разницей в два. Но бесконечность простых чисел сама по себе этого не гарантирует: числа могут продолжать встречаться бесконечно, а промежутки между соседними простыми со временем — становиться всё больше.
Почему проверить все известные пары недостаточно
Компьютер может находить всё более крупные пары близнецов-простых. Каждая новая находка подтверждает, что пары есть далеко на числовой прямой, но не отвечает на главный вопрос: существуют ли они за любым, сколь угодно большим пределом. Для доказательства нужно показать, что их нельзя исчерпать конечным списком; для опровержения — что начиная с некоторого места таких пар больше нет.
Сложность в том, что простые числа распределены неравномерно. Есть способы оценивать, сколько простых чисел встречается в больших диапазонах, но такие оценки не всегда достаточно точны, чтобы гарантировать два простых числа именно с промежутком в два. Соседство здесь — более строгая задача, чем простое существование новых простых чисел.
Что всё же удалось доказать
Математики научились доказывать более слабое утверждение: между некоторыми бесконечными множествами простых чисел расстояния не превосходят определённой фиксированной величины. Это важный шаг, но он не устанавливает расстояние, равное именно двум, и потому не доказывает бесконечность близнецов-простых.
Так что длинный каталог найденных пар и строгая теорема — разные вещи. Каталог может расти сколько угодно долго, а доказательство должно объяснить, почему следующая пара обязательно найдётся после любого заданного рубежа.
