В 1954 году в китайском городе Сямынь 21-летний Чэнь Цзинжунь изучал учебник математики в бомбоубежище во время артиллерийского обстрела. Он поставил перед собой цель доказать гипотезу Гольдбаха — задачу, которую математики называют жемчужиной в короне теории чисел . Эта проблема остается нерешенной почти 300 лет, несмотря на предложенный в 2000 году приз в размере 1 миллиона долларов за её решение .
🔢 Суть проблемы и письмо 1742 года 0:00
Гипотеза Гольдбаха утверждает, что любое четное число больше 2 можно представить в виде суммы двух простых чисел . Простое число делится без остатка только на единицу и на само себя. Например:
Кристиан Гольдбах, прусский математик, в 1710 году отправился в путешествие длиной 4000 километров, чтобы встретиться с величайшими учеными своего времени . Он общался с Готфридом Лейбницем, Николаем Бернулли и Исааком Ньютоном . Позже, работая в Петербургской академии наук, он познакомился с 20-летним Леонардом Эйлером .
В письме от 7 июня 1742 года Кристиан Гольдбах предложил идею, которую Леонард Эйлер позже разделил на две части :
- Сильная гипотеза Гольдбаха: каждое четное число больше 2 — это сумма двух простых чисел .
- Слабая гипотеза Гольдбаха: каждое нечетное число больше 5 — это сумма трех простых чисел .
Леонард Эйлер был уверен в истинности этих утверждений, но признал, что не может их доказать . Если доказать сильную гипотезу, слабая станет верной автоматически, но обратная связь не работает .
📈 Вероятностный подход и «Комета Гольдбаха» 7:03
Математики начали исследовать, сколькими способами можно представить четное число в виде суммы простых (функция H(N)). Для числа 4 существует один способ (2+2), для 20 — два способа (3+17 и 7+13), для 42 — четыре способа .
В 1923 году Г. Х. Харди и Джон Литтлвуд использовали теорему о распределении простых чисел для оценки H(N) . Согласно этой теореме, вероятность того, что случайное число N является простым, составляет примерно 1/ln(N) . Ученые выяснили:
- Количество способов составить число из двух простых растет по мере увеличения самого числа .
- На графике это распределение напоминает хвост кометы, поэтому его называют «Кометой Гольдбаха» .
- Вероятность отсутствия комбинации для очень больших чисел стремится к нулю .
Однако оценки Харди и Литтлвуда были лишь статистическим прогнозом, а не строгим доказательством .
🧠 Феномен Рамануджана и метод круга 11:16
В 1913 году Г. Х. Харди получил письмо от неизвестного индийского клерка Сринивасы Рамануджана . В рукописи содержалось более 100 теорем без доказательств, некоторые из которых казались невозможными . Г. Х. Харди понял, что перед ним гений, чьи идеи слишком фантастичны для мошенника .
Сриниваса Рамануджан утверждал, что формулы ему во сне диктует богиня Намагири . В Кембридже Г. Х. Харди и Сриниваса Рамануджан разработали метод круга, который стал основным инструментом для работы со слабой гипотезой Гольдбаха .
Механизм метода круга можно представить через сложение векторов на комплексной плоскости:
- Каждое простое число представляется как стрелка часов, вращающаяся с определенной скоростью .
- Для большинства углов (минорные дуги) стрелки указывают в разные стороны и гасят друг друга .
- В специфических точках (мажорные дуги), соответствующих рациональным дробям, стрелки выстраиваются в одном направлении .
- Это создает конструктивную интервенцию, доказывая существование нужной суммы .
🏆 Доказательство слабой гипотезы 27:31
В 1937 году Иван Виноградов доказал, что слабая гипотеза верна для всех «достаточно больших» чисел, не опираясь на недоказанную гипотезу Римана . Проблема заключалась в том, что число К, начиная с которого работало доказательство, было огромным.
Динамика снижения константы К:
- В 1956 году ученик Ивана Виноградова оценил К как 10 в степени 6,8 миллиона .
- В 1989 году число снизили до 10 в степени 43 000 .
- В 2002 году константу довели до 10 в степени 1346 .
Даже последнее число невозможно проверить перебором на всех компьютерах мира, так как протонов во Вселенной всего около 10 в 80-й степени .
В 2013 году Харальд Хельфготт совершил прорыв. Он усовершенствовал математические оценки и с помощью Дэвида Платта проверил на компьютерах все числа до 8,8 * 10 в 30-й степени . Харальд Хельфготт опустил теоретическую планку К до уровня $10^{27}$, который уже был перекрыт компьютерной проверкой . Таким образом, слабая гипотеза Гольдбаха была официально доказана .
🇨🇳 Трагедия Чэнь Цзинжуня и культурная революция 32:40
Чэнь Цзинжунь в 1966 году подошел ближе всех к решению сильной гипотезы. Он доказал теорему (известную как теорема Чэня): любое достаточно большое четное число является суммой простого числа и полупростого (произведения не более двух простых) . Стивен Строгац сравнил сложность этого доказательства с восхождением на вершину Гималаев в стратосфере .
Публикация совпала с началом Культурной революции в Китае. Хуэйбины объявили интеллектуалов врагами народа . Чэнь Цзинжунь подвергся преследованиям:
- Его заставляли выполнять тяжелый физический труд и жить в каморке без электричества .
- Ученого избивали до потери сознания; он пытался покончить с собой, выпрыгнув из окна .
- Он продолжал тайно работать над математикой при свете керосиновой лампы .
Только в 1973 году, после ослабления режима, он смог опубликовать свою работу . Позже государство признало его национальным героем, а в 1996 году в его честь назвали астероид .
🔭 Будущее сильной гипотезы 37:15
Сильная гипотеза Гольдбаха остается «безнадежной» для текущих методов . В методе круга при работе с четными числами мажорные дуги перестают доминировать над минорными, что делает ошибку вычислений слишком большой .
На текущий момент компьютеры проверили гипотезу для всех чисел до 4 квинтиллионов ($4 \times 10^{18}$), и она ни разу не нарушилась . Стивен Строгац отмечает, что отсутствие практической пользы не должно останавливать исследователей. По его словам, важно заниматься тем, что «зажигает» и вызывает страсть, так как именно такой подход приводит к выдающимся результатам в науке .
