Теорема Виноградова о трёх простых числах¶

Теорема Виноградова о трёх простых числах — утверждение аддитивной теории чисел, согласно которому любое достаточно большое нечётное число представимо в виде суммы трёх простых чисел. Доказана Иваном Матвеевичем Виноградовым в 1937 году. Теорема является ослабленной формой тернарной проблемы Гольдбаха, которая в полном виде утверждает, что всякое нечётное число, большее 5, представимо суммой трёх простых.

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

Существует абсолютная постоянная \(N_0\) такая, что всякое нечётное целое число \(n > N_0\) может быть выражено как

\[ n = p_1 + p_2 + p_3, \]

где \(p_1, p_2, p_3\) — простые числа.

В первоначальном доказательстве Виноградова оценка для \(N_0\) была крайне велика (порядка \(3^{15}\) и более поздние уточнения). Впоследствии граница была существенно снижена: в 2002 году Харальд Хельфготт и Дэвид Терри показали, что \(N_0 \le 10^{1346}\), а в 2013 году Хельфготт окончательно доказал тернарную проблему Гольдбаха для всех нечётных чисел \(n > 5\), сведя \(N_0\) к 5. Таким образом, теорема Виноградова исторически стала первым безусловным доказательством асимптотической версии проблемы, но сегодня её самостоятельное значение сохраняется в контексте методов и оценок.

¶История

¶Проблема Гольдбаха

В 1742 году Кристиан Гольдбах в письме к Леонарду Эйлеру высказал гипотезу, что всякое чётное число больше 2 является суммой двух простых (бинарная проблема). Эйлер уточнил, что всякое нечётное число больше 5 — сумма трёх простых (тернарная проблема). Бинарная проблема остаётся недоказанной по состоянию на 2025 год.

¶Вклад Харди и Литлвуда

В 1920-х годах Годфри Харольд Харди и Джон Иденсор Литлвуд разработали круговой метод, позволивший свести проблему к оценке особых тригонометрических сумм. Они доказали, что тернарная проблема следует из обобщённой гипотезы Римана. Без этой гипотезы их метод давал лишь условный результат.

¶Доказательство Виноградова

В 1937 году Иван Виноградов, используя усовершенствованный круговой метод, получил безусловную оценку для сумм с простыми числами, что позволило доказать теорему для всех достаточно больших нечётных чисел. Ключевым элементом стало новое оценивание сумм Вейля — экспоненциальных сумм вида \(\sum_{p \le x} e^{2\pi i \alpha p}\). Виноградов показал, что для иррациональных \(\alpha\) эти суммы существенно меньше тривиальной оценки, за исключением малой окрестности рациональных точек с малым знаменателем.

¶Последующие уточнения

• 1938 год: А. А. Бухштаб и М. А. Коробов независимо улучшили оценку \(N_0\).
• 1956 год: Виноградов опубликовал элементарное доказательство (без использования аналитического аппарата, но с более слабой оценкой).
• 2002 год: Хельфготт и Терри понизили границу до \(10^{1346}\).
• 2013 год: Хельфготт полностью доказал тернарную проблему, устранив необходимость в \(N_0\).

¶Метод доказательства

Доказательство опирается на круговой метод Харди — Литлвуда. Число представлений \(R(n)\) нечётного \(n\) в виде суммы трёх простых выражается интегралом по единичной окружности:

\[ R(n) = \int_0^1 S(\alpha)^3 e^{-2\pi i \alpha n} d\alpha, \]

где \(S(\alpha) = \sum_{p \le n} e^{2\pi i \alpha p}\).

Окружность разбивается на «большие дуги» (окрестности рациональных точек с малым знаменателем) и «малые дуги» (остальная часть). На больших дугах интеграл вычисляется через особый ряд, связанный с распределением простых в арифметических прогрессиях. На малых дугах применяется оценка Виноградова для \(S(\alpha)\), которая гарантирует, что вклад этих дуг пренебрежимо мал по сравнению с главным членом.

Итоговая асимптотическая формула имеет вид:

\[ R(n) = \frac{n^2}{2(\log n)^3} \mathfrak{S}(n) + O\left(\frac{n^2}{(\log n)^4}\right), \]

где \(\mathfrak{S}(n)\) — сингулярный ряд, положительный для всех нечётных \(n\) и стремящийся к положительной постоянной.

¶Значение

Теорема Виноградова стала поворотным моментом в аналитической теории чисел, продемонстрировав мощь кругового метода для безусловных результатов. Она также стимулировала развитие методов оценок тригонометрических сумм с простыми числами, которые нашли применение в других задачах: проблема Варинга, распределение простых в коротких интервалах, аддитивные задачи с почти простыми числами.

Для российской математической школы теорема имеет особое значение: она выдвинула отечественную аналитическую теорию чисел на мировой уровень и принесла Виноградову международное признание, включая избрание членом АН СССР и иностранным членом ряда академий.

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

После работы Хельфготта 2013 года тернарная проблема Гольдбаха решена полностью, и теорема Виноградова утратила самостоятельную актуальность как конечная цель. Однако её методы и оценки продолжают использоваться в исследованиях по аддитивной теории чисел, а сам результат остаётся классическим примером применения кругового метода.

¶Источники

• Виноградов И. М. «Метод тригонометрических сумм в теории чисел». — М.: Наука, 1980.
• Хельфготт Х. «The ternary Goldbach conjecture is true» (2013).
• Карацуба А. А. «Основы аналитической теории чисел». — М.: Наука, 1983.