Text
                    Мир
МАТЕМАТИКИ
7
Секреты числа 71
Почему неразрешима задача о квадратуре круга
D^AGOSTINI

Мир математики
Мир математики Хоакин Наварро Секреты числа л Почему неразрешима задача о квадратуре круга Москва - 2014 KXAGOSTINI
УДК 51(0.062) ББК22.1 М63 М63 Мир математики: в 40 т. Т. 7: Хоакин Наварро. Секреты числа Л. Почему неразрешима задача о квадратуре круга. / Пер. с исп. — М.: Де Агостини, 2014. — 144 с. Число Л, пожалуй, самое удивительное и парадоксальное в мире математики. Несмотря на то что ему посвящено множество книг, оно по праву считается самым изученным и ска- зать о нем что-то новое довольно сложно, оно по-прежнему притягивает пытливые умы ис- следователей. Для людей, далеких от математики, число Л окружено множеством загадок. Знаете ли вы, для чего ученые считают десятичные знаки числа Л? Зачем нам необходим перечень первого миллиарда знаков Л? Правда ли, что науке известно все о числе Л и его знаках? На эти и многие другие вопросы поможет найти ответ данная книга. ISBN 978-5-9774-0682-6 ISBN 978-5-9774-0629-1 (т. 7) УДК 51(0.062) ББК 22.1 © Joaquin Navarro, 2010 (текст) © RBA Coleccionables S.A., 2011 © ООО «Де Агостини», 2013 Иллюстрации предоставлены: Corbis. Все права защищены. Полное или частичное воспроизведение без разрешения издателя запрещено.
Содержание Предисловие....................................................... 9 Глава 1. Все, что вы хотели узнать о числе 71, но боялись спросить . И Повторное изобретение колеса....................................... 12 Многовековая задача................................................ 16 История числа 7Г: гомеровская Греция............................... 18 История числа 71: Архимед ....................................-.... 20 История числа 7Г: от Архимеда до наших дней......................... 24 Большой скандал и открытие математического анализа ................ 31 Глава 2. Бесконечная незначительность и трансцендентность числа 71. 43 Числа и множества ................................................. 43 Натуральные, рациональные и алгебраические числа................... 47 Появление вещественных чисел ...................................... 52 Алгебраические и трансцендентные числа............................. 56 Квадратура круга .................................................. 60 Глава 3. Число 7Г и теория вероятностей............................ 67 Иголка в стоге сена................................................ 67 ...и иголка на листе бумаги.. 70 Нормальная кривая.................................................. 72 71 и другие вероятности............................................ 74 Глава 4. Формулы с числом 7Г....................................... 75 Физика и число 71 .. 75 Элементарная геометрия и число 7Г.................................. 76 Простые формулы ................................................... 77 Сложные формулы .. 89 В стороне от формул................................................ 95 Глава 5. Пи-мания.................................................. 97 Вокруг числа 71.................................................... 97 5
СОДЕРЖАНИЕ Стихотворения и фразы для запоминания............................ 101 Пи-музыка ....................................................... 107 Натуральный строй............................................. 108 Кино, литература и число Л....................................... 110 Число Л и законы................................................... 111 Число Л и искусство ............................................... ИЗ Глава 6. Второй взгляд на бесконечность.......................... 119 Обезьяны, печатные машинки и библиотеки.......................... 121 Бесконечные знаки числа Л...................................... 124 Недоказуемая нормальность числа Л................................ 125 Недостаточная случайность числа Л................................ 126 Недоступная универсальность числа Л ............................. 128 Что можно и что нельзя доказать................................. 129 Глава 7. Первые 10 000 знаков числа Л............................ 133 Библиография .................................................... 139 Алфавитный указатель .............................................. 141 6
...это загадочное число 3,14159..., которое пробирается в двери и окна и ускользает через дымоходы. Огастес де Морган

Предисловие Мир чисел бесконечен и неисчерпаем. Но чем дальше мы углубляемся в него, тем сложнее его понять. Если мы хотим познать его, нам не остается ничего другого, кроме как напрячь извилины. Так появилась и сформировалась теория чисел — сегодня это большая и прочная ветвь пышного дерева математики. Теория чисел изучает дружественные числа, простые числа, избыточные числа, трансцендентные числа, рациональные числа, случайные числа, вычислимые числа, нормальные числа, вещественные числа, гиперреальные числа, трансфинитные чис- ла, фигурные числа, комплексные числа, псевдопростые числа, неприкосновенные числа, апокалиптические числа и так далее. По правде говоря, за словами «и так далее» кроется немало других чисел. Но чем вызвано увлечение числами? Почему многие люди с предубеждением от- носятся к числу 13? Число 666 упоминается в «Откровении Иоанна Богослова» и называется «числом зверя». Почему это число получило такое имя? Кому-нибудь интересно, что треугольник со сторонами 21669693148613788330547979729286 30716401520276869946534608169199233884599269 и 216696931486137883 3054797972928630716401520276869946534608169199233884599269 обяза- тельно является прямоугольным? Знаете ли вы, что серьезные исследователи посвя- щают свое время изучению так называемых «самовлюбленных» чисел? Очевидно, что в мире, где существуют числа-палиндромы и дружественные числа, возможны любые, даже самые абсурдные вещи. Существуют числа на любой вкус, каждое имеет свое определение, и в этом смысле число 71 не исключение: оно принадлежит к трансцендентным числам и, как считается, к множеству нормальных чисел и нескольким другим. Кроме того, это число — самое изучаемое и самое поразительное в истории. О нем написано столько книг, что сказать что-то новое практически невозможно. Поэтому автор ограничит- ся лишь подробным и увлекательным рассказом о той мании, что окружает число Л. Он попытался сделать повествование кратким и понятным любому заинтересован- ному читателю. К сожалению, как говорил еще Евклид царю Птолемею I, «к геометрии нет царской дороги», и изучение чисел требует определенных умственных усилий. Оставим надежды на то, что книги о математике могут быть простыми. Книги о математике нельзя прочесть в один присест, но из-за этого столь велико удо- вольствие, получаемое от чтения. Однако книга о математике совершенно не обя- зана быть скучной. 9
ПРЕДИСЛОВИЕ Итак, сколько же усилий придется приложить? Почему ученые считают деся- тичные знаки числа Л? Зачем нам нужно знать первый миллиард знаков Л? Это число содержит бесконечно много цифр, и рассчитать их непросто. Возможно, про- стой метод расчета не существует или находится за гранью нашего понимания. Су- ществует ли предел знаниям о числе Л и его знаках? В чистой математике время от времени возникают вопросы о полезности подобных знаний. Возможно, лучшим ответом будет тот, что предложил выдающийся немецкий математик Карл Густав Якоби, который в 1830 году, защищая необходимость обучения математике, сказал: «Единственной целью науки является честь человеческого разума». Погрузимся же в чтение этой книги, вдохновленные этой мыслью. Мы не говорим о том, что нужно познать всё, познать многое или извлечь пользу из наших знаний. Речь идет о том, чтобы узнать некоторые интересные и занимательные факты о числах просто пото- му, что они красивы. Ради чести человеческого разума. 10
Глава 1 Все, что вы хотели узнать о числе Л, но боялись спросить Совместны у круга начало и конец. Гераклит Число Л — самое известное, самое изученное, самое знаменитое и самое упоминае- мое. Важность числа Л невозможно преувеличить. Его десятичная запись начинает- ся так: 3,1415926535 8979323846 2643383279 50288419716939937510 ... и этих пятидесяти магических цифр достаточно для любых практических вычисле- ний. В математике или физике редко встретится задача, для которой необходимо использовать более десяти знаков Л. Для простейших вычислений используются приближенные значения: 3,14 или 3,1416. Айзек Азимов как-то написал: «Если бы Вселенная имела форму сферы диаме- тром 80 миллиардов световых лет, то с помощью 35 знаков числа Л мы смогли бы вычислить длину ее небесного экватора с погрешностью меньше одной миллионной доли сантиметра». Если мы запишем число Л, рассчитанное на компьютере на данный момент, циф- рами размером с эту книгу, то получившийся ряд цифр опишет 500 витков вокруг экватора Земли. Точно известно, что последовательность 0123456789 встречается в числе Л начиная с 17387594880-го знака. Какой же наивной кажется убежден- ность известного голландского математика Аёйтзена Эгберта Яна Брауэра (1881— 1966), который считал, что искать эту последовательность в числе Л бессмысленно, поскольку необходимое для этого число знаков никогда не будет вычислено. В XXI веке мы наконец нашли неоспоримую пользу от вычисления числа Л с та- кой точностью: для тестирования суперкомпьютеров используются сложные вычи- сления, результат которых должен быть заранее известен, и для этого идеально под- ходит расчет знаков числа Л. И
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ К НО БОЯЛИСЬ СПРОСИТЬ Повторное изобретение колеса Число Л не появилось из пустоты, как это можно было бы предположить. Оно воз- никло как результат несложных наблюдений. Соотношение между длиной окружно- сти L и ее диаметром d постоянно: Или, что то же самое, L/d = Л. L — nd = п2г — 211г, где г — радиус окружности, d = 2г. Отношение длины окружности к ее диаметру постоянно. Это соотношение интуитивно понятно и становится очевидно после несложных наблюдений. С увеличением диаметра (диаметр равен удвоенному радиусу г) пропорционально возрастает длина окружнос ти. Чем больше диаметр колеса, тем больше (и пропорционально больше) расстоя- ние, пройденное точкой колеса при полном обороте. Иными словами, длина окружности/диаметр окружности = константа ~ 3,14. Знак « читается как «приближенно равно». На протяжении большей части исто- рии числа Л ученые старались сделать это приближение как можно более точным, находя всё новые знаки справа от 3,14. Математики использовали все свое умение, чтобы рассчитать число Л с наи- более возможной точностью, добавляя десятичные с героическими усилиями. 12
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л, НО БОЯЛИСЬ СПРОСИТЬ ВЫПРЯМЛЕНИЕ ОКРУЖНОСТИ Выпрямление кривой означает измерение ее длины. В простейшей задаче о выпрямлении кривой речь идет об окружности. При качении окружности длины р по прямой без скольжения окружность описывает один оборот, проходя расстояние, равное диаметру d, л раз. Этот процесс называется выпрямлением окружности. По результатам выпрямления окружности получим p/d » л. Долгое время считалось, что когда-нибудь будет найдена последняя цифра числа Л, но в 1882 году немецкий математик Фердинанд фон Линдеман (1852—1939) доказал, что это невозможно. Не существует и никогда не будет найдено способа получить «точное» значение Л, пользуясь только циркулем и линейкой. Далее в этой книге мы попытаемся объяснить, почему это так. Сначала число Л имело другое название. Хотя к этому символу обращались мно- гие математики, в частности Уильям Отред (1574—1660), Исаак Барроу (1630— 1677) и Дэвид Грегори (1659—1708), «официально» его утвердил Уильям Джонс (1675—1749) в 1706 году в работе Synopsis Palmariorum Matheseos, где он исполь- зовал букву Л, первую букву греческого слова «ЛЕр1фёрЕШ» — «окружность». Впоследствии великий Леонард Эйлер (1707—1783), который сначала оперировал символами «с» и «р», остановился на греческой букве Л, после чего это обозначение начало медленно, но верно распространяться в научном мире. Однако в XX веке в Египте число «пи» маркировали арабской буквой ta по нескольким причинам, в том числе из-за нежелания пользоваться европейскими обозначениями. Сегодня символ Л используется в математике в основном для обозначения числа Л, но он также выполняет и другие задачи. Так, л(х) обычно отмечают функцию, показывающую «количество простых чисел, не превосходящих х». Если говорить 13
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71, НО БОЯЛИСЬ СПРОСИТЬ о менее серьезных вещах, то этой буквой также обозначают гептамино — фигуру, состоящую из семи квадратов, соединенных сторонами, как показано на рисунке: Многие авторитетные ученые, в том числе и Эйнштейн, считали число Л фунда- ментальным в описании Вселенной. В том или ином виде число Л всегда будет всплы- вать в описании любого явления природы, связанного с окружностями, кругами или ПЛАНЕТА МАЛЕНЬКОГО ПРИНЦА Существует любопытный факт, который далеко не очевиден. Так как для окружности выполняется соотношение длина/диаметр = константа, то при увеличении знаменателя в некоторое число раз числитель увеличится в это же число раз. Проиллюстрируем это простым примером. В сказке французского писателя и авиатора Антуана де Сент-Экзюпери (1900-1944) «Маленький принц» главный герой обходит свою планету и чистит вулканы. Допустим, что он обходит всю планету по меридиану. Рост принца оовно 1 метр. Если он пройдет 1000 метров, какое расстояние пройдет его голова? Будем производить все расчеты в метрах. Так как Маленький принц проходит 1000 метров и длина окружности = 2кг, очевидно,что пройденное расстояние = 1000 = 2кг. Рост принца равен 1 метру. Приняв за С расстояние, пройденное его головой, получим О2к (г + 1). Вычтем первое равенство из второго. Имеем: 14
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л НО БОЯЛИСЬ СПРОСИТЬ вращением, подобно тому как пробка всплывает на поверхность воды. Как и другие константы, Л всегда будет сопровождать нас. С другой стороны, множество людей, которым в той или иной степени интересна нумерология, ищут число Л буквально повсюду, как если бы существовала некая тео- рия заговора, связанная с Л. Так называемая постоянная тонкой структуры, обозна- чаемая как ОС, — излюбленная жертва поклонников числа Л. Нобелевский лауреат Вернер Гейзенберг (1901—1976) много лет назад предположил, что 1/ос = 24 • З3 / л. Но Гейзенберг был не единственным, кто искал связь между этими константа- ми. В различных трудах фигурируют и другие подобные соотношения достаточно высокой точности, например: расстояние в метрах, пройденное головой - расстояние в метрах, пройденное ногами = С- 1000-2Л (г + 1)-2яг=2я (r+ 1 - г) = 2п « 6,28. Разница составляет 6,28 м. Любопытно, что ра- диус планеты никак не влияет на это значение. Фактически, если мы прибавим к радиусу ис- ходной окружности 1 метр, ее длина увеличится на 6,28 м. Если бы радиус астероида составлял 1000 километров, то дополнительное расстояние, пройденное голиаой Маленького принца, оста- лось бы таким же: 6,28 м. Обложка «Маленького принца» Антуана де Сент-Экзюпери. EL PRINCIPIT& 15
ВСЕ ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л, НО БОЯЛИСЬ СПРОСИТЬ а Г245! — = 10871 а ^1843 J Многовековая задача Число Л — не только соотношение между длиной окружности и ее диаметром. Уд- военное отношение между площадью круга и площадью вписанного в него квадрата также равно Л. Как нам известно из школы, площадь круга радиуса г равняется S = Яг2. Так как площадь квадрата равна квадрату его стороны, по теореме Пифагора получим S _ яг2 _ Л Площадь вписанного квадрата 2г2 2 Но откуда мы знаем, что число Л, используемое для расчета площади, — это то же самое Л, с помощью которого рассчитывается длина окружности? Несомненно, это одно и то же число, однако доказать это не так просто. Строгое доказательство по- явилось только благодаря усилиям Архимеда. 16
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л, НО БОЯЛИСЬ СПРОСИТЬ Умы древних математиков волновала задача о построении квадрата, по площа- ди равного данному кругу. Задача имела чисто практическое применение: площадь квадрата вычисляется элементарно, тогда как расчет площади круга был сложен и результатом являлось лишь приближенное значение. Во времена расцвета Древ- ней Греции к этой задаче добавилось еще одно ограничение: искомый квадрат нуж- но было построить только с помощью циркуля и линейки. Этот метод считался «чистым», «божественным» и соответствовал духу греческой философии. В этом и заключается задача о квадратуре круга: необходимо построить искомый квадрат, используя только циркуль и линейку конечное число раз. Математики бились над задачей, решение которой всякий раз казалось столь близким и неизменно усколь- зало от них. На протяжении веков все геометры пытались решить задачу о квадратуре круга, что равносильно построению отрезка длиной Л с помощью циркуля и линейки, и вся- кий раз им удавалось найти лишь более точное приближенное значение и добавить еще один знак к десятичной записи Л. Алгебраически задача о квадратуре круга площадью Лг2 равносильна нахождению квадрата со стороной / такого, что Яг2 = I2. Иными словами, необходимо найти такое /, что что тождественно нахождению Л с помощью циркуля и линейки. Если значение Л найдено, то наити Л с помощью циркуля и линеики элементарно, построив пря- моугольный треугольник с катетами 1 и -уп . а затем продлив перпендикуляр к ги- потенузе полученного треугольника до пересечения с продолжением единичного отрезка. В силу подобия треугольников ABD и ADC выполняется соотношение АВ / AD — AD / АС, откуда AD2 = АВ • АС. Подставляя известное значение АВ = 1 и найденное AD = л/1 + Л, получаем: 1 + Л = АС, то есть ВС — Л. А С 17
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ П НО БОЯЛИСЬ СПРОСИТЬ Если бы значение Л было определено, было бы возможным найти д/л и решить задачу о квадратуре круга. Но за этой простой формулировкой кроется длинная история, герои которой безуспешно пытались достичь заветной цели, всякий раз все ближе подходя к ней. Очередной талантливый геометр находил следующий знак Л и тем самым неявно продвигал всю математику в целом на шаг вперед. РАДИАН И Л В математике для измерения углов не используются градусы, минуты и секунды. Также не применяются грады и метрические минуты и секунды. Появление математического анализа (производных, интегралов и пр.) привело к тому, что начала использоваться более естественная единица измерения, пусть на первый взгляд она и кажется сложнее. Радиан определяется как угловая величина дуги, длина которой равна ее радиусу. Длина дуги = радиус Так как длина всей окружности равна 2пг, то всю окружность можно представить в виде дуги в 2г радиан. Таким образом, 1 радиан - 360/2л градусов ~ 57°17'45". Часто применяются следующие соотношения: 30° » л/6; 60° - л/3; 90° - л/2; 180° - л; 360° - 2л. История числа я: гомеровская Греция Из нескольких стихов Библии следует, что Л = 3. В Библии это значение упомина- ется в описании постройки круглого алтаря, поэтому не следует расценивать это как попытку рассчитать его точное значение. Приведем цитату из 3-й книги Царств (7:23) для любопытного читателя: «И сделал литое [из меди] море — от края его 18
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л, НО БОЯЛИСЬ СПРОСИТЬ до края его десять локтей— совсем круглое, вышиною в пять локтей, и снурок в тридцать локтей обнимал его кругом». Проницательный читатель заметит, что значение числа Л в этом тексте принято равным 3. В египетском папирусе Ахмеса (древнеегипетское учебное руководство по мате- матике, датированное примерно 1650 г. до н. э.) также неявно упоминается Л. В за- даче под номером 50 из 87 говорится: «Круглое поле имеет в диаметре 9 хет (1 хет ~ ~ 50 м). Какова площадь поля?» На современном языке площадь этого круга вы- ражается так: В самом папирусе Ахмеса предложено такое решение: 64 р —« , 81 где d — диаметр. Так как d = 9, получим 81 64 Р 64 64 о, Л — = —d~=— -9~=--81; 4 81 81 81 256 Л =----«3,160493827. 81 Согласно папирусу Ахмеса, квадрат со стороной 8 равен по площади кругу диаметра 9. 19
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л. НО БОЯЛИСЬ СПРОСИТЬ Однако это значение менее точно, чем полученное египтянами в Гизе еще в 2600 г. до н. э. Соотношение периметра и высоты пирамид Гизы равно 22/7, хотя считается, что оно подчинялось неким божественным законам, которым следовали архитекторы того времени. Многие исследователи считают это соотношение при- ближенным значением Л, которое загадочным образом определили строители пира- мид. Если мы допустим, что соотношение периметра и высоты пирамид не случайно, получим п = 22/7 = 3,142..., что соответствует Л с хорошей точностью. В Вавилонии в этом смысле прогресс шел медленнее: на глиняной табличке из древнего города Суса, датированной примерно 200 г. до н. э., приведено значение Л, равное 25/8 — 3,125. В ведических текстах Древней Индии, относящихся к IX веку до н. э., приводят- ся различные значения Л, рассчитанные для разных практических задач. Наиболее точное значение основано на астрономических вычислениях и содержится в «Шата- патха-брахманы»: Л — 339/108 = 3,1388 ... История числа я: Архимед Перенесемся в Древнюю Грецию — родину одного из величайших умов человечест- ва, Архимеда из Сиракуз. Возможно, еще в V веке до н. э. вычислением числа Л занимался Анаксагор, но письменных свидетельств этого не сохранилось. Мы не будем приводить здесь выкладки Архимеда о расчете приближенного значения Л, так как они сложны и объемны. Оставим их историкам науки. Попробуем объяс- нить метод Архимеда простым и доступным образом, используя современное поня- тие предела. Представим себе многоугольник, вписанный в окружность, подобный тому, что изображен на рисунке. 20
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 7U НО БОЯЛИСЬ СПРОСИТЬ Заметим, что он состоит из треугольников с основаниями b и высотой h. Общая площадь п треугольников, примерно равная площади круга, равна SH = н площадь треугольника. Таким образом, 1 1 1 An=ti -hb = —h(nb). 2 Перейдя к пределу и увеличивая число треугольников так, что п —> °°, получим 111 1 lim А = lini — h(rjb) — — hm hub = — lim/rlim/ib = — r2Ttr = 7lr~, n—>°° и—>O°2 2 n~*°° 2 так как lim h = r, ft—>OO и придем к следующему заключению: lim nb = длина окружности = 211г. Архимеду было неизвестно современное определение предела, и он использо- вал так называемый метод исчерпывания, созданный Евдоксом Книдским (400— 347 до н.э.). Для этого Архимед использовал вписанные и описанные многоуголь- ники, как показано на рисунке. Окружность заключалась между вписанным и опи- санным многоугольниками, соответственно, была ограничена и площадь окружно- сти. С ростом числа углов многоугольников оценка площади окружности станови- лась все точнее. _ 21
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71 НО БОЯЛИСЬ СПРОСИТЬ Схема, на которой изображен так называемый переход к пределу, поможет по- нять, почему площадь круга равняется Лг2: Мы видим, как формируется криволинейный параллелограмм и его стороны по- степенно распрямляются. Вспомним, что площадь параллелограмма равна произ- ведению стороны на высоту, проведенную к этой стороне. Высота постепенно при- ближается к значению радиуса г, а основание — к половине длины окружности. Площадь параллелограмма стремится к / 2яг г— = г----= глг = лг~. 2 2 Архимед вычислил верхнюю и нижнюю оценку значения Л: 223/71 = 3,140845... < я < 22/7 = 3,142857... с отменной точностью. 22
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Я. НО БОЯЛИСЬ СПРОСИТЬ АРХИМЕД ИЗ СИРАКУЗ (ОК. 287- ОК. 212 ГГ. ДО Н.Э.) Греческий инженер, физик, астроном и математик Архимед считается важнейшим ученым ан- тичности и одним из величайших умов человечества. В области математики фигурами сопо- ставимой величины можно назвать лишь Ньютона, Гаусса и фон Неймана. Его вклад в науку неоценим. Он создал червячную передачу, параболические зеркала, многочисленные системы блоков (полиспасты) и многие другие механизмы. Наверное, самым значимым стал открытый им закон гидростатики, известный нам как закон Архимеда. Образ Архимеда, который выскаки- вает из ванной и кричит «Эврика!» («Нашел:»), стал классическим образом первооткрывателя. Его открытия в математике бессчетны: помимо вычисления числа л он определил периметр, площадь, объем и центр тяжести для множества геометрических фигур и тел (в частности, для сферы, цилиндра, параболы, спирали и пр.), изучал диофантовы уравнения, построил счисление, позволяющее записывать и называть весьма большие числа, и так далее. Он умер во время осады Сиракуз, при обороне которых использовались придуманные им механизмы. Согласно Плутарху, Архимед рассматривал чертеж на песке, когда к нему подошел римский солдат. Архимед настойчиво просил его подождать, сказав: «Не трогай мои чертежи», после чего разгневанный солдат зарубил Архимеда мечом. Плутарх пишет, что смерть Архимеда возмутила римского генерала, который считал ученого очень ценной добычей. На могиле великого геометра изображен шар, вписанный в ци- линдр. Соотношение между объ- емами цилиндра и вписанного шара открыл именно Архимед. Одно из многочисленных изо- бретений. приписываемых Ар- химеду, — система бронзовых зеркал. С помощью этих зеркал защитники Сиракуз поджигали римские корабли, фокусируя на них солнечные лучи. 23
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л. НО БОЯЛИСЬ СПРОСИТЬ Метод, использованный Архимедом, стал фактически обязательным к примене- нию в последующие несколько веков. Он доступен, прост и понятен. Математи- ческий гений Архимеда создал настоящее чудо. По существу, Архимед придумал алгоритм расчета Л с любой точностью. Чтобы использовать этот алгоритм, нужен только калькулятор или компьютер и одна рекуррентная формула. Если п — число сторон вписанного или описанного многоугольника, а ап и Ьп — периметры таких многоугольников, то В этом и заключается суть алгоритма Архимеда — рекуррентной формулы, с помо- щью которой рассчитывается приближенное значение Л, точность которого повы- шается по мере роста п. Всегда выполняется соотношение ап > Л > Ь^. Используя алгоритм Архимеда начиная с правильного шестиугольника, в кото- ром = 4-уЗ и bQ = 6, получим: 3,00000 < л < 3,46410; 3,10583 < л < 3,21539; 3,13263 < л < 3,15966; 3,13935 < л < 3,14609; 3,14103 < л < 3,14271. Рассчитав значения этого неравенства для правильного 96-угольника, мы полу- чим оценку числа Л, вычисленную самим Архимедом. История числа я: от Архимеда до наших дней Примерно в 20 году до н. э. известный римский архитектор, военный инженер и пи- сатель Марк Витрувий Поллион (ок. 85 — ок. 20 гг. до н. э.), более известный как Витрувий, создал монументальный труд «Десять книг об архитектуре», где исполь- зуется соотношение, найденное в Месопотамии: Л = 25/8. Сам Витрувий произвел оценку числа Л с помощью колеса с нанесенными отметками. Тем не менее он изве- стен потомкам не поэтому, а благодаря рисунку Леонардо да Винчи «Витрувиан- ский человек» с каноническими пропорциями человека. 24
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л НО БОЯЛИСЬ СПРОСИТЬ «Витрувианский человек» с каноническими пропорциями тела человека, определенными древнеримским архитектором Витрувием. Знаменитый рисунок Леонардо да Винчи (1452-1519). Несмотря на столь широкую известность, Витрувий не добился более точного результата, чем Архимед. Это удалось египетскому астроному, астрологу и геогра- фу греческого происхождения Клавдию Птолемею (ок. 100 — ок. 170 гг. )• Для расчетов он использовал 120-угольник, получив поразительно точный результат л = 3 + 17/120 = 3,141666... К сожалению, это не принесло ему заслуженной славы среди потомков. Он известен благодаря одному из своих трудов, «Альмаге- сту» в 13 книгах, название которого с древнегреческого переводится как «Великое построение». С этой книги началась традиция создания трудов, описывающих все известные на данный момент знания. Фактически «Альмагест» Птолемея не терял актуальности вплоть до появления работ Коперника. Уделяя основное внимание западной культуре, мы часто забываем, что в эпоху Античности процветали и другие города помимо вавилонских, греческих, римских и египетских. Западная цивилизация наблюдала появление числа Л, но что же про- исходило в это время на далеком Востоке? 25
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л. НО БОЯЛИСЬ СПРОСИТЬ Например, в Китае этому вопросу уделяли внимание Чань Цан (ок. 220 г. до н. э.), который принял значение Л равным 3, и другие математики. Чжан Хэн (78—139 гг. н. э.), который занимался астрономией и математикой и изобрел при- бор для регистрации землетрясений, в одной из своих книг рассчитал значение Л = 736/232 = 3,1724... При вычислении объема шара, вписанного в куб, он ис- пользовал приближенное значение Л = V10 — 3,162277... Ван Фань (217—257 гг. н. э.) в 250 году рассчитал приближенное значение Л = = 142/45 = 3,155555... Математик Лю Хуэй (ок. 220 — ок. 280 гг.) является автором комментари- ев к «Математике в девяти книгах». Именно по этим комментариям, изданным в 263 году, нам известно о существовании этого ученого и о его достижениях. Лю Хуэй приводит рекуррентную формулу для расчета периметра правильного много- угольника, имеющего 3 • 21' сторон при известном периметре многоугольника, чи- сло сторон которого равно 3 • 2/г-1. Лю Хуэй рекомендовал использовать значение Л = 3,14, хотя сам он вычислил значение Л = 3,141592104..., для чего потребова- лось использовать многоугольник с 3072 сторонами. Марка, выпущенная в 1999 году Федеративными Штатами Микронезии, на которой изображен метод Лю Хуэя для расчета приближенного значения я. Несколько веков спустя Цзу Чун- чжи (429—500 гг.), ученый и матема- тик, который разработал новый кален- дарь, с превосходной точностью оценил верхнюю и нижнюю границы числа Л: 3,1415926 < л < 3,1415927. Он также рекомендовал использовать значение 22/7 для простых вычислений и 355/113 — для более сложных. Перенесемся в Древнюю Индию, где выдающийся мудрец Ариабхата (ок. 476—550 гг.) получил значение Л, равное 3,1416, используя многоугольник с 384 сторонами. Брахмагупта (598—665 гг.), вне вся- кого сомнения наиболее одаренный ин- дийский математик, создал объемный труд «Брахма-спхута-сиддханта», где, 26
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Я, НО БОЯЛИСЬ СПРОСИТЬ к сожалению, приводится достаточно неточная оценка 71 = = 3,162277... Более точное значение было получено лишь в XII веке усилиями Бхаскары II (1114-1185) в его книге «Лилавати». Книга носит имя его дочери, которая, если судить по важности этого труда, должна была быть прекраснейшей девушкой — удивительно, но именно это и означает имя Лилавати. Бхаскара II приводит Я = = 3917/1250 = 3,1416. Наша система счисления является позиционной с основанием 10. В ней исполь- зуются цифры 0, 1, 2, 3, 4, 5, 6, 7, 8 и 9, имеющие индо-арабское происхождение. Мы не уделяем этому особого внимания, но именно появление этой системы счисле- ния способствовало развитию торговли: западная цивилизация получила математи- ческий инструмент, благодаря которому вычисления стали доступны для всех. j iifwpLntf ЯяЛпяДий». • аУмЪнгп- Индо-арабские цифры в том виде, в каком они впервые появились в западном мире (974-976 гг.) в Альбельденском (Вигиланском) кодексе, названном так по имени монаха — автора иллюстраций для этого собрания документов. Подробная история индо-арабских цифр выходит за рамки нашего повество- вания. Отметим лишь, что свое название они получили по месту происхождения. Живительно, но на Западе эти цифры и система счисления в целом появились лишь в X веке в «Книге Абака» Леонардо Пизанского (ок. 1170—1250), также известно- го как Фибоначчи. Индо-арабские цифры распространились в Европе с быстротой молнии, особенно среди торговцев и образованных людей. Расчеты в новой системе счисления перестали быть такими проблематичными благодаря простым правилам умножения и деления. Цивилизация сделала медленный, но важный шаг вперед. На середине нашего повествования мы впервые встречаем имя Фибоначчи, ко- торый в 1220 году вычислил приближенное значение Я = 3,141818 в одной из своих работ «Практика геометрии» (Practica geometriae), несколько вольно применив ме- тод Архимеда. 27
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71 НО БОЯЛИСЬ СПРОСИТЬ Но не будем забегать вперед. Обратим внимание на фигуру Мухаммеда ибн Муса аль-Хорезми (ок. 780—850 гг.), также называемого аль-Хорезми. От видо- измененного имени аль-Хорезми берет начало термин «алгоритм». Аль-Хорезми является автором «Книги о восполнении и противопоставлении», от арабского на- звания которой происходит слово «алгебра». Его труды, переведенные на Западе, имели огромнейшее влияние. Аль-Хорезми также рекомендовал использовать зна- чение 3,14 в простых расчетах и 3,1416 — в сложных, например, в астрономии. Гэроический образ аль-Хорезми, запечатленный на советской марке 1983 года (аль-Хорезми жил на территории современного Узбекистана). В 1424 году другой персидский ученый Джамшид ал-Каши (1380—1429) из Са- марканда рассчитал значение 2п с точностью до 9 знаков, используя шестидесяти- ричную систему счисления (в ней числа записываются следующим образом: 1/60 = = 0,1; 1/602 = 1/360 = 0,01 и т. д.). После перевода в десятичную систему счи- сления это соответствует точности в 16 знаков после запятой. Ал-Каши вычислил: 28
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л. НО БОЯЛИСЬ СПРОСИТЬ z 16 59 28 I 34 51 46 14 50 л = 6+-------+----+------+------+-----+-----+------+-----+------+..., 60 602 60' 604 60s 606 607 60к 609 используя многоугольники с числом сторон 3 • 228. За четверть века до него, в 1400 году, индийский математик Мадхава из Сангамаграма (ок. 1350 — ОК. 1425) вычислил Л с точностью до 13 знаков. Кроме того, расчеты Мадхавы отличаются оригинальностью: в них впервые используется бесконечный ряд для оценки значе- ния Л. Формула Мадхавы позднее стала известна в западном мире как «ряд Лейб- ница», но Мадхава открыл ее намного раньше: л 4 1111 3 5 7 9 Этот ряд сходится очень медленно. Чтобы получить более или менее приемле- мый результат, необходимо сложить тысячи членов ряда. Мадхава использовал этот ряд в преобразованном виде: г— , 1 1 1 12 1-------1---------- + I 3-3 5-32 7-33 что и помогло ему вычислить Л. Немецкий ученый Валентин Отто (ок. 1550—1603), ярый последователь Копер- ника, в 1573 году рекомендовал использовать Л = 355/113 » 3,1415929... Однако это не идет ни в какое сравнение с результатами, полученными спустя некоторое время с помощью передовых способов вычисления, а не просто путем аккуратно про- веденных расчетов. Французский математик Франсуа Виет вычислил девятый знак числа Л обычным способом, используя метод Архимеда и многоугольник с 393 216 (6 • 216) сторонами. Хотя ему и удалось вывести важную формулу, связанную с Л, он не смог применить ее из-за сложных вычислений: его формула включает вычисление квадратного корня из квадратного корня числа. На современном языке математики формула Виета записывается следующим образом: Вывод этой и других формул подробно объясняется в главе 4. 29
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71 НО БОЯЛИСЬ СПРОСИТЬ ФРАНСУА ВИЕТ (1540-1603) Строго говоря, Виета нельзя назвать профес- сиональным математиком: он был адвокатом, а после восшествия на престол Генриха IV занял должность при дворе и даже служил королевским советником. Легендарную известность ему принес- ла криптография: он с легкостью расшифровывал послания испанского монарха Филиппа II, врага Генриха IV. Филипп II в конце концов заподоз- рил, что французский король заключил сделку с дьяволом, поскольку ему удавалось мгновенно угадывать все его дипломатические уловки. Виет В задаче Аполлония необходимо найти все окружности, касающиеся трех данных окружностей. По традиции, решение нужно было найти только с помощью циркуля и линейки. В общем случае эта задача имеет восемь различных решений. достиг отличных результатов в геометрии и алге- бре, продвинул вперед тригонометрию и решение уравнений. Возможно, важнейшим из его открытий является создание современного символическо- го языка алгебры, который произвел революцию в математике и способствовал прогрессу в науке. Его принципиальным соперником, а впоследствии другом был Адриан ван Роумен (1561-1615). Виет предложил ему задачу о касающихся окружностях, известную как задача Аполлония. Друг и соперник Виета, голландский геометр Адриан ван Роумен (1561—1615) бросил все силы на изучение метода Архимеда и, использовав многоугольники с ог- ромным числом сторон, в 1593 году с точностью определил 16 десятичных знаков Л. Но огромный труд ван Роумена не сравнится с работой, которую проделал Аю- дольф ван Цейлен (1540—1610). Этот немецкий математик был одержим идеей вы- числения числа Л. В 1596 году он нашел первые 20 знаков, позднее доведя число знаков до 35, которые стоит привести здесь: л = 3,14159265358979323846264338327950288... зо
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71, НО БОЯЛИСЬ СПРОСИТЬ Ван Цейлен получил такую известность, что во многих странах число Л стало известно как лудольфово число. Свое любимое число ван Цейлен даже повелел вы- сечь на своем надгробии в городе Лейден. К сожалению, во время Второй мировой войны его могила была разрушена. В главе 5 приведена иллюстрация, на которой изображена его могила с нанесенными на каменное надгробие знаками числа ТЕ, вос- становленная в 2000 году. Упорные труды ван Цейлена заслуживают подобного па- мятника. Виллеброрд Снелл (1580—1626), печатавшийся под латинизированным именем Снеллиус, прежде всего известен как первооткрыватель законов преломления света. Он также пробовал вычислить число 7Т и рассчитал 35 его знаков, опубликованных в 1621 году в книге Cyclometric us. Он использовал ощутимо более точный способ по сравнению с методом Архимеда. Правильность расчетов Снелла позднее под- твердил великий Христиан Гюйгенс (1629—1695). В 1630 году астроном Христоф Гринбергер (1561—1636), австрийский иезуит, установил новый рекорд, дойдя в расчетах до 39-го знака. Потомки достойно уве- ковечили его память: его имя носит один из лунных кратеров. Нельзя представить лучшее вознаграждение для астронома и для того, чей сан священника не позволял принимать мирские подношения. Большой скандал и открытие математического анализа Готфрид Лейбниц и Исаак Ньютон обессмертили свои имена, создав анализ беско- нечно малых величин — кошмар для многих студентов, видящих в этой дисциплине лишь нагромождение интегралов и производных. Лейбниц и Ньютон достигли мате- матического рая: им удалось «приручить» бесконечность, более того, показать, как перейти от конечного к бесконечному и вернуться обратно, принеся с собой нужные результаты. Многие, подобно проницательному и мечтательному Архимеду, ступа- ли на этот путь. Лейбниц и Ньютон смело прошли по нему и показали входы и вы- ходы лабиринта, в котором скрывалось неизведанное. Степенные ряды и интегралы — результат применения приемов анализа в мате- матике. Расчет числа 71 перестал заключаться в механическом измерении много- угольников и стал математической задачей, требующей работы «маленьких серых клеточек», как говорил знаменитый сыщик Эркюль Пуаро. Далее мы не будем упоминать об ученых Востока, занимавшихся вычислением 71, за исключением случаев, когда им удавалось рассчитать 71 с крайне большой точно- стью или использовать оригинальные передовые методы. 31
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 7Г НО БОЯЛИСЬ СПРОСИТЬ ГОТФРИД ВИЛЬГЕЛЬМ ЛЕЙБНИЦ (1646-1716) Коротко изложить самые важные достижения столь разностороннего ученого, как Лейбниц, далеко не просто. Достаточно упомянуть, что полное собрание его сочинений насчитывает 25 томов и 200000 страниц. Этот исключительный ученый родился в Лейпциге. Он занимал- ся адвокатурой, дипломатией, математической логикой, религией, историографией, а также востоковедением, двоичной арифметикой, этикой, физикой, биологией, инженерным делом. Возможно, важнейшим его вкладом в науку является интегральное исчисление и анализ бес- конечно малых. Лейбниц был вундеркиндом, много читал и схватывал все на лету, жил, не стесняясь в средст- вах, зарабатывая юриспруденцией и дипломатией. Он участвовал в создании первого в истории научного журнала Acta Eruditorum, в котором публиковались многие, если не все его исследо- вания и открытия. Ему был присущ дар метко обозначать вещи. Так, именно ему мы обязаны введением знака интеграла (J) и дифференциала (dx), а также многих выражений, например «жизненная сила». Часть его жизни прошла в спорах с приверженцами Ньютона (за которыми стоял сам великий Ньютон) о том, кто же является подлинным автором исчисления. Сегодня считается, что и Нью- тон, и Лейбниц совершили свои открытия независимо друг от друга, а совпадение по времени является случайным. Как математик Лейбниц также внес очень важный вклад в математиче- скую логику, теорию автоматов, двоичную систему счисления и тополо 'ию, которую сам ученый называл analysis situs. В1673 году Лейбниц изобрел счетную машину, способную производить четыре основных арифметических действия. Гэдом позже он построил первый работающий образец. 32
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 7Г НО БОЯЛИСЬ СПРОСИТЬ Ньютон и Лейбниц на протяжении долгого времени вели спор о том, кому же принадлежит авторство исчисления, и можно сказать, что этот спор в итоге вылился в скандал. Не будем вдаваться в суть спора и сосредоточимся на его итогах. Около 1666 года, в разгар Великого Лондонского пожара сэр Исаак Ньютон, казалось, прохлаждался без работы, поскольку год спустя он говорил, что занял- ся вычислением числа Л «оттого, что тогда мне было решительно нечем заняться». Оставим в стороне мотивы, которыми он руководствовался, и рассмотрим суть его расчетов. Ньютон использовал биномиальную формулу и открыл ряд 1 Зл/з Г 1 71 =-----+ 24 — 4 112 1 5-25 1 1 28 - 27 72 - 2У с помощью которого точно вычислил 16 знаков Л. Как и во многих других случаях, Ньютон не придал этому большого значения и не упомянул об этом ни в одной из своих книг. Этот результат был опубликован после его смерти. Следовать по пути гения всегда интересно. Проследуем путем, который прошел Ньютон. Площадь выделенного на рисунке сектора равна л/24, так как он равен одной шестой части окружности. Если вычесть площадь треугольника, равную л/з/32, то получим площадь части сектора, обозначенной S. Уравнение окружности, пока- занной на рисунке, выглядит так: у2 + х2 = х, 33
ВСЕ ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71, НО БОЯЛИСЬ СПРОСИТЬ СЭР ИСААК НЬЮТОН (1642-1727) Ньютон больше известен как физик и математик, хотя он занимался алхимией, богословием, политикой, астрономией и, естественно, многими другими дисциплинами. В любом случае он является одним из важнейших ученых в истории человечества. Его основной труд Philosophiae naturalis principia mathematica («Математические начала нату- ральной философии») был издан в 1687 году главным образом благодаря влиянию родных, что говорит о том, насколько замкнутым и необщительным был Ньютон. В этой книге описываются его важнейшие открытия: закон всемирного тяготения (по легенде, Ньютон открыл этот закон после того, как ему на голову упало яблоко) и исчисление бесконечно малых. Среди его дости- жений в физике в первую очередь стоит отметить создание теории цветов и дифракции, первого зеркального телескопа и корпускулярной теории света. Он также сформулировал законы сохра- нения импульса и энергии. В его работах по астрономии удивительно точно описано движение планет и природа их орбит. В чистой математике помимо дифференциального и интегрального исчисления он также изучал множество степенных рядов, формулу бинома, теорию ошибок и численный метод нахождения нулей функции. Ньютон дважды избирался в парламент, где почти всегда хранил молчание. Единственным легендарным исключением стал случай, когда он попросил закрыть окно, потому что ему мешал сквозняк. Став в 1699 году управляющим Монетного двора и проведя много реформ, Ньютон лично отправил на зиселицу нескольких фальшивомонетчиков. Он всегда считал, что его от- крытия в алхимии и богословии (Ньютон был наполовину монофизитом и сохранял в тайне при- надлежность к этой еретической доктрине) переживут его. Ньютона практически обожествляли еще при жизни, а после смерти и похорон в Вестминстерском аббатстве на все восхваления, казалось, был наложен строгий запрет. Это объяснимо, если мы вспомним историю расправы над фальшивомонетчиками. Исаак Ньютон на картине Уильяма Блейка (1757-1827). Величие ученого и его влияние на научный мир вдохновили Александра Поупа (1688-1744) написать такие строки: Природы строй, ее закон В извечной тьме таился. И бог сказал: «Явись, Ньютон!» И всюду свет разлился. (Перевод А. П. Павлова) 34
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 7L НО БОЯЛИСЬ СПРОСИТЬ что можно представить в виде у2 = х(1 — х) или у =. у] х(1 — х) = х2 (1 — х)2 • Приме- нив методы интегрального исчисления, изобретенного самим Ньютоном, получим: И 1 х2 х2 х2 5х2 I х2---------------------- 2 8 16 128 Теперь осталось лишь правильно выполнить интегрирование и не ошибиться в расчетах... либо нужно быть Ньютоном. Его соотечественник Абрахам Шарп (1651—1742) использовал следующее ра- венство, полученное астрономом Эдмундом Галлеем (1656—1742): 71 . УЗ — = arctg-----, 6 3 которое сегодня изучается в элементарной тригонометрии, а также важное соотно- шение, полученное еще одним британским ученым Джеймсом Грегори (1638—1675): arete х =х-------1------- 3 5 и получил ряд, который на современном языке математики записывается так: n=i 2(-l)fc31/ 2k + l что в 1699 году позволило ему правильно вычислить 71 знак Л. На самом деле Шарп рассчитал 72 знака, но ошибся в последнем. Это простительно, если учесть, что для этого пришлось сложить около 300 членов указанного ряда. Заметим также, что в 1667 году Джеймс Грегори попытался доказать, что задача о квадратуре круга не имеет решения, но потерпел неудачу. Несколько лет спустя, в 1706 году, Джон Мэчин (ок. 1686—1751), преподава- тель астрономии, позднее ставший секретарем Лондонского королевского общест- ва, вывел формулу, носящую теперь его имя: ТС 1 1 — = 4 arete----arete ----. 4 5 "239 35
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л НО БОЯЛИСЬ СПРОСИТЬ ДЖЕЙМС ГРЕГОРИ (1638-1675) Не следует пугать Джеймса Грегори с его племян- ником Дэвидом Грегори (1659-1708), который также был математиком, дружил с Ньютоном и был одним из тех, кто ввел в употребление символ л. Джеймс Грегори известен в астроно- мии как изобретатель телескопа-рефлектора, а также благодаря разложению в бесконечные ряды тригонометрических функций (sin х, cos х, tg х) и обратных тригонометрических функций (arcsin х, arccosx и arctgx). Ряд, который был от- крыт также и Мадхавой из Сангамаграма и носит имя Мадхавы - Лейбница или Грегори - Лейбни- ца, может быть записан в следующем виде: tg5e -... 6 = Этот ряд сходится на интервале от -л/4 до л/4. Грегори одним из первых понял, что задача о квадратуре круга нерешаема. Чтобы получить эту формулу, он выполнил следующие действия: 1 tga=-, 5 tg2oc = 2 tga 1- tg2a 5 12’ . 2 tg2» tg4a=-— 1- tg"2a 12(1 119 ’ tg л 4a— 4 tg4q-l_ 1 1+ tg4a 239’ 36
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Я, НО БОЯЛИСЬ СПРОСИТЬ Отсюда следует искомое равенство, так как я 4сс----= arctg tg 4 я") 1 4 ОС---= arctg------. 4 J 239 На основе этой формулы вкупе с известными выражениями, например arctg (л) = х------1— 3 5 выводятся быстро сходящиеся ряды, с помощью которых Мэчин рассчитал Л до со- того знака. Вне всякого сомнения, большой заслугой Мэчина является полученная им формула, записываемая в тригонометрическом виде, которую можно быстро пре- образовать в ряд. Далее, когда мы будем рассказывать о Захариусе Дазе, то упомя- нем еще один люОопытный факт, имеющий отношение к Мэчину. Формулы, подобные той, что вывел Мэчин (так называемые формулы Мэчина), очень распространены, их изучением занимались многие исследователи независимо друг от друга. Мэчин стал первым среди них. В девятом томе первого издания Французской энциклопедии, созданной силами Дени Дидро, упоминается Том Фанте де Ланьи (1660—1734), преподаватель ги- дрографии и математики, чей некролог редактировал сам Фонтенель. В 1719 году де Ланьи вычислил (сущая безделица!) 112 знаков ТГ, использовав тот же степенной ряд, что и Шарп. ЗАДАЧА, ПЕРЕД КОТОРОЙ НЕЛЬЗЯ УСТОЯТЬ МатематикТом Фанте де Ланьи (1660-1734), родившийся во французском городе Лионе, занял свое, пусть скромное, место в истории благодаря тому, что первым верно вычислил 112 знаков числа я - абсолютный мировой рекорд в то время. С ним также связан занимательный эпизод, произошедший незадолго до его смерти. Рассказывают, что его коллега Мопертюи пришел навестить его на смертном одре и обнаружил тело без признаков жизни. Чтобы удостовериться в этом, Мопертюи еле слышно прошептал: «Сколько будет 12 в квадрате?», предполагая, что ни один математик не устоит перед подобной задачей. Де Ланьи вскочил, громко воскликнул: «144!»- и умер. 37
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ И НО БОЯЛИСЬ СПРОСИТЬ На самом деле де Ланьи вычислил 127 знаков, но лишь 112 из них были верными, что подтвердил Георг Вега (1754—1802). Этот немецкий математик к концу жизни был удостоен высокого титула барона в Австрийской империи, что не спасло его от судьбы простолюдина: он был убит неким вором из-за денег и часов. В 1794 году Вега использовал одну из формул Мэчина, которую вывел Эйлер, чтобы вычислить 137 знаков Л, на этот раз без ошибок. Он использовал следующую формулу: — = 5 arctg ~ + 2 arctg —. Банкнота в 50 словенских толаров, на которой изображен Гэорг Вега, а также геометрические построения и фазы Луны. На обороте слева от изображения Солнечной системы можно увидеть фасад Словенской академии наук в Любляне. Между 1760 и 1800 годами параллельно были получены заслуживающие упоми- нания результаты. Так, Иоганн Генрих Ламберт (1728—1777), создатель неевкли- довой геометрии, в 1761 или 1767 году (точная дата неизвестна) доказал иррацио- 38
ВСЕ ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71. НО БОЯЛИСЬ СПРОСИТЬ нальность числа Л. Адриен Мари Лежандр (1752—1833) несколькими годами поз- же показал, что И2 также иррационально. Возможно, наиболее значимым является достижение великого Леонарда Эйлера (1707—1783), который искал многочислен- ные ряды для вычисления Л и предположил, что число Л является трансцендентным. Гипотеза Эйлера тем примечательнее, что само существование трансцендентных чисел доказал Жозеф Лиувилль (1809—1882) лишь много лет спустя, в 1840 году! Лиувилль также нашел первое трансцендентное число. ИОГАНН ГЕНРИХ ЛАМБЕРТ (1728-1777) Этот немецкий математик, астроном и врач изобрел гигрометр и фотометр. Он также первым доказал иррациональность числа тс, но этим его вклад в математику не ограничивается. Он из- учал гиперболические функции и связал их с неевклидовой геометрией. Также он внес заметный вклад в картографию, и его имя носит одна из географических проекций. Ламберт был само- учкой. но когда речь заходила о признании его собственных заслуг, скромность покидала его. Фридрих II, сделав математика членом Прусской академии наук, спросил Ламберта, в каких же науках он преуспел. «Во всех», - последовал ответ, близкий к истине. Король с иронией заме- тил: «Значит, вы разбираетесь и в математике?» - «И в ней тоже», - честно ответил Ламберт. Несколько раздосадованный, Фридрих II продолжил: «И кто же был вашим учителем?» - «Я сам, Ваше Величество!» - и снова Ламберт не погрешил против истины. Король иронично сказал: «Ну и ну! Я стою перед вторым Паскалем!» - «По меньшей мере», - был ответ. Его доказательст- во иррациональности числа тс достаточно изобретательно и доступно для понимания. С помощью цепных дробей Ламберт показал (это наиболее сложная часть его доказательства), что если х - ненулевое рациональное число, то tgx иррационально. Так как tg тс/4 - 1, а единица является рациональным числом, следовательно, тс/4 и тс являются иррациональными. Говоря о вычислении Л, мы специально не упоминаем об Эйлере, так как он никогда не добивался рекордной точности вычислений. Вероятно, это случилось лишь потому, что он не уделял этому достаточно внимания: как-то раз, используя формулы Мэчина, он вычислил 20 знаков ТГ всего за час! В 1841 году Уильям Резерфорд (1798—1871) использовал формулу Мэчина ТГ 1 1 1 — = 4 arctg---arctg----1- arctg — 4 5 70 99 и получил 208 знаков Л, из которых 152 были верными. В 1853 году он вернулся к этой задаче и с помощью формулы Мэчина установил новый рекорд — 440 знаков. 39
ВСЕ. ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л. НО БОЯЛИСЬ СПРОСИТЬ ЧТО ТАКОЕ ТРАНСЦЕНДЕНТНОЕ ЧИСЛО? Число называется алгебраическим, если оно является корнем многочлена апх" + . + а/ + а0, все коэффициенты которого ап, ап1,..., ар а0 являются рациональными числами. В высшей математике доказывается, что любое число, которое можно получить, используя лишь циркуль и линейку конечное число раз, обязательно является алгебраическим. Неалгебраическое число называется трансцендентным. Таким образом, очевидно, что трансцендентное число нельзя получить построением с помощью циркуля и линейки. Иоганн Мартин Захариус Дазе (1824—1861) занимает особое место в истории математики. Его друг Шульц фон Штрасницкий (1803—1852) показал ему следу- ющую формулу Мэчина: Л 1 1 1 — = arctg — + arctg — +arctg —, 4 2 5 8 и в 1844 году Дазе вычислил с ее помощью 200 знаков Л. Невероятно, но на это ему потребовалось лишь два месяца, и все расчеты он производил в уме. Он был насто- ящим человеком-компьютером и обладал невероятной способностью к вычислени- ям. Сам Гаусс, известнейший математик своего времени, советовал властям исполь- зовать Дазе для расчетов. Была учреждена премия, вручаемая тому, кто получит список делителей чисел N таких, что 7 000 000 < 7V < 10 000 000. Дазе начал рабо- тать над этой задачей, но смерть помешала ему найти решение. Дазе страдал син- дромом саванта: он был поразительно одарен в математике, имел невероятную па- мять, но в остальном был весьма и весьма средних способностей. Например, он мог перемножить два восьмизначных числа меньше чем за минуту. Для перемножения 100-значных чисел ему требовалось около девяти часов. Он обладал почти фотогра- фической памятью, что позволяло ему с удивительной точностью пересчитывать лю- бые предметы, будь то овцы, буквы или костяшки домино. Писатель и ученый Ар- тур Кларк в письме к палеонтологу Стивену Джею Гулду задавался вопросом, какую пользу для эволюции биологического вида может иметь способность вычислить в уме 200 знаков числа Л. Ответ на этот вопрос нам неизвестен. В 1847 году датский астроном и математик-самоучка Томас Клаусен (1801— 1885), используя две формулы Мэчина: 40
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ 71 НО БОЯЛИСЬ СПРОСИТЬ — 7Т = 2 arcti^ —+ arctg —, 4 3 7 — 7t = 4arctg — — arctg точно вычислил 248 знаков Л. Он также ошибся в вычислениях, но допустил ошиб- ку в самом конце расчетов, всего вычислив 250 знаков. В 1853 году его немецкий коллега Якоб Гейнрих Вильхельм Леманн (1800— 1863) рассчитал 261 знак Л, что принесло ему известность в математике. Его име- нем также назван кратер на Луне. В следующем году немецкий профессор Рихтер вычислил 330, затем 400 и, наконец, 500 знаков. Английский математик-любитель Уильям Шэнкс (1812—1882) посвятил свою жизнь вычислениям. Наряду с расчетами других констант в 1875 году он получил 707 знаков Л, что увековечено на знаменитом фризе Дворца открытий в Париже. Но это стоило музею немалых затрат: фриз был построен в 1937 году, а в 1946 году Дэниел Фергюсон в статье в журнале Nature показал, что верными являются лишь первые 527 знаков. Огастеса де Моргана (1806—1871) крайне удивил тот факт, что цифра 7 встречается в записи числа Л заметно чаще остальных. Подобно многим ученым, занимавшимся объемными расчетами, Шэнкс допу- скал ошибки. Он не располагал правильным ответом, с которым можно было бы свериться, поэтому считал свои вычисления верными. Не стоит забывать, что в те времена не было ни компьютеров, ни калькуляторов, все расчеты выполнялись на ли- стах бумаги, испещренных бесчисленными цифрами. Теперь во Дворце открытий можно посмотреть на исправленное значение Л. Такова дань уважения объяснимой человеческой ошибке. В наши дни было обнаружено, где именно ошибся Шэнкс, который вычислял Л поэтапно. Не стоит умалчивать о достижении Фергюсона — последнего, о котором мы рас- скажем, прежде чем перейдем к повествованию о компьютерной эре. В 1947 году он опубликовал 808 знаков Л. Для расчетов ему понадобился целый год, арифмометр, много терпения и следующая формула: Л „ 1 1 1 — = 3 arctg — +arctg — + arctg ---. 4 4 20 1985 41
ВСЕ, ЧТО ВЫ ХОТЕЛИ УЗНАТЬ О ЧИСЛЕ Л НО БОЯЛИСЬ СПРОСИТЬ В 1882 году немецкий математик фон Линдеман изрядно охладил пыл тех, кто занимался расчетами числа Л, доказав, что оно не является алгебраическим, поэтому не может быть найдено построением с помощью циркуля и линейки. Линдеман до- казал трансцендентность числа Л. Следует отметить, что в его объемном доказа- тельстве ни разу не использовались геометрические методы. Таким образом, число Л покинуло мир геометрии, и это произошло точно в тот день, когда была доказана его трансцендентность. Оригинальное доказательство Линдемана основано на тех же примерах, которые за несколько лет до того использовал Шарль Эрмит (1822—1901) для доказатель- ства трансцендентности числа е — еще одной известной константы. Линдеман при- шел к выводу, что линейная комбинация степеней е с коэффициентами Af и показа- телями степени Bk (вещественными или комплексными) А.ев> +Аэев- + ...Ч А е11" 1 2 п не может быть равной нулю (за исключением случая, когда все коэффициенты нуле- вые). Так как знаменитая формула Эйлера может быть записана в следующем виде: Ki . I Ki . О /л е + 1 = е +с =(), она удовлетворяет условиям Линдемана (Л1 = Аг = 1, Bj = Ki, В2 = 0), поэтому Tti не может являться алгебраическим числом, равно как и само Л. Число Л не является алгебраическим, следовательно, оно трансцендентно. Так как оно трансцендентно, его нельзя получить построением с помощью циркуля и линейки. Конечно, за этим последовали новые, менее сложные доказательства, но и приведенных выкладок было достаточно, чтобы снять завесу тайны с числа Л. До Линдемана было извест- но, что трансцендентность числа Л означает, что задача о квадратуре круга нереша- ема. Доказательство Линдемана положило конец поискам решения этой легендар- ной задачи. Было окончательно установлено: задача о квадратуре круга не имеет решения. 42
Глава 2 Бесконечная незначительность и трансцендентность числа 7Г Лицо 7Г было скрыто маской. Все понимали, что сорвать ее, оставшись при этом в живых, не сможет никто. Сквозь прорези маски пронзительно, безжалостно, холодно и загадочно смотрели глаза. Бертран Рассел Мы подробно, знак за знаком, проследили путь числа П в поисках трансцендентно- сти. Линдеман завершил поиски и расставил все по местам. Теперь мы знаем, что П трансцендентно, его нельзя построить с помощью циркуля и линейки, поэтому зада- ча о квадратуре круга не имеет решения. Чтобы лучше понять значимость и важность И в мире математики, совершим небольшую экскурсию в неспокойный мир бесконечности. Это отдельная вселенная, очень обширная и запутанная, полная вопросов, лежащих между философией и ре- альным миром. Этот мир настолько необычен, что некоторыми его аспектами зани- мается высшая математика, в которой действия с бесконечностью предельно упро- щаются. Мы рассмотрим эту область лишь поверхностно, особенно не углубляясь. Тем не менее обзор бесконечности в математике нетривиален, требует определенных усилий, а иногда просто скучен и повергает в уныние. Предупредив читателя, мы начинаем нашу экскурсию в мир бесконечности с по- чти что абсурдного вопроса: «Что такое число?» Чтобы ответить на него, начнем с рассмотрения самого представления о числах. Числа и множества В основе практически всех основных понятий лежат множества — простые сово- купности объектов, которые мы будем перечислять в фигурных скобках, разделяя запятыми. Например, 43
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА ТС А — {а, Ь, с, d} обозначает множество А, образованное символами а, Ь, с и d. Вместо букв могут использоваться животные, люди, музыкальные инструменты и так далее. Это не принципиально. Будем использовать наиболее простое определение, которое эк- сперты называют «наивным»: будем считать множество совокупностью объектов, называемых «элементами множества». Множества могут соответствовать друг другу — так обычно говорят о множе- ствах, между которыми установлено взаимно однозначное соответствие. Например, множества {а, Ь, с} и {Наполеон, ♦ , автор этой книги} соответствуют друг другу, так как между их элементами можно установить взаимно однозначное соответствие и при этом не останется лишних элементов. Напротив, множества {а, Ь} и {Наполеон, ♦, автор этой книги} не могут соответствовать друг другу, поскольку в правом множестве всегда будет оста- ваться один элемент, которому не будет соответствовать никакой элемент левого мно- жества. Из этого следует, что определение числа имеет отношение к множествам. Современное рекурсивное определение числа может выглядеть так: I = {0} 2 = {0,1} 3 = {0,1, 2} 4 = {0,1, 2, 3} 5 = {0,1, 2, 3, 4} n = {0,1,2,3, 4, .... п — 1} Говорят, что множество А имеет п элементов, если А соответствует п, иными сло- вами, если между А и п имеется взаимно однозначное соответствие. Так, множество игроков футбольной команды на поле содержит И элементов, множество апостолов содержит 12 элементов. Согласно вышеприведенному перечню, множество И вы- глядит так: И = {0,1, 2, 3, 4, 5, 6, 7, 8, 9,10}. 44
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА ТГ Нет никаких сомнений в том, что между этим множеством и любым множеством футболистов на поле можно установить взаимно однозначное соответствие. Как же мы определим ноль? Когда говорят, что множество содержит 0 элемен- тов? В «наивной» теории множеств множество является совокупностью объектов. Поэтому логично, что среди таких совокупностей встречаются пустые, которые не содержат ничего — как пустые коробки. Не стоит путать пустое множество и ничто — метафизический объект, больше под- ходящий для философских споров. Пустое множество — это как раз то, внутри чего находится ничто. Это множество, которое не содержит элементов, но это не «ничто». Для обозначения подобного множества (оно единственно, так как все пустые множества равны), французский математик Андре Вейль (1906—1998) предложил использовать датскую букву 0. Вайль был прекрасно знаком с алфавитами сканди- навских языков, поскольку во время Второй мировой войны находился в заключе- нии в Финляндии. Будем обозначать символом 0 пустое множество, которое не содержит элементов. Его можно определить многими способами, от забавных до вовсе абсурдных, например 0 = {летающие коровы}. Обозначим ноль так: 0 = 0 и будем говорить, что множество содержит 0 элементов, если между ним и множе- ством 0 можно установить взаимно однозначное соответствие. Для обозначения числа элементов множества А используется следующее выра- жение: |/1|. Также число элементов множества называется его кардинальным чи- слом. Таким образом, число элементов А = кардинальное число А = |/1|. В целом различают конечные и бесконечные множества, и понятие «число эле- ментов» используется для конечных множеств. Так, конечное множество может иметь 6241 или 123456789012 элементов. Конечные множества имеют одну особенность: их кардинальное число больше, чем кардинальное число любой из частей множества. Например, если А содержит 7 элементов, любая часть А имеет меньше 7 элементов. Если А = {гномы из сказки про Белоснежку}, 45
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА И то |Л| = 7. Любое подмножество или подгруппа гномов В будет удовлетворять усло- вию |В| < р4| и будет содержать меньше 7 гномов. Эта особенность, которая может показаться тривиальной, на самом деле отличает конечные и бесконечные множест- ва: часть бесконечного множества и само множество целиком могут иметь одинако- вые кардинальные числа. Как бы удивительно это ни было, существуют объекты, часть которых содержит столько же элементов, что и целое. ГОСТИНИЦА С БЕСКОНЕЧНЫМ ЧИСЛОМ НОМЕРОВ В качестве примера многие математики приводят парадокс гостиницы с бесконечным числом номеров, придуманный немецким математиком Давидом Гильбертом. Он формулируется так. Есть гостиница, владельца которой не пугает толпа народа. Все номера гостиницы пронумеро- ваны от 1 и далее в порядке возрастания. В сезон отпусков гостиница оказалась полностью заполнена, к радости ее владельца. Однако внезапно китайский туроператор прислал срочное сообщение: на следующий день должно приехать множество китайских путешественников. Для всех них нужно найти номера, но никого из уже заселившихся постояльцев выселять нельзя. Владелец отеля прекрасно знает математику и без труда нашел решение. Он попросил всех по- стояльцев переехать в комнату, номер которой в два раза больше, чем номер прежней комнаты, как показано на рисунке. В гостинице снова появилось бесконечное число комнат, и всем новоприбывшим nyieiue- ственникам хватило мест. Счастливый владелец гостиницы с бесконечным числом номеров продолжает работу благодаря своим знаниям о бесконечности. 46
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА 71 Рассмотрим простейший пример бесконечности, образуемой всеми целыми поло- жительными числами, так называемыми натуральными: N = {1,2, 3, 4,5,6, 7, 8, 9,10, И, Множество натуральных чисел обозначается латинской буквой N. Мы с удивлением обнаружим, что часть N, множество четных чисел, соответст- вует самому N: 1 ◄-----► 2 2 4----> 4 3 ◄----> 6 4 4----► 8 5 <----► 10 В 4----->12 7 4-----> 14 Поэтому ({четные чнсда}| = |N|. Часть чего-либо бесконечного также может быть бесконечной и иметь то же кар- динальное число. Натуральные, рациональные и алгебраические числа Люди много веков жили, повернувшись спиной к бесконечности. С подобным без- различием покончил немецкий математик высшего класса и непревзойденного ума, хоть и несколько эксцентричный. Его звали Георг Кантор. Кардинальными числами конечных множеств являются натуральные числа. Кар- динальные числа бесконечных множеств намного больше. Специалисты называют их трансфинитными, что дословно означает «находящиеся за пределами конечного». Наименьшее из трансфинитных чисел — это |Н|, которое Кантор обозначил как Nf). Оно соответствует кардинальному числу множества натуральных чисел, иначе говоря, 47
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА 71 |{1,2, 3, 4, 5, 6, 7, 8, 9,10, И, ...}| = М = Ко. Происхождение этого необычного знака таково: X (читается «алеф») — первая буква еврейского алфавита. Ноль, указанный как индекс, означает, что речь идет о наименьшем из всех алеф (алеф-нуле). Существует много кардинальных чисел, каждое имеет свой индекс: N., К., ... г 2’ 3’ 4’ 5 Число Kf) отражает множества, которые соответствуют N. Например, это могут быть четные числа, нечетные числа, числа, кратные 3, кратные 5, и многие другие. Множества, соответствующие N, называются счетными, поскольку их элементы можно пронумеровать или подсчитать, как показано ниже: ГЕОРГ КАНТОР (1845-1918) Это! немецкий математик русского происхожде- ния считается одним из величайших умов чело- вечества. Он известен как создатель современ- ной теории множеств и трансфинитных чисел. Его передовые идеи навлекли на себя нападки многих могущественных недоброжелателей, что заметно препятствовало академической карье- ре Кантора. Депрессии, которым был подвержен Кантор (он умер в психиатрической больнице), вероятно, были вызваны невозможностью про- верить некоторые из его гипотез. Сегодня нам известно, чю ответов на некоторые вопросы, которыми задавался Кантор, не существует, но определенные методы, которые он использо- вал в доказательствах, могут по праву называть- ся гениальными. 48
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА К 1 ◄— —► 2 1 ◄ —► 1 1 ◄— —► 3 1 ◄ —► 5 2 ◄— —> 4 2 ◄— —> 3 2 ◄— —► 6 2 ◄— ► 10 3 ◄— —> 6 3 ◄— —► 5 3 ◄— ► 9 3 ◄ —► 15 4 ◄— —► 8 4 ◄— —> 7 4 ◄— ► 12 4 ◄— —>20 Но здесь нас подстерегает множество сюрпризов: бесконечное множество % = -И, -10, —9, -8, —7, -6, —5, —4, -3, —2, -1,0,1,2,3,4,5,6, 7,8,9,10, И,...} математики называют множеством целых чисел, и N является частью Z. Очевидно, что всякое натуральное число является целым. Но что можно сказать о кардиналь- ных числах этих множеств? Чему равно кардинальное число Z? Если мы посмотрим на рисунок ниже, демонстрирующий процесс пересчета целых чисел, то увидим, что |Z| = |N| = Ко, поэтому множество Z также является счетным. Сделаем еще один шаг вперед: рассмотрим множество дробей, или так называе- мых дробных чисел. Дробь определяется числителем и знаменателем и записывает- ся в виде а/b. Если а кратно Ь, то а/b обозначают целым числом с, которое равно делению а на b без остатка: а/b — с. 49
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Фактически одним и тем же числом могут обозначаться разные дроби: 756/378 = 524/262 = 6/3 = 2. Однако очевидно, что существуют и другие дроби, которые нельзя выразить це- лым числом, например 1/2 или 5/3. Существует больше дробных чисел, чем целых, так как всякое целое число можно представить в виде дроби. Имеем NcZc = {дроби}. Символ CZ означает «строгое включение подмножества». Это своеобразная раз- новидность знака < для множеств. Множество дробных чисел обозначается буквой Q. Можно убедиться, что Z яв- ляется частью Q. Или же, если так будет удобнее читателю, N CZ Z CZ Q. Можно было бы ожидать, что кардинальное число Q больше, чем кардинальное число Z, но вы уже видели, что здравый смысл не всегда применим к бесконечности. Кантор «пронумеровал» дроби с помощью извилистой линии, изобразив нечто похожее на этот рисунок: 50
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА 71 Нет никаких сомнений, что на рисунке помещаются все дроби, так как в каждом ряду содержатся все возможные числители, а в каждом столбце — все возможные знаменатели. Если мы хотим найти число а/b, то это очень просто сделать, перейдя к строке а и столбцу Ь. Также не вызывает сомнений, что каждой дроби (иными сло- вами, каждому рациональному числу) соответствует последовательность стрелок, идущая к нему. Поэтому достаточно пронумеровать стрелки (1, 2, 3, 4, 5...), чтобы прийти к результату: |Q|=|Z|=|N| = к„. Сделаем еще один шаг. Говорят, что число является алгебраическим, когда оно является корнем многочлена а хп + а .хп-1 + ... + а.х + а п п—1 1 О все коэффициенты которого (ап, ап1, ..., а}, а0) являются рациональными числами. Существует великое множество алгебраических чисел. По сути, любое рацио- нальное число является алгебраическим. Если мы рассмотрим произвольное рацио- нальное число а/b, уравнение х — а/Ь = О имеет решение х = а/b, а его коэффициенты являются рациональными числами: а1 = 1 и aQ = —а/Ь. Существует множество других алгебраических чисел: так, число ур2 является иррациональным и является корнем уравнения х2 — 2 = 0, то есть удовлетворяет всем необходимым условиям. Алгебраическим также является такое известное чи- сло, как золотое число Ф — оно является корнем уравнения х2 — х — 1 = 0. В 1874 году Кантор был еще молод и не страдал от психических расстройств. В одной из своих работ он доказал, что множество алгебраических чисел (будем обозначать его А), включающее все рациональные числа, является счетным множе- ством. Следовательно, \{алгебраические чнсда}| = |Д| = |Q|— |z| = |N| К(). При этом каждое из этих множеств строго больше последующего: N с Z с Q с А. 51
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Появление вещественных чисел Мир чисел огромен. Пока что мы видели лишь его часть, которая является счетной. Возможно, лучший способ рассказать о числах — это рассмотреть подробно их десятичную запись. Исследуем подробно множество всех десятичных чисел. Вообще говоря, десятичное число вида 34658,124796 является лишь формой записи следующего выражения 3 • 104 + 4 • 103 + 6 • 102 + 5 101 + 8 10° + 1 • 10 1 + 2 10 2 + 4 10-3 + + 7 • 10-4 + 9 • 10-5 + 6 • 10 6. Цифры слева от запятой соответствуют положительным степеням 10, справа от за- пятой — отрицательным степеням. Вспомним, что Десятичная система счисления — это позиционная система счисления по осно- ванию 10. Это лишь способ записи чисел, но сколь удобный способ! Это поистине великое достижение человечества. СИМОН СТЕВИН (1548-1620) Этот голландский ученый родился в бельгийском городе Брюгге. Он был военным инженером, занимался музыкой, физикой, математикой и бухгалтерией. Он вошел в историю как изобрета- тель двойной бухгалтерской записи, которая в значительной мере способствовала прогрессу в экономике и торговле. Но его вклад в математику еще важнее: в своем труде De Thiende («Десятая») он представил десятичную форму записи чисел. Эта система была слишком сложна, поэтому широкое распространение получили бо- лее поздние версии, например вариант, предложенный Джоном Непером. Страница книги De Thiende, на которой приведен пример десятичной записи Стевина, не слишком удобной для повседневного использования. Единицы обозначаются кружком, обведенным вокруг О, десятки — другим кружком вокруг 1, сотни — кружком вокруг 2 и так далее. ТЫ UN Of. J j HET ANDER DEEL ви Thibnde vandb Whckimch «. 1 VOORSTEL VANDE tc w- p&rtn: Ьлгг SoiBMt tt Ът&в. T'ChICmkvbn. Het (ip dncardeni nn Thiendeukn, wrlik/теефе 17 Q K.i 7 .| , <fcWcrdc, &(J 6 (• 7 Я J (j. de derJe» 37fG‘7f*‘t * . Тиеи»«» t>t - Wy mucren h.tcr Somme vmdcft . V. 1 же rim g. hicrnevcn, die venpderr 1»- «7671 dcfundcghemcenrtnanie I7 t 7 j 1 re 4er verg^dcrii'ighe van — ------ hcckgnakiiilJw: > 4 * I ° 4 Conn in Somme (door het t. probleme onfer rruifcher Arirh.) 941,04 dal (ip (I'wvkk Jc teetkrneoboven de ghrulen Ibende, amnjfr,) 9 4 1 6 J (» C11 4O , |ckf<*rt»hc delclvete wefeu <lewire bcghcrrdc Somme. В » wv 1. De gheg;- »cni7<?3(’ ♦'l 7чГ, doenfrfooede p Kiu- 1 f.g) 1?у;. Д^.7~,ииакёгй11>еп I7^v E ride door dele I vc reden fallen de <7(УСл 7,^ jQ vcttJidifip р~-* , Ende Jc l7$@7'O «3 52
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Десятичная дробь может быть конечной или бесконечной. Ниже приведен при- мер для обоих случаев: 1,234567890101112131415161718192021223242526... 127,789564. Первое число — бесконечная десятичная дробь. Вторая дробь также содержит бесконечное количество знаков после запятой, но в ином виде: 127,789564 = 127,789564000000000000000000... Фактически мы можем записать число 127,789564 более «сложным» способом: = 127,789563999999999999999999... Тем не менее в этих случаях речь идет о конечной десятичной дроби. Простейшие десятичные числа — это натуральные числа (N): они являются положительными и не имеют знаков после запятой. За ними следуют целые числа (Z), которые могут быть отрицательными, но также не имеют знаков после запятой. Рациональные чи- сла (Q) включают в себя эти множества и имеют любопытную десятичную запись: цифры рационального числа имеют период, то есть некая группа цифр с определен- ного момента начинает повторяться. Вспомним, что рациональные числа являются дробями, или дробными числами, которые записываются в виде а/b, где а — целое, а b — натуральное число. Чтобы перейти от этой формы к десятичной записи, нуж- но разделить а на Ь, и каков же будет результат? Остаток не может превышать Ь, и после деления, выполненного b раз, числа начнут повторяться снова и снова. Это прекрасно видно на примере простейших дробей, в частности — = 1,571428571428571428..., 7 где период, или множество повторяющихся цифр, всегда равен 571428. Иногда пери- од имеет гигантские размеры, но это не означает, что десятичное число будет иметь бесконечное количество знаков — они будут повторяться бесконечное число раз. В этот момент неизбежно возникает вопрос: если периодические дроби соответ- ствуют рациональным числам, то как быть с непериодическими десятичными дробя- ми? Все очень просто: они являются не рациональными, а иррациональными. 53
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л ДИАГОНАЛЬНОЕ ДОКАЗАТЕЛЬСТВО Рассуждения Кантора, которые лежат в основе доказательства счетности множества десятичных дробей (то есть R), останутся в истории как доказательство его гениальности. Они оригинальны, но в то же время понятны. Это доказательство приобрело такую известность, что получило собст- венное название: диагональный метод, метод диагонализации, или диагональное доказательство. Посмотрим, почему это доказательство называется «диагональным». Мы выполним действия, которые в математике именуются «сведением к абсурду», когда некая гипотеза предполагается истинной, а затем показывается, что из нее вытекает абсурдное заключе- ние. Это означает, что исходная гипотеза ложна. Предположим (ниже мы докажем ложность этого утверждения), что множество десятичных дробей (т. е. вещественных чисел) является счетным. Будем говорить о счетности не всего множества R, а лишь десятичных дробей, лежащих на интервале (0; 1), то есть удовлетворяющих условию 0 < х < 1, - лишь малой части R. Предположим, что де- ся’1ичные дроби пронумерованы и перечислены друг под другом, не обязательно по порядку, так, как показано ниже: N <-> вещественные числа на интервале (0; 1) 1 <->0,835987... 2 <->(),250000... 3 <->0,559423... 4 <->0,5(ХКХХ)... 5 <->0,728532... 6 <->0,845312... п <->0,г/2ВД...г... Существует множество иррациональных чисел, начиная с у 2 и всевозможных ком- л Зу/з + 1 7г~ бинации корней, например -------уЗ , и заканчивая универсальными константами, например Л. Будет логичным спросить: «Сколько всего иррациональных чисел?» Обозначим множество всех десятичных дробей R, иными словами, объединение рациональных и иррациональных чисел: R = {рациональные числа} U {иррациональные числа}. Мы знаем, что первое из этих множеств Q = {рациональные числа} счетно. Кан- тор доказал, что множество R не является счетным. Следовательно, множество 54
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л В этом списке должны фигурировать все десятичные дроби, заключенные в промежутке между 0 и 1, так, чтобы нельзя было записать никакую десятичную дробь п, которая бы не содержалась в этом списке. Кантор, основываясь на этом утверждении, создал новую десятичную дробь D которой не было в списке. Для каждого п он определил dn, отличное от того, которое находится в строке п и столбце л. d отличается от десятичной дроби, которая соответствует числу 1? Да, поскольку d отличается от этой дроби в первом знаке после запятой. d отличается от десятичной дроби, которая соответствует следующему числу в списке? Да, посколь- ку d отличается от второй дроби во втором знаке после запятой. d отличается от десятичной дроби, которая соответствует третьему числу в списке? Да, поскольку d отличается от третьей дроби во третьем знаке после запятой. Это же верно и для четвертой, пятой и n-й дробей: d *г. л п D отличается от всех десятичных дробей в списке, следовательно, оно не содержится в этом списке. Но разве мы не говорили, что в этом списке содержатся все десятичные дроби? Имеется противо- речие с исходным утверждением, которое гласит, что все десятичные дроби пронумерованы и пе- речислены в списке. В действительности это не так. Это доказывает, что множество всех десятичных дробей не является счетным. |R|>K0. в правой части равенства также не может быть счетным. В противном случае R было бы образовано двумя счетными множествами, следовательно, оно также долж- но было быть счетным. Наконец-то мы нашли нечто неисчислимое — множество R, элементы которого нельзя сосчитать. Следовательно, это бесконечное множество, бесспорно, больше всех бесконечных множеств, о которых мы говорили до этого. Множество R известно как множество вещественных чисел. В простейшей теории множеств, которую сегодня изучают в школах, вышеизло- женное обычно изображают с помощью диаграмм: 55
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛАП Натуральные числа Целые числа ~ Рациональные числа (можно представить в виде простой дроби) Вещественные числа (можно представить в виде десятичной дроби). Рациональные плюс иррациональные числа. ||||' Несчетное I I Счетное Множества N, Z и Q, содержащиеся в R, являются счетными, в то время как R таковым не является. Можно сказать, пусть и немного неточно, что почти все числа являются иррациональными, за исключением рациональных, образующих меньшую бесконечность, которая является счетной. Число Л является иррациональным, что доказал Иоганн Генрих Ламберт (1728—1777) в 1760-е годы. Следовательно, оно принадлежит к несчетному большинству, куда также входят почти все десятичные дроби. С этой точки зрения Л не является каким-то необычным. Кроме того, что оно иррационально, оно также является вещественным, как почти все остальные числа. Алгебраические и трансцендентные числа Ранее мы говорили об алгебраических числах. Вспомним, что 1) алгебраическими числами называются числа, которые являются корнями уравнения а хп + а .хп-1 + ... + а.х + а = 0, п п—1 1 и где ап1, а0 — рациональные числа; 2) алгебраические числа образуют счетное бесконечное множество. Почему мы снова вспомнили о них? Причина в том, что во всех геометрических построениях используются лишь циркуль и линейка, причем конечное число раз. 56
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Таковы своеобразные «правила игры», и таким достаточно простым способом стро- ятся ничем не примечательные отрезки. Тот факт, что древние греки использовали для построений только циркуль и ли- нейку, привел к появлению особых отрезков (и, как следствие, чисел), которые, в отличие от остальных, можно построить (иногда их называют построимыми числа- ми). Возьмем в качестве примера обычное число ур2 . Это число можно построить с помощью циркуля и линейки, как показано на рисунке: Это первое иррациональное число, с которым встретились древние греки. Имен- но это число дало название иррациональным числам. Это число также является ал- гебраическим и его можно построить. Как мы уже говорили, у]~2 является корнем уравнения второй степени х2 — 2 = 0. Все числа, которые можно построить, являются алгебраическими. Рассмотрим, почему это так. Если говорить о построениях с помощью циркуля и линейки, то мак- симум, что мы можем построить, — это числа вида *1 = ао +/’о где aQ, bQ и xQ — рациональные. Опустим доказательство этого утверждения: оно несложное, но очень громоздкое. Число х1 является алгебраическим, так как являет- ся решением квадратного уравнения с рациональными коэффициентами, а именно хл-2апх+а^-Ь^х{)=0. 57
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Это уравнение с рациональными коэффициентами: числа 1, — 2а0 и — Ь?хп при- надлежат Q. Все числа, подобные х(), образуют так называемое поле, обозначаемое K.Q и удовлетворяющее условию Qc:K0. Иными словами, Q является подмножеством KQ. Q и К() образованы построимыми числами, но содержат только алгебраические числа. KQ больше, чем Q, и включает его. Все числа KQ являются алгебраическими, некоторые из них рациональные (те, что принадлежат Q), другие — нет (те, что принадлежат KQ и не принадлежат Q). Выберем для построения +Ь}у[х~', где а}, Ь1 и принадлежат KQ, и тем самым образуем еще большее поле: QcKocXf, также образованное алгебраическими числами, которые можно построить. Очевид- но, что можно сформировать любое количество полей Кп‘. В целом геометрические фигуры, в которых содержатся эти числа, описываются уравнениями второй степени (квадратными уравнениями). Они могут существенно различаться, но результатом построений все равно будут алгебраические числа. Благодаря так называемой аналитической геометрии, изобретенной Рене Дека- ртом в XVII веке, любое геометрическое построение можно описать уравнением второй степени. Сложное построение может описываться цепочкой уравнений вто- рой степени, вложенных друг в друга. Но сколь бы велика ни была эта цепочка, результатом всегда будет число, кото- рое можно построить. Это число будет являться решением уравнения второй сте- пени с коэффициентами, которые также можно построить, и, следовательно, будет являться алгебраическим. Используя геометрические построения, мы никогда не сможем выйти за пределы множества алгебраических чисел. Любое число, кото- рое можно построить, является алгебраическим. Мы не будем приводить подробное доказательство этого утверждения, по- скольку для этого потребуется использовать методы из теории Галуа, относящиеся к высшей математике. Вышесказанное можно представить в виде следующей ди- аграммы: 58
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА И Натуральные числа Целые числа Рациональные числа Построимьи числа Алгебраические числа Вещественные числа В царстве чисел все числа вплоть до алгебраических принадлежат к счетной бес- конечности. Но мы уже знаем, что множество R не является счетным и намного больше этих множеств. 1R без алгебраических чисел, то есть «почти все» множество R, также имеет трансфинитное, несчетное число элементов. Математики называют неалгебраические числа (вспомним, что это все вещест- венные числа за исключением алгебраических, то есть множество Ж за вычетом А) трансцендентными числами, поскольку Эйлер писал, что эти числа «превосходят мощь алгебраических методов» (название «трансцендентные» происходит от ла- тинского transcendere — «превосходить»). Следующее определение не содержит никаких философских подсмыслов, но является точным и однозначным: трансцен- дентным называется число, которое не может быть корнем многочлена с рациональ- ными коэффициентами. Все трансцендентные числа являются иррациональными, множество трансцендентных чисел не является счетным. Его кардинальное число больше, чем Хо. Какое отношение все это имеет к числу И? И является не только иррациональ- ным, но и трансцендентным, что доказал Линдеман в 1882 году. Так как Л является трансцендентным, оно не является алгебраическим и его нельзя построить с помо- щью циркуля и линейки за конечное число действий. Таким образом, поиски класси- ческого решения задачи о квадратуре круга оказались завершены. Однако и в наши дни некоторые известные математики все еще получают «решения» задачи о ква- дратуре круга. Но тем, кто якобы решил нерешаемую задачу, уже готовы ответы. 59
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Так, один известный математик передавал полученные решения задачи о квадратуре круга наиболее одаренным ученикам. Когда ошибка была найдена (иначе и быть не могло), автору возвращался заполненный формуляр: «Любезный друг! Благода- рим за предоставленное решение задачи о квадратуре круга. Возвращаем ваше до- казательство и указываем на первую обнаруженную нами ошибку. Она находится на странице ... в строке ... Искренне ваш, и проч.». Столь остроумным способом этот математик отвечал упрямцам, не желавшим признать очевидное. Итак, число Л принадлежит к трансцендентным числам, составляющим большую часть царства чисел. На первый взгляд, в нем нет ничего необычного — это всего лишь заурядное трансцендентное число. Оно столь обыденно и незначительно, что никто до сих пор не нашел среди его знаков никакой закономерности. ТРАНСЦЕНДЕНТНЫЕ СВЯЗИ Я Число е является основанием натурального логарифма. Его значение равно 2,71828... После числа Л это самая известная и наиболее часто встречающаяся математическая постоянная. Несомненно, Л + е == 5,859874482..., но неизвестно, является ли это число трансцендентным. Удивительно, но известно, что одно из чисел Л + е или Л • е является трансцендентным, но неизвестно, какое именно. Также неиз- вестно, является ли трансцендентным Лп. Напротив, еп является трансцендентным, что было доказано благодаря теореме Александра Гельфонда (1906-1968) и Теодора Шнайдера (1911-1988). Однако это нельзя доказать для Ле. В действительности неизвестно, является ли это число рациональным или иррациональным. Трансцендентными также являются (при п * 0), Л + In 2 и Л + In 2 + х/|пЗ. Неизвестно, являются ли иррациональными Л+е или л/е. О них известно, что если они являются алгебраи- ческими, то многочлены, корнями которых они являются, имеют восьмую степень или выше и коэффициенты порядка 109. Этого недостаточно для строгого математического доказатель- ства, но на бытовом уровне выгпядит убедительно. Квадратура круга После анализа природы числа Л и подтверждения его трансцендентности очевидно, что любые попытки решения задачи о квадратуре круга бесполезны. Несмотря на это, до Линдемана многие добросовестно прилагали все усилия в поисках решения 60
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л АРИСТОФАН И КВАДРАТУРА КРУГА Греческий драматург Аристофан (ок. 446 - ок. 386 гг. до н. э.) в одной из своих комедий, которые изобиловали сатирой, упоминал о квадратуре круга скорее в шутливом тоне. В комедии «Птицы», впервые поставленной в 414 году до н. э., жители Афин, уставшие от городской суеты, решают построить город в воздухе и переехать жить туда. Архитекторы и градостроители предлагают свои услуги главному герою Писфетеру. [Метон]: Я к вам пришел. [Писфетер]: Еще несчастье новое. Зачем пришел ты? И каков твой замысел? С какими ты сюда явился целями? [Метон]: Я землемер. Хочу отмерить каждому полоску воздуха. [Писфетер]: 0 боги правые! Ты что за человек? [Метон]: Зовусь Метоном я. Знаком всем грекам и колонцам в частности. [Писфетер]: А это что? [Метон]: Орудья измерения. Напоминает очень воздух формою кастрюлю для тушенья. Здесь линейку я изогнутую приложу и циркулем отмерю расстоянье, понимаешь? [Писфетер]: Нет. [Метон]: Затем прямую, тоже по линеечке, я проведу, чтоб круг квадратом сделался. Здесь, в центре, будет рынок. К рынку улицы пойдут прямые. Так лучи расходятся, сверкая, от звезды. Звезда округлая, лучи прямые. [Писфетер]: Ты Фалес поистине! с разумной степенью точности. Большинство охотников за числом Л в действитель- ности охотились за мимолетной квадратурой круга. Подобную одержимость в шут- ку называли болезнью morbus cyclometricus. Некто описывал искателей квадратуры круга как зрелых и благородных мужей, которым неведомо слово «невозможно», но которые обладают недостаточными знаниями математики и убеждены, что эта задача крайне важна и решившему ее полагается большая награда; как лишенных логики отшельников и вдобавок крайне плодовитых писателей. Эта мрачная картина тем не менее очень близка к реальности. Римский философ Боэций (ок. 480—524), в латинизированной форме Anicius Boethius, впоследствии казненный королем Теодорихом Великим по обвинению в измене, в своей книге Liber Circuli подтвердил, что задача о квадратуре круга име- ет решение, но доказательство слишком объемно, чтобы привести его полностью. 61
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА 71 Это выражение стало еще популярнее, когда его использовал Ферма в отношении своей знаменитой теоремы. Вкупе с тем неоспоримым фактом, что задача о квадра- туре круга не имеет решения, предполагаемое доказательство Боэция более чем сом- нительно. Намного позднее Боэция жил знаменитый немецкий кардинал Николай Кузан- ский (1401—1464). Благодаря своему уму он заслужил лестные отзывы Кеплера и Кантора, так как высказывал передовые идеи о бесконечности. Он был выдаю- щимся полиглотом, юристом, философом, астрономом, но больше нумерологом, чем математиком. Он пытался решить задачу о квадратуре круга и, по его собственным словам, преуспел в этом. Но его современник Иоганн Мюллер (1436—1476), взяв- ший себе латинизированный псевдоним Региомонтан, был лучшим математиком, чем кардинал, и вдобавок большим почитателем Архимеда. В своем труде De cuadratura circuli он опроверг доказательство кардинала и показал, что задача о квадратуре круга не имеет решений. Тем не менее следует отметить, что Николай Кузанский вычислил приближенное значение Л (сам он считал это значение окончательным и точным) с очень хорошей точностью: 3,1423... Стоит заметить, что Региомонтан использовал значение Л = 3,14243. Кардинал Николай Кузанский утверждал, что решил задачу о квадратуре круга. 62
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л В 1525 году великий художник Альбрехт Дюрер (1471—1528) также попытался решить эту задачу, но отметил, что выполненное им построение является лишь при- ближенным. ifyf-«itdttfe#* «(И ctitu. ' At»tM+idrrf.£<ini,ni?mubtt< rtetrm «vt.iiEixna; btp m iiMfmJK p.)<«imfiMflMW,lwefi“ maudifjunnwalWi f (dibm^nl _ №1. urt: trait an» ,-T X irf idiuUM.unt« itafSxlx.iflRKl inlunNnfldmm JJjni t»n<>uon._ws(«u,' nTrNAnnifcnW1 «мфчкЛт Xnii<r‘i«>inun1“r<b<ncM|tnd!mIfkaitfrt hi» ?•!-%+’ .uKtrfitoitf .0 “1»<кц<иф«1 toivtri<t«<»utMuaiuf;n4Mt nfejllj 7^”nmjnrihtaMimdMHi lalnu^nifwimmartifwIbfrbcAriiinc^m'+.MWIjI'.M» ^^^iiunbarinptirinhqurjitftfflidLmfijLmiKnidbfk»# ftratito Wnitf fi,inl O^2X *ttejfi*fb”<r«sf4Mn:4Mi₽m4ti.f»t*n»" !• »tw«nt«< > > ix»fhw-w~ri.“ ^,лт^в4<,п^1е1?||^еет»^н<илхлМ(анм1чм»ч<<з«й<п шда»лы+> Страница книги Дюрера «Правила измерения линий, плоскостей и целых тел при помощи циркуля и угольника», где приведено приближенное построение квадратуры круга. Немного позднее, в 1585 году, Адриан Антониш (ок. 1543—1620), отец Адриа- на Метиуса (1571—1635), рассчитал, что значение Л лежит между 377/120 и 333/106. Его сын пробовал решить задачу о квадратуре круга; он вычислил нечто подобное среднему числителей и знаменателей и получил ’(377 + 333) Л = -----------=------= 3,14159292... 1 113 -(120 + 106) Это очень точное значение, но его одного явно недостаточно для решения задачи. 63
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА Л Возможно, самая известная история, связанная с квадратурой круга, произошла со знаменитым философом и главой школы эмпиризма Томасом Гоббсом (1588— 1679) и со знаменитым английским математиком Джоном Валлисом (1616—1703). Гоббс, вне сомнения, очень умный человек, но не получивший математическое обра- зование, в 1655 году в труде «О теле» заявил, что решил задачу о квадратуре круга наряду с другими задачами, в частности о выпрямлении различных кривых. Понят- но, что он ошибался, и Валлис в кратком труде Elenchus geometriae hobbianae описал различные ошибки и в язвительном тоне, но правдиво, отозвался о геометрических способностях Гоббса. Следует заметить, что Валлис исповедовал пресвитерианское учение, что было еще более ненавистно Гоббсу, который был’противником всякой религии. Математическая подготовка Гоббса была недостаточной, ведь он познако- мился с учением Евклида лишь в 40 лет, но, в конце концов, другие философы были столь же посредственными математиками, и в этом не было ничего особенного. Упо- мянем лишь один пример: уже в XIX веке Маркс утверждал, что диалектический материализм выводится логическими рассуждениями из уравнения второй степени. Гоббсу повредило то, что он не хотел признать своих ошибок, перевел спор на лич- ности и возвращался к дискуссии снова и снова. В частности, его перу принадлежит книга «Замечания об абсурдной геометрии, деревенском языке, церковной политике в Шотландии и невежестве Джона Валлиса». Спор изобиловал придирками, к со- жалению небеспочвенными. Так, Валлис обвинил Гоббса в плагиате работ его совре- менников: «...Если в его изложении попадется нечто правдивое, то оно принадле- жит не ему, а взято у кого-либо еще». Томас Гоббс (слева) и Джон Валлис вели длинный спор, в котором оскорбления и клевета были в порядке вещей. Причиной ссоры была задача о квадратуре круга. 64
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА 71 ДЖОН ВАЛЛИС (1616-1703) Знаменитый знак бесконечности «> был введен именно этим блестящим английским матема- тиком. Будучи членом Лондонского королевского общества, Валлис занимался расшифровкой сообщений и в первую очередь модной темой гой эпохи - вычислением бесконечно малых, в которое он внес новые интересные концепции. Наиболее примечательное его творение при- надлежит к теории рядов. Это красивая и полезная формула: р (2п)(2п) _2 2446688 _ п У(2л-1 )(2л+1) Гз’з’б’б'уУэ 2 Валлис великолепно производил вычисления в уме. Возможно, причиной этому было то, что он страдал от бессонницы. Также он занимался грамматикой и, что еще более незаурядно, вложил немало сил в обучение глухонемых. Бельгийскому иезуиту Грегуару де Сен-Венсану (1584—1667) мы обязаны, по- мимо прочего, созданием полярных координат, открытием новой системы, близкой к понятию интеграла, и точным расчетом площади под гиперболой. Он также утвер- ждал, что решил задачу о квадратуре круга. Его современники восприняли это с из- рядным скептицизмом, и в конце концов Гюйгенс нашел неизбежную ошибку в его рассуждениях. Он упомянут в этой книге за выдающиеся труды и в связи с тем, что ему принадлежит множество корректных и интересных математических дока- зательств. Классический пример квадратуры круга представил производитель мыла Якоб Марцелис (1636 — ок. 1714), который утверждал, что „ 1 (>08449087377541679894282184804 6997183637540819440035239271702 Огастес де Морган в своем сборнике математических ужасов A budget of paradoxes («Запас парадоксов») не слишком благосклонно заметил: «Как и следо- вало ожидать, в мыловарении он добился больших успехов, чем в вычислении зна- ков Л». Со временем нелепостей становилось все больше: в 1728 году некий Малтулон заявил, что разгадал тайну вечного движения и квадратуры круга одновременно. Кроме этого, он предложил вознаграждение тому, кто смог бы опровергнуть хотя бы 65
БЕСКОНЕЧНАЯ НЕЗНАЧИТЕЛЬНОСТЬ И ТРАНСЦЕНДЕНТНОСТЬ ЧИСЛА 7Г один шаг доказательства, что свидетельствовало о недюжинной уверенности в себе. Итог оказался предсказуем: было показано, что его доказательство ошибочно, и Малтулону не оставалось другого выбора, кроме как выплатить обещанное. Неу- дивительно, что в 1753 году Французская академия наук постановила не рассматри- вать присылаемые решения задачи о квадратуре круга. Возможно, академиков ис- пугало все большее число присылаемых решений и связанные с этим неизбежные издержки. Быть может, они решили таким способом избавиться от определенных личностей, подобных некоему Восенвиллю, который потребовал от Академии пре- мию, полагавшуюся первому, кто решит эту задачу. Даже после выхода доказательства Линдемана поток энтузиастов не иссякал, однако благодаря этому доказательству стала точно известна заведомая ошибоч- ность всех подобных решений. Особо следует выделить тех, кто, подобно Сринива- са Рамануджану (1887—1920), знал, что задача не имеет решения, и находил при- ближенные построения с удивительной точностью. Так, с помощью одного из по- строений Рамануджана можно получить значение П 19* я == 4 9- +-= 3,1415926525826... V 22 5 SQUARING THE CIRCLE рмии! ^oU Am**, *. WIK Let PQR Ы a cirtlo with otttm O. aF which a » PR. Bad PO al В «ad Ui T be the po’urt of InaeefaoD of OR Merer R Draw TQ p.'rpeadicnkr W PR *ad place lb* chord RS — TQ. Jem PB.^A draw OM and TH pualhi to ЛА РЫ* a chord PK-PM, and draw the taagaol Pt ММ. Лао RL. ЛК and Kt Cat off RG— RH. Draw CD parallel to KLt RL ы D Theo th* eqear on RD will bo equal to tie «r«U PQR approximately For whore d ia the diameter of the end* Tharofc. ДО-ДО Bat PL «ad FK ore oqoal k> MH влА PM rMpeafev^y. Tbenfcrt PK*-“ #!<**- Немо RJD-FR-W-HH*, aftd RL*~FR' + PL'-W* RK RO 3 /ИЗ JtC-H Tbmbn «В-eery noarlj. I th* art* of tb« circle be 140.000 apnrr kuIoo. then RD froatar (baa Uwt tea* toofth by aboat an inch. Построение квадратуры круга (приближенное) за авторством Рамануджана. Погрешность составила лишь 0,0000000010072! 66
Глава 3 Число ТС и теория вероятностей В основе теории вероятностей — только здравый смысл, сведенный до исчисления. Пьер Симон маркиз де Лаплас Может показаться, что теория вероятностей никак не связана с Л. Тем не менее это далеко от истины. Скажем для начала, что 0,6079271018 ... = 6/п2 — это вероят- ность того, что два произвольно выбранных числа окажутся взаимно простыми. Это доказал Р. Шартр в 1904 году. Кроме этого, Л2/6 = £ (2), что устанавливает лю- бопытную связь между Л и загадочной функцией Римана Это также идет в ко- пилку взаимосвязи между Л и теорией вероятностей, хотя в теории вероятностей Л — явный незваный гость. Наконец, это указывает на определенную корреляцию между Л и простыми числами. Огастес де Морган как-то объяснял страховому агенту математическую задачу о расчете вероятности того, что все члены определенной группы людей будут живы по прошествии некоторого времени. Из теории вероятностей следовало, что в итого- вом значении будет фигурировать Л. Страховой агент, убежденный, что де Морган ошибся, указал ему на это. Как может случиться, что число Л применимо к продаже страховок? Откуда оно взялось? Тем не менее де Морган был прав: связь между ожидаемой продолжительностью жизни, страховыми полисами и числом Л действи- тельно существует, и называется она «нормальное распределение». В этой главе мы покажем подобные таинственные соотношения. История начинается с вторжения благородного французского графа де Бюффона в мир математики. Бюффон решил изучить поведение иглы, которая падает на плоскость, не прокалывая ее, с мате- матической точки зрения. Иголка в стоге сена... На листе бумаги нарисовано несколько параллельных прямых, расстояние между которыми одинаково. На лист произвольным образом бросают иголку. Когда игла пересечет одну из линий? 67
ЧИСЛО К И ТЕОРИЯ ВЕРОЯТНОСТЕЙ В простейшем случае длина иглы / равна расстоянию d между линиями. Обозна- чим за у расстояние между центром иглы (ее предполагаемым центром тяжести) и одной из линий сетки. Примем d = / = 1 для упрощения вычислений. Обозначим за х угол, образованный иглой и горизонтальной осью. Будем измерять этот угол в радианах, так как нам понадобятся минимально необходимые инструменты мате- матического анализа, в частности некоторые интегралы. Из элементарной геометрии очевидно, что если верно неравенство . 1 . у — sin X, 2 то игла пересечет линию. Это будет отправной точкой наших расчетов. На следую- щем рисунке изображен график функции у — — sin х: Расстояние от центра иглы до ближайшей линии 68
ЧИСЛО Л И ТЕОРИЯ ВЕРОЯТНОСТЕЙ ЖОРЖ ЛУИ ЛЕКЛЕРК ГРАФ ДЕ БЮФФОН (1707-1788) Гэаф де Бюффон занимался многими науками, но известен прежде всего как натуралист. Этот французский ученый оставил свой след в различ- ных науках. Он был биологом, писателем, занимался космологией и математикой. Его главным трудом явля- ется монументальная «Естественная история» в 36 то- мах с 8 приложениями. В области космологии наиболее значительным вкладом Бюффона стала гипотеза о воз- расте Земли, вычисленном по результатам исследова- ний охлаждения железа. Гипотеза вызвала серьезный протест со стороны церкви. Он перевел на французский труды Ньютона и внес вклад в теорию вероятностей, опубликовав работу «Опыт моральной арифметики», в которой, помимо прочего, содержалась знаменитая задача о падении иглы на лист с нанесенными парал- лельными линиями. Чтобы оценить площадь закрашенной области, множество точек которой являет- ся решением неравенства у — sin х, необходимо вычислить интеграл Г" 1 — sin х dx = 1. Jo 2 Площадь прямоугольника равна Л/2, и вероятность того, что игла упадет на ли- нию, равна отношению двух площадей: — = 2 = 0,6366197... 71/2 71 Именно здесь и появляется число Л. Задачу можно также решить для случая, когда / * d. При I < d вероятность рав- на 21 / TCd, при / > d вероятность равна 69
ЧИСЛО Я И ТЕОРИЯ ВЕРОЯТНОСТЕЙ — J1 +d sin 1 J / В этом случае необходимо вычислить двойной интеграл. Предпринимались по- пытки вычислить значение Л на основании данных рассуждений, но результаты ока- зались неудовлетворительными. Фактически малейшая неровность иглы приводит к появлению заметных ошибок, поэтому использовать этот метод не рекомендуется. Предпочтительнее бросать виртуальные иглы на разлинованные листы в киберпро- странстве. Для этого разработаны специальные программы. ...и иголка на листе бумаги Более сложный вариант предыдущей задачи называется задачей Бюффона — Лап- ласа. Ее решение приводит Лаплас в своей «Аналитической теории вероятностей». В этом варианте задачи игла падает не на равноудаленные друг от друга параллель- ные прямые, а на сетку из клеток с перпендикулярными сторонами. Каждая клетка имеет стороны а и b (а * Ь). Предполагается, что иголка короче, чем обе стороны. Чтобы найти ответ, необходимо вычислить несколько более сложный интеграл, чем в предыдущей задаче. Вероятность того, что игла пересечет одну из сторон клет- ки, равна 2/(д + 6)-/2 71 ab При а = b вероятность того, что игла не пересечет ни одну из линий, равна 70
ЧИСЛО 71 И ТЕОРИЯ ВЕРОЯТНОСТЕЙ 1 /(4а-/) яд2 Вероятность пересечения одной линии равна 2/(2а —/) тг<г и вероятность пересечения двух линий равна /2 7Гд2 Можно обобщить эту задачу, преобразовав квадратные клетки, скажем, в тре- угольники. Но эту задачу мы оставляем специалистам. ПЬЕР СИМОН МАРКИЗ ДЕ ЛАПЛАС (1749-1827) Французский астроном и математик, друг и протеже Наполеона, автор «Небесной механики» в пяти томах и других фундаментальных работ в области физики и универсальных знаний. Лаплас, который уже в юном возрасте продемонстрировал блестящие способности, с удивительной легкостью усваивал математический анализ и физику. Он внес вклад в развитие множества новых концепций в теории вероятностей (производя- щая функция последовательности, условная вероят- ность, задача Бюффона), в чистой математике (теория потенциала, преобразование Лапласа, гармонический анализ) и астрономии (форма Земли, образование Солнечной системы из туманности, теория возмущений). Его можно считать практически универсальным гением. Его научные достижения были столь удивительны для современников, что после смерти Лапласа его мозг извлекли для изучения, но ничего особенного в нем обнаружено не было. Наполеон сделал его министром, что не помешало Лапласу принять благородный титул после реставрации Бурбонов. Как гласит знаменитый исторический анекдот, Наполеон ознакомился с сочинением Лапласа об астроно- мии и удивился полному отсутствию слова «Бог» в его труде. «Это потому, что я в этой гипотезе не нуждался», - ответил ученый. 71
ЧИСЛО Л И ТЕОРИЯ ВЕРОЯТНОСТЕЙ Нормальная кривая Во многих задачах, связанных с теорией вероятностей и статистикой, например, в распределении роста, коэффициента интеллекта, инструментальных ошибок теле- скопа, интенсивности лазерного луча (и это лишь некоторые примеры), фигурирует так называемая кривая Гаусса, или нормальная кривая. Она соответствует распреде- лению вероятностей с кривой плотности, в которой определяющую роль играет Л. Стандартное представление кривой можно получить, взяв среднее значение, равное нулю, и дисперсию О2 = 1. В этом случае кривая будет иметь знакомую нам форму колокола, который слегка вытянут вдоль вертикальной оси. Эта кривая описывается уравнением = х/2 л/2л Вероятность рассчитывается с помощью интеграла р(Х)=-Д= Г \12п - Как можно убедиться, в этой формуле всегда присутствует Л. Закону нормального распределения подчиняется, например, распределение воз- раста смерти. Можно сказать, перефразируя Джона Донна, что всякий раз, когда кто-то умирает, по числу Л звонит колокол — колокола Гаусса. 72
ЧИСЛО Л И ТЕОРИЯ ВЕРОЯТНОСТЕЙ ИОГАНН КАРЛ ФРИДРИХ ГАУСС (1777-1855) Никакая характеристика не может точно выразить весь масштаб личности математика, астро- нома и физика Гаусса. Достаточно сказать, что современники называли его «принцем матема- тиков» (лат. Princeps mathematicorum). Гаусс был родом из очень простой семьи. Уже в раннем детстве он продемонстрировал незаурядные способности. По легенде, он показал свой уди- вительный талант, когда учитель предложил найти сумму всех чисел от 1 до 100. Всего через несколько минут Гаусс нашел верный ответ: 5 050. Как мог ребенок так быстро дать верный ответ, когда любому другому на это потребовалось бы намного больше времени? Он заметил, что числа от 1 до 100 образуют 50 пар чисел, сумма каждой из которых равна 101: 1 + 100 - 2 + 99 - 3 + 98 = ... - 48 + 53 - 49 + 52 = 50 + 51. Следовательно, 50 101 - 5 050. Гаусс очень рано добился заметных результатов. Его интересовало буквально все. он создал бесчисленное множество трудов в самых различных областях: нашел критерий возможности построения правильных многоугольников, сформулировал теорему о распределении простых чисел, доказал осн( вную теорему алгебры, рассчитал орбиту карликовой планеты Цереры, пред- сказал важнейшие моменты неевклидовой геометрии, не считая многочисленных достижений в математическом анализе, алгебре, теории чисел, теории вероятностей и других разделах математики. В прикладной математике и физике выделяются его работы по геодезии, электри- честву и магнетизму. Он изобрел гелиотроп, гелиограф и электрический телеграф. Гэлиотроп — один из приборов, изобретенных Гауссом, который в значительной степени помог ему в геодезических исследованиях. Этот прибор с движущимся зеркалом отражает солнечный свет в определенном направлении, что делает возможной настройку топографических инструментов. 73
ЧИСЛО 71 И ТЕОРИЯ ВЕРОЯТНОСТЕЙ л и другие вероятности Расскажем о некоторых любопытных фактах, связанных с И и понятных неподго- товленному читателю. Если треугольник имеет произвольно выбранные стороны а, b < 1 и с — 1, то вероятность того, что а, Ь и с образуют тупоугольный треугольник, 71 -2 равна ---- 4 Среднее число вариантов записи натурального числа в виде суммы двух квадра- тов (с учетом их порядка) равно Говорят, что комплексное число является гауссовым целым числом, если его можно представить в виде х + yi, где х и у — целые. При сложении, вычитании и умножении гауссовых целых чисел результат всегда будет также гауссовым целым числом. Они образуют так называемое поле, на котором можно определить признак делимости, наибольший общий делитель, наименьшее общее кратное и простые чи- сла. Вероятность того, что два гауссовых целых числа являются взаимно простыми, равна 6К/л2, где К — так называемая постоянная Каталана. Для обычных целых чисел эта вероятность равна 6/Л2. 74
Глава 4 Формулы с числом Я Государь, чей оракул находится в Дельфах, не говорит и не скрывает, но знаками указывает. Гераклит Лорд Кельвин как-то написал на доске формулу dx = \jH и, обращаясь к слушателям, сказал: «Математик — это тот, для кого эта формула столь же очевидна, как 2 + 2 = 4». Мы не будем заходить так далеко, как лорд Кельвин, но все же приведем несколько формул, в которых используется П. Присутствие формулы в тексте гаран- тирует, что не слишком заинтересованный читатель непременно отвлечется, поэтому мы постарались использовать как можно меньше формул и объединить их в одной главе. Некоторые из них обязательно знать всем, кто интересуется этой темой, поэто- му их нельзя было не включить в эту главу. Более сложные формулы будет непросто понять, но с ними следует ознакомиться, чтобы осознать, каких усилий стои- ло открыть их. Физика и число л Выражения, в которых используется И, полезно знать. Те, что касаются физики, порой столь же интересны, сколь трудны для понимания. Формула ниже — это закон Кулона, описывающий силу взаимодействия между двумя зарядами и q2, расположенными на расстоянии г, где Ео — электрическая постоянная: у- 1^21 4тгеог2 75
ФОРМУЛЫ с числом л Это третий закон Кеплера, где Р — период обращения планеты вокруг Солнца, т1 и т2 — масса Солнца и планеты, а — большая полуось орбиты, G — гравита- ционная постоянная: G(m} + ) Принцип неопределенности Гейзенберга для частицы со средним значением ко- ординаты х и средним импульсом р, где h — нередуцированная постоянная Планка: ДлДр > 4л Космологическая константа А, где С — гравитационная постоянная, с — ско- рость света, р — плотность материи и излучения: Можно предположить, что следующие формулы будут интересны только специ- алистам, поэтому мы не будем продолжать. Стоит отметить, что эти и другие фи- зические формулы не используются для расчетов Л, но их полезно знать каждому образованному человеку. Элементарная геометрия и число л Простейшие формулы прежде всего относятся к так называемым коническим сече- ниям — кривым, получаемым в результате рассечения конуса плоскостью. В следу- ющих формулах г обозначает радиус. Длина окружности: L = 2лг. Площадь круга: S = Лг2. Площадь эллипса с полуосями а и Ь: S = Tlab. 76
ФОРМУЛЫ с числом п Площадь правильного многоугольника с п сторонами и длиной стороны а: к .. 1 , я 8 = —ncrctg — 4 н Площадь поверхности сферы: S - 471г2. Общая площадь поверхности цилиндра с высотой h: S = 2лг(г + h). Общая площадь поверхности конуса с образующей g: S = Лг(г + g). Объем сферы: И = -ЛГ3. 3 Объем эллипсоида с полуосями а, b и с: V = — italic. 3 Объем цилиндра с высотой h: V=Krzh. Объем конуса с высотой h: 71 г3h 3 Также, разумеется, существуют и другие формулы, в которых используется Л и очень сложные интегралы. Простые формулы Под простой формулой будем понимать любую формулу, найденную до наступления компьютерной эры. С наступлением эпохи компьютеров математики сосредоточили внимание на вычислении знаков Л с наибольшей эффективностью. Красота расчетов 77
ФОРМУЛЫ С ЧИСЛОМ 71 уступила место эффективности вычислений. Простое перечисление формул будет достаточно громоздким, но у нас не остается другого выхода: J 1 + х2 Х 7 = 271/. В последней формуле использован круговой интеграл. Предполагается, что об- ход дуги окружности осуществляется против часовой стрелки. Важное место среди математических формул с числом И занимают ряды: у ("О’" -1 1 | 1 1 | 1 ^2» + 1 1 3 5 7 9 н=4> ?(2" + 1)2 , «” у ^(2и + 1) 1 F+ _ 1 ~12 1 1 1 1 ----1-----1--- З2 52 72 1 1 ----7 + —Г--- 22 З2 1 1 1 З3 + 53 73 = arctg I = — 4 _ я2 8 ’ 7Г 12 ’ " ” 32 ‘ 1 78
ФОРМУЛЫ С ЧИСЛОМ Е Подобные ряды могут иметь и такой вид: >-3) = Ё к=1 (-1/+1 2k(2k + a)(2k+2) -------------1------ 2-3-4 4-5-6 6-7-8 224-76 977 927 л;26 1 1 1 -----------------------~ ~77 "I---77" "I-77 "I" j ^26 /-\26 о 26 11340 _ у J_-J_ 1 1 —+ — 1 691тг6 ~п^мп -2б+Зб+5б+76 11б + 136 Существуют также ряды, связывающие И и загадочную дзета-функцию Рима- на £ (s): Г/.ч 1111 ?(4)=F+F+7+7 я4 90’ £(6)= 1 + —+ —+ —+ 26 З6 46 К 945 ‘ ^(8) = 1+ — + — + —+ 28 З8 48 _8 71 9450’ £ (2/z)=+4-+4-+—+...=иг1 ' Л?н q2h -^2п ^2н ' ' В2„(2е)2н 2(2и)! В последнем случае В2п — числа Бернулли, изучаемые в высшей математике. Для справки приведем первые несколько чисел Бернулли: п 0 1 2 4 6 8 10 12 в, 1 -1/2 1/6 -1/30 1/42 -1/30 5/66 -691/2730 79
ФОРМУЛЫ с числом л Возможно, перечисление рядов — не совсем то, чего ожидал читатель. Рассмо- трим подробнее простой пример: первый ряд из нашего списка, именуемый форму- лой Лейбница. Рассмотрим ряд сходящийся при |х| < 1. Можно проинтегрировать его почленно и использовать ин- тегральное исчисление для расчетов: Приняв х = 1, увидим, что доказательство близится к завершению. Чтобы подтвердить правильность полученного результата для х = 1, учитывая, что этот результат верен для |х| < 1, нужно выполнить еще несколько действий. Запишем исходный ряд, но остановимся на (п—1)-м члене, записав остаток так, как если бы речь шла об n-м члене: 1 1 + х2 / 4\я+1 = 1 - Л-2 + х4 -... + (-1)" Л-2" +J *— 1+х" Проинтегрировав почленно от 0 до 1 и приняв х = 1, имеем Л 4 При переходе к пределу при и —> 00 последний член стремится к нулю. Следова- тельно, К сожалению, этот ряд не слишком удобен для расчетов Л, так как он сходится слишком медленно. Чтобы получить десять знаков Л, нужно найти сумму 10я чле- нов ряда — число поистине астрономическое. Из очевидных соображений мы не бу- дем повторять эти действия для всех ранее приведенных рядов. Это было бы слиш- 80
ФОРМУЛЫ С ЧИСЛОМ Л ком трудоемко, но мы не получили бы никаких новых результатов. Следующий ряд иногда называют рядом Грегори — Лейбница. В действительности его нужно было бы именовать рядом Мадхавы из Сангамаграма, так как именно этот индий- ский математик первым открыл формулу. Этот ряд записывается так: Л "V 1 Н=1 2»+1 где Fn — это числа Фибоначчи, элементы числовой последовательности, в которой каждое число является суммой двух предыдущих: 1,1, 2, 3, 5, 8,13, 21, 34, 55, 89,144,... Также Л фигурирует в так называемых бесконечных произведениях. Следующую формулу вывел Джон Валлис (1616—1703): 1=14Й2 - 1 Я 3 3 5 5 7 7 9 ~ 2 Ее можно свести к интегралу путем трудоемких математических преобразований. Лорд Броункер (1620—1684) преобразовал эту формулу в цепную дробь. Авторство следующего бесконечного произведения принадлежит Эйлеру: 22 З2 52 22 -1 3- -1 * 52 -1 " л2 6 ' Оно имеет особенность: в нем используются только простые числа, как и в другом бесконечном произведении, еще более необычном: 2 71 “--7------—j---- sin - Пр. П W А I J Здесь используются простые числа pk вкупе с тригонометрическими функциями. Воображение Эйлера поистине не знало пределов. 81
ФОРМУЛЫ с числом к ЛЕОНАРДО ПИЗАНСКИЙ (ОК. 1170 - ОК. 1250) Этот итальянский математик известен под мнсгими именами. После смерти его стали называть Фи- боначчи (сын Боначчи), и именно под этим именем он известен потомкам. Его отец был торгов- цем, постоянно путешествовал и брал Фибоначчи с собой. В путешествиях Фибоначчи познакомился со многими культурами и хорошо изучил индийскую систему счисления и арабскую математику. Он был уважаемым человеком своего времени, другом императора Священной Римской империи Фрид- риха II. Фибоначчи получал жалование от города Пизы, где ему платили за занятия наукой, точнее, за то, что он размышлял на полезные темы, связанные с торговлей. Его современники не проявляли особого интереса к абстрактным вопросам: некоторые результаты, полученные Фибоначчи, привлекли к себе внимание лишь спустя 300 лет после его смерти. Самое известное его произведение - «Книга абака» 1202 года, в которой встречается знаменитая последовательность, носящая его имя: 1,1,2,3,5,8,13,21,34, 55,89... в которой каждый элемент равен сумме двух предыдущих. Фибоначчи применил этот ряд в решении известной задачи о кроликах. В «Книге абака» содержатся другие похожие задачи, но известность в Европе книга приобрела благодаря изложению практических задач современным и понятным языком. Иными словами, читатели не возражали против рассуждений о л, но на самом деле их больше интересовали советы по использованию позиционной системы счисления с цифрами 1,2, 3, 4, 5, 6, 7,8,9 и 0. Вопросы, связанные с бухгалтерией, мерами, весами, монетами, распреде- лением прибыли, требовали ответов и разъяснений. Фибоначчи написал и другие книги по чистой математике, в которых освещались важные задачи геометрии, теории чисел и уравнения, но в свое время они не вызвали того резонанса, которого заслуживали. Классический результат, приведенный ниже, принадлежит французскому мате- матику Франсуа Виету (1540—1603): V2 \/2 + л/2 V2 + V2 + V2 _ 2 2 2 2 "'"д’ Это произведение, само по себе красивое с точки зрения математики, можно преобразовать в еще более прекрасное выражение, что сделал Хоаким Мунхаммар в 2000 году: 82
ФОРМУЛЫ с числом к 5-й месяц Пары кроликов л 1-й месяц 2-й месяц 3-и месяц 4-й месяц Число пар кроликов Fn в поколении п при отсутствии смертей и при условии, что первая пара кроликов в первом поколении не размножается, подчиняется правилу Fn = Fn l + Fn z F называются числами Фибоначчи. Вывод формулы Виета на современном языке выглядит следующим образом. Будем использовать треугольник, который приме- нял еще Архимед. Обозначим основание треугольника за Ь, угол, образованный вы- сотой h и стороной треугольника, за Ct. Имеем Sn = п • площадь треугольника. Используя элементарную тригономе- трию (в развитие которой сам Виет внес заметный вклад), получим: 83
ФОРМУЛЫ с числом л 1 > S = — nr~ sin 2 ОС = иг"sin ОС cosoc. " 2 Следуя по пути Архимеда и используя многоугольник с удвоенным числом сто- рон, имеем L ’ = — 2nr"sinOC = wr"sinOC. 2н 2 Тогда —— = cosOC. S, 2» Это ключевой момент рассуждений, поскольку далее с помощью простых алге- браических преобразований выводится следующее выражение: ОС ОС -----= COSOC cos — •...•cos— 2 2* S S S, н и 2» ” s, s,2 2 п 2п 2 п Заметим, что при переходе к пределу при k—>' 1ппЛ. = ЛН. После еще одного элементарного преобразования имеем — м sin2OC Л =-----------------------, ОС ОС ОС cosOC cos — cos—cos —... 2 2- 23 что сводится к исходной формуле. Как оценить начальное значение ОС? Если, подоб- но Виету, взять в качестве исходного многоугольника квадрат, где п = 4, cos ОС = и использовать тригонометрическую формулу половинного угла, согласно которой получим, пусть и другим способом, искомое выражение: 84
ФОРМУЛЫ с числом к 71 = 2 £ LiJI i+i i+ijl V2 \2 2V2 \2 2у2 2V2 Не будем забывать, что Виету нельзя было отказать в изобретательности. Отдельное место занимают две формулы, которые считаются королевами мате- матической красоты. Они известны как формула Эйлера: + 1 = 0 и формула Стирлинга: ДЗЕТА-ФУНКЦИЯ РИМАНА Эта легендарная функция, которую обозначают греческой буквой дзета (Q, возможно, в будущем поможет нам узнать ранее немыслимое о простых числах и откроет их тайны. Благодаря иссле- дованиям Эйлера эту функцию можно выразить в виде ряда, равно как и в виде бесконечного произведения: и>1 р простое! Р Эта функция определяется на области, образованной комплексными числами, для которых вещественная часть больше 1. Она допускает аналитическое продолжение на всю комплексную плоскость без единицы, что показал Георг Фридрих Бернхард Риман (1826-1866). Гипотеза Римана гласит, что «нетривиальные нули» £ имеют действительную часть, равную %. Все это выглядит достаточно сложно (и является таковым на самом деле). Столь же непросто обнару- жить связь между л и функцией С,. Эту связь можно заметить, проанализировав значения £(s) и выявив, что л соответствует всем целым четным s. Илан Варди и Филипп Флажоле обнаружили следующий любопытный ряд: “ 3" — 1 П=1 85
ФОРМУЛЫ С ЧИСЛОМ 71 Если говорить о цепных дробях, то с их помощью 71 выражается весьма непросто (первым с помощью бесконечной дроби значение 71 вычислил Ламберт): Существуют и другие дроби, не столь известные, но намного более симметричые: 16 9+..?5..- 11+^- 13+^ 1 9 , 25 6 +------------- , 49 6+----------- х 81 6+ —----- , 121 6 +--- Последняя из формул — это формула лорда Броункера в несколько измененном виде. Цепные дроби отличаются одним положительным свойством: стоит нам оста- новиться в вычислениях на каком-либо этапе, полученная дробь будет наилучшим из возможных приближенных значений искомого числа. Если при вычислении 71 86
ФОРМУЛЫ С ЧИСЛОМ 71 ЧТО ТАКОЕ ЦЕПНАЯ ДРОБЬ Обучить читателя построению цепных дробей, возможно, непросто, но это поможет лучше понять материал, изложенный в книге. Возьмем число N, которое не является целым. Если мы вычтем из этого числа его целую часть, которую будем называть [W], получим N - [/V], то есть дробную часть числа N. Очевидно, что значение этого выражения лежит в интервале от 0 до 1. Число, обратное N - [/V], равно —J—.. Оно больше 1. Для простоты будем называть его W. Д/-[Д/]= — или A/=[/V]+—. А/, Л/, Отделив целую часть и повторив вышеуказанные действия, получим вторую дробь: [/V]+—Ц-. [Л/ ]+ -- ' n2 И так далее: [Л/]+-----Ц--------- [Л/, к — т [Л/,]+ — N3 Эти действия можно повторять бесконечно. Результатом будет [Л/]ч-------1—--------. [WJ+’-------Ц— [А/3]+-~- Если это разложение прекратится, это будет означать, что N - рациональное число (целое или дробное), иными словами, что оно выражается в виде конечной или периодической десятичной дроби. В случае с числом л, которое является иррациональным, разложение в цепную дробь бесконечно. Последовательность, которая обычно записывается так: [[WJ; [/vjF [/v2],[n3], ... j, однозначно определяет N и цепную дробь, в которую раскладывается это число. 87
ФОРМУЛЫ С ЧИСЛОМ 71 с помощью цепной дроби мы остановимся на определенном этапе и «раскрутим» этот клубок в обратную сторону, получим наилучшее из возможных приближенных рациональных значений. Так, если мы остановимся на дроби [3; 7, 15], то получим 3 + —---- 7+1/15 -!-=з+< 106/15 Ю6 — = 3,141509... 106 Дробь является наилучшим рациональным приближенным значением: что- бы получить любое более точное значение, будет необходимо увеличивать знамена- тель. Приближенное значение Л = в свое время получил Ривар, причем по- 106 грешность этого значения крайне мала. Из так называемой формулы Мэчина 71 л 1 1 — = 4 arete — — arete------- 4 5 " 239 были выведены другие формулы, которые применялись для вычисления знаков Л. Позднее мы приведем две подобные формулы, которые использовал японский спе- циалист Канада при расчетах 1241100 000 000 знаков Л. ДЖОН МЭЧИН (0К. 1680-1751) Этот английский математик в течение 29 лет занимал пост секретаря Лондонского королевского общества, но остался в истории благодаря единственной формуле, носящей его имя. Эту формулу в сочетании с рядом Тейлора удобно использовать для расчетов числа л, так как полученный ряд сходится достаточно быстро. Сегодня известно множество формул подобного вида, например —=183 arctg —!—+ 32 arctg —----68 arctg —— + 4 239 1023 5832 1 1 1 +12 arctg--------100 arctg---------12 arctg ------------ 113021 6326318 33366019650 1 +12 arctg 43599522992503626068 которую вывел Хван Чен Ли в 2003 году. 88
ФОРМУЛЫ С ЧИСЛОМ Л Сложные формулы Индийский математик Рамануджан примерно в 1910 году получил первую из этих формул (и еще 16 подобных ей): J_ _ 2V2 у (4fe)!(l103 + 26390fe) Л ~ 9801^ (A?!)43964fc Эта формула отличается удивительным свойством: с вычислением каждого последу- ющего члена она дает 8 новых десятичных знаков Л. Однако для доказательства этой формулы пришлось подождать три четверти столетия, так как Рамануджан не потрудился привести доказательство. Билл Госпер, один из первых хакеров в истории, использовал эту формулу для расчета 17 миллионов знаков Л. Вариант J_ _ у (- 1)"(6»)!(13 591 406+545 140 134/0 * (и!)‘(3Н)!(640 320'Г1/2 позволил находить не 8, а 14 знаков на каждом шаге вычислений. Помимо этого, вычисления стало возможным разделить между несколькими компьютерами. Приведенная формула была получена братьями Чудновскими в 1987 году. Мы приводим ее, чтобы подчеркнуть, насколько быстро развивается все, связанное с информатикой: в XXI веке эту формулу используют для расчетов на персональных компьютерах, а не суперкомпьютерах. Эти формулы могут показаться сложными, что не помешало им появиться в фильме «Классный мюзикл» (High School Musical): в одной из сцен они напи- саны на доске, причем одна формула содержит ошибку, которую исправляют прямо по ходу действия. В чувстве юмора сценаристам не откажешь. В 1946 году с появлением ENIAC (сокр. от Electronic Numerical Integrator and Computer — электронный числовой интегратор и вычислитель) в вычислениях на- чали использоваться компьютеры, и все, в том числе расчет знаков Л, изменилось навсегда. ENIAC был первым электронным компьютером, предназначенным ис- ключительно для вычислений. Его ближайшим предком была ЭВМ «Колосс», ис- пользованная Аланом Тьюрингом (1912—1954) в Блетчли-парке в военных целях, а именно для расшифровки секретных сообщений немцев. ENIAC разработали 89
ФОРМУЛЫ С ЧИСЛОМ 71 СРИНИВАСА РАМАНУДЖАН (1887-1920) Этот индийский математик - один из удиви- тельнейших талантов, известных человечеству. Он был родом из очень бедной семьи. После прочтения краткого конспекта лекций по ма- тематике, где не приводились доказательст- ва, юноша почувствовал тягу к знаниям. Он написал нескольким известным европейским математикам и отправил им результаты своего труда (120 теорем), но получил единственный ответ - от англичанина Готфрида Харолда Хар- ди (1877-1947). Харди вместе со своим дру- гом Джоном Литлвудом (1885-1977) за одну ночь прочитал присланную ему рукопись и не поверил своим глазам. Как объяснял сам Харди, формулы Рамануджана «должны быть истинными, поскольку если бы они не были истин- ными, то ни у кого не хватило бы воображения, чтобы изобрести их». Некоторые из них были похожи на те, что получили Харди и Литлвуд, прочие были в равной степени странны и ориги- нальны. Позднее, сначала за счет самого Харди, а затем за счет Кембриджского университета Рамануджан переехал в Великобританию, где и работал до самой смерти, наступившей в раннем возрасте от туберкулеза. Ввиду оригинальности его работ его вклад в математику беспорядочен и слабо поддается оценке, поскольку Рамануджан часто не приводил подробный вывод своих формул. Он был очень религиозным человеком и вегетарианцем. Его в точности описывает наибо- лее известный анекдот о нем. Как-то Рамануджан пипал в больницу и Харди отправился наве- стить его. Харди заметил, что приехал в такси с номером 1729. Он назвал это число скучным и непримечательным. «Вовсе нет, - последовал ответ. - Это наименьшее натуральное число, представимое в виде суммы кубов двумя различными способами!». Действительно, 1729 - « 93 + 103 = I3 + 123, и 1729 является наименьшим возможным числом, которое обладает подобным свойством. Этот случай не был бы чем-то из ряда вон выходящим, если бы Харди не потребовалось несколько недель на доказательство этого утверждения. На тщательное же изучение этой темы у него ушло почти 35 лет. Сегодня математики продолжают изучать подоб- ные числа, так называемые номера такси. 90
ФОРМУЛЫ С ЧИСЛОМ 7U Джон Пресперт Экерт (1919—1995) и Джон Уильям Мокли (1907—1980). Этот компьютер обладал колоссальными размерами и потреблял неимоверное количество электроэнергии: в нем насчитывалось почти 100 000 резисторов, реле, диодов, ваку- умных ламп, конденсаторов и т. д. Его вес превышал 27 тонн, а длина составляла свыше 30 метров. ENIAC выделял столько тепла, что помещение прогревалось по- чти до 50°С. Этот гигант совершал 5000 операций сложения в секунду — в тысячу раз больше, чем его предшественники (и в несколько тысяч раз меньше, чем совре- менные персональные компьютеры). Кроме этого, он мог хранить в памяти 200 цифр. ENIAC программировался с помощью множества штекеров, подобно старинным телефонным станциям. Он был столь огромен потому, что в то время не существовало ни транзисторов, ни микросхем. В нем также не использовалась современная архитектура фон Неймана, в соответствии с которой данные и про- граммы хранятся в одной и той же памяти. Вычисление первых 2037 знаков 7Т на компьютере ENIAC заняло 70 часов. В таблице ниже указано рассчитанное количество знаков 7Т и год, чтобы дать пред- ставление о том, какие изменения вызвало появление компьютеров: 1947 Д. Фергюсон и Джон Ренч с использованием механического калькулятора 808 1949 Джон Ренч-младший и Леви Смит с помощью ENIAC 2037 1958 Франсуа Женюи 10 000 1961 Дэниел Шенке и Джон Ренч 100 265 1973 Жан Гийу и Мартин Буйе 1001 250 1983 Ясумаса Канада и Ясунори Уширо 10 013 395 1987 Ясумаса Канада, Йошияки Тамура и Йошинобу Кубо 134 214 700 1989 Григорий и Давид Чудновские 1011196 691 2002 Ясумаса Канада с группой из девяти специалистов 1241100 000 000 2009 Дайсуке Такахаши и группа программистов 2576 980 370 000 2011 Сигеру Хондо 10 000 000 000 050 91
ФОРМУЛЫ с числом л В 1973 году старинная формула Эйлера вкупе с формулой Мэчина позволила Гийу и Буйе вычислить миллион знаков Л: Z H г4 V’’ (и )~4 1 ---^-2--------+1824 > --------------------20 arctg---. (2п +1)! 325"+1 (2п +1)! 325О"+1 239 и=О х ' н=о х ' Любопытно, что для вычисления второго слагаемого достаточно вычислить пер- вое и перенести запятую на несколько позиций. Вне зависимости от их абсолютной величины два первых слагаемых будут отличаться только количеством нулей. В 1976 году Юджин Саламин и Ричард Брент предложили алгоритм, основан- ный на давней гипотезе Гаусса и Лежандра о последовательном вычислении сред- них арифметических и средних геометрических. Суть алгоритма непросто описать вкратце. Алгебраический алгоритм — это метод расчета некой величины, в данном случае П. Саламин и Брент использовали следующие исходные равенства: 1 1 - 1» — Т’ А) — С л/2 4 затем рекуррентным способом вычислили t =t -р (а -а +1)2; н+1 П * п X н II 7 ’ Ж1=2а,- В пределе справедливо следующее соотношение: (d +b )2 Л = ^-2- 4t п Этот алгоритм, который было бы невозможно использовать без помощи компью- тера, обладает квадратичной скоростью сходимости, то есть на каждом шаге число знаков, полученное на предыдущем, удваивается. С использованием этого алгорит- ма было получено 206158430000 знаков 7Т. Но и это еще не все: в 1980-е годы Петер и Джонатан Борвейны создали алго- ритм со скоростью сходимости четвертой степени, с помощью которого было рас- считано 1241100000000 знаков. Мы не станем приводить его здесь, так как он будет понятен лишь узким специалистам. 92
ФОРМУЛЫ С ЧИСЛОМ 71 ВЕЛИКОЛЕПНАЯ ЧЕТВЕРКА Любой специалист, интересующийся вычислением п, знаком с выдающейся канадской семьей Борвейнов. Отец, Давид Борвейн (род. в 1924 году), литовец по происхождению, - извест- нейший математик св' ей страны. Он изучал многие разделы математики, особое внимание уделяя теории рядов. Его старший сын Джонатан (род. в 1951 году), автор множества книг, известных в компьютерном мире, отличается особым отношением к числу п. Он увлекается преподаванием математики и разрабатывает специальные обучающие программы. Питер (род. в 1953 году) - один из создателей формул ВВР для расчета числа п, названных так в честь их создателей - Бэйли, Борвейна и Плуффа. Он также достиг выдающихся результатов в инфор- матике. Мать Джонатана и Питера, супруга Давида Борвейна, тоже известна в научных кругах, но не математических, а анатомических. В конце 2002 года группа японских специалистов, возглавляемая Ясумасой Ка- надой, достигла результата, который теперь уже не так удивляет научный мир. Тем не менее последняя страница в этой истории еще не написана. Прогресс в этой об- ласти, кажется, не прекращается: в 2011 году был получен 10 000 000 000 050 знак числа 7Т. Сколь далек этот результат от предсказания Дэниела Шенкса (не путать с Уи- льямом Шенксом), который в 1983 году заявил, что вычисление миллиарда знаков 7Т станет неприступной задачей! Сохраним для истории две формулы Мэчина, кото- рые использовал Канада: 71 1 1 с 1 „ 1 — = 12 arete И 32 arete 5 arete-----------1-12 arete -----, 4 49 57 239 110 443 — = 44 arete F 7 arete------12 arete h24 arete -------. 4 57 239 682 12 943 Первая формула была открыта в 1982 году, а вторая была найдена Фредериком Карлом Штермером еще в 1896 году (опубликована в журнале Французского мате- матического общества). Кто бы мог подумать, что эта формула будет использована для подобной задачи спустя столько лет! В математике никогда нельзя загадывать наперед: то, что сегодня кажется несущественным, завтра может стать основопола- гающим. Возможно, помимо рекордных вычислений читателя заинтересуют не совсем традиционные вычислительные методы. Применение формулы 93
ФОРМУЛЫ с числом л У 1 Г 4 2_____1 1 “f 16*\8k + l 8k + 4 8fc + 5 8^ + 6j позволяет вычислить любой n-й знак И без необходимости рассчитывать все преды- дущие. Увы, но результатом является только двоичное или шестнадцатеричное чи- сло. Формулы, подобные этой, создали Дэвид Бэйли, Питер Борвейн и Симон Плуфф. Они известны как формулы ВВР (по первым буквам фамилий их создате- лей). Считается, что эти формулы указывают на наступление новой эпохи в вычи- слениях. Формула Фабриса Беллара (род. в 1972 году) J_y (-1)" ( —25 _ 1 28 _ 26 _ 22 _ 22 1 26 2"”' I 4и +1 4и4-3 10и + 1 10н + 3 10н + 5 10н + 7 10» + 9, к=0 \ / является производной от формул ВВР, и с ее помощью вычисления выполняются на 43% быстрее. При расчетах в двоичной системе находятся значения битов (0 или 1). Уже вы- числен квадриллион знаков числа И. Используя эту формулу, мы можем определить, находится ли на определенной позиции 0 (возможны лишь два варианта: 0 или 1), не зная при этом предшествующих знаков. Совершенству нет предела, хотя реаль- ная полезность подобной формулы представляется сомнительной. В заключение упомянем, что уже найдены формулы, с помощью которых можно найти произвольный знак И в любой системе счисления. ЦИФРА, ПОЛУЧЕННАЯ БЕЗ ФОРМУЛ Колумнист журнала Scientific American Мартин Гарднер (1914-2010), известный писатель, по- лемист и математик, в 1966 году предсказал, что миллионным знак >м л является 5. Это предпо- ложение основывалось на англоязычной версии Библии, в частности на 3-й книге, 14-й главе, стихе 16 (3-14-16), где используется магическое число 7 и седьмое слово содержит пять букв. Поэтому миллионный знак л после запятой (в те годы его значение еще не было вычислено) должен быть равен 5. Никто не воспринимал это предположение всерьез, но в 1974 году были проведены необходимые расчеты, и, как и следовало ожидать, этот знак оказался равен 5. Мартин Гарднер не использовал ни одной формулы. 94
ФОРМУЛЫ С ЧИСЛОМ 71 В стороне от формул В завершение этой главы приведем еще несколько любопытных примеров. Напри- мер, формула i‘ = e-7t/2 объединяет комплексные и вещественные числа. Следующее равенство связывает И с простыми числами: 3 Ф(н) — = hm——, 71" П~ где н Ф(„)=£ф(к). fc=1 ф(/?) — количество целых чисел, меньших k и взаимно простых с ним. Следующая формула касается квазицелых чисел. Эти числа очевидно являются иррациональными, но при расчетах на обычном калькуляторе выглядят как целые. Эти числа начинают отличаться от «реальных» целых чисел спустя множество зна- ков после запятой, и нужен очень точный калькулятор, чтобы увидеть этот деся- тичный знак после запятой, которому предшествует множество нулей. Выражение справа является квазицелым числом 427: 427 = f 1ов(5 28()3)(236 674 + 30 ЗОЗл/б?) + 744)V < 71 > При расчетах на обычном калькуляторе значение этого выражения равно 427. Более точные расчеты показывают, что это число отличается от целого числа 427 только с 52-го знака после запятой. Именно с этого знака в десятичной записи этой дроби перестают фигурировать только нули. Выражение в скобках действи- тельно заслуживает название квазицелого. Нельзя отрицать, что И встречается во множестве областей. Например, рассмо- трим гипотезу Кеплера об упаковке, чрезвычайно далекую от числа 7Т. Какова мак- симальная плотность упаковки дисков на плоскости? Она равна 71 2>/з 95

Глава 5 Пи-мания Число И особенное. Мы уже говорили, что оно самое известное, самое изученное, самое знаменитое и самое упоминаемое. Энтузиазм, страсть и настоящую одержи- мость этим числом называют «пи-манией». Она одновременно академична и экс- травагантна, интересна и занимательна. Читатель может удивиться, что мы уделяем столько внимания этому вопросу, слабо связанному с математикой. Такова реаль- ность: И — это намного больше, чем просто число. Вокруг числа п Число 7Т не обошли вниманием даже маркетологи. Изображение 7Т можно встретить на футболках (даже для домашних животных!), пуговицах, запонках, чашках, чай- никах, часах, ковриках для компьютерной мыши, фартуках, плюшевых мишках, подушках, шкатулках, кафельной плитке, кепках, плакатах, автомобильных аксессу- арах и многом, многом другом. Эти футболка и кружка с изображением числа я — одни из многих товаров с изображением греческой буквы я. 97
ПИ-МАНИЯ 3 14159 265358979323 84626433832795 02884197169399375 1058209749445923078 164062862089986280 3482534211706798214808 651328230664709384460955058223 1725359408 J 284811174502841027019385211055 50644o229489549’03819644288l0975665933446128475n48235786 7. K5'>712‘1. W54 I .'-Г9141. ’Л Плакат для математиков и фанатов числа п. Круги, которые якобы рисуют инопланетяне на полях, стали очень известными еще в 70—80-х годах прошлого века. Было обнаружено, что круги на фотографии слева вычерчены на основе знаков Л. Фигуру на фотографии справа сложно истол- ковать как-то иначе. 98
ПИ-МАНИЯ Mazda 3 с изображенным на ней числом it. День числа И — 14 марта. Этот праздник придумал американец Ларри Шоу, ко- торый заметил, что дата 14 марта в американском формате записывается как 3/14, что соответствует приближенному значению числа И. Это может показаться аб- сурдным, но праздник получил широкую известность и мгновенно распространился в университетских кругах. Фирменное блюдо этого праздника — круглая пицца, так как она хранит в себе секреты числа И. Торжества поражают своим размахом, и участники не скупятся на выдумки. Плакат с приглашением на празднование Дня числа я 14 марта. 99
ПИ-МАНИЯ День числа И совпадает с днем рождения Альберта Эйнштейна, что в немалой степени способствует популярности праздника. Число И можно встретить на бутыл- ках вина, кругах сыра и даже на упаковках парфюмерии. Праздничный «Пи-торт» вдень числа Л можно подать в такой тарелке. Знак И приобрел популярность достаточно давно: еще в 1915 году 22-я эскадри- лья королевских ВВС использовала его в качестве эмблемы. При первоначальном размещении акций Google номер последней акции был равен 14159265 (вспом- ним, что П = 3,14159265...). Благодаря математическому образованию владельцев Google число И проникло и на Уолл-Стрит. В 1982 году, когда о консолях еще не было известно, а в мире видеоигр безраз- дельно властвовали ZX Spectrum и Dragon 32, компания Automata UK выпустила игру «Пи-мания», главного героя которой звали, естественно, 11и-мэн. Эта игра уже устарела, и в ближайшее время какая-нибудь компания наверняка создаст ее ремейк. Возможно, самым удивительным проявлением пи-мании можно назвать компью- терный поисковик, позволяющий найти желаемую последовательность цифр среди, например, первых восьми миллионов знаков И. Если вам интересно, начиная с какой позиции в записи И встречается день, месяц и год вашего рождения, посетите интер- нет-сайт The Pi Searcher. Введите желаемое число, и если заданная последователь- ность встречается среди первых нескольких миллионов знаков (в первой версии сай- та было доступно восемь миллионов, позднее — 200 миллионов, и это число про- должает расти), поисковый механизм выдаст ответ с номером позиции. Если нуж- ные цифры не встречаются среди знаков и, вы увидите оповещение об этом. 100
ПИ-МАНИЯ Конечно, вероятность найти среди знаков Л дату своего рождения в сокращен- ном виде (то есть 181 146 для даты 18.11.46) составляет почти 100%. Если вы ищете всего четыре цифры (например, дату 1.3.56, то есть 1 марта 1956 года), то поисковый механизм гарантированно даст ответ, поскольку к 60872-му знаку Л встречаются все возможные комбинации из четырех цифр. Если же вы укажете более полную форму записи (например, представив дату 18.11.46 как 18 111 946), вероятность снизится до 63%. Чем длиннее последовательность, тем меньше веро- ятность, что ее удастся найти. Можно попробовать найти среди знаков Л номер телефона, номер автомобиля или любое другое число. Кроме того, с помощью этого поискового механизма можно найти любопытные циклы. Например, начнем цикл с числа 40, которое впервые обнаруживается на 70-й позиции, затем найдем, на какой позиции находится число 70 и так далее. Кажется, что этот цикл бесконечен. Но на самом деле он имеет завершение. Дэн Сикорски обнаружил следующую последовательность: 40, 70, 96,180, 3664, 24 717, 15 492, 84 198, 65 489, 3725,16 974, 41 702, 3788, 5757,1958,14 609, 62 892, 44 745, 9385, 169, 40. Как видим, после множества этапов этот цикл возвращается к нача- лу. Вероятность появления подобных циклов еще не изучена. Стихотворения и фразы для запоминания Почти все авторы, которые хотят привести стихотворение о числе Л, обращаются к одному и тому же источнику. Вислава Шимборская, польская поэтесса, удостоен- ная в 1996 году Нобелевской премии по литературе, написала удивительное стихо- творение, известное во многих переводах. Вот один из вариантов: Замечательное число пи: три запятая один четыре один. Все следующие цифры — тоже только начало, пять девять два потому что оно никогда не кончается. Его не понять шесть пять три пять с первого взгляда, восемь девять посредством вычисления, семь девять и воображения, и даже три два три восемь в шутку, через сравнение четыре шесть с чем бы то ни было два шесть четыре три в целом мире. 101
ПИ-МАНИЯ Самая длинная змея на земле оборвется через десяток метров. Волшебные змеи — лишь чуть длиннее. Вереница цифр для числа пи не останавливается на краю страницы, но сбегает со стола и падает по стене, листу, птичьим гнездам, облакам, прямо в небо, во всю его бездонность и воздетость. О, как короток, не длиннее мышиного, хвост кометы! Как хрупок звездный луч, искривляющийся в пространстве! А тут два три пятнадцать триста девятнадцать мой телефонный номер, размер твоей рубашки, год тысяча девятьсот семьдесят третий, шестой этаж, количество жителей, шестьдесят пять копеек, объем бедер, два пальца, шарада и шифр, в котором летят мои слова, а вороны просят сохранять спокойствие, ибо небо и земля прейдут, но не пи, только не оно, оно продолжается пять, уходит восемь, не останавливаясь семь, стремя, о, стремя беспечную вечность все дальше. (Перевод Т. Бонч-Осмоловской) Существуют «оды числу пи» и многие подобные произведения, но стоит отме- тить, что стихотворение Шимборской великолепно. Многие фанаты Л рассматривают поэзию как инструмент. Так, появилось множе- ство стихотворений, которые помогают запомнить первые знаки Л. Обычно цифры зашифрованы количеством букв в словах. Например, в слове «знаю» 4 буквы, оно соответствует цифре 4. «Прекрасно» соответствует цифре 9, так как в нем 9 букв. Фраза «это я знаю и помню прекрасно» — не просто ответ самоуверенного ученика. В ней зашифрована последовательность цифр 314 159. 102
ПИ-МАНИЯ ЭТО Я ЗНАЮ И ПОМНЮ ПРЕКРАСНО 3 14 15 9 С помощью этой техники можно запоминать любые случайные последовательно- сти чисел, в том числе и знаки числа Л. Хотите знать первые знаки Л наизусть? Най- дите стихотворения или фразы, которые легко запомнить. Кажется, что это сложно, но на самом деле запомнить слова проще, чем цифры. Главное — знать, что каждое слово соответствует числу букв в нем, нужно просто внимательно считать буквы. Так поэзия превращается в инструмент для запоминания, и самыми лучшими стихотворениями становятся не самые красивые, а самые длинные, потому что они помогают запомнить больше цифр. Приведем несколько примеров. Нет и есть у любви понимание: Он плакал долго, ища весны. Надеялся выплакать заранее Страдания эти за сны... Это четверостишие соответствует 18 цифрам: 3,14159265358979323. Вот другое стихотворение, первую строку которого мы уже приводили: Это я знаю и помню прекрасно, Но многие знаки мне лишни, напрасны. Доверимся знаньям громадным Тех, пи кто сосчитал, цифр армаду. Существуют стихотворения, позволяющие запомнить почти 80 знаков В 1986 году на английском языке было написано стихотворение для запоминания более 400 знаков. 103
ПИ-МАНИЯ Есть и короткие фразы, построенные по тому же принципу. Их очень легко за- помнить, например: «Вот и знаю я число, именуемое пи. — Молодец!» Последняя цифра (7) — приближенное значение, соответствующее правилам округления. В действительности на этом месте должна находиться цифра 6. Подобные фразы были написаны и на других языках. Например, сэр Джеймс Хопвуд Джинс (1877—1946) придумал ставшую очень популярной фразу для за- поминания первых 14 цифр Л: How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics! («Как бы я хотел выпить чего-нибудь, спиртного разумеется, после трудных лекций по квантовой механике!») Эту фразу можно продолжить, не нарушая мнемонических правил: How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics and if the lectures were boring or tiring, then any odd thinking was on quartic equations again. («Как бы я хотел выпить чего-нибудь, спиртного, разумеется, после трудных лекций по квантовой механике, и если лекции скучны или утомительны, то после них я не могу думать ни о чем, кроме уравнений четвертой степени».) На 32-м слове фраза заканчивается, хотя ничто не мешает продолжать ее и даль- ше. Многие мнемонические стихотворения и фразы заканчиваются именно на 32-м слове, потому что 32-м знаком Л после запятой является ноль, и выразить это слова- ми не так-то просто. На французском языке есть следующее стихотворение: Que j’aime a faire apprendre un nombre utile aux sages! Immortel Archimede, artiste ingenieur, Qui de ton jugement peut priser la valeur? Pour moi, ton probleme eut de pareils avantages. Jadis, mysterieux, un probleme bloquait Tout 1’admirable procede, 1’oeuvre grandiose 104
ПИ-МАНИЯ Que Pythagore decouvrit aux anciens Grecs. О quadrature! Vieux tourment du philosophe Insoluble rondeur, trap longtemps vous avez Defie Pythagore et ses imitateurs. Comment integrer 1’espace plan circulaire? Former un triangle auquel il equivaudra? Nouvelle invention: Archimede inscrira Dedans un hexagone; appreciera son aire Fonction du rayon. Pas trop ne s’y tiendra: Dedoublera chaque element anterieur; Tbujours de 1’orbe calculee approchera; Definira limite; enfin, 1’arc, le limiteur De cet inquietant cercle, ennemi trop rebelle Professeur, enseignez son probleme avec zele. (Хотел бы я мудрейших обучить полезному числу. Бессмертный Архимед, художник и ученый, 1\то в полной мере может оценить твои разум? Неоценима и твоя задача. В былые времена загадка эта Мешала разрешить красивую задачу, Что Пифагор представил древним грекам. Я говорю о квадратуре круга! Философу загадка для ума, Неразрешимый круг, он долго не давал покоя И Пифагору, и ученикам его. Как нам измерить точно площадь круга? Построить треугольник с той же площадью? Вот новая попытка: Архимед Вписал шестиугольник в круг и показал Как соотносятся их радиус и площадь. Удваивая всякий раз число сторон, Он подходил все ближе к цели И вычислил предел; в итоге станет им Дуга окружности, что не дает покоя. Учитель, поскорей нам объясни Решение задачи.) 105
ПИ-МАНИЯ В этом стихотворении зашифровано 126 знаков Л. Заметьте, что французское слово mysterieux состоит из 10 букв, но читается как 09, чтобы таким способом представить 0. Похожим способом ноль обозначается и в других подобных при- мерах. Если читателя интересуют произведения на других языках, он с легкостью най- дет их в Интернете. Последний совет: главное при запоминании подобных стихов — не сбиваться со счета. Одного из пионеров применения ядерной физики к вопросам эволюции звезд, физика Георгия Гамова, известного также под именем Джордж Гамов, как-то упрекнули в журнале Scientific American, что он ошибочно привел зна- чение Л = 3,14158 вместо 3,14159. Оказалось, что Гамов, американский физик рус- ского происхождения и полиглот, неверно запомнил французскую фразу Que j’aime a faire apprendre для запоминания Л, забыв одну букву «р» в слове apprendre. Особое место среди стихов занимают японские трехстишия хайку. Сейчас они написаны на многих языках и на многие темы, не стало исключением и число Л. Хотя существуют хайку о числе Л, высшим мастерством считается умение напи- сать пику — математический вариант хайку. Классические хайку — трехстишия со структурой слогов 5-7-5 (первая строка состоит из 5 слогов, вторая — из 7, третья — снова из 5). Пику также является трехстишием, но в нем есть дополни- тельное условие: число букв в словах должно совпадать с соответствующим зна- ком Л. Предлагаем читателю пример пику на английском языке: Can I know a cycle, according to nature round, and never complete? (Могу ли я знать цикл, круглый по своей природе и при этом бесконечный?) Некоторые авторы используют уже известные стихотворения и специальную си- стему кодов. Среди них особо выделяется Майк Кейт, фанат числа Л, который со- здал единственную в своем роде версию стихотворения «Ворон» Эдгара Аллана По. Она носит название Near a raven («Около ворона» ). Но и это еще не все: тот же Майк Кейт написал рассказ Cadaeic cadenza, в который включил свое же стихотво- рение, а также фрагменты произведений Льюиса Кэррола, Омара Хайяма, Уильяма Шекспира и других авторов. В Cadaeic cadenza зашифрованы 3834 знака Л, что 106
ПИ-МАНИЯ кажется феноменальным, если не сказать невозможным. В самом названии также зашифрованы знаки Л (обратите внимание на порядковые номера букв в английском алфавите): С a d а е i с 3, 1 4 1 5 9 3 Интерес также вызывает способность некоторых людей запоминать бесчислен- ное множество знаков Л, используя для этого подобные стихотворения или другие приемы. Неудивительно, что многие любители таких упражнений, настоящие спорт- смены, обладающие безграничной памятью, попали на страницы Книги рекордов Гиннесса. Рекорды по запоминанию Л быстро сменяют друг друга, каждый участник стре- мится во что бы то ни стало побить прошлое достижение. Иногда также учитывается не только количество верно названных знаков, но и скорость, с которой рекордсмен может их воспроизвести. Но не будем углубляться в тонкости. Если говорить об аб- солютном рекорде по числу запомненных знаков, то он принадлежит украинцу Анд- рею Слюсарчуку, который запомнил 30 миллионов цифр. Это достижение выглядит столь невероятным, что даже в Книге рекордов Гиннеса оно не было отмечено как мировой рекорд. Официально утвержденный рекорд был установлен в 2006 г. и принадлежит японцу Акире Харатучи, который запомнил сто тысяч знаков. Не следует полагать, что эти рекорды устанавливают лишь фанатики числа Л: в списке рекордсменов фи- гурируют и всемирно известные ученые, например американец Александр Айкен или канадец Саймон Плуфф. Пи-музыка В музыке число Л встречается не столь широко, несмотря на традиционную бли- зость музыки и математики. Вспомним, что в повсеместно применяемом равно- мерно темперированном строе каждая октава делится на математически равные интервалы с соотношением частот . Диатоническая гамма, сформулированная еще в древности, представляется в виде так называемых квинт с соотношением частот 3:2. Мы приводим эти технические моменты в качестве введения к после- дующим объяснениям. 107
ПИ-МАНИЯ Натуральный строй Современный музыкальный строй берет начало еще во времена Пифагора. В его ос- нове лежат ноты так называемой диатонической системы (до, ре, ми, фа, соль, ля, си). В пифагорейском строе ноты соответствовали частоте вибрации струны. Грубо говоря, разным частотам соответствовали разные ноты. Различие между вибрация- ми (нотами) измерялось в интервалах. Интервалы получаются не вычитанием одной частоты из другой, как можно было бы думать, а их делением. Результат деления двух частот выражался в виде простой дроби. Например, квинта — интервал шири- ной в пять ступеней — означает результат деления частоты данной ноты на частоту ноты, отстоящей от нее на пять ступеней, и равен 3/2. Интервал октавы охватывает восемь ступеней диатонического ряда, например от «ре» до следующего «ре». Соот- ношение частот между звуками равно 2/1 = 2. Рассмотрим пример. Если нажать на центральную клавишу пианино, мы услы- шим ноту «ля» частотой в 440 герц (колебаний в секунду). Если нажать на следу- ющую «ля», расположенную на семь белых клавиш правее, новый звук будет иметь частоту в 880 герц. Разница между этими нотами (то есть интервал между ними) в музыке выражается дробью 880/440 = 2. Этот интервал и является так называемой октавой. Две ноты, разделенные меж- ду собой интервалом в одну октаву (в нашем примере это нота «ля»), звучат одина- ково, но явно различаются по высоте. Пифагор, во времена которого пианино еще не существовало, обнаружил этот факт, играя на одной струне: если зажать струну точно посередине, то полученная нота будет той же, что и для всей струны. Этот строй идеально подходил для струнных инструментов, но с его помощью нельзя было качественно измерить небольшие различия между нотами, например диезы и бемоли. Это привело к появлению так называемого равномерно темпериро- ванного строя: в него наряду с обычными нотами включены диезы и бемоли. Это делается с помощью равных интервалов. Соотношение частот между соседними ин- тервалами равно '^2 . Полученный таким образом строй получил название темпери- рованного. Значение '^2 получается следующим образом. Нам нужно разделить на 12 рав- ных частей интервал длиной 2 (2 — это отношение частот в начале и конце ин- тервала) так, чтобы отношение частот между соседними частями интервала было неизменным. Полученные частоты образуют геометрическую прогрессию со знаме- нателем \/2. 108
ПИ-МАНИЯ Ноты равномерно темперированного строя, слева направо: до, до-диез, ре, ре-диез, ми, фа, фа-диез, соль, соль-диез, ля, си-диез, си, до. Ноты диатонического строя: до, ре, ми, фа, соль, ля, си, до. Последовательность из 12 интервалов, по одному на каждую ноту, выглядит так: В XVIII веке появилась новая система интервалов, в которой значение квинты было равно 600 + 300/тт. Новый музыкальный строй относительно недавно был предложен Чарльзом Люси (род. в 1946) и носит его имя. Необходимо пояснить, что это отдельная, уже запатентованная система. Другое музыкальное проявление числа Л — возможность «услышать» его знаки: в Интернете можно найти программы, которые позволяют «сыграть число Л». Для этого всем десяти цифрам присваиваются определенные ноты. Для каждой следую- щей цифры программа воспроизводит соответствующую ей ноту. Поскольку знаки Л являются (или кажутся) случайными, то полученная композиция также будет слу- чайной. Вероятнее всего, слушателю станет скучно слушать бесконечные цифры, но нельзя отрицать, что очень, очень длинная случайная композиция может звучать даже приятно. В диатоническом строе существует 710 различных способов образо- вать мелодию из семи нот (в этом строе нет ни диезов, ни бемолей). В комбинато- рике говорят, что существует 710 сочетаний с повторениями. Из этого числа нужно вычесть последовательности из одной повторяющейся ноты, поскольку результат окажется особенно скучным. В зависимости от выбора ноты для каждой цифры су- ществует семь вариантов генерации непрерывного шума. 109
ПИ-МАНИЯ Кино, литература и число л Число Л использовалось в кино тысячи раз, но, как правило, с его помощью лишь создают ореол таинственности в простых ситуациях, как, например, в фильме «Ра- зорванный занавес» (Torn Curtain) Альфреда Хичкока, где Л используется как ко- довое слово в организации перебежчиков. Математическая природа Л раскрывается редко, либо же это делается излишне эффектно и поверхностно, как в фильме «Пи» американского режиссера Даррена Аронофски, вышедшем на экраны в 1998 году. В основе фильма лежат приключения гениального математика Макса Коэна, кото- рый постепенно сходит с ума, одержимый числами. В этом фильме обыграно ок- культное значение чисел, но математическая строгость неизменно уступает место драматическим эффектам. Число Л могло сыграть главную роль в научно-фантастическом фильме «Кон- такт» (1997) режиссера Роберта Земекиса с Джоди Фостер в роли астронома Элеонор Эрроуэй. К сожалению, все упоминания о Л были исключены из финаль- ного варианта сценария. В оригинальном романе «Контакт» (1985) известного кос- молога Карла Сагана, на основе которого и снят фильм, число Л настолько важно, Плакат фильма «Пи» (вверху). В1997 году Роберт Земекис экранизировал роман Карла Сагана «Контакт», в котором инопланетяне утверждают, что в знаках л спрятано таинственное сообщение. 110
ПИ-МАНИЯ что этот эпизод романа спровоцировал дискуссию в научном мире. Но не будем за- бегать вперед. «Контакт» — это фильм о возможности общения с внеземными цивилизациями и о проблемах, в том числе религиозных, которые могут возникнуть вследствие та- кого контакта. В фильме рассказывается история доктора Эрроуэй, которая с помо- щью радиотелескопа улавливает сигнал из космоса, строит генератор «кротовых нор» для путешествия по Вселенной и встречается с инопланетянами. Инопланетяне сообщают Элеонор, что среди знаков Л, возможно, скрыто некое послание. Рас- шифровать э го таинственное сообщение не под силу даже им, потому что шифр зна- ет лишь Бог, создатель Вселенной. Инопланетяне предполагают, что сообщение зашифровано с помощью знаков Л: начиная с определенной позиции, знаки Л перестают изменяться случайно и образу- ют последовательность из нулей и единиц. Если расположить эти цифры в форме квадрата, единицы и нули образуют идеальную окружность, вписанную в этот ква- драт. Этот шифр — часть Л, часть самой природы. Значит ли это, что он помещен туда Богом? В последней главе мы вернемся к этому фильму и обсудим возможность существования подобного квадрата и круга, образованного знаками Л. В романе британского автора Дугласа Адамса «Автостопом по галактике», классике современной юмористической литературы, огромный компьютер сообщает людям ответ на главный вопрос жизни и Вселенной. Живительно, но ответ на этот вопрос — «42». Некоторые фанаты числа Л восприняли ответ компьютера слишком серьезно и начали поиски. Они отвергли число 42 как слишком простое и начали искать среди знаков Л последовательности вида 424 242 с помощью поискового механизма The Pi Searcher. Эта последовательность встречается в записи Л, начиная с 242 423-й позиции. Нет никаких сомнений, что энтузиасты продолжат свои поиски. Число л и законы Немного странно упоминать здесь о столь далекой от Л области знаний, как право и законодательство, но это число встречается и здесь. В 1836 году в послереволю- ционной Франции жил некий ученый Аакомм, который не только считал Л равным 3,25, но, что удивительно, был награжден многими авторитетными учреждениями за свои открытия, связанные с этим числом. Напомним, что на тот момент было точно вычислено уже более сотни знаков Л. Наиболее известный законодательный курьез, связанный с Л, произошел в Ин- диане, США. В 1897 году некий Эдвард Гудвин, весьма искушенный в геометрии, 111
ПИ-МАНИЯ опубликовал в серьезном журнале American Mathematical Monthly короткую статью и убедил законодательные органы штата обсудить текст нового закона (билль № 246), который затем должен был поступить на рассмотрение в палату предста- вителей. Казалось бы, в этом нет ничего необычного. Но в случае принятия этого закона значение числа Л считалось бы равным 16^2 „ Л =—— = 3,232, 7 что подтверждали сложные и объемные расчеты. Закон также требовал включить это значение Л в официальные учебники, а в случаях использования «истинного» значения Л (иными словами, прежнего, общеизвестного значения) необходимо было уплатить Гудвину авторские отчисления. Гудвин и законодательные органы не при- няли во внимание, что за 30 лет до этих событий Линдеман доказал трансценден- тность числа Л и невозможность решения задачи о квадратуре круга. Они также проигнорировали все прочие расчеты и известные на тот момент более 100 точных знаков Л. Высокопоставленных лиц Индианы это ничуть не интересовало. Проект закона был одобрен несколькими комиссиями нижней палаты парламен- та и был передан в сенат с положительной рекомендацией. К счастью, пусть и по воле случая, этот закон так и не был принят. Кто-то показал текст закона специалисту, который случайно проходил мимо, — профессору математики Кларенсу Авиафару Уолдо (1852— 1926), чтобы тот написал предисловие к тексту закона. Тот вежливо отказался, сказав, что его несколько утомили искатели квадратуры круга. Внимательно прочитав текст закона, он пришел в ужас и незамедлительно рассказал сенаторам об истинном положении вещей. В итоге благодаря усилиям Кларенса Уолдо члены сената поняли всю абсурдность закона, и знаменитый билль № 246 не был утвержден. Профессор математики Кларенс Авиафар Уолдо. Он помешал тому, чтобы впервые в истории полная бессмыслица с точки зрения науки была возведена в ранг закона. 112
ПИ-МАНИЯ Число я и искусство Число Л увековечено на фризе Дворца открытий в Париже, что как нельзя лучше соответствует духу этого места. На фризе высечено более 600 знаков, рассчитанных Уильямом Шэнксом в 1873 году. На самом деле этот английский математик вычи- слил 707 знаков, но Дэниел Фергюсон в 1944 году обнаружил в его расчетах ошиб- ку, начиная с 528 знака. По этому случаю Николас Роуз написал такие стихи: Seven hundred seven, Shanks did state, Digits of Л he would calculate. And none can deny It was a good try But he had erred in five twenty eight. (Семьсот семь знаков пи, Шэнкс сказал за столом, Найдет он, не сбившись при том ни в одном. И нельзя отрицать — Он сработал «на пять», Сбился все ж в пятьсот двадцать восьмом.) Фриз Дворца открытий, на котором изображены первые 600 знаков к. Настоящее произведение искусства, основанное на Л и его знаках, находится в Торонто. Канадская художница Арлин Стамп создала гигантскую мозаику, кото- рая находится в вестибюле станции метро Даунсвью. Мозаику образуют прямо- 113
ПИ-МАНИЯ угольники разной ширины, которые накладываются друг на друга. Если не знать заранее, то сложно заметить, что ширина наложения прямоугольников друг на друга не случайна. Каждый прямоугольник накладывается на следующий по определенно- му правилу: ширина прямоугольника принята за 1, а видимая часть каждого следую- щего прямоугольника пропорциональна соответствующему знаку Л. Мозаика начи- нается с 1 — первого знака после запятой в записи 3,1415926535... — и продолжа- ется в точном соответствии с последующими знаками. Так как эти цифры случайны (или кажутся случайными), непосвященный зри- тель не может догадаться, что расположение частей мозаики подчиняется какому-то правилу. Однако, как в свое время обнаружил математик Иваре Петерсон, кажуща- яся случайность распределения цифр подчиняется определенному закону. Цветные прямоугольники имеют одинаковые размеры, но расположены так, что их видимая часть пропорциональна соответствующему знаку п. Каждый следующий прямоугольник частично накладывается на предыдущий. 114
ПИ-МАНИЯ На входе в Техническую школу Генри Эббота в Данбери, штат Коннектикут, США, установлена скульптура в форме Л высотой почти 20 метров авторства Бар- бары Грайгатис. Скульптура освещается ночью и напоминает будущим инженерам о том, что им еще не раз предстоит встретиться с этой константой во время учебы. Скульптура Барбары Гэайгатис в Коннектикуте, изображающая п. 115
ПИ-МАНИЯ В американском городе Сиэтле скульптура в виде И установлена на парадной лестнице у входа в Музей искусств. Вход в Берлинский технический университет украшен мозаикой в виде Л. Существует чисто математическое произведение искусства — формула eni + 1 = О, которая связывает пять самых значимых констант (е, Л, i, 1 и 0). Считается, что это самая красивая формула во всей науке. Ее открыл Леонард Эйлер, он же доказал ее корректность. Людольф ван Цейлен (1540—1610) считал иначе. Используя многоугольники с 262 сторон, этот немецкий геометр вычислил приближенное значение Л с точно- стью до 20-го, а затем — до 35-го знака. Он работал столь усердно, а его энтузиазм ЛЕОНАРД ЭЙЛЕР (1707-1783) Швейцарский математик Леонард Эйлер был одним из самых выдающихся математиков в исто- рии. Он был невероятно одарен, обладал феноменальной памятью и превосходно считал в уме. Благодаря этому даже слепота, настигшая его в 1766 году, не помешала ему заниматься наукой еще 17 лет, до самой смерти. Он умер в России, куда его пригласила Екатерина II. Императрицу привлекла его известность, да и рекомендации другого швейцарского математика, Даниила Бернулли, были не лишними. Эйлер с перерывами жил в России с 1737 года. При подготовке полного собрания только научных его трудов оказалось, что оно насчитывает свыше 80 то- мов. Эйлер окончательно ввел в употребление греческую букву л для обозначения числа пи и разработал многие другие обозначения, например f(x) для обозначения функций отх, / для мнимой единицы и Е для обозначения суммы. Его вклад в науку огромен: он занимался исчи- слением бесконечно малых, функциями, теорией чисел, топологией, теорией графов, физикой и астрономией. Его именем назван астероид. Эйлер открыл множество рядов, в которых фи- гурирует л. > Марка СССР, выпущенная в 195 7 году к 250-летию ‘ со дня рождения Эйлера. 116
ПИ-МАНИЯ Могила Людольфа ван Цейлена в Лейдене. На надгробии высечены 35 знаков 71, которые он рассчитал. был столь велик, что он завещал высечь найденное им значение Л на своем надгро- бии в память потомкам. Это не шедевр искусства, но ван Цейлен высоко оценил бы его. Математик и автор научно-популярных книг Клиффорд Пиковер считал форму- лу Стирлинга (1692—1770) л/2я очень красивой и полагал, что ею можно любоваться как произведением искусства. Не знаем, разделит ли читатель подобную точку зрения, но формула действительно примечательна: она объединяет экспоненту от п, число п, возведенное в степень п, его же факториал (и! = п (и — 1) (п — 2) • ... • 2 • 1) и корень из этого числа. 117

Глава 6 Второй взгляд на бесконечность Компьютеры бесполезны. Они могут только давать ответы. Пабло Пикассо Обратим взгляд на бесконечные знаки Л. Эта бесконечность находится от нас на расстоянии вытянутой руки. Чтобы понять ее, возможно, не требуется столь ши- рокого воображения, каким обладал Георг Кантор. Нобелевский лауреат по физике Ричард Фейнман (1918—1988) увидел среди бесконечных знаков Л любопытную последовательность девяток: 3,1415926535897 2097494459230 8086513282306 4502841027019 7566593344612 3460348610454 3155881748815 3053054882046 1953092186117 3518857527248 8602139494639 3176752384674 7713427577896 8537105079227 8159813629774 9323846264338 7816406286208 6470938446095 3852110555964 8475648233786 3266482133936 2092096282925 6521384146951 3819326117931 9122793818301 5224737190702 8184676694051 0917363717872 9689258923542 7713099605187 3279502884197 9986280348253 5058223172535 4622948954930 7831652712019 0726024914127 4091715364367 9415116094330 0511854807446 1949129833673 1798609437027 3200056812714 1468440901224 0199561121290 0721134999999 1693993751058 4211706798214 9408128481117 3819644288109 0914564856692 3724587006606 8925903600113 5727036575959 2379962749567 3624406566430 7053921717629 5263560827785 9534301465495 2196086403441 Эта последовательность начинается с 762-й цифры и называется точкой Фейн- мана. Учитывая, что в десятичной дроби со случайными знаками вероятность появ- 119
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ ления семи девяток подряд крайне мала (всего 0,08%), открытие Фейнмана тем более важно. Но имеет ли это какое-нибудь значение? Неизвестно, сколько еще подобных тайн хранит в себе Л. Другая примечательная последовательность — 0123456789 — начинается с 17387594880-й цифры. Ее обнаружил уже не Фейнман, а компьютерная про- грамма. Взглянем на магический квадрат, то есть квадрат, в котором сумма чисел в стро- ках, столбцах и диагоналях одинакова. В нашем случае эта сумма равна 65. 17 24 1 8 15 23 5 7 14 16 4 6 13 20 22 10 12 19 21 3 И 18 25 2 9 Этот магический квадрат составил американец Т. Лобек. Теперь посмотрим на знаки числа Л. Для каждого числа в квадрате (обозначим его за и) возьмем п-й знак Л. Например, для первого числа в квадрате, 17, возьмем 17-й знак Л, который равен 2. Запишем его в магическом квадрате вместо числа 17 и так далее. Таким образом мы получим новый квадрат. Запишем на полях суммы чисел в его строках и столбцах: 2 4 3 6 9 (24) 6 5 2 7 3 (23) 1 9 9 4 2 (25) 3 8 8 6 4 (29) 5 3 3 1 5 (17) (17) (29) (25) (24) (23) Удивительно, но каждая сумма в столбце встречается среди сумм чисел в стро- ках. Это похоже на фокус, но в мире математики никакая магия не действует. Как же это возможно? Это тоже неизвестно. Нам почти ничего не известно ни о Л, ни о бес- конечности... 120
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Обезьяны, печатные машинки и библиотеки Совершим прогулку по неизведанному пути, возможно, несколько далекому от чис- ла Л. Мы изучим вершины человеческой мысли и приблизимся к границам неизвест- ного, но на этом пути мы попадем в мир мифов и легенд. В англосаксонской традиции Дарвин и дарвинизм занимают особое место. Пу- бликация «Происхождения видов» оскорбила многих «благочестивых граждан», которых задела мысль о том, что эволюция человека и животных шла одним путем. Фраза «человек произошел от обезьяны» — весьма грубое изложение дарвинов- ских идей, но именно так вкратце формулируется суть эволюционизма. Следова- тельно, любое упоминание обезьян немедленно воскрешает в памяти научные споры. С другой стороны, клавиатура печатной машинки в викторианскую эпоху счита- лась чем-то современным и высокотехнологичным. Обезьяны и печатные машин- ки — настоящая взрывоопасная смесь. История о печатных машинках и обезьянах, ставшая сейчас классической, в свое время выглядела одновременно и новаторской, и провокационной. Представим, что нескольким обезьянам вручили по печатной машинке. Такой эксперимент был проведен с настоящими макаками, и оказалось, что они печатают бесчисленные страницы, полные букв «s», которая по какой-то причине кажется им наиболее привлекательной. Предположим, что в нашем мысленном эксперименте обезьяны ведут себя ответственно и печатают более или менее случайные последо- вательности символов на листах, и этот процесс длится очень и очень долго. Так называемая теорема о бесконечных обезьянах гласит, что абстрактная обезья- на, ударяя случайным образом по клавишам печатной машинки в течение неограни- ченно долгого времени, рано или поздно напечатает любой наперед заданный текст. Иными словами, за неограниченно долгое время группа обезьян воспроизведет, на- пример, «Дон Кихота» с точностью до буквы. С точки зрения теории вероятностей, «рано или поздно» в формулировке теоре- мы означает «в пределе» или «с вероятностью, стремящейся к единице». Подобная формулировка не содержит никакой неоднозначности и является математически точ- ной. Однако это не противоречит следующему факту: по прошествии невообразимо большого промежутка времени обезьяны могут не напечатать ничего осмысленно- го. Теорема утверждает лишь то, что вероятность стремится к единице (событие произойдет со стопроцентной вероятностью), если промежуток времени стремится к бесконечности. 121
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Множество обезьян напечатает любой заданный конечный текст, располагая неограниченно долгим временем. В более литературном варианте эту теорему изложил великий аргентинский пи- сатель Хорхе Луис Борхес, который уделял пристальное внимание бесконечности и создал множество образов Вселенной. В рассказе «Вавилонская библиотека» из книги «Вымыслы» (1944) Борхес описывает воображаемую библиотеку, в ко- торой хранятся все возможные книги. Размер книги ограничен N страницами или знаками, при этом N достаточно велико, чтобы одна книга вместила даже самую большую энциклопедию. По Борхесу, в этой библиотеке содержатся все возможные перестановки печатных знаков (символов, знаков пунктуации и пробелов, разделя- ющих слова), напечатанные в виде книг. Проведя некоторые вычисления, получим, что воображаемая библиотека Борхе- са состоит минимум ИЗ 251132000 ~ 1,956 • Ю1834097 книг. Мы не будем приводить здесь подробное доказательство теоремы о бесконечных обезьянах, поскольку оно слишком объемно и требует объяснения многих понятий из теории вероятностей, но в общих чертах можно предположить, что теорема верна. 122
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Допустим, что на клавиатуре 60 клавиш. Простая последовательность символов, например to be or not to be (знаменитое «быть или не быть» Гамлета), требует 18 на- жатий. Вероятность того, что эта фраза не будет напечатана после п попыток, равна и при п —> 00 это выражение стремится к нулю. Чтобы упростить расчеты, предпо- ложим, что вместо одной обезьяны за печатными машинками сидят k обезьян. Ка- залось бы, этот предел не изменится, но интуитивно понятно, что он будет достигнут быстрее. Несколько более сложные рассуждения приводят к ожидаемому выводу: с точ- ки зрения математики нет никаких сомнений в том, что за неограниченное время обезьяны напечатают всего «Гамлета». Любая книга, по сути, лишь конечная по- следовательность повторяющихся знаков. Бесконечное число обезьян напечатает любую книгу за бесконечное время. Но с бытовой точки зрения кажется невероятным, что эта задача будет выпол- нена за конечное время. Какую ценность нам несет знание о том, что обезьяны мо- гут напечатать «Дон Кихота», если для этого им потребуется время, превышающее возраст Вселенной? Чтобы написать хотя бы что-то осмысленное, хотя бы простую фразу, не говоря уже о «Дон Кихоте», обезьянам потребуется невероятно длинный промежуток времени. Более того, любой физик — эксперт по вопросам термодинамики — скажет, что эта задача возможна математически, но невозможна с точки зрения физики. Вселенная содержит конечное число ча- стиц, и время в ней также конечно. Даже если Вселенная содержит гугол частиц (это число придумал девятилетний пле- мянник математика Эдварда Казнера, оно равняется 10100), а Большой взрыв про- изошел 10 миллиардов лет назад, и даже Аргентинский писатель Хорхе Луис Борхес описал огромную библиотеку, в каждой книге которой ровно 410 страниц. 123
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ если число обезьян будет равно числу частиц во всей Вселенной, вероятность того, что обезьяны за это время напечатают «Гамлета», будет ничтожно мала. Рассказ Борхеса «Всемирная библиотека» намного поэтичнее, и с ним не срав- нится никакое описание автора этой книги. Процитируем фрагмент этого произве- дения, в котором изображена эта удивительная библиотека: «В ее слепых томах заключено все. Буквально все: скрупулезная история бу- дущего, “Египтяне” Эсхила, точное число раз, когда воды Ганга отражали полет сокола, хранимое в тайне подлинное имя Рима, энциклопедия, которую мог бы создать Новалис, мои сны и полусны утром четырнадцатого августа 1924 года, разгадка теоремы Пьера Ферма, ненаписанные главы “Эдвина Друда”, те же главы в переводе на язык племени гарамантов, парадоксы о природе Времени, придуманные и не опубликованные Беркли, железные книги Уризена, отроческие эпифании Стивена Дедала, к смыслу которых под- ступятся лет через тысячу, гностическое Евангелие Василида, песни сирен, точнейший каталог Библиотеки, справочник неточностей этого каталога. Бук- вально все, но на одну осмысленную строку или достоверное свидетельство здесь будут приходиться миллионы безумных какофоний, груды словесного мусора и неразберихи. Буквально все, но пройдут поколения людей, прежде чем головокружительные полки — полки, затмившие свет и приютившие хаос, — подарят им хоть одну связную страницу». (Хорхе Луис Борхес, «Всемирная библиотека») Бесконечные знаки числа я Все, о чем мы только что рассказали, достаточно интересно и при этом не так далеко от числа Л и его бесконечных знаков, как может показаться. Если вместо обычных пишущих машинок в нашем мысленном эксперименте дать обезьянам цифровые клавиатуры, то мы получим более или менее произвольные последовательности цифр. Один очень длинный ряд цифр. А что такое Л, как не длинный ряд цифр? В библиотеке, описанной Борхесом, могут храниться книги, где вместо литера- турных шедевров (большая часть из которых представляет собой лишь бессмыслен- ную последовательность знаков) будут напечатаны последовательности цифр, име- ющие начало и конец. 124
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Но существует принципиальная разница между нашим мысленным эксперимен- том с печатными машинками, библиотекой Борхеса и последовательностью цифр числа Л. Различие в том, что в первом случае речь идет о книгах или текстах конеч- ной длины, а число знаков Л бесконечно. Ни одна обезьяна в нашем эксперименте не сможет напечатать Л и ни одна би- блиотека, сколь велика бы она ни была, не сможет вместить число Л и все его знаки. Мы мельком взглянули на бесконечность, но бесконечность, заключенная в числе Л, смотрит на нас — невозмутимая, недоступная. Недоказуемая нормальность числа я Является ли Л нормальным числом? Парадоксально, но этим вопросом, на который пока нет ответа, задаются многие математики. Говорят, что иррациональное число является нормальным в десятичной системе счисления, если в его десятичной записи цифры 0, 1, 2, 3, 4, 5, 6, 7, 8 и 9 встречаются с одинаковой частотой. Это же спра- ведливо для последовательностей из двух цифр от 00 до 99, из трех цифр от ООО до 999 и так далее. Если число является нормальным во всех системах счисления, говорят, что оно является абсолютно нормальным. Когда японский специалист Канада вычислил триллион знаков Л, он подсчитал, сколько раз встретилась каждая цифра: Десятичная цифра Частота среди первого триллиона знаков л 0 99 999 485 134 1 99 999 945 664 2 100 000 480 057 3 99 999 787 805 4 100 000 357 857 5 99 999 671 008 6 99 999 807 503 7 99 999 818 723 8 100 000 791 469 9 99 999 854 780 Итого 1000 000 000 000 125
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Распределение цифр, продемонстрированное Канадой, показывает, что Л не яв- ляется нормальным, хотя анализ первого триллиона знаков может показаться недо- статочным. Одно дело — предполагать, другое — доказать. Нормальность числа Л, несмо- тря на все предположения, доказать пока не удалось. Фактически не доказана нормальность ни одного из этих чисел: Л, е, ^2, Iog2, ни даже числа, описывающего золотое сечение (Ф). Ниже мы приведем примеры чисел, о которых достоверно известно, что они яв- ляются нормальными, но эти числа были специально созданы человеческим гением. В 1917 году польский математик Вацлав Серпинский (1882—1969) нашел первое нормальное число. Так называемая константа Хайтина Q = 0,00787499699... является вероятностью того, что случайно выбранная программа на машине Тьюрин- га остановится. Ее определение достаточно сложно. Чтобы понять его, необходимо знать, как работают сумматоры, как обрабатываются биты программы, каков прин- цип действия машины Тьюринга и многое другое. £1 является нормальным числом, пусть даже его определение заставляет предполагать обратное. Нормальные числа встречаются не так уж редко: их количество бесконечно. Число элементов множества нормальных чисел соизмеримо с количеством вещест- венных чисел. Почти все числа являются нормальными, но их очень сложно обна- ружить математически. Предполагается, что любое алгебраическое иррациональное число является нормальным. Недостаточная случайность числа л Знаки Л кажутся случайными, но это только кажущаяся случайность. Специалисты по числу Л братья Чудновские провели все возможные проверки случайности знаков Л, и все они были пройдены успешно. Случайным числам пытались дать точное определение различными способами и на протяжении длительного времени. В итоге наиболее корректным было признано определение Андрея Колмогорова, который сделал упор не на случайности, а на сложности. По Колмогорову, число тем слож- нее, чем длиннее программа, необходимая для описания этого числа. Очевидно, что если кратчайший алгоритм или процесс описания числа столь же велик, как и само число, то это число должно быть очень сложным (или случайным). Если для расче- 126
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ АНДРЕЙ КОЛМОГОРОВ (1903-1987) Андрей Колмогоров родился в Тамбове. Его мать умерла при родах, отца отправили в ссылку за участие в революционном движении, и мальчика воспитывали сестры матери. Уже в 1930-е годы он стал известен в мировых математических кругах благодаря публикации «Основных понятий теории вероятностей», где заложил фундамент этого раздела математики. Его известность воз- росла еще больше, когда вместе с одним из учеников, Владимиром Арнольдом (1937-2010), он решил тринадцатую проблему Гильберта (в 1900 году Давид Гильберт, лучший математик мира того времени, опубликовал список из 23 крупнейших задач математики, не решенных на тот момент). Среди разделов математики, которым Колмогоров уделял наибольшее внимание, от- метим теорию случайных процессов и цепи Маркова. Его важнейшим вкладом в науку стала теория сложности, или теория вероятностей, - по сути, две стороны одной медали. В последние годы жизни, став непререкаемым авторитетом российской математики, он занимался этими теориями и прикладной математикой. та N нужно дать инструкции, по размерам сопоставимые с самим N, то речь идет об очень сложном, случайном числе. Это не выполняется для числа И, так как существуют конечные и относительно простые алгоритмы по расчету его знаков, причем отдельных знаков, находящих- ся на определенных позициях. Получается, что число Л не может быть абсолютно случайным. Например, существует программа из 158 символов, позволяющая рас- считать 2400 знаков Л. Проще говоря, можно сказать, что Л является случайным, но не абсолютно случайным. Последовательность знаков Л кажется нам подчиненной воле случая. До сих пор не найден образец или эталон, который позволил бы определить, какая цифра находится на данной конкретной позиции. Да, для этого существуют алгоритмы, использующие формулу ВВР и аналогичные, но не существует никакого эталона или образца. Предполагается, что Л является «не абсолютно случайным», но дока- зательство этому до сих пор не найдено. Если бы любая последовательность знаков Л была случайной, Л являлось бы нормальным числом. Но обратное в общем случае неверно: число может быть нор- мальным и очевидно не являться случайным. Так называемое число Чамперноуна, о котором мы поговорим несколько позже, является нормальным, но не случайным, так как способ его построения объясняется несколькими словами. 127
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Недоступная универсальность числа я Ограничимся десятичной системой счисления для простоты рассуждений. Будем называть число универсальным, если его можно представить в виде десятичной дро- би, в записи которой содержатся все возможные последовательности цифр. Если мы каким-либо способом преобразуем цифры в буквы, то в записи числа Л будет содер- жаться «Гамлет», «Дон Кихот», эта книга или любая из книг всемирной библиотеки Борхеса, диссертации и их опровержения, научные труды и их копии, отличающиеся от оригинала на единственную букву, бессмысленные наборы букв и длинные после- довательности повторяющихся символов. Все это будет содержаться в записи числа Л и будет вечно ожидать своего читателя. Вернемся ненадолго к Карлу Сагану и его роману «Контакт». В этом романе ино- планетяне поручают доктору Эрроу эй найти некое сообщение предположительно бо- жественного происхождения, которое с момента появления Вселенной зашифровано в самой природе, точнее в знаках Л (причем записанных по основанию И, но не будем углубляться в детали). Начиная с определенного знака, спустя много миллионов цифр после запятой, цифры складываются в четкую последовательность из нулей и единиц. Если расположить их определенным образом, то получится изображение квадрата со вписанной в него окружностью. Является ли существование подобного квадрата доказательством существования Творца? Если сложить первые 20 цифр Л, получим 100. Если сложить первые 144 циф- ры, получим апокалиптическое число зверя 666 из «Откровения Иоанна Богосло- ва». Но мы не вправе считать подобные совпадения проявлением чего-то высшего, поскольку они зависят от выбранной системы счисления, которая целиком и полно- стью придумана человеком. Так, Дэвид Чамперноун (1912—2000) придумал нормальное число по основа- нию 10. Он обнаружил это число в 21 год, еще не закончив обучение. Это пример трансцендентного числа, которое одновременно является нормальным и универсаль- ным. Оно определяется очень просто: достаточно записать по порядку все натураль- ные числа: С10 = 0,1234567891011121314151617181920212223... Нет никаких сомнений, что это число является универсальным, так как в десятич- ной записи числа Чамперноуна встречается любая последовательность из N цифр. Оно обозначается С10, где 10 означает десятичную систему счисления. Кроме этого, существует бесконечное множество вариантов С10, обладающих теми же свойствами. 128
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ Оставим дальнейшее рассмотрение этого вопроса читателю в качестве упражнения. Следует добавить, что так называемое число Коупленда — Эрдёша, формируемое аналогичным способом, но только из простых чисел, также является нормальным (по основанию 10): 0,235711131719232931... С определенной точки зрения особенность числа И, о которой пишет Саган, не является чем-то уникальным. Числа, содержащие в себе круг, образованный ну- лями и единицами, встречаются не так уж редко. Фактически существует беско- нечное множество таких чисел, но они не связывают между собой длину и диаметр окружности. Является ли И универсальным числом? Неизвестно. Известно лишь, что все уни- версальные числа являются нормальными, но это нисколько не помогает найти ответ на этот вопрос. Что можно и что нельзя доказать Чешский математик и логик Курт Гёдель (1906—1978) доказал утверждение, кото- рое смущает умы и ставит пределы человеческому знанию. Представим логическую систему с теоремами и аксиомами, которая также описывает элементарные арифме- тические операции. Например, это может быть обычная математика. Можно ли представить, что она содержит противоречие? «Что за ерунда!» — скажет боль- шинство. Возможно ли, что она является неполной? Может ли она содержать фор- мулы, которые нельзя ни доказать, ни опровергнуть методами этой логической си- стемы? Большинство также скажет, что это невозможно. Как может быть неполной область знаний, содержащая правила элементарной арифметики? Любая теорема верна либо неверна. Возможно, чтобы окончательно узнать это для некоторых тео- рем, потребуется много времени, но однажды они будут доказаны либо опровергну- ты. Наглядный пример этому — теорема Ферма: прошло несколько веков, прежде чем было получено ее доказательство. Гёдель доказал, что любая формальная система является неполной или проти- воречивой и не может являться полной и непротиворечивой одновременно. Если она является полной и любое утверждение в ней можно доказать или опровергнуть, то какое-то из ее положений противоречиво. Если же система не содержит противо- речий, то, по Гёделю, она является неполной. Всегда будет существовать утвержде- ние, которое нельзя будет доказать или опровергнуть. 129
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ КОНТИНУУМ-ГИПОТЕЗА Георг Кантор провел большую часть жизни в попытках доказать гипотезу, которую можно сфор- мулировать так: пусть А - счетное множество, кардинальное число которого равно Хо. Опреде- лим Xj как кардинальное число р(А), где р(А) является множеством подмножеств А: |^(А)| -Хг Обозначим количество вещественных чисел, или кардинальное число множества веществен- ных чисел, за с и назовем его континуумом. Кантор пришел к следующему неравенству: Х0<с<Хг Он был точно уверен, что между Ко и Kt не может находиться никакого кардинального числа, так как с - Кг Это так называемая континуум-гипотеза. В 1963 году американский математик Пол Коэн (1934-2007) доказал, что эта гипотеза является недоказуемой, поэтому ее можно считать истинной или ложной. При этом в общей математике ничего не изменится. Гёдель поставил нас в очень интересное положение. Бертран Рассел в шутку го- ворил, что чистая математика — это такой предмет, где мы не знаем, о чем мы гово- рим, и не знаем, истинно ли то, что мы говорим. Гёдель окончательно испортил дело. Мы также не знаем, сможем ли мы когда-либо что-либо доказать. Теорема Гёделя не выдумка, так как уже найдены некоторые недоказуемые утверждения, среди ко- торых — континуум-гипотеза. Очевидно, что недоказуемые утверждения не следует искать среди общеупотре- бительных. Если недоказуемость какого-либо утверждения как-то повлияет на дру- гие области стандартной математики (яркий пример — теорема Ферма), то малове- роятно, что мы имеем дело с гёделевским утверждением. Вспомним последние вопросы, которые перед нами поставило число Л. Есть ли на них ответ? На данный момент нет. Будет ли он получен в будущем? Возможно. Мы не заявляем, что многие утверждения о Л являются недоказуемыми. Мно- гие полагают, что эти утверждения будут недоказуемы, если их доказательство или опровержение не повлияет на «стандартную» математику. Допустим, что некоторые утверждения о числе Л связаны с бесконечностью — весьма тонкой областью, расположенной на переднем рубеже математики. Именно в этой области выводы Гёделя уже получили подтверждение. 130
ВТОРОЙ ВЗГЛЯД НА БЕСКОНЕЧНОСТЬ КУРТ ГЁДЕЛЬ (1906-1978) Курт Гёдель и Альберт Эйнштейн в Институте перспективных исследований в Принстоне, Нью-Джерси. Этот американский математик чешского происхожде- ния специализировался на логике. В Европе он уча- ствовал в семинарах Венского кружка. Эмигрировал в США из-за растущей угрозы нацизма. Известность ему принесла публикация «О формально неразреши- мых предложениях Principia mathematica и родствен- ных систем». Его работы настолько сложны для не- специалистов, что научно-популярная книга Эрнеста Нагеля «Доказательство Гёделя» более известна, чем оригинальный труд Гёделя. В этом труде пред- ставлены теоремы о неполноте, которые гласят, что формальная система, в которой можно определить основные арифметические понятия, не может быть одновременно полной и непротиворечивой. Он так- же доказал, что внутри такой системы есть аксиомы, недоказуемые в рамках этой системы. Оба вывода до сих пор не перестают вызывать смущение и ограничи- вают математику в той же мере, в какой принцип не- определенности Гейзенберга ограничивает физику. Этот и другие результаты сделали Гёделя почти легендарной фигурой среди ученых всего мира. Книга Дугласа Роберта Хофштадтера «Гёдель, Эшер, Бах: эта бесконечная гирлянда» стала бестселлером. На протяжении всей жизни Гёдель страдал от депрессии и паранойи, что в конечном итоге привело к его смерти. Эта история больше напоминает приключенческий роман: Гёдель согла- шался есть только то, что сперва пробовала его жена, поэтому когда она заболела и ее положили в больницу он отказался принимать пищу и в итоге умер от истощения. 131

Глава 7 Первые 10 000 знаков числа 7С Пока не вычисленные знаки 7Т дремлют в таинственном абстрактном мире, наслаждаясь зыбкой реальностью. Пока они не вычислены, они не полностью реальны, но даже и тогда их реальность будет лишь относительна. Уильям Джеймс 14159 2 6535 8979323846 2643383279 5028841971 6939937510 : 50 5820974944 5923078164 0628620899 8628034825 3421170679 : 100 8214808651 3282306647 0938446095 5058223172 5359408128 : 150 4811174502 8410270193 8521105559 6446229489 5493038196 : 200 4428810975 6659334461 2847564823 3786783165 2712019091: 250 4564856692 3460348610 45432664821339360726 0249141273 : 300 7245870066 0631558817 4881520920 96282925409171536436 : 350 78925903600113305305 48820466521384146951 9415116094: 400 3305727036 5759591953 0921861173 8193261179 3105118548 : 450 0744623799 62749567351885752724 8912279381 8301194912 : 500 9833673362 4406566430 8602139494 63952247371907021798 : 550 6094370277 0539217176 2931767523 8467481846 7669405132 : 600 0005681271 4526356082 7785771342 7577896091 7363717872 : 650 1468440901 2249534301 4654958537 1050792279 6892589235 : 700 4201995611 2129021960 8640344181 5981362977 4771309960: 750 5187072113 4999999837 2978049951 0597317328 1609631859 : 800 5024459455 3469083026 4252230825 3344685035 2619311881: 850 7101000313 7838752886 5875332083 8142061717 7669147303 : 900 5982534904 2875546873 1159562863 8823537875 9375195778: 950 1857780532 1712268066 1300192787 6611195909 2164201989 : 1000 38095257201065485863 2788659361 5338182796 8230301952 : 1050 133
ПЕРВЫЕ 10 000 ЗНАКОВ ЧИСЛА 7Г 0353018529 6899577362 2599413891 2497217752 8347913151: 1100 5574857242 4541506959 5082953311 6861727855 8890750983 : 1150 8175463746 4939319255 0604009277 0167113900 9848824012 : 1200 8583616035 6370766010 4710181942 9555961989 4676783744 : 1250 9448255379 7747268471 0404753464 6208046684 2590694912 : 1300 9331367702 8989152104 7521620569 6602405803 8150193511: 1350 2533824300 3558764024 7496473263 9141992726 0426992279 : 1400 6782354781 6360093417 2164121992 4586315030 2861829745 : 1450 5570674983 8505494588 5869269956 9092721079 7509302955 : 1500 3211653449 8720275596 0236480665 4991198818 3479775356 : 1550 6369807426 5425278625 5181841757 4672890977 7727938000 : 1600 8164706001 6145249192 1732172147 7235014144 1973568548 : 1650 1613611573 5255213347 5741849468 4385233239 0739414333 : 1700 4547762416 8625189835 6948556209 9219222184 2725502542 : 1750 5688767179 0494601653 4668049886 2723279178 6085784383: 1800 8279679766 8145410095 3883786360 9506800642 2512520511: 1850 7392984896 0841284886 2694560424 1965285022 2106611863: 1900 0674427862 2039194945 0471237137 8696095636 4371917287: 1950 4677646575 7396241389 0865832645 9958133904 7802759009: 2000 9465764078 9512694683 9835259570 9825822620 5224894077: 2050 2671947826 8482601476 9909026401 3639443745 5305068203: 2100 4962524517 4939965143 1429809190 6592509372 2169646151: 2150 5709858387 4105978859 5977297549 8930161753 9284681382 : 2200 6868386894 2774155991 8559252459 5395943104 9972524680: 2250 8459872736 4469584865 3836736222 6260991246 0805124388: 2300 4390451244 1365497627 8079771569 1435997700 1296160894 : 2350 4169486855 5848406353 4220722258 2848864815 8456028506: 2400 0168427394 5226746767 8895252138 5225499546 6672782398: 2450 6456596116 3548862305 7745649803 5593634568 1743241125 : 2500 1507606947 9451096596 0940252288 7971089314 5669136867 : 2550 2287489405 6010150330 8617928680 9208747609 1782493858 : 2600 9009714909 6759852613 6554978189 3129784821 6829989487 : 2650 2265880485 7564014270 4775551323 7964145152 3746234364 : 2700 5428584447 9526586782 1051141354 7357395231 1342716610 : 2750 2135969536 2314429524 8493718711 0145765403 5902799344 : 2800 0374200731 0578539062 1983874478 0847848968 3321445713 : 2850 134
ПЕРВЫЕ 10 000 ЗНАКОВ ЧИСЛА ТС 8687519435 0643021845 3191048481 0053706146 8067491927 : 2900 8191197939 9520614196 6342875444 0643745123 7181921799 : 2950 9839101591 9561814675 1426912397 4894090718 6494231961 : 3000 5679452080 9514655022 5231603881 9301420937 6213785595 : 3050 6638937787 0830390697 9207734672 2182562599 6615014215 : 3100 0306803844 7734549202 6054146659 2520149744 2850732518 : 3150 6660021324 3408819071 0486331734 6496514539 0579626856 : 3200 1005508106 6587969981 6357473638 4052571459 1028970641 : 3250 4011097120 6280439039 7595156771 5770042033 7869936007 : 3300 2305587631 7635942187 3125147120 5329281918 2618612586 : 3350 7321579198 4148488291 6447060957 5270695722 0917567116 : 3400 7229109816 9091528017 3506712748 5832228718 3520935396 : 3450 5725121083 5791513698 8209144421 0067510334 6711031412 : 3500 6711136990 8658516398 3150197016 5151168517 1437657618 : 3550 3515565088 4909989859 9823873455 2833163550 7647918535 : 3600 8932261854 8963213293 3089857064 2046752590 7091548141: 3650 6549859461 6371802709 8199430992 4488957571 2828905923 : 3700 2332609729 9712084433 5732654893 8239119325 9746366730 : 3750 58360414281388303203 8249037589 8524374417 0291327656 : 3800 1809377344 4030707469 2112019130 2033038019 7621101100 : 3850 4492932151 6084244485 9637669838 9522868478 3123552658 : 3900 2131449576 8572624334 4189303968 6426243410 7732269780 : 3950 2807318915 4411010446 8232527162 0105265227 2111660396 : 4000 6655730925 4711055785 3763466820 6531098965 2691862056 : 4050 4769312570 5863566201 8558100729 3606598764 8611791045 : 4100 3348850346 1136576867 5324944166 8039626579 7877185560 : 4150 8455296541 2665408530 6143444318 5867697514 5661406800 : 4200 7002378776 5913440171 2749470420 5622305389 9456131407 : 4250 1127000407 8547332699 3908145466 4645880797 2708266830 : 4300 6343285878 5698305235 8089330657 5740679545 7163775254: 4350 2021149557 6158140025 0126228594 1302164715 5097925923 : 4400 0990796547 3761255176 5675135751 7829666454 7791745011: 4450 2996148903 0463994713 2962107340 4375189573 5961458901 : 4500 9389713111 7904297828 5647503203 1986915140 2870808599 : 4550 0480109412 1472213179 4764777262 2414254854 5403321571: 4600 8530614228 8137585043 0633217518 2979866223 7172159160 : 4650 135
ПЕРВЫЕ 10 000 ЗНАКОВ ЧИСЛА Л 7716692547 4873898665 4949450114 6540628433 6639379003 : 4700 9769265672 1463853067 3609657120 9180763832 7166416274 : 4750 8888007869 2560290228 4721040317 2118608204 1900042296 : 4800 6171196377 9213375751 1495950156 6049631862 9472654736 : 4850 4252308177 0367515906 7350235072 8354056704 0386743513 : 4900 6222247715 8915049530 9844489333 0963408780 7693259939 : 4950 7805419341 4473774418 4263129860 8099888687 4132604721: 5000 5695162396 5864573021 6315981931 9516735381 2974167729 : 5050 4786724229 2465436680 0980676928 2382806899 6400482435 : 5100 4037014163 1496589794 0924323789 6907069779 4223625082 : 5150 2168895738 3798623001 5937764716 5122893578 6015881617 : 5200 5578297352 3344604281 5126272037 3431465319 7777416031: 5250 9906655418 7639792933 4419521541 3418994854 4473456738: 5300 3162499341 9131814809 2777710386 3877343177 2075456545 : 5350 3220777092 1201905166 0962804909 2636019759 8828161332 : 5400 3166636528 6193266863 3606273567 6303544776 2803504507 : 5450 7723554710 5859548702 7908143562 4014517180 6246436267 : 5500 9456127531 8134078330 3362542327 8394497538 2437205835 : 5550 3114771199 2606381334 6776879695 9703098339 1307710987 : 5600 0408591337 4641442822 7726346594 7047458784 7787201927 : 5650 7152807317 6790770715 7213444730 6057007334 9243693113 : 5700 8350493163 1284042512 1925651798 0694113528 0131470130 : 5750 4781643788 5185290928 5452011658 3934196562 1349143415 : 5800 9562586586 5570552690 4965209858 0338507224 2648293972: 5850 8584783163 0577775606 8887644624 8246857926 0395352773 : 5900 4803048029 0058760758 2510474709 1643961362 6760449256 : 5950 2742042083 2085661190 6254543372 1315359584 5068772460: 6000 2901618766 7952406163 4252257719 5429162991 9306455377 : 6050 9914037340 4328752628 8896399587 9475729174 6426357455 : 6100 2540790914 5135711136 9410911939 3251910760 2082520261 : 6150 8798531887 7058429725 9167781314 9699009019 2116971737 : 6200 2784768472 6860849003 3770242429 1651300500 5168323364 : 6250 3503895170 2989392233 4517220138 1280696501 1784408745 : 6300 1960121228 5993716231 3017114448 4640903890 6449544400 : 6350 6198690754 8516026327 5052983491 8740786680 8818338510 : 6400 2283345085 0486082503 9302133219 7155184306 3545500766 : 6450 136
ПЕРВЫЕ 10 000 ЗНАКОВ ЧИСЛА 71 8282949304 1377655279 3975175461 3953984683 3936383047 : 6500 4611996653 8581538420 5685338621 8672523340 2830871123 : 6550 2827892125 0771262946 3229563989 8989358211 6745627010: 6600 2183564622 0134967151 8819097303 8119800497 3407239610 : 6650 3685406643 1939509790 1906996395 5245300545 0580685501: 6700 9567302292 1913933918 5680344903 9820595510 0226353536 : 6750 1920419947 4553859381 0234395544 9597783779 0237421617 : 6800 2711172364 3435439478 2218185286 2408514006 6604433258 : 6850 8856986705 4315470696 5747458550 3323233421 0730154594 : 6900 0516553790 6866273337 9958511562 5784322988 2737231989 : 6950 8757141595 7811196358 3300594087 3068121602 8764962867 : 7000 4460477464 9159950549 7374256269 01049037781986835938: 7050 1465741268 0492564879 8556145372 3478673303 9046883834 : 7100 3634655379 4986419270 5638729317 4872332083 7601123029: 7150 9113679386 2708943879 9362016295 1541337142 4892830722 : 7200 0126901475 4668476535 7616477379 4675200490 7571555278: 7250 1965362132 3926406160 1363581559 0742202020 3187277605 : 7300 2772190055 6148425551 8792530343 5139844253 2234157623 : 7350 3610642506 3904975008 6562710953 5919465897 5141310348 : 7400 2276930624 7435363256 9160781547 8181152843 6679570611 : 7450 0861533150 4452127473 9245449454 2368288606 1340841486 : 7500 3776700961 2071512491 4043027253 8607648236 3414334623 : 7550 5189757664 5216413767 9690314950 1910857598 4423919862 : 7600 9164219399 4907236234 6468441173 9403265918 4044378051: 7650 3338945257 4239950829 6591228508 5558215725 0310712570 : 7700 1266830240 2929525220 1187267675 6220415420 5161841634 : 7750 8475651699 9811614101 0029960783 8690929160 3028840026 : 7800 9104140792 8862150784 2451670908 7000699282 1206604183 : 7850 7180653556 7252532567 5328612910 4248776182 5829765157 : 7900 9598470356 2226293486 0034158722 9805349896 5022629174 : 7950 8788202734 2092222453 3985626476 6914905562 8425039127 : 8000 5771028402 7998066365 8254889264 88025456610172967026 : 8050 6407655904 2909945681 5065265305 3718294127 0336931378 : 8100 5178609040 7086671149 6558343434 7693385781 7113864558 : 8150 7367812301 4587687126 6034891390 9562009939 3610310291: 8200 6161528813 8437909904 2317473363 9480457593 1493140529 : 8250 137
ПЕРВЫЕ 10 000 ЗНАКОВ ЧИСЛА 71 7634757481 1935670911 0137751721 0080315590 2485309066 : 8300 9203767192 2033229094 3346768514 2214477379 3937517034 : 8350 4366199104 0337511173 5471918550 4644902636 5512816228 : 8400 8244625759 1633303910 7225383742 1821408835 0865739177 : 8450 1509682887 4782656995 9957449066 1758344137 5223970968 : 8500 3408005355 9849175417 3818839994 4697486762 6551658276: 8550 5848358845 3142775687 9002909517 0283529716 3445621296 : 8600 4043523117 6006651012 4120065975 5851276178 5838292041 : 8650 9748442360 8007193045 7618932349 2292796501 9875187212 : 8700 7267507981 2554709589 0455635792 1221033346 6974992356 : 8750 3025494780 2490114195 2123828153 0911407907 3860251522 : 8800 7429958180 7247162591 6685451333 1239480494 7079119153 : 8850 2673430282 4418604142 6363954800 0448002670 4962482017 : 8900 9289647669 7583183271 3142517029 6923488962 7668440323 : 8950 2609275249 6035799646 9256504936 8183609003 2380929345 : 9000 9588970695 3653494060 3402166544 3755890045 6328822505 : 9050 4525564056 4482465151 8754711962 1844396582 5337543885 : 9100 6909411303 1509526179 3780029741 2076651479 3942590298 : 9150 9695946995 5657612186 5619673378 6236256125 2163208628 : 9200 6922210327 4889218654 3648022967 8070576561 5144632046 : 9250 9279068212 0738837781 4233562823 6089632080 6822246801: 9300 2248261177 1858963814 0918390367 3672220888 3215137556 : 9350 0037279839 4004152970 0287830766 7094447456 0134556417 : 9400 2543709069 7939612257 1429894671 5435784687 8861444581: 9450 2314593571 9849225284 7160504922 1242470141 2147805734 : 9500 5510500801 9086996033 0276347870 8108175450 1193071412 : 9550 2339086639 3833952942 5786905076 4310063835 1983438934 : 9600 1596131854 3475464955 6978103829 3097164651 4384070070 : 9650 7360411237 3599843452 2516105070 2705623526 6012764848 : 9700 3084076118 3013052793 2054274628 6540360367 4532865105 : 9750 7065874882 2569815793 6789766974 2205750596 8344086973: 9800 5020141020 6723585020 0724522563 2651341055 9240190274 : 9850 2162484391 4035998953 5394590944 0704691209 1409387001: 9900 2645600162 3742880210 9276457931 0657922955 2498872758 : 9950 4610126483 6999892256 9596881592 0560010165 5256375678 : 10 000 138
Библиография BECKMANN, Р., A History of Pi, Nueva York, St. Martin’s Griffin, 1976. Existe una edition alemana de 2004. BLATNER, D., The Joy of Pi, Nueva York, Walker and Company, 1999. DeLAHAYE, J.-P., Le Fascinant Nombre Pi, Paris, Belin-Pour la Science, 2001. PlSA MenEndez, P., La cuadratura del circulo: geodesia у metrologia en el mundo antiguo, Oviedo, Cincopiedras, 2007. POSAMENILR, A. у LEHMAN, I., La proporcion transcendental. La historia de Pi, el numero mas misterioso del mundo, Barcelona, Ariel, 2006. ToRIJA HERRERA, R., Arquimedes: alrededor del circulo, Madrid, Nivola, 1999. 139

Алфавитный указатель алгоритм 24, 28, 92,126—127 алеф 48 ал-Каши 28 аль-Хорезми, Мухаммед ибн Муса 28 Ариабхата 26 Архимед 17, 20-25, 27, 29-31, 62, 83-84,105 Бернулли числа 79 бесконечное произведение 65, 81, 85 Боэций 61 Брауэр, Лёйтзен Эгберт Ян И Брахмагупта 26 Бхаскара II 27 Бюффон, граф де 67, 69—71 Валлис, Джон 64—65, 81 вероятность 67—74, 101, 119, 121, 123, 124,126 взаимно однозначное соответствие 44—45 Виет, Франсуа 29—30, 82—85 выпрямление 13, 64 Галлей, Эдмунд 35 Галуа теория 58 Гарднер, Мартин 94 Гаусс, Карл Фридрих 23, 40, 73, 92 Гаусса кривая 72 Гёдель, Курт 129—131 Гейзенберга, принцип неопределенности 76,131 Гельфонд, Александр 60 гугол 123 Гюйгенс, Христиан 31, 65 Декарт, Рене 58 десятичное число И, 17, 52, 53, 55, 87, 95,119,125,128 диаметр 11-14,16,19,129 дисперсия 72 дробь 14, 25, 26, 49-51, 81, 86-88, 108 цепная 86—87 Евдокс Книдский 21 золотое число 51 интеграл 18, 31, 32, 34, 35, 65, 70, 72, 78, 80, 81 Кантор, Георг 47, 48, 50, 54, 55, 62,130 кардинальное число множества 45—50, 59,130 квадратура круга 17, 35, 36, 42, 43, 59, 60-66,112 Кельвин, лорд 75 Кеплера закон 76 Колмогоров, Андрей 126—127 компьютер И, 24, 41, 77, 89, 91 конические сечения 76 континуум-гипотеза 130 конус 76—77 Коупленда — Эрдёша число 129 Коэн, Пол 130 коэффициент 40, 42, 51, 57—60 Кулона закон 75 Ламберт, Иоганн Генрих 38, 39, 56, 86 Лаплас, маркиз де 70, 71 Лежандр, Адриен Мари 39, 92 Лейбниц, Готфрид Вильгельм 29, 31—33, 36, 80, 81 141
АЛФАВИТНЫЙ УКАЗАТЕЛЬ Леманн, Якоб Гейнрих Вильхельм 41 Линдеман, Фердинанд фон 13, 42, 43, 59, 60, 66,112 Литлвуд, Джон 90 Лиубилль, Жозеф 39 логарифм 60 магический квадрат 120 Мадхава из Сангамаграма 29, 36, 81 математический анализ 18, 31, 36, 68, 79 многоугольник 24, 25, 26, 29, 30, 77, 84, 116 вписанный 20, 21, 24 описанный 21, 24 множества 43—60 множество бесконечное 46, 49 подмножеств 130 Морган, Огастес де 41, 65, 67 Мэчин, Джон 35—40, 88, 92, 93 натуральный строй 107, 108—109 Непер, Джон 52 нормальное распределение 67, 72—73, 126 Ньютон, Исаак 31—36 окружность 12—18, 21, 30, 33, 76,129 папирус Ахмеса 19 периметр 12, 13, 18, 20, 24 период 53, 76 поле 58, 74 последовательность И, 51, 87, 100, 101, 103,109,120,123,124,125,127,128 постоянная тонкой структуры 15 предел 20-22, 80, 84, 92,123 Птолемей, Клавдий 25 радиус 12,15,16,18, 22, 76 Рамануджан Сриниваса 66, 89, 90 рекуррентная формула 24 Римана дзета-функция 67, 79, 85 ряд 29, 31, 33-37, 39, 65, 78-81, 85, 88, 93,108,116 Саган, Карл 110, 128, 129 Серпинский, Вацлав 126 система непротиворечивая 129, 131 полная 129,131 сложность 126—127 статистика 72,125 Стевин, Симон 52 Стирлинга формула 85, 117 строй диатонический 107—109 равномерно темперированный 109 сфера 23, 26, 77 сходимость 29, 37, 80, 88, 92,123 счетность 48, 49, 51, 54—56, 59,116,125, 126,130 термодинамика 123 тригонометрия 30, 35, 83 Тьюринг, Алан 89 Тьюринга машина 126 уравнение 33, 40, 51, 56—59, 64, 72 Фейнман, Ричард 119—120 Фейнмана точка 119 Фибоначчи 27, 81—83 Хайтина константа 126 Харди, Готфрид Харолд 90 Хофштадтер, Дуглас Роберт 131 ван Цейлен, Людольф 30—31, 116-117 цилиндр 23, 77 циркуль и линейка 13, 17, 30, 40, 56, 57, 59 142
АЛФАВИТНЫЙ УКАЗАТЕЛЬ цифры 11-12, 27, 31, 33, 38-42, 53, 80, 88, 91, 92, 94,100,101,107,109, ИЗ, 114,125-128,133-138 частота 108 число алгебраическое 40, 42, 47, 51, 56—60, 92,126 вещественное 42, 52—56, 59, 85, 126, 130 гауссово целое 74 евклидово 57 иррациональное 38-39, 53, 54, 56, 57, 59, 60, 87, 95,125,126 квазицелое 95 комплексное 20, 42, 74, 85, 95 нормальное 74, 125—129 построимое 42, 43, 57—59 простое 14, 67, 73, 81, 85, 95,129 рациональное 24, 39, 40, 47, 51, 53, 54, 56-60, 87-88 случайное 109, 126—127 трансфинитное 47—48, 59 трансцендентное 9, 39, 40, 42, 43, 59-60,128 универсальное 128—129 целое 47, 49-50, 53, 74, 85, 87, 95 Эйлер, Леонард 13, 38—39, 42, 59, 81, 85, 92,116 эллипс 76 эллипсоид 77 Эрмит, Шарль 42 Якоби, Карл Густав 10 ENIAC 89, 91 143
Научно-популярное издание Выходит в свет отдельными томами с 2014 года Мир математики Том 7 Хоакин Наварро Секреты числа 71. Почему неразрешима задача о квадратуре круга РОССИЯ Издатель, учредитель, редакция: ООО «Де Агостини», Россия Юридический адрес: Россия, 105066, г. Москва, ул. Александра Лукьянова, д. 3, стр. 1 Письма читателей по данному адресу не при- нимаются. Генеральный директор: Николаос Скилакис Главный редактор: Анастасия Жаркова Старший редактор: Дарья Клинг Финансовый директор: Наталия Василенко Коммерческий директор: Александр Якутов Менеджер по маркетингу: Михаил Ткачук Менеджер по продукту: Яна Чухиль Для заказа пропущенных книг и по всем вопро- сам, касающимся информации о коллекции, за- ходите на сайт www.deagostini.ru, по остальным вопросам обращайтесь по телефону бесплатной горячей линии в России: ® 8-800-200-02-01 Телефон горячей линии для читателей Москвы: Ж 8-495-660-02-02 Адрес для писем читателей: Россия, 170100, г. Тверь, Почтамт, а/я 245, «Де Агостини», «Мир математики» Пожалуйста, указывайте в письмах свои кон- тактные данные для обратной связи (телефон или e-mail). Распространение: ООО «Бурда Дистрибьюшен Сервисиз» УКРАИНА Издатель и учредитель: ООО «Де Агостини Паблишинг» Украина Юридический адрес: 01032, Украина, г. Киев, ул. Саксаганского, 119 Генеральный директор: Екатерина Клименко Для заказа пропущенных книг и по всем вопро- сам, касающимся информации о коллекции, за- ходите на сайт www.deagostini.ua, по остальным вопросам обращайтесь по телефону бесплатной горячей линии в Украине: ® 0-800-500-8-40 Адрес для писем читателей: Украина, 01033, г. Киев, а/я «Де Агостини», «Мир математики» Украша, 01033, м. Кшв, а/с «Де Arocrini» БЕЛАРУСЬ Импортер и дистрибьютор в РБ: ООО «Росчерк», 220037, г. Минск, ул. Авангардная, 48а, литер 8/к, тел./факс: +375 17 331 94 27 Телефон «горячей линии» в РБ: Ж + 375 17 279-87-87 (пн-пт, 9.00-21.00) Адрес для писем читателей: Республика Беларусь, 220040, г. Минск, а/я 224, ООО «Росчерк», «Де Агостини», «Мир математики» КАЗАХСТАН Распространение: ТОО «КГП «Бурда-Алатау 1 Ipecc» Издатель оставляет за собой право увеличить реко- мендуемую розничную цену книг. Издатель остав- ляет за собой право изменять последовательность заявленных тем томов издания и их содержание. Отпечатано в соответствии с предоставленными материалами в типографии: Grafica Veneta S.p.A Via Malcanton 2 35010 Trebaseleghe (PD) Italy Подписано в печать: 07.09.2013 Дата поступления в продажу на территории России: 04.03.2014 Формат 70 х 100 / 16. Гарнитура «Academy». Печать офсетная. Бумага офсетная. Печ. л. 4,5. Усл. печ. л. 5,832. Тираж: 200 000 экз. © Joaquin Navarro, 2010 (текст) © RBA Collecionables S.A., 2011 © ООО «Де Агостини», 2014 ISBN 978-5-9774-0682-6 ISBN 978-5-9774-0629-1 (т. 7) @ Данный знак информационной про- дукции размещен в соответствии с требования- ми Федерального закона от 29 декабря 2010 г. № 436-ФЗ «О защите детей от информации, при- чиняющей вред их здоровью и развитию». Издание для взрослых, не подлежит обязатель- ному подтверждению соответствия единым требо- ваниям, установленным Техническим регламентом Таможенного союза «О безопасности продукции, предназначенной для детей и подростков» ТР ТС 007/2011 от 23 сентября 2011 г. № 797.
Секреты числа 71 Почему неразрешима задача о квадратуре круга Число я, пожалуй, самое удивительное и парадоксальное в мире математики. Несмотря на то что ему посвящено множество книг, оно по праву считается самым изученным и сказать о нем что-то новое довольно сложно, оно по-прежнему притягивает пытливые умы исследователей. Для людей, далеких от математики, число я окружено множеством загадок. Знаете ли вы, для чего ученые считают десятичные знаки числа я? Зачем нам необходим пере- чень первого миллиарда знаков я? Правда ли, что науке извест- но все о числе я и его знаках? На эти и многие другие вопросы поможет найти ответ данная книга. ISBN 978-597740682-6