Следуют ли все простые числа-близнецы какому-то шаблону?

Да. Каждая пара простых чисел-близнецов, кроме (3, 5), имеет вид (6k минус 1, 6k плюс 1) для некоторого положительного целого числа k. Это связано с тем, что любое целое число, не имеющее вида 6k плюс или минус 1, делится на 2 или 3, поэтому оно не может быть простым (кроме самих 2 и 3).

Как этот инструмент находит простые числа-близнецы?

Инструмент использует Решето Эратосфена, чтобы отметить все простые числа до выбранного вами предела, а затем просматривает последовательные простые числа в поисках пар, разница между которыми составляет ровно 2. Результаты выводятся с итогами, статистикой плотности и предсказанием Харди-Литтлвуда для сравнения.

Поиск Простых Близнецов

Найдите каждую пару простых чисел-близнецов (простые числа p и p+2) до любого выбранного вами предела. Получите полный список, итоги, плотность по десятилетиям, прогнозируемое количество Харди-Литтлвуда, самую большую найденную пару и интерактивную визуализацию — все в одном месте.

Embed Поиск Простых Близнецов Widget

О Поиск Простых Близнецов

Добро пожаловать в Поиск Простых Близнецов — интерактивный математический инструмент, который находит каждую пару простых чисел-близнецов ниже любого выбранного вами предела. Простые числа-близнецы — такие пары, как (3, 5), (11, 13) или (10,006,427, 10,006,429), которые отличаются ровно на 2 — являются одними из самых загадочных объектов теории чисел. Этот инструмент не просто перечисляет их: он также сообщает итоги, плотность по десятилетиям, долю простых чисел, входящих в пару-близнец, статистику пробелов, предсказание Харди-Литтлвуда о том, сколько их должно существовать, и визуальное распределение их расположения на числовой прямой.

Что такое простые числа-близнецы?

Пара простых чисел-близнецов — это пара простых чисел $(p, p+2)$, разделенных минимально возможным интервалом (кроме уникальной пары (2, 3), разница в которой равна 1). Первые несколько пар:

(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73), …

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

Определение пары простых чисел-близнецов

$$p \text{ и } p+2 \text{ оба простые} \Longleftrightarrow (p, p+2) \text{ — пара простых чисел-близнецов}$$

Шаблон 6k ± 1

Каждая пара простых чисел-близнецов с $p \geq 5$ имеет вид $(6k - 1, 6k + 1)$ для некоторого положительного целого числа $k$. Причина проста: любое целое число, не имеющее вида $6k \pm 1$, делится либо на 2, либо на 3, поэтому оно не может быть простым (кроме самих чисел 2 и 3). Проверка малых значений:

$k=1$: (5, 7) ✓
$k=2$: (11, 13) ✓
$k=3$: (17, 19) ✓
$k=4$: (23, 25) ✕ — 25 не является простым
$k=5$: (29, 31) ✓

Таким образом, форма 6k ± 1 необходима, но не достаточна — не каждая потенциальная пара на самом деле является парой простых чисел-близнецов. Инструмент проверяет каждого кандидата по таблице решета и оставляет только настоящие пары.

Гипотеза о простых числах-близнецах

Существует ли бесконечно много простых чисел-близнецов? Это знаменитая Гипотеза о простых числах-близнецах, одна из старейших нерешенных проблем в математике. Она восходит как минимум к греческому математику Евклиду, который доказал, что простых чисел бесконечно много, но ничего не сказал о близнецах.

Широко распространено мнение, что гипотеза верна. Численные доказательства ошеломляют: по мере роста предела $N$ новые пары продолжают появляться с плотностью, которая очень точно соответствует теоретическим предсказаниям. Тем не менее, строгое доказательство остается труднодостижимым.

Прорыв Чжана в 2013 году

В апреле 2013 года китайско-американский математик Итан Чжан ошеломил математический мир статьей, доказывающей, что существует бесконечно много пар простых чисел, разница между которыми составляет не более 70 миллионов. Это было первое в истории доказанное конечное ограничение на интервалы между последовательными простыми числами. Через несколько месяцев в рамках проекта Polymath под руководством Теренса Тао этот предел был сокращен до нескольких сотен; позже Джеймс Мейнард довел его до 246. Интервал в 2 — сама гипотеза о простых числах-близнецах — остается открытым, но результат Чжана стал первой реальной подвижкой в решении проблемы за более чем 2000 лет.

Предсказание Харди-Литтлвуда

В 1923 году Г. Х. Харди и Дж. И. Литтлвуд сформулировали первую гипотезу Харди-Литтлвуда: количество пар простых чисел-близнецов $\pi_2(N)$ до $N$ асимптотически равно

Гипотеза Харди-Литтлвуда

$$\pi_2(N) \sim 2 C_2 \int_2^N \frac{dx}{(\ln x)^2}$$

где $C_2 = \prod_{p \geq 3} \frac{p(p-2)}{(p-1)^2} \approx 0.6601618$ — константа простых чисел-близнецов

Этот инструмент вычисляет интеграл численно с помощью правила Симпсона и показывает фактическое количество рядом с предсказанием, а также процент точности. Для $N \geq 10^6$ формула Харди-Литтлвуда обычно дает результат в пределах доли процента от истинного количества — веское численное доказательство того, что гипотеза верно отражает истинную плотность простых чисел-близнецов.

Как пользоваться этим калькулятором

Введите верхний предел — максимальное значение, до которого будет проводиться поиск. Допускаются значения от 5 до 10 000 000.
Нажмите "Найти простые числа-близнецы". Решето построит таблицу простых чисел, просканирует пары и вычислит статистику.
Проверьте панель итогов, чтобы увидеть количество и точность Харди-Литтлвуда.
Просмотрите полный список пар, график плотности по десятилетиям и диаграмму рассеяния, показывающую распределение пар на числовой прямой.
Скопируйте список пар в буфер обмена одним щелчком мыши для использования в исследованиях, домашних заданиях или дальнейшем анализе.

Как работает Решето

В основе инструмента лежит классическое Решето Эратосфена:

Создается логический массив is_prime[0..N], изначально заполненный значением True (кроме индексов 0 и 1).
Для каждого $i$ от 2 до $\sqrt{N}$: если is_prime[i] истинно, помечаем все кратные $i^2, i^2+i, i^2+2i, \ldots$ как составные.
Проходим по массиву от 3 до N-2 и собираем каждый индекс $p$, где и is_prime[p], и is_prime[p+2] истинны.

Этот подход работает за время $O(N \log \log N)$ и использует $O(N)$ памяти — этого достаточно, чтобы найти все пары простых чисел-близнецов до 10 миллионов менее чем за секунду на современном оборудовании.

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

Компьютеры ищут огромные простые числа-близнецы десятилетиями. Текущий рекордсмен, обнаруженный проектом распределенных вычислений PrimeGrid в сентябре 2016 года:

Самая большая известная пара простых чисел-близнецов (на 2026 год)

$$2{,}996{,}863{,}034{,}895 \times 2^{1{,}290{,}000} \pm 1$$

Оба числа состоят из 388 342 цифр. Открыты Томом Гриром и PrimeGrid.

Для сравнения: первые 50 пар простых чисел-близнецов находятся в пределах 2000. Таким образом, хотя плотность близнецов уменьшается, они продолжают появляться вплоть до чисел с сотнями тысяч знаков.

Первые двадцать пар простых чисел-близнецов

#	p	p + 2	k (для 6k ± 1)
1	3	5	— (особый случай)
2	5	7	1
3	11	13	2
4	17	19	3
5	29	31	5
6	41	43	7
7	59	61	10
8	71	73	12
9	101	103	17
10	107	109	18
11	137	139	23
12	149	151	25
13	179	181	30
14	191	193	32
15	197	199	33
16	227	229	38
17	239	241	40
18	269	271	45
19	281	283	47
20	311	313	52

Количество простых чисел-близнецов до различных N

N	π₂(N) — факт	Предсказание Харди-Литтлвуда	Точность
100	8	14	57%
1,000	35	46	76%
10,000	205	214	96%
100,000	1,224	1,249	98%
1,000,000	8,169	8,248	99%
10,000,000	58,980	58,754	99.6%
100,000,000	440,312	440,367	99.99%

Интересные факты о простых числах-близнецах

У каждой пары простых чисел-близнецов $(p, p+2)$ с $p \geq 5$ есть свойство: $p+1$ кратно 6. Ровно посередине между каждой парой всегда находится целое число, делящееся на 6.
Константа простых чисел-близнецов $C_2 \approx 0.6601618$ — одна из самых известных констант в аналитической теории чисел. Она также является произведением по всем простым числам $p \geq 3$ выражений $p(p-2)/(p-1)^2$.
Пара двоюродных простых чисел — это $(p, p+4)$. Пара сексуальных простых чисел — это $(p, p+6)$, от латинского "sex" (шесть).
Сумма обратных величин всех простых чисел-близнецов сходится к константе Бруна $B_2 \approx 1.9021605$ — это доказал Вигго Брун в 1919 году. Это примечательно, так как сумма обратных величин всех простых чисел расходится.
В 2024 году тензорное разложение в лаборатории Intel случайно выделило простые числа-близнецы при обучении модели на теоретико-числовых последовательностях — напоминание о том, что эти закономерности до сих пор удивляют исследователей.

Часто задаваемые вопросы

Что такое простые числа-близнецы?

Это пара простых чисел, разница между которыми составляет ровно 2, например (3, 5), (11, 13) или (17, 19). Единственное исключение — пара (2, 3), которая отличается на 1 и не считается близнецами.

Существует ли бесконечно много простых чисел-близнецов?

Это знаменитая гипотеза о простых числах-близнецах. Она считается верной и подтверждается данными, но полного доказательства нет. В 2013 году Итан Чжан доказал бесконечность пар простых чисел с разницей не более 70 миллионов (позже снижено до 246).

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

На 2026 год рекорд составляет $2{,}996{,}863{,}034{,}895 \cdot 2^{1{,}290{,}000} \pm 1$, каждое число содержит 388 342 цифры. Пара найдена проектом PrimeGrid в 2016 году.

Что такое гипотеза Харди-Литтлвуда о простых числах-близнецах?

Она предсказывает, что $\pi_2(N) \sim 2 C_2 \int_2^N dx/(\ln x)^2$, где $C_2 \approx 0.6601618$. Для больших N предсказание совпадает с реальным количеством с точностью до долей процента.

Все ли близнецы следуют шаблону?

Да. Каждая пара, кроме (3, 5), имеет вид $(6k - 1, 6k + 1)$, так как любое число другого вида делится на 2 или 3.

Как этот инструмент находит близнецов?

Он использует Решето Эратосфена для поиска простых чисел до предела, а затем ищет соседей с разницей 2. В отчет входят итоги, графики и полный список.

Дополнительные ресурсы

Ссылайтесь на этот контент, страницу или инструмент так:

"Поиск Простых Близнецов" на сайте https://ru.miniWebtool.com/поиск-простых-близнецов/ от MiniWebtool, https://MiniWebtool.com/

команда miniwebtool. Обновлено: 18 апр. 2026 г.

Вы также можете попробовать наш AI Решатель Математических Задач GPT, чтобы решить ваши математические проблемы с помощью вопросов и ответов на естественном языке.