# Жемчужина короны: почему гипотезу Гольдбаха не могут доказать 300 лет?

Источник: https://www.youtube.com/watch?v=x32Zq-XvID4
Канал: Veritasium
Опубликовано: 20.06.2025

---

В 1954 году в китайском городе Сямынь 21-летний Чэнь Цзинжунь изучал учебник математики в бомбоубежище во время артиллерийского обстрела. Он поставил перед собой цель доказать гипотезу Гольдбаха — задачу, которую математики называют жемчужиной в короне теории чисел [0:38]. Эта проблема остается нерешенной почти 300 лет, несмотря на предложенный в 2000 году приз в размере 1 миллиона долларов за её решение [0:52].

## 🔢 Суть проблемы и письмо 1742 года
[[JUMP:0:00]]

Гипотеза Гольдбаха утверждает, что любое четное число больше 2 можно представить в виде суммы двух простых чисел [1:05]. Простое число делится без остатка только на единицу и на само себя. Например:

*   6 = 3 + 3
*   10 = 5 + 5 или 7 + 3
*   42 = 37 + 5 [1:44]

Кристиан Гольдбах, прусский математик, в 1710 году отправился в путешествие длиной 4000 километров, чтобы встретиться с величайшими учеными своего времени [4:08]. Он общался с Готфридом Лейбницем, Николаем Бернулли и Исааком Ньютоном [4:21]. Позже, работая в Петербургской академии наук, он познакомился с 20-летним Леонардом Эйлером [4:34].

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

*   **Сильная гипотеза Гольдбаха**: каждое четное число больше 2 — это сумма двух простых чисел [6:06].
*   **Слабая гипотеза Гольдбаха**: каждое нечетное число больше 5 — это сумма трех простых чисел [6:06].

Леонард Эйлер был уверен в истинности этих утверждений, но признал, что не может их доказать [6:44]. Если доказать сильную гипотезу, слабая станет верной автоматически, но обратная связь не работает [6:32].

## 📈 Вероятностный подход и «Комета Гольдбаха»
[[JUMP:7:03]]

Математики начали исследовать, сколькими способами можно представить четное число в виде суммы простых (функция H(N)). Для числа 4 существует один способ (2+2), для 20 — два способа (3+17 и 7+13), для 42 — четыре способа [8:29].

В 1923 году Г. Х. Харди и Джон Литтлвуд использовали теорему о распределении простых чисел для оценки H(N) [8:41]. Согласно этой теореме, вероятность того, что случайное число N является простым, составляет примерно 1/ln(N) [8:54]. Ученые выяснили:

1.  Количество способов составить число из двух простых растет по мере увеличения самого числа [10:43].
2.  На графике это распределение напоминает хвост кометы, поэтому его называют «Кометой Гольдбаха» [38:21].
3.  Вероятность отсутствия комбинации для очень больших чисел стремится к нулю [38:47].

Однако оценки Харди и Литтлвуда были лишь статистическим прогнозом, а не строгим доказательством [11:11].

## 🧠 Феномен Рамануджана и метод круга
[[JUMP:11:16]]

В 1913 году Г. Х. Харди получил письмо от неизвестного индийского клерка Сринивасы Рамануджана [11:26]. В рукописи содержалось более 100 теорем без доказательств, некоторые из которых казались невозможными [12:06]. Г. Х. Харди понял, что перед ним гений, чьи идеи слишком фантастичны для мошенника [12:46].

Сриниваса Рамануджан утверждал, что формулы ему во сне диктует богиня Намагири [13:13]. В Кембридже Г. Х. Харди и Сриниваса Рамануджан разработали **метод круга**, который стал основным инструментом для работы со слабой гипотезой Гольдбаха [15:12].

Механизм метода круга можно представить через сложение векторов на комплексной плоскости:

*   Каждое простое число представляется как стрелка часов, вращающаяся с определенной скоростью [22:22].
*   Для большинства углов (минорные дуги) стрелки указывают в разные стороны и гасят друг друга [26:34].
*   В специфических точках (мажорные дуги), соответствующих рациональным дробям, стрелки выстраиваются в одном направлении [23:43].
*   Это создает конструктивную интервенцию, доказывая существование нужной суммы [26:22].

## 🏆 Доказательство слабой гипотезы
[[JUMP:27:31]]

В 1937 году Иван Виноградов доказал, что слабая гипотеза верна для всех «достаточно больших» чисел, не опираясь на недоказанную гипотезу Римана [28:06]. Проблема заключалась в том, что число К, начиная с которого работало доказательство, было огромным.

Динамика снижения константы К:

*   В 1956 году ученик Ивана Виноградова оценил К как 10 в степени 6,8 миллиона [28:45].
*   В 1989 году число снизили до 10 в степени 43 000 [28:57].
*   В 2002 году константу довели до 10 в степени 1346 [29:11].

Даже последнее число невозможно проверить перебором на всех компьютерах мира, так как протонов во Вселенной всего около 10 в 80-й степени [29:24].

В 2013 году Харальд Хельфготт совершил прорыв. Он усовершенствовал математические оценки и с помощью Дэвида Платта проверил на компьютерах все числа до 8,8 * 10 в 30-й степени [30:42]. Харальд Хельфготт опустил теоретическую планку К до уровня $10^{27}$, который уже был перекрыт компьютерной проверкой [30:42]. Таким образом, слабая гипотеза Гольдбаха была официально доказана [31:07].

## 🇨🇳 Трагедия Чэнь Цзинжуня и культурная революция
[[JUMP:32:40]]

Чэнь Цзинжунь в 1966 году подошел ближе всех к решению сильной гипотезы. Он доказал теорему (известную как теорема Чэня): любое достаточно большое четное число является суммой простого числа и полупростого (произведения не более двух простых) [33:07]. Стивен Строгац сравнил сложность этого доказательства с восхождением на вершину Гималаев в стратосфере [33:21].

Публикация совпала с началом Культурной революции в Китае. Хуэйбины объявили интеллектуалов врагами народа [34:11]. Чэнь Цзинжунь подвергся преследованиям:

*   Его заставляли выполнять тяжелый физический труд и жить в каморке без электричества [34:50].
*   Ученого избивали до потери сознания; он пытался покончить с собой, выпрыгнув из окна [35:02].
*   Он продолжал тайно работать над математикой при свете керосиновой лампы [35:29].

Только в 1973 году, после ослабления режима, он смог опубликовать свою работу [36:10]. Позже государство признало его национальным героем, а в 1996 году в его честь назвали астероид [36:37].

## 🔭 Будущее сильной гипотезы
[[JUMP:37:15]]

Сильная гипотеза Гольдбаха остается «безнадежной» для текущих методов [32:13]. В методе круга при работе с четными числами мажорные дуги перестают доминировать над минорными, что делает ошибку вычислений слишком большой [32:27].

На текущий момент компьютеры проверили гипотезу для всех чисел до 4 квинтиллионов ($4 \times 10^{18}$), и она ни разу не нарушилась [38:07]. Стивен Строгац отмечает, что отсутствие практической пользы не должно останавливать исследователей. По его словам, важно заниматься тем, что «зажигает» и вызывает страсть, так как именно такой подход приводит к выдающимся результатам в науке [40:15].