Верификатор гипотезы Гольдбаха

Добро пожаловать в Верификатор гипотезы Гольдбаха — интерактивный инструмент, подтверждающий одну из старейших открытых проблем теории чисел для любого четного целого числа больше 2. Введите свое число и мгновенно увидите каждую пару простых чисел, которые в сумме дают его, значение функции разбиения Гольдбаха g(n) и знаменитый график кометы Гольдбаха. Диаграмма моста и график кометы делают структуру гипотезы 1742 года визуально интуитивно понятной.

Что такое гипотеза Гольдбаха?

Гипотеза Гольдбаха — это утверждение в теории чисел, предложенное прусским математиком Кристианом Гольдбахом в письме Леонарду Эйлеру от 7 июня 1742 года. В современной форме оно гласит:

Например: \(4 = 2 + 2\), \(6 = 3 + 3\), \(8 = 3 + 5\), \(10 = 3 + 7 = 5 + 5\), \(100 = 3 + 97 = 11 + 89 = 17 + 83 = 29 + 71 = 41 + 59 = 47 + 53\).

Несмотря на простую формулировку, гипотеза остается недоказанной на протяжении почти трех столетий. Она была проверена вычислительно для каждого четного целого числа до \(4 \times 10^{18}\) в ходе недавних масштабных исследований, но общее доказательство до сих пор ускользает от математиков.

Функция разбиения Гольдбаха g(n)

Для четного целого числа \(n\) количество различных неупорядоченных пар простых чисел, сумма которых равна \(n\), обозначается \(g(n)\) — функция разбиения Гольдбаха:

Гипотеза Гольдбаха эквивалентна утверждению, что \(g(n) \ge 1\) для каждого четного \(n > 2\). При построении графика зависимости от \(n\) значения \(g(n)\) образуют визуально поразительную фигуру, известную как комета Гольдбаха — плотную яркую полосу точек, которая расширяется по мере роста \(n\). Внутри кометы появляются отчетливые горизонтальные полосы: числа, делящиеся на 6, обычно располагаются выше, чем числа, делящиеся только на 2, потому что для них доступно больше малых простых чисел в качестве слагаемых.

Как использовать этот верификатор

1. Введите четное целое число больше 2. Нажмите на быстрый пример (100, 1 000, 10 000, 123 456, 1 000 000) или введите свое собственное.
2. Нажмите «Проверить Гольдбаха». Инструмент находит каждую пару простых чисел, сумма которых равна вашему числу, используя решето Эратосфена.
3. Прочитайте вердикт. Зеленый баннер подтверждает, что гипотеза верна для вашего числа, а главная панель сообщает \(g(n)\).
4. Изучите диаграмму моста. Каждая пара простых чисел изображена в виде двух цветных сегментов на прямой от 0 до \(n\) с красным центральным маркером в точке \(n/2\). Пары около центра более сбалансированы.
5. Исследуйте комету. Диаграмма рассеяния показывает \(g(m)\) для четных \(m\), близких к введенному значению, выделяя ваше число красным цветом, чтобы вы могли увидеть его место в узоре кометы.
6. Просмотрите полную таблицу пар. Каждая пара \((p, q)\) указана вместе с разностью \(q - p\). Скопируйте все пары одним щелчком мыши.

Что делает пару особенной?

• Пара с наименьшим p — Пара, в которой используется самое маленькое простое число \(p\). Часто это \(3\) или \(5\) для умеренных \(n\).
• Самая сбалансированная пара — Пара с \(p\), ближайшим к \(n/2\). Когда оба простых числа равны \(n/2\), \(n\) должно быть удвоенным простым числом (например, \(10 = 5 + 5\), \(14 = 7 + 7\), \(26 = 13 + 13\)).
• Пара с наибольшим p — Пара с наибольшим \(p\), таким что \(p \le q\). Это «наиболее сбалансированная пара с другой стороны», которая дает визуальную границу того, насколько близко к \(n/2\) группируются простые числа.

Гольдбах в цифрах

Классические показатели разбиения

Асимптотическое поведение

Эвристические аргументы из гипотезы Харди-Литтлвуда предполагают, что \(g(n)\) растет примерно как

где \(C_2 \approx 0.66016\) — константа простых чисел-близнецов. Дополнительное произведение отражает то, почему четные числа с большим количеством малых простых множителей (кратные 6, 30 и т. д.) имеют тенденцию иметь непропорционально много пар Гольдбаха — это и есть источник горизонтальных полос в комете.

Слабая vs Сильная гипотеза Гольдбаха

• Сильная (бинарная) гипотеза Гольдбаха — каждое четное \(n > 2\) является суммой двух простых чисел. Все еще не доказана.
• Слабая (тернарная) гипотеза Гольдбаха — каждое нечетное \(n > 5\) является суммой трех простых чисел. Доказана Харальдом Хельфготтом в 2013 году, завершив многолетнюю программу, начатую Виноградовым в 1937 году.

Из сильной формы следует слабая: если каждое четное \(n\) является суммой двух простых чисел, то каждое нечетное \(n > 5\) является этой суммой плюс дополнительная \(3\). Обратное, к сожалению, пока не доказано.

Известные частичные результаты

• 1923 — Харди и Литтлвуд: предполагая обобщенную гипотезу Римана, любое достаточно большое нечетное число является суммой трех простых чисел; они также дали асимптотическую формулу для g(n). Утверждение о том, что почти каждое четное целое число является суммой двух простых чисел, было безусловно доказано в 1937–38 годах Чудаковым, ван дер Корпутом и Эстерманом.
• 1937 — Иван Виноградов: доказал тернарную гипотезу для всех достаточно больших нечетных целых чисел.
• 1973 — Чэнь Цзинжунь: каждое достаточно большое четное целое число является суммой простого числа и числа, которое является либо простым, либо произведением двух простых чисел (теорема Чэня).
• 1995 — Оливье Рамаре: каждое четное целое число является суммой не более чем 6 простых чисел.
• 2013 — Харальд Хельфготт: безусловно доказал слабую гипотезу Гольдбаха.
• 2014 — Оливейра и Силва, Херцог и Парди: сильная гипотеза проверена для всех четных \(n \le 4 \times 10^{18}\).

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

Что такое гипотеза Гольдбаха?

Гипотеза Гольдбаха гласит, что каждое четное целое число больше 2 может быть записано как сумма двух простых чисел. Она была впервые сформулирована Кристианом Гольдбахом в 1742 году и проверена для астрономически больших чисел, но никогда не была доказана в общем виде.

Доказана ли гипотеза Гольдбаха?

Нет. По состоянию на 2026 год сильная гипотеза Гольдбаха остается нерешенной проблемой. Слабая (тернарная) версия — каждое нечетное целое число больше 5 является суммой трех простых чисел — была доказана Харальдом Хельфготтом в 2013 году.

Что такое функция разбиения Гольдбаха g(n)?

\(g(n)\) — это количество неупорядоченных пар простых чисел, сумма которых равна \(n\). Например, \(g(10) = 2\), потому что \(10 = 3 + 7 = 5 + 5\). Гипотеза Гольдбаха — это утверждение, что \(g(n) \ge 1\) для каждого четного \(n > 2\).

Почему гипотеза Гольдбаха применима только к четным целым числам?

Любое простое число, кроме \(2\), нечетное. Нечетное + нечетное = четное, поэтому суммы двух нечетных простых чисел всегда четные. Нечетные целые числа рассматриваются тернарной гипотезой Гольдбаха, которая касается сумм трех простых чисел.

Что такое комета Гольдбаха?

Комета Гольдбаха — это диаграмма рассеяния \(g(n)\) в зависимости от \(n\). Она имеет характерную полосчатую форму, напоминающую хвост кометы. Горизонтальные полосы появляются из-за того, что четные числа с большим количеством малых простых делителей имеют пропорционально больше разбиений.

Сколько пар простых чисел в сумме дают 100?

Их шесть: \(3+97\), \(11+89\), \(17+83\), \(29+71\), \(41+59\), \(47+53\). Таким образом, \(g(100) = 6\). Попробуйте ввести 100 в верификатор выше, чтобы увидеть визуализацию каждой пары.

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

• Гипотеза Гольдбаха — Wikipedia
• Комета Гольдбаха — Wikipedia
• Goldbach Conjecture — MathWorld