Гипотеза Гольдбаха: формулировка и проверка¶

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

¶Формулировка

Существует две основные формулировки гипотезы, которые не следует путать:

• Тернарная (слабая) гипотеза Гольдбаха: любое нечётное число, большее 5, может быть представлено как сумма трёх простых чисел. Эта версия была доказана в 2013 году математиком Харальдом Хельфготтом.
• Бинарная (сильная) гипотеза Гольдбаха: любое чётное число, большее 2, является суммой двух простых чисел. Именно эта формулировка остаётся недоказанной и считается основной.

Эквивалентность формулировок не является полной: доказательство сильной гипотезы автоматически влечёт слабую, но обратное неверно.

¶История

Впервые гипотеза была изложена в письме Гольдбаха к Эйлеру от 7 июня 1742 года. Гольдбах рассматривал утверждение о том, что любое целое число, представимое суммой трёх простых, также представимо суммой двух простых. Эйлер уточнил и усилил формулировку, сведя её к современному виду о чётных числах. С тех пор гипотеза привлекла внимание многих крупных математиков, включая Гаусса, Римана и Харди.

¶Частичные результаты

Несмотря на отсутствие полного доказательства, получен ряд существенных частичных результатов:

• Теорема Шнирельмана (1930): существует такое натуральное число \( s \), что любое натуральное число представимо как сумма не более чем \( s \) простых чисел. Первоначальная оценка составляла 800 000, впоследствии она была значительно улучшена.
• Теорема Виноградова (1937): достаточно большие нечётные числа представимы суммой трёх простых чисел. Этот результат стал основой для доказательства слабой гипотезы.
• Теорема Чэня (1966): любое достаточно большое чётное число представимо либо как сумма двух простых чисел, либо как сумма простого и полупростого (произведения двух простых) чисел.
• Доказательство слабой гипотезы (Хельфготт, 2013): проверка всех нечётных чисел, меньших установленного порога, в сочетании с методом Виноградова позволила окончательно подтвердить тернарную формулировку.

¶Компьютерная проверка

С развитием вычислительной техники гипотеза была проверена для огромных диапазонов чисел. К 2013 году проверка была выполнена для всех чётных чисел до \( 4 \times 10^{18} \). Хотя такие проверки не являются доказательством, они дают эмпирическую уверенность в справедливости утверждения.

¶Связь с другими проблемами

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

¶Современное состояние

По состоянию на 2025 год сильная гипотеза Гольдбаха остаётся недоказанной. Она входит в список проблем, предложенных Дэвидом Гильбертом в 1900 году (восьмая проблема) и в список семи «проблем тысячелетия» не включается, однако её решение считается одной из наиболее значимых задач теории чисел. Основные подходы к доказательству связаны с аналитической теорией чисел, в частности с круговым методом Харди — Литтлвуда.

¶Источники

• Виноградов И. М. «Метод тригонометрических сумм в теории чисел». — М.: Наука, 1971.
• Helfgott H. A. «Major arcs for Goldbach's theorem». — arXiv:1305.2897, 2013.
• Chen J. R. «On the representation of a larger even integer as the sum of a prime and the product of at most two primes». — Scientia Sinica, 1966.
• Шнирельман Л. Г. «Об аддитивных свойствах чисел». — Известия Донского политехнического института, 1930.