ЖАНРЫ

Дядюшка Петрос и проблема Гольдбаха
Шрифт:

Мой дядя не был исключением – это он признал в разговоре со мной совершенно искренне. После Берлина и разочарования в «милой Изольде» он жаждал в математике великого, почти невероятного успеха, полного триумфа, который принесет ему мировую славу и (как он надеялся) повергнет жестокосердную деву перед ним на колени. И этот триумф, чтобы быть полным, должен принадлежать ему и только ему, а не быть поделенным между двоими или троими.

И еще против того, чтобы остаться в Кембридже, говорило время. Понимаете, математика – это игра людей молодых. Она одно из немногих занятий человека (и в этом она похожа на спорт), где молодость – неотъемлемое условие высших достижений. Петрос, как и всякий молодой математик, знал гнетущую статистику: практически никогда в истории его науки великое открытие не было сделано человеком тридцати пяти или сорока лет. Риман умер в тридцать девять, Нильс Хенрик Абель – в двадцать семь, а Эварист Галуа трагически погиб в двадцать, но их имена вписаны в историю математики золотом по мрамору. «Дзета-функция Римана», «Абелевы интегралы» и «Группы Галуа» – бессмертное наследие для математиков грядущих поколений. Пусть Эйлер и Гаусс работали и доказывали теоремы в пожилом возрасте, но их фундаментальные открытия были сделаны в ранней молодости. В любой другой области двадцатичетырехлетний Петрос был бы многообещающим новичком, и его ждали бы годы и годы богатой творческой жизни. А в математике он уже был на пике своего развития.

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

И после не слишком долгих размышлений Петрос решил, что Харди и Литлвуду придется дальше идти без него.

С этой минуты он не может позволить себе потерять ни одного дня. Впереди лежат самые плодотворные годы, неодолимо зовущие его. Он должен немедленно начать работу над проблемой.

А насчет того, что за проблема, все ясно. Это может быть только один из великих открытых вопросов, которые в случайном разговоре несколько лет назад упомянул Каратеодори, – ничто меньшее не устроило бы честолюбие Петроса. Из этих вопросов гипотеза Римана уже находилась в руках Харди и Литлвуда, и простая научная этика, не говоря уже об осторожности, требовала оставить ее в покое. Что касается последней теоремы Ферма, то методы, которые традиционно использовались для попыток ее доказательства, были, на вкус Петроса, слишком алгебраическими. Итак, выбор оказывался очень прост: машина, которая повезет его к исполнению мечты о славе и бессмертии, не может быть ничем иным, кроме как проблемой Гольдбаха с ее скромно звучащей формулировкой.

Предложение занять кафедру анализа в Мюнхенском университете пришло чуть раньше и оказалось очень вовремя. Эта должность была бы идеальной. Ранг профессора – косвенная награда за полезность метода Папахристоса для армии кайзера – даст Петросу свободу от излишней преподавательской нагрузки и обеспечит финансовую независимость от отца, чтобы у того не было искушения вернуть сына в Грецию и заставить заниматься семейным предприятием. В Мюнхене он будет избавлен от посторонних обязанностей. Несколько лекционных часов – не слишком большая потеря времени, напротив, живая связь с техникой анализа, которую он будет применять в своей работе.

Меньше всего Петросу хотелось, чтобы другие лезли в его задачу. Оставляя Кембридж, он намеренно скрыл свои следы дымовой завесой. Он не только не сказал Харди и Литлвуду, что отныне будет работать над проблемой Гольдбаха, но создал у них впечатление, что будет продолжать заниматься их любимой гипотезой Римана. И в этом отношении Мюнхен тоже был идеален: его математический факультет не был особенно прославленным, как Берлинский или почти легендарный Геттингенский, и потому Петрос будет изолирован от главных центров математических сплетен и назойливого любопытства.

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

Прошло уже больше сорока лет, но мой дядя с исключительной ясностью помнит тот первый день, когда он начал работу.

Солнце еще не взошло, когда он уже сел за стол, взял толстую авторучку и написал на чистом белом листе бумаги:

УТВЕРЖДЕНИЕ. Любое четное число, большее 2, может быть представлено в виде суммы двух простых.

ДОКАЗАТЕЛЬСТВО. Допустим, что данное утверждение ложно. Тогда существует целое число n, такое, что 2n не может быть выражено в виде суммы двух простых чисел, т. е. для любого простого числа p ‹ 2n число 2np является составным…

После нескольких месяцев напряженной работы он начал оценивать истинные размеры проблемы и отметил наиболее очевидные тупики. Он уже мог очертить общую стратегию своего подхода и сформулировать некоторые промежуточные результаты, которые необходимо было доказать. Следуя военной терминологии, он называл их «господствующими высотами, которые надо занять перед решительной атакой на саму Проблему».

Разумеется, весь подход был основан на аналитическом методе.

Теория чисел как в аналитическом, так и в алгебраическом вариантах имеет один и тот же предмет изучения, а именно – свойства натуральных чисел 1, 2, 3, 4, 5, а также их взаимоотношения. Как физические исследования часто сводятся к изучению элементарных частиц материи, так и многие главные проблемы высшей арифметики сводятся к вопросам простых чисел (натуральных чисел, не имеющих других делителей, кроме 1 и себя самих, например, 2, 3, 5, 7, 11…) – неделимых квантов числовой системы.

Древние греки, а вслед за ними и великие математики эпохи европейского Просвещения, такие как Пьер де Ферма, Леонард Эйлер и Карл Фридрих Гаусс, нашли целые залежи интереснейших теорем о простых числах (мы уже упоминали доказательство Евклида бесконечности множества простых чисел). И все же к середине девятнадцатого столетия самые фундаментальные свойства простых чисел оставались вне досягаемости математиков.

Главными среди этих вопросов были следующие два: «распределение» простых чисел (т.е. количество простых чисел, меньших заданного натурального n) и картина их следования, неуловимая формула, по которой, зная простое число pn, можно найти следующее простое – pn+1. Часто (быть может, бесконечно часто, согласно одной гипотезе) простые числа различаются только на 2, идут парами, например, 5 и 7, 11 и 13, 41 и 43 или 9857 и 9859 [13] . В других же случаях два последовательных простых числа могут быть разделены сотнями, тысячами, миллионами составных чисел – вообще-то очень просто доказать, что для любого наперед заданного натурального числа k можно найти идущие подряд k натуральных чисел, среди которых нет ни одного простого [14] .

[13] Наибольшая известная такая пара столь велика, что ее почти невозможно себе представить: 83533539014 +/- 1. – Примеч. автора.

[14] Пусть k – заданное целое число. Множество (k +2)! + 2, (k +2)! + 3, (k +2)! + 4, (k +2)! + (k +1), (k +2)! + (k +2) содержит k натуральных чисел, среди которых нет ни одного простого, поскольку они делятся на 2, 3, 4, k +1 и k +2 соответственно. Символ k! (читается «ка факториал») означает произведение всех натуральных чисел от 1 до k. – Примеч. автора.

Отсутствие видимого порядка в организации последовательности простых чисел мучило математиков много веков подряд и во многом придавало теории чисел такой захватывающий интерес. Да, это была великая загадка, достойная самых возвышенных умов: раз простые числа – строительные блоки для натуральных чисел, а натуральные числа – основа логического понимания космоса, как может быть, что их вид не определяется законом? Почему в этом случае не очевидна «божественная геометрия»?

Аналитическая теория чисел родилась в 1837 году вместе с поразительным доказательством Дирихле бесконечности множества простых чисел в арифметических прогрессиях. Но пика своего развития она достигла только к концу века. За несколько лет до Дирихле Карл Фридрих Гаусс высказал догадку об «асимптотической» формуле для числа простых чисел, меньших заданного целого n (асимптотическая – это значит дающая все более точный результат по мере роста n). Но ни он, ни кто-либо другой не смог дать даже намек на доказательство. Потом в 1859 году Бернхард Риман ввел бесконечный ряд комплексных чисел [15] , с тех пор известный под названием «дзета-функции Римана», который обещал стать крайне полезным инструментом. Однако для эффективного применения этого инструмента специалистам по теории чисел пришлось оставить традиционные, алгебраические (так называемые элементарные) методы и прибегнуть к методам комплексного анализа, то есть к исчислению бесконечно малых на комплексной плоскости.

[15] Числа вида а + bi где а и b – вещественные числа, a i – мнимый квадратный корень из 1. – Примеч. автора.

Прошло несколько десятилетий, и Адамар и Балле-Пуссен смогли доказать асимптотическую формулу Гаусса с помощью дзета-функции Римана (с тех пор этот результат известен как «Закон распределения простых чисел»). Аналитический подход вдруг сделался волшебным ключом к самым глубоким тайнам теории чисел.

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

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

Поделиться с друзьями: