Текст книги "Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике."

Автор книги: Джон Дербишир

сообщить о нарушении

Текущая страница: 1 (всего у книги 26 страниц)

Посвящается Рози

Предисловие к русскому изданию

О том, что готовится русский перевод моей книги, я впервые услышал от переводчика А.М. Семихатова, обратившегося ко мне для уточнения некоторых деталей.

Это известие привело меня в восторг. Мой не слишком убедительный опыт в изучении русского языка описан в примечании [29]. Стыдно признаться, но с тех пор мое знание русского не сильно продвинулось. Несмотря на это, я по-прежнему испытываю немалую сентиментальную привязанность к этому языку. Азам русского меня обучал преподаватель из Школы славянских и восточноевропейских исследований, расположенной поблизости от того колледжа в Лондоне, где я учился. Мой преподаватель – да простят меня небеса, я позабыл, как его звали, – был из той редкой породы людей, которые действительно искренне любят язык ради самого языка (насколько я понял из нашей электронной переписки, к числу таких людей относится и A.M. Семихатов). Чтобы мы прочувствовали, как в русских словах ставится ударение – а это самый сложный момент для всех иностранцев, изучающих русский, – он заставлял нас учить наизусть короткие отрывки из стихотворений прекрасных русских поэтов. Так что и по сей день я могу наизусть прочитать что-то из Пушкина и Есенина, хотя при этом вряд ли способен заказать по-русски и чашку кофе.

До того как A.М. Семихатов связался со мной, я ничего не знал о фонде «Династия», под эгидой которого был организован перевод моей книги. Я принялся расспрашивать своих русских друзей, те стали расспрашивать своих друзей, и т.д. Теперь я знаю гораздо больше. Я знаю, какую огромную работу по поддержанию замечательных традиций российской науки, и в частности математики, ведет фонд «Династия». И я рад, что часть этих традиций я сумел описать в своей книге. Я благодарен фонду «Династия» за то, что среди других они выбрали для перевода именно мою книгу. Это большая честь для меня.

Главная тема моей книги – Гипотеза Римана и усилия, направленные на ее доказательство, – это всего лишь небольшая часть математики, а сама математика – лишь одно из многочисленных направлений в мыслительном процессе, посредством которого человечество стремится познать ту Вселенную, где нам довелось жить. Тем не менее я надеюсь, что мое повествование достойно передает дух интеллектуальной свободы и честного научного соревнования – двух составляющих, лежащих в основе всего, что мы знаем или надеемся узнать; только они и делают возможными новые открытия и позволяют реализовать знаменитые слова Давида Гильберта, которые я цитирую в главе 16: «Wir müssen wissen, wir werden wissen» – «Мы должны знать, мы будем знать!» Я приветствую деятельность фонда «Династия», направленную на создание условий для этого.

От автора книги такого рода требуется предоставить читателям возможность одновременно и получать удовольствие от чтения, и обучаться чему-то. Удовольствие проще простого испортить плохим переводом. Я уверен, что перевод моей книги – это совсем другой случай, и склонен даже подозревать, что из рук переводчика книга вышла даже в несколько улучшенном виде. Переводческий труд редко бывает благодарной (и хорошо оплачиваемой) работой. Так что авторам остается только надеяться, что с переводчиком им повезет. Судя по нашей переписке и по тем фактам, которые стали мне известны от моих русских друзей, мне и моим русским читателям по-настоящему повезло и такой переводчик, как Алексей Семихатов, – большая удача для всех нас. И я бесконечно благодарен ему за его тщательную и кропотливую работу и за неизменное внимание к деталям.

Напоследок я хочу еще раз поблагодарить фонд «Династия» за то, что их выбор пал именно на мою книгу.

Джон Дербишир

Хантингтон, Лонг-Айленд

Июнь 2008 г.

Вступление

В августе 1859 года Бернхард Риман стал членом-корреспондентом Берлинской академии наук; это была большая честь для тридцатидвухлетнего математика. В согласии с традицией Риман по такому случаю представил академии работу по теме исследований, которыми он был в то время занят. Она называлась «О числе простых чисел, не превышающих данной величины». В ней Риман исследовал простой вопрос из области обычной арифметики. Чтобы понять этот вопрос, сначала выясним, сколько имеется простых чисел, не превышающих 20. Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих тысячи? Миллиона? Миллиарда? Существует ли общий закон или общая формула,которые избавили бы нас от прямого пересчета?

Риман взялся за эту проблему, используя самый развитый математический аппарат своего времени – средства, которые даже сегодня изучаются только в продвинутых институтских курсах; кроме того, он для своих нужд изобрел математический объект, сочетающий в себе мощь и изящество одновременно. В конце первой трети своей статьи он высказывает некоторую догадку относительно этого объекта, а далее замечает:

Хотелось бы, конечно, иметь строгое доказательство этого факта, но после нескольких недолгих бесплодных попыток я отложил поиск такого доказательства, поскольку этого не требуется для непосредственных целей моего исследования.

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

Гипотеза Римана, как стали называть эту догадку, оставалась навязчивой идеей в течение всего XX столетия и остается таковой по сей день, отразив к настоящему моменту все без исключения попытки доказать ее или опровергнуть. Эта одержимость Гипотезой Римана стала сильна как никогда после того, как в последние годы были успешно решены другие великие проблемы, долгое время остававшиеся открытыми: Теорема о четырех красках (сформулирована в 1852 году, решена в 1976), Последняя теорема Ферма (сформулирована, по-видимому, в 1637 году, доказана в 1994), а также многие другие, менее известные за пределами мира профессиональных математиков. Гипотеза Римана сегодня – это гигантский Белый Кит математических исследований.

Гипотеза Римана поглощала внимание математиков в течение всего XX века. Вот что говорил Давид Гильберт, один из виднейших математических умов своего времени, обращаясь ко второму международному конгрессу математиков:

В теории распределения простых чисел в последнее время Адамаром, де ля Валле Пуссеном, фон Мангольдтом и другими сделаны существенные сдвиги. Но для полного решения проблемы, поставленной в исследовании Римана «О числе простых чисел, не превышающих данной величины», необходимо прежде всего доказать справедливость исключительно важного утверждения Римана <…>.

Далее Гильберт приводит формулировку Гипотезы Римана. А вот как сто лет спустя высказался Филип А. Гриффите, директор Института высших исследований в Принстоне, а ранее – профессор математики в Гарвардском университете. В своей статье, озаглавленной «Вызовы исследователям XXI века», в январском номере Journal of the American Mathematical Societyза 2000 год он пишет:

Несмотря на колоссальные достижения XX века, десятки выдающихся проблем все еще ожидают своего решения. Наверное, большинство из нас согласится, что следующие три проблемы относятся к числу наиболее вызывающих и интересных.

Первой из них является Гипотеза Римана, которая дразнит математиков уже 150 лет <…>.

Интересным явлением в Соединенных Штатах в последние годы XX века стало появление частных математических исследовательских институтов, финансируемых богатыми любителями математики. И Математический институт Клея (основанный в 1998 году бостонским финансистом Лэндоном Т. Клеем), и Американский математический институт (основан в 1994 году калифорнийским предпринимателем Джоном Фраем) ориентировали свои исследования на Гипотезу Римана. Институт Клея установил премию в миллион долларов за ее доказательство или опровержение. Американский математический институт обращался к Гипотезе на трех полномасштабных конференциях (в 1996, 1998 и 2000 годах), собравших исследователей со всего мира. Помогут ли эти новые подходы и инициативы в конце концов победить Гипотезу Римана, пока не ясно.

В отличие от Теоремы о четырех красках или Последней теоремы Ферма Гипотезу Римана нелегко сформулировать так, чтобы сделать ее понятной для нематематика, потому что она составляет самую суть одной трудной для понимания математической теории. Вот как она звучит:

Гипотеза Римана

Все нетривиальные нули дзета-функции имеют вещественную часть, равную одной второй.

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

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

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

Книга предназначена для понятливого и любознательного читателя-нематематика. Такое утверждение, конечно, вызывает целый ряд вопросов. Что имеется в виду под «нематематиком»? Какой уровень математических знаний предполагается у читателя? Ну, начнем с того, что каждый хоть что-тознает из математики. Наиболее образованные люди могут, вероятно, иметь смутное представление о том, что такое математический анализ. Я думаю,что мне удалось написать книгу, отвечающую уровню тех читателей, кто был в терпимых отношениях со школьной математикой и, возможно, прослушал пару институтских курсов по математике.

Первоначально я собирался объяснить Гипотезу Римана вообще без использования математического анализа. Такая постановка задачи оказалась немного слишком оптимистичной; в результате набрались три главы, содержащие (в очень ограниченном объеме) самый элементарный анализ, причем все необходимое объясняется по ходу дела.

Практически все остальное – это просто арифметика и элементарная алгебра: раскрытие скобок в выражениях типа (a + b)×(c + d)или преобразования уравнений, позволяющие превратить S = 1 +  xSв S = 1/(1 −  x). Еще потребуется готовность читателя принять кое-какие сокращенные обозначения, позволяющие пощадить мускулы кисти руки при переписывании математических выражений. Я могу утверждать по крайней мере следующее: я не думаю, что Гипотезу Римана можно объяснить, используя математику более элементарную, чем та, что излагается в этой книге; поэтому если, закончив чтение, вы так и не будете понимать, в чем состоит Гипотеза, то можете быть уверены, что вы этого никогда не поймете.

Многие профессиональные математики и историки математики великодушно откликнулись на мои просьбы о помощи. Я глубоко благодарен целому ряду людей, добровольно уделивших мне время, за данные мне советы (которым я не всегда следовал), за их терпение, когда им приходилось отвечать на одни и те же тупые вопросы, а одному из них я особенно благодарен за оказанное мне гостеприимство. Вот эти люди: Джерри Александерсон, Том Апостол, Мэтт Брин, Брайан Конри, Хэролд Эдварде, Деннис Хеджхал, Артур Джаффе, Патрисио Лебеф, Стивен Миллер, Хью Монтгомери, Эрвин Нейеншвандер, Эндрю Одлыжко, Сэмюэль Паттерсон, Питер Сарнак, Манфред Шредер, Ульрике Форхауер, Матти Вуоринен и Майк Вестморланд. За все серьезные ошибки в книге несу ответственность я, а не они. Бригитт Брюггеман и Херберт Айтенайер помогли мне восполнить пробелы в немецком. Заказы на статьи от моих друзей из National Review, The New Criterionи The Washington Timesпозволяли кормить моих детей, пока я работал над книгой. Многочисленные читатели моих онлайновых колонок помогли мне осознать, какие именно математические идеи представляют наибольшую трудность для понимания нематематиками.

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

Еще огорчительнее, что в моей книге не встретится имен многих ученых, которые десятилетиями трудятся на этом поприще, не покладая рук. Это Энрико Бомбьери, Амит Гош, Стив Гонек, Хенрик Иванек (в половине приходящей к нему электронной корреспонденции указан адресат «Хенри К. Иванек»), Нина Снейт и многие другие. Я приношу им свои искренние извинения. Когда работа начиналась, я и не подозревал, какой груз взваливаю на свои плечи. Эта книга с легкостью могла оказаться в три или в тридцать раз длиннее, но мой редактор уже шарил под столом в поисках бензопилы.

И еще одна благодарность. Я придерживаюсь того суеверия, что всякая книга, выходящая за рамки ремесла, – другими словами, всякая книга, написанная с тщанием и любовью, – имеет своего духа-хранителя. Этим я просто хочу сказать, что за всякой книгой стоит определенный конкретный человек, образ которого не покидает мысли автора во время работы и личность которого добавляет красок его страницам. (В художественной литературе, боюсь, таким человеком слишком часто оказывается сам автор.)

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

Книгу следует посвятить кому-то из живущих, чтобы посвящение могло доставить удовольствие. Я посвятил эту книгу своей жене, которая совершенно точно знает, насколько это посвящение искренне. Но в определенном смысле, и это нельзя обойти молчанием в предисловии, эта книга принадлежит Бернхарду Риману, который за свою короткую жизнь, омраченную многими горестями, оставил людям столь много имеющего непреходящую ценность – включая и задачу, которая продолжает манить их через полторы сотни лет после того, как он с типичной для себя застенчивостью упомянул о своих «недолгих бесплодных попытках» ее решить.

Джон Дербишир

Хантингтон, Лонг-Айленд

Июнь 2002 г.

Часть первая
Теорема о распределении простых чисел

Глава 1. Карточный фокус

I.

Как и многие другие представления, это начинается с колоды карт.

Возьмем обычную колоду из 52 карт; положим ее на стол, подровняв со всех сторон. А теперь сдвинем самую верхнюю карту колоды, не пошевелив при этом ни одну из остальных карт. Насколько можно сдвинуть верхнюю карту, чтобы она еще не упала?

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

Рисунок 1.1.

Теперь сделаем кое-что еще. Пусть верхняя карта так и лежит, сдвинутая на половину своей длины – т.е. с максимальным нависанием, – а мы начнем осторожно сдвигать следующую карту. Насколько в сумме могут нависать две верхние карты?

Фокус состоит в том, что эти две карты надо рассматривать как единое целое. Где у этого целого находится центр тяжести? Ясно, что посередине общей длины – длины в полторы карты. Значит, центр тяжести расположен на расстоянии в три четверти длины карты от выступающего края верхней карты (см. рисунок 1.2). Суммарное нависание, следовательно, равно трем четвертям длины карты. Заметим, что верхняя карта по-прежнему свисает со второй на половину своей длины. Но две верхние карты мы сдвигали как единое целое.

Рисунок 1.2.

Если теперь начать двигать третью карту и посмотреть, насколько можно увеличить нависание, окажется, что ее можно сдвинуть на одну шестую длины карты. Как и ранее, надо воспринимать три верхние карты как единое целое. Центр тяжести тогда расположен на расстоянии в одну шестую длины карты от выдвинутого края третьей карты (см. рисунок 1.3).

Рисунок 1.3.

За край у нас выдвинута одна шестая третьей карты, одна шестая плюс одна четверть второй карты, а также одна шестая плюс одна четверть плюс одна вторая верхней карты, что в сумме дает полторы карты:

 
¹/ ₆+ ( ¹/ ₆+ ¹/ ₄) + ( ¹/ ₆+ ¹/ ₄+ ¹/ ₂) = 1 ¹/ ₂.
 

Это половина от длины трех карт; вторая половина находится за точкой опрокидывания. На рисунке 1.4 изображено, что у нас получилось после максимально возможного сдвига третьей карты.

Рисунок 1.4.

Полное нависание теперь составляет одну вторую (за счет верхней карты) плюс одна четверть (за счет второй карты) плюс одна шестая (за счет третьей). Всего – одиннадцать двенадцатых длины карты. Потрясающе!

Можно ли добиться нависания, превышающего длину одной карты? Да, можно. Прямо следующая карта – четвертая сверху – при осторожном сдвигании добавит к нависанию одну восьмую длины карты. Я не буду проделывать все эти арифметические выкладки – или поверьте мне, или сделайте их сами, подобно тому как мы это только что сделали для трех первых карт. Вот чему равно полное нависание с четырьмя картами: одна вторая плюс одна четверть плюс одна шестая плюс одна восьмая – все вместе одна и одна двадцать четвертая длины карты (см. рисунок 1.5).

Рисунок 1.5.

Если продолжать действовать в том же духе и целиком использовать всю колоду, то за счет пятидесяти одной карты накопится нависание, равное

 
¹/ ₂+ ¹/ ₄+ ¹/ ₆+ ¹/ ₈+ ¹/ ₁₀+ ¹/ ₁₂+ ¹/ ₁₄+ ¹/ ₁₆+ … + ¹/ ₁₀₂
 

(самую нижнюю карту сдвигать бессмысленно). Такая сумма на самую толику меньше, чем 2,25940659073334. Таким образом, мы добились полного нависания более чем в две с четвертью длины! (Рис. 1.6.)

Рисунок 1.6.

Я был студентом, когда узнал про это. Дело было в летние каникулы, и я занимался подготовкой к следующему семестру, пытаясь несколько опередить программу. Свой вклад в оплату обучения я вносил, нанимаясь на время каникул рабочим на стройки – в Англии в те времена профсоюзы не сильно контролировали этот сектор. На следующий день после того, как я узнал про фокус с картами, мне предстояло в одиночку прибраться во внутренней части строящегося здания, где пачками хранились сотни больших квадратных потолочных панелей. Часа два я с забавлялся со стопкой из 52 панелей, пытаясь добиться нависания в две с четвертью панели. Проходивший мимо прораб застал меня глубоко погруженным в созерцание гигантской колышущейся башни, составленной из потолочных панелей, и он, я думаю, утвердился в своих худших подозрениях относительно целесообразности найма студентов.

II.

Есть одна вещь, которую очень любят делать математики и которая оказывается очень плодотворной, – это экстраполировать, т.е. брать конкретную задачу и распространять ее выводы на более широкую область.

В нашей конкретной задаче у нас было 52 карты. Оказалось, что полное нависание составило более чем две с четвертью карты.

Но почему 52 карты? А если бы было больше? Сотня? Миллион? Триллион? А предположим, что у нас имелся бы неограниченныйзапас карт – какого максимального нависания мы смогли бы тогда добиться?

Сначала взглянем на нашу постепенно растущую формулу. При 52 картах полное нависание составило

 
¹/ ₂+ ¹/ ₄+ ¹/ ₆+ ¹/ ₈+ ¹/ ₁₀+ ¹/ ₁₂+ ¹/ ₁₄+ ¹/ ₁₆+ … + ¹/ ₁₀₂.
 

Поскольку все знаменатели здесь четные, можно вынести одну вторую за скобки и переписать в виде

 
¹/ ₂∙(1 + ¹/ ₂+ ¹/ ₃+ ¹/ ₄+ ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ ¹/ ₈+ … + ¹/ ₅₁).
 

Если бы у нас была сотня карт, то полное нависание составляло бы

 
¹/ ₂∙(1 + ¹/ ₂+ ¹/ ₃+ ¹/ ₄+ ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ ¹/ ₈+ … + ¹/ ₉₉).
 

Имея в распоряжении триллион карт, мы добились бы нависания величиной в

 
¹/ ₂∙(1 + ¹/ ₂+ ¹/ ₃+ ¹/ ₄+ ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ ¹/ ₈+ … + ¹/ _999999999999).
 

Чтобы посчитать такое, требуется проделать немало арифметических действий, но у математиков есть способы спрямлять подобные вычисления, и я могу твердо заверить вас, что полное нависание в случае сотни карт будет лишь чуточку меньше, чем 2,58868875882, а для триллиона карт – на самую толику меньше, чем 14,10411839041479.

Полученные числа удивительны вдвойне. Во-первых, тем, что вообще удается добиться нависания в 14 с лишним карточных длин, пусть даже для этого понадобится триллион карт. Четырнадцать карточных длин – это более четырех футов, если брать стандартные игральные карты. А во-вторых, если об этом подумать, тем, что числа оказываются именно такими, а не большими. При переходе от 52 к 100 картам мы заработали дополнительное нависание лишь в одну треть длины карты (даже чуть-чуть меньше, чем в одну треть). А затем переход к триллиону – а колода в триллион стандартных игральных карт будет иметь такую толщину, что покроет большую часть расстояния до Луны, – принес нам всего лишь одиннадцать с половиной карточных длин.

Ну а если бы число карт у нас было неограниченным? Какого максимального нависания мы могли бы достичь? Замечательный ответ на этот вопрос состоит в том, что максимального нависания просто нет. Если в запасе имеется достаточное число карт, можно сделать нависание сколь угодно большим. Желаете получить нависание в 100 карточных длин? Пожалуйста, возьмите что-то около 405 709 150 012 598 триллионов триллионов триллионов триллионов триллионов триллионов карт – колоду, высота которой намного превысит размеры известной нам части Вселенной. А можно сделать и большее нависание, и еще большее – настолько большое, насколько захотите, если только у вас есть желание иметь дело с невообразимо большим числом карт. Нависание в миллион карт? Пожалуйста, но, правда, количество необходимых для этого карт будет таким большим, что только для записи этого числа понадобится нормального размера книга – в этом числе будет 868 589 цифр.

III.

Теперь нам предстоит сосредоточить свое внимание на выражении в скобках, а именно

 
1 + ¹/ ₂+ ¹/ ₃+ ¹/ ₄+ ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ ….
 

Математики говорят, что это – ряд; ряд означает неограниченно продолжающееся суммирование членов, каждый из которых задается некоторым общим законом. В нашем случае члены ряда 1, ¹/ ₂, ¹/ ₃, ¹/ ₄, ¹/ ₅, ¹/ ₆, ¹/ ₇, … – это обратные величины к обычным натуральным числам 1, 2, 3, 4, 5, 6, 7, ….

Ряд 1 + ¹/ ₂+ ¹/ ₃+ ¹/ ₄+ ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ … играет в математике достаточно важную роль, чтобы иметь собственное название. Он называется гармоническим рядом.

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

Грубый, но распространенный и доходчивый способ выразить то же самое – это сказать, что гармонический ряд суммируется к бесконечности:

 
1 + ¹/ ₂+ ¹/ ₃+ ¹/ ₄+ ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ … = ∞.
 

Хорошо воспитанных математиков учат морщиться при виде таких выражений; но я думаю, что с ними вполне можно иметь дело, если знать опасности, которые вас тут подстерегают. Леонард Эйлер, один из величайших математиков всех времен, использовал подобные выражения постоянно и весьма плодотворно. Но все же правильный, профессиональный математический термин, описывающий то, что здесь происходит, звучит так: гармонический ряд расходится.

Сказать-то я это сказал, но смогу ли я это доказать? Всем известно, что в математике каждый результат надо строго логически доказывать. Результат у нас такой: гармонический ряд расходится. Как его доказать?

Доказательство оказывается довольно простым и опирается только на самую элементарную арифметику. В Средние века его нашел французский ученый Никола Орем (ок. 1323-1382). [1]1
  Никола Орем(Nicole d'Oresme) был не только математиком, но и естествоиспытателем, философом, физиком, астрономом и экономистом, а также воспитателем Дофина, будущего короля Карла V. (Примеч. перев.)


[Закрыть]Орем заметил, что сумма ¹/ ₃+ ¹/ ₄больше чем ¹/ ₂; равным образом и ¹/ ₅+ ¹/ ₆+ ¹/ ₇+ ¹/ ₈также больше чем ¹/ ₂; то же верно и для суммы ¹/ ₉+ ¹/ ₁₀+ ¹/ ₁₁+ ¹/ ₁₂+ ¹/ ₁₃+ ¹/ ₁₄+ ¹/ ₁₅+ ¹/ ₁₆. Другими словами, будем брать сначала 2, потом 4, потом 8, потом 16 и т.д. членов гармонического ряда и группировать их вместе; получится бесконечное число таких групп, каждая из которых в сумме превосходит одну вторую. Полная сумма, следовательно, должна быть бесконечной. Не стоит переживать из-за того, что размеры этих групп растут очень быстро: «в бесконечности» полно места, и неважно, сколько групп мы уже образовали, следующая все равно окажется на своем месте и к нашим услугам. Всегда есть возможность добавить еще одну а это и означает, что сумма растет неограниченно.

Данное Оремом доказательство расходимости гармонического ряда, по-видимому, пролежало невостребованным в течение нескольких столетий. Пьетро Менголи передоказал этот же результат в 1647 году с помощью другого метода. Сорок лет спустя Иоганн Бернулли дал доказательство еще одним, третьим, способом, а вскоре после того старший брат Иоганна Якоб предложил четвертый способ. Судя по всему, ни Менголи, ни братья Бернулли не знали о найденном в XIV веке доказательстве Никола Орема – одном из хорошо забытых шедевров средневековой математики. Тем не менее доказательство Орема остается наиболее прямым и изящным среди всех доказательств, и его, как правило, и приводят в современных учебниках.

IV.

В рядах изумляет не то, что некоторые из них расходятся, а то, что так делают не все ряды. Когда мы складываем бесконечное число слагаемых, разве мы не вправе ожидать, что и ответ будет бесконечен? То, что это не всегда так, легко проиллюстрировать.

Возьмем линейку, на которой делениями отмечены четверти, восьмые, шестнадцатые и т.д. (чем дальше, тем лучше – я изобразил линейку, на которой отмечены доли в одну шестьдесят четвертую). Поставим остро заточенный карандаш у самого первого деления на линейке – нуля. Подвинем карандаш на один дюйм вправо. Теперь карандаш указывает на деление, обозначающее один дюйм, а переместили карандаш мы также на один дюйм (рис. 1.7).

Рисунок 1.7.

Вслед за тем сдвинем карандаш вправо еще на полдюйма (рис. 1.8).

Рисунок 1.8.

Далее сдвинем еще на четверть дюйма вправо, потом на восьмую часть дюйма, потом на шестнадцатую, на тридцать вторую и на шестьдесят четвертую. Где теперь находится карандаш, видно на рисунке 1.9.

Рисунок 1.9.

А полное расстояние, на которое переместился карандаш, равно

 
1 + ¹/ ₂+ ¹/ ₄+ ¹/ ₈+ ¹/ ₁₆+ ¹/ ₃₂+ ¹/ ₆₄
 

что, как нетрудно посчитать, составляет 1 ⁶³/ ₆₄. Понятно, что если продолжать в том же духе, то мы всякий раз будем оказываться все ближе и ближе к двухдюймовой отметке. Точно на нее мы никогда не попадем, но нет предела тому, насколько близко к ней можно подобраться. Можно приблизиться менее чем на миллионную долю дюйма, можно на триллионную; или на триллион триллион триллион триллион триллион триллион триллион триллион триллионную. Этот факт выражается таким образом:

 
1 + ¹/ ₂+ ¹/ ₄+ ¹/ ₈+ ¹/ ₁₆+ ¹/ ₃₂+ ¹/ ₆₄+ ¹/ ₁₂₈+ … = 2. (1.1)
 

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

Важно осознать разницу между гармоническим рядом и этим новым рядом. В случае гармонического ряда сложение бесконечного числа слагаемых дало бесконечный результат. Здесь же сложение бесконечного числа слагаемых дает ответ 2. Гармонический ряд расходится.Наш новый ряд сходится.

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

V.

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

Рисунок 1.10.

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

 
1 − ¹/ ₂+ ¹/ ₄− ¹/ ₈+ ¹/ ₁₆− ¹/ ₃₂+ ¹/ ₆₄,
 

что на самом деле равно ⁴³/ ₆₄. В действительности несложно доказать – и мы это сделаем в одной из последующих глав, – что если продолжать прибавлять и вычитать до бесконечности, то результат будет таким:

 
1 − ¹/ ₂+ ¹/ ₄− ¹/ ₈+ ¹/ ₁₆− ¹/ ₃₂+ ¹/ ₆₄− ¹/ ₁₂₈+ … = ²/ ₃. (1.2)
 

VI.

Теперь представим себе, что вместо линейки с делениями, обозначающими половины, четверти, восьмые, шестнадцатые и т.д. доли дюйма, в руках у нас линейка с делениями в третьи, девятые, двадцать седьмые, восемьдесят первые и т.д. доли. Другими словами, вместо половинок, половин от половин, половин от половин от половин… у нас нанесены трети, трети от третей, трети от третей от третей и т.д. Будем теперь упражняться в том же, что и раньше, – переносить карандаш сначала на дюйм, потом на треть дюйма, потом на одну девятую, потом на одну двадцать седьмую (рис. 1.11).

Рисунок 1.11.

Совсем несложно убедиться, что если продолжать такую операцию до бесконечности, то получится полная сумма в 1 ¹/ ₂дюйма. Другими словами,