Бог любит троицу

Решена одна из старейших и сложнейших математических задач

Схематическое разбиение нескольких первых четных чисел в сумму простых
Схематическое разбиение нескольких первых четных чисел в сумму простых

В середине мая 2013 года математик из Перу, в настоящее время работающий во Франции, Харальд Хельфготт выложил в архив препринтов Корнельского университета статью «Большие дуги для теоремы Гольдбаха». Эта статья объемом 133 страницы содержит финальную часть доказательства (начатого на заре XX века великим советским математиком Иваном Виноградовым) так называемой тернарной проблемы Гольдбаха — одной из старейших задач в теории чисел.

Май 2013 года стал совершенно удивительным месяцем для теории чисел (точнее, аналитической теории чисел, но это уже детали для специалистов): буквально за одну неделю стало известно о прогрессе в двух сложнейших проблемах, относящихся к так называемым аддитивным задачам. Если грубо, то это целый класс задач, которые имеют дело с представлением одних чисел в виде суммы других, причем эти другие берутся из какого-нибудь специального класса. Соответственно, большинство задач сводится к тому, существуют ли указанные представления и если да, то сколько их. Ответ на последний вопрос, конечно, дается не точный, а в виде какой-нибудь примерной оценки. К задачам этого класса относятся, например, задача Лежандра о представлении целого числа в виде суммы четырех квадратов натуральных чисел, задача о представлении натурального числа в виде суммы пяти квадратов простых чисел (простыми, напомним, называются числа, которые делятся только на себя и на единицу).

Одной из этих задач была и так называемая задача о простых числах-близнецах. Про нее «Лента.ру» подробно уже писала. Если коротко, то суть этой проблемы такова: нужно доказать, что количество простых чисел p, q, таких, что p - q = 2, бесконечно. В смысле аддитивных задач здесь решается вопрос о бесконечности количества представлений двойки в виде разности двух простых. Саму задачу пока решить не удалось, однако американский математик Итан Чжан сделал важный шаг: он доказал, что существует такое целое N, что множество пар простых чисел p, q c условием p - q = N бесконечно. Это стало существенным шагом вперед, поскольку раньше не было известно, бесконечно ли множество таких пар хоть для какого-нибудь N.

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

Записки на полях

В 1725 году немецкий математик и юрист Кристиан Гольдбах переехал в Россию, чтобы стать постоянным членом только что открывшейся Петербургской академии наук. Дела у математика достаточно быстро пошли в гору, и его приблизили ко двору — спустя всего несколько лет он был личным репетитором юного Петра II. В 1742 году уже немолодой Гольдбах (ему было 52 года) решает закончить карьеру ученого и принимает позицию чиновника в Коллегии иностранных дел. 7 июня этого же, судьбоносного для Гольдбаха года математик пишет письмо Леонарду Эйлеру, на тот момент проживавшему в Пруссии. С Эйлером Гольдбах познакомился еще до приезда в Россию во время своего образовательного турне по Европе после окончания университета и с тех пор поддерживал дружеские отношения.

В конце письма, уже на полях, Гольдбах пишет следующую гипотезу: «Всякое целое число больше двух можно представить как сумму трех простых» (немецкий математик, в отличие от представлений современной теории чисел, считал единицу также простым числом). В ответном письме Эйлер напоминает Гольдбаху, что ранее в личной беседе тот высказывал похожую гипотезу: мол, любое четное целое число можно представить в виде суммы двух простых. При этом Эйлер был уверен, что «это несомненно верная теорема», но говорил, что он ее «доказать не в состоянии». Так на свет появилась гипотеза Гольдбаха, точнее даже две гипотезы сразу.

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

Дуги большие и малые

К началу XX века гипотезы Гольдбаха, наряду с гипотезой Римана, стали одними из центральных задач теории чисел, войдя даже в состав знаменитой 8-й проблемы Гильберта.

Прорыв в решении этой задачи был совершен британскими математиками Гарольдом Харди и Джоном Литтлвудом. Тогда они изучали задачу Варинга (о ней говорилось выше). Развивая идеи самого Харди и Сириваса Рамануджана, заложенные в работах 1916-1917 годов, британские математики создали так называемый круговой метод. Его суть заключается в следующем: решение задачи (например, количество способов представить целое число в виде суммы трех простых) задается интегралом по единичной окружности от некоторого ряда. Этот интеграл разбивается на два, один из которых оценивается, а про другой доказывается его относительная малость. Составляющие первую сумму называются большими дугами, а вторую — малыми.

Если читатель споткнулся на этом месте, то вот как этот метод в беседе с «Лентой.ру» объяснил сам Харальд Хельфготт: «Анализ количества решений производится, по сути, посредством преобразования Фурье. Представьте себе, что простые числа — это звуки на некоторой записи, скажем, в моменты времени 2, 3, 5, 7, 11 и так далее микросекунд. После преобразования у вас получается своего рода шум, в котором вы пытаетесь услышать какие-то ноты. Среди них есть такие, которые слышны достаточно хорошо, — это и есть большие дуги. А есть частоты, которые просто являются шумовыми фрагментами, — это малые дуги. Весь метод распадается на две части — выделение нот и доказательство того, что остальное на самом деле шум. За первую часть метода отвечают оценки на большие дуги, за второй — на малые».

Используя свой метод, Харди и Литтлвуд сумели доказать тернарную гипотезу Гольдбаха. Однако у их доказательства был один, но крайне существенный изъян, который, по сути, перечеркивал всю работу: в статье они опирались на недоказанную обобщенную гипотезу Римана. Если коротко, то это некоторое утверждение о решениях одного уравнения — в гипотезе говорится, что все эти решения лежат на одной прямой на плоскости. Это утверждение настолько сложное, что оно не доказано до сих пор, и ее упрощенный вариант (известный просто как гипотеза Римана) входит в список задач Тысячелетия института Клея, за решение каждой из которых полагается по миллиону долларов. Гильберт даже шутил, что если бы он уснул и проснулся через 500 лет, то первым делом спросил бы, доказана ли гипотеза Римана.

Метод Харди и Литтлвуда был усовершенствован советским математиком Иваном Виноградовым. Благодаря этому в 1937 году Виноградов без использования гипотезы Римана доказал вот такой факт: все нечетные целые числа, начиная с некоторого N, можно представить в виде суммы трех простых. «Пожалуй, основным достижением Виноградова были оценки на малые дуги. На самом деле в круговом методе это сложная часть, и оценки Виноградова на тот момент были просто потрясающие — они были результатом крайне нетривиальных комбинаторных рассуждений. Для оценки же больших дуг он использовал методологию, очень похожую на ту, которая была у Харди и Литтлвуда», — рассказал Хельфготт.

Доказано — не доказано

Прежде чем продолжить рассказ, сделаем важное отступление. С этого самого момента (то есть с 1937 года) советские математики и дружественные им считают тернарную проблему Гольдбаха решенной, в то время как зарубежные математики с этим несогласны. К несчастью, правы именно иностранцы: несмотря на то что Виноградов проделал уникальную работу, окончательно задача не была решена. Во-первых, Виноградов не оценил число N. Когда же это было сделано его учеником Константином Бороздиным, оказалось, что граница N в работе Виноградова составляет число порядка 106 846 168. Даже сейчас численная проверка на компьютерах всех «оставшихся» случаев в работе Виноградова не представляется возможной. А значит (и это во-вторых), среди этих чисел может скрываться контрпример к утверждению тернарной гипотезы Гольдбаха. И пусть в существование такого контрпримера никто не верил, задача не могла считаться решенной.

С тех пор многие математики пытались улучшить результат Виноградова. Идея в основе всех этих попыток была довольно простой: улучшая оценки, добиться того, чтобы N стало достаточно малым. «Достаточно малым» в данном случае подразумевает такое значение, для которого гипотезу Гольдбаха можно проверить на компьютере.

«Я начал серьезно заниматься проблемой Гольдбаха в 2006 году, — рассказал "Ленте.ру" Хельфготт. — Достаточно быстро я понял, что могу улучшить существовавшие на тот момент оценки малых дуг. Результатом этой работы стали так называемые свободные от логарифмов оценки (эти результаты я получил достаточно быстро). Дальше работа двигалась намного медленнее — ведь я старался улучшать оценки не только количественно, но и качественно. С самого начала мне казалось, что без качественных улучшений в этой задаче не продвинуться».

В 2012 году свет увидела работа известного специалиста по теории чисел и филдсовского медалиста 2006 года Терренса Тао. Ему удалось показать, что всякое нечетное число представимо как сумма не более чем пяти простых чисел.

«Надо сказать, что появление работы Тао, посвященной пяти простым числам, подстегнуло меня. У меня появился повод собрать воедино все те идеи, которые на тот момент скопились у меня по поводу тернарной гипотезы Гольдбаха. Результатом этого стала работа, посвященная малым дугам. Еще год ушел у меня на работу по большим дугам», — рассказал Хельфготт.

Результатом трудов Хельфготта стала 133-страничная работа, которая содержит все необходимые оценки. Главная теорема звучит следующим образом: все нечетные целые числа, большие 1029, могут быть представлены в виде суммы трех простых. Ранее утверждение гипотезы Гольдбаха было проверено (самим Хельфготтом в сотрудничестве с Давидом Платтом) до 8,875 x 1030. Вместе эти два факта дают окончательное доказательство тернарной гипотезы Гольдбаха. Примечательно, что новая работа полагается на численные методы еще в одном месте: для доказательства пришлось проверить уже упоминавшуюся обобщенную гипотезу Римана для достаточно большого количества корней. Сделано это было Давидом Платтом.

«Я помог Платту, — говорит Хельфготт, — выбил ему время на суперкомпьютерах в разных местах. Впрочем, его вычисления нужны не только в этой задаче — они будут полезны и в других разделах математики».

Бинарная проблема Гольдбаха

Для бинарной проблемы круговой метод не действует — влияние малых дуг там оказывается слишком сильным. В 1930 году Лев Шнирельман показал, что всякое четное число представимо в сумме не более чем С простых, где C - некоторая константа. Изначально она была очень большой: в 1969 году советский математик Климов показал, что C не превосходит 6 000 000 000.

Этот результат неоднократно улучшался — в 1995 году Оливер Рамаре показал, что всякое четное число представимо в виде суммы не более, чем шести простых. Примечательно, что новый результат Хельфготта позволяет улучшить результат Рамаре: вычитая из четного числа тройку, мы получаем нечетное, которое, как теперь известно, представимо в виде суммы трех простых. Стало быть, всякое четное число представимо в виде суммы четырех простых.

Сами же математики считают, что решение сильной проблемы Гольдбаха еще далеко.

Обсудить
Наука и техника
 — 
00:02 26 февраля 2017
После большевистской попытки захвата власти 3-4 июля 1917 года в Петрограде

«События в столице застали Ильича врасплох»

Как Сталин, Ленин и Троцкий провели «жаркий» июль 1917 года
Наука и техника
 — 
00:02 25 марта 2017
«Это было волшебно!»

Дефект массы

Как продолжение культовой серии Mass Effect стало одной из худших игр в истории
Лазерный пистолет и стреляющий эспандер
Пять самых необычных и бессмысленных пистолетов
Срисовали
Как разоблачили банду, охотившуюся на картины знаменитых художников
«Я стала плевать кровью на снег»
Как выстрел в лицо офицеру МВД обернулся обвинениями в самостреле: расследование
Сирийские убийцы
Как связаны резня на КПП Росгвардии в Чечне и недавнее похищение контрактника
Все там будем
Почему невозможно уберечься от рака
Man and woman eating from a pot and a pail on a street corner, 1940-1944Разборки в гетто
Страх, ужас и безысходность на снимках лодзинского фотографа
«Это было волшебно!»Дефект массы
Как продолжение культовой серии Mass Effect стало одной из худших игр в истории
Кровавое воскресенье 22 января 1905 года«Идиоты говорят, что Россию погубил заговор»
Почему революция 1917 года была неизбежна
Пижон Джон
Дикий сэр Элтон, каким его уже мало кто помнит
«Оргиастический акт любви и счастья»
Дина Рубина о советских кулинарных традициях
Девочки кровавые в глазах
Кино недели с Денисом Рузаевым: от «Манчестера у моря» до «Демона внутри»
«Главное — убедить людей, что они счастливы»
Джон Стейнбек и Роберт Капа о советских застольях, писателях и правительстве
Под «Грибами» тает лед
Самая навязчивая песня сезона — во всех мемах страны
Рай на земле
Лучшие для жизни города мира
«Мы делаем не крымское вино, а севастопольское»
Винодел Павел Швец — о месте России на винной карте мира
Германия по карману
Как попасть в Баварию за две тысячи рублей и получить удовольствие
Отберут последнее
Коснутся ли новые правила перевозки электроники летящих в США россиян?
Идеал со сроком годности
От Монро до Кардашьян: как менялись пропорции женской фигуры каждые 10 лет
Спортзал для двоих
Лондонская пара прославилась в сети как самая тренированная в мире
Новая американская мечта
Что такое Fuck You Money, или Как уйти на пенсию в 35 лет
Ищут пожарные, ищет милиция
Десятилетний розыск пропавшей британской девочки обошелся в 16 миллионов фунтов
Восточные легенды
Культовые японские автомобили ушедших лет
Цвета для победителей
Самые известные гоночные раскраски в мире
Самые необычные ДТП
Автомобили на крышах, в бассейнах и другие непонятные аварии, достойные премии
Очень страшные «Рейндж Роверы»
Самые жуткие варианты тюнинга автомобилей Land Rover
Бог простит
В церкви нашли квартиру с красной мебелью и портретами в стиле поп-арт
Фрэнк ГериСпугнули рыбу
Почему антисемиты изгнали из Канады создателя «танцующего дома»
«Наш дом — колония строгого режима»
История семьи, оказавшейся на грани распада из-за дачи
Цветам не место в доме
Почему дети мешают взрослым жить счастливо в собственных квартирах