Истина и красота. Всемирная история симметрии.
Шрифт:
Достаточно сложные дроби могут интерполировать с исключительной точностью, в чем мы уже могли убедиться, рассматривал вавилонскую арифметику. Крепла уверенность, что любую величину можно представить в виде дроби.
Но тут на сцену выходят Пифагор и носящая его имя теорема. Немедленное следствие этой теоремы состоит в том что длина диагонали единичного квадрата представляет собой число, квадрат которого равен в точности 2. Иными словами, диагональ имеет длину, равную квадратному корню из 2. Такое число обязано существовать, поскольку каждый может нарисовать квадрат, а у него, разумеется, есть диагональ, а она, без сомнения, имеет длину. Но, как осознал на свою беду Гиппас, чем бы ни был квадратный корень из 2, он не может точно выражаться в виде дроби. Это число иррациональное. Таким образом, потребовалось еще больше чисел для заполнения невидимых дыр между всеми возможными дробями.
В
40
Willem van Oranje (1533–1584) — принц Оранский, граф Нассауский, первый статхаудер Голландии и Зеландии, один из лидеров Нидерландской революции. (Примеч. перев.)
Стевин опубликовал очерк, описывающий его новую систему обозначений. Он в достаточной мере осознавал проблемы маркетинга и включил утверждение, что его идеи успешно прошли «тщательные испытания людьми практической закалки, которые нашли их настолько полезными, что они добровольно отказались от своих собственных усовершенствований в пользу данного». Далее он утверждал, что его десятичная система «учит нас, что все вычисления, которые встречаются при ведении бизнеса, можно выполнить в одних только целых числах, не прибегая к помощи дробей». В обозначениях Стевина не использовалась современная десятичная запятая, нотам было нечто близкое. Там, где мы пишем «3,1416», Стевин писал бы 3
На самом деле с использованием десятичных дробей записать квадратный корень из двух нельзя — если только в ваши планы не входит продолжать эту запись без конца. Но равным образом нельзя записать в виде десятичной дроби и 1/ 3. Близким к 1/ 3значением будет 0,33, но еще ближе 0,333, а сверх того лучше 0,3333 и так далее. Точное представление существует — тут мы употребим это слово новым для себя способом, — только если рассматривать бесконечную последовательность троек. Но если такое приемлемо, то можно в принципе точно записать и квадратный корень из двух. В том, как там устроены десятичные знаки, не видно никакого порядка, но, взяв достаточно большое количество этих знаков, можно получить число, квадрат которого настолько близок к числу 2, насколько пожелаете. Идея в том, что если взять вседесятичные знаки, получится число, квадрат которого равен точно 2.
После принятия «бесконечных десятичных дробей» система вещественных чисел стала полной. В ней оказалось возможным представить любое число, которое может потребоваться бизнесмену или математику, с любой желаемой точностью. Всякое измерение, которое только можно себе вообразить, давало результат, выразимый десятичной дробью. Если требовалось записать отрицательные числа, десятичная система с легкостью справлялась с этой задачей. Нужды ни в каких числах какого-либо другого сорта не возникало. Не осталось никаких пробелов, которые надо было бы заполнить.
Если не считать….
Те странные формулы Кардано для корней квадратного уравнения, казалось, пытались нам что-то сообщить, но что именно — оставалось крайне неясным. Если начать с совершенно, казалось бы, безобидного уравнения третьей степени — такого, где корень нам известен, — то формула не дает этот ответ в явном виде. Вместо этого она предлагает громоздкое предписание, включающее извлечение кубического корня из чего-то даже еще более громоздкого, и при этом требуется, казалось бы, невозможное — извлечение квадратного корня из отрицательного числа. Пифагорейцев ставил в тупик квадратный корень из двух, но квадратный корень из минус единицы казался еще более непостижимым.
На протяжении нескольких сотен лет возможность придания разумного смысла квадратному корню из минус единицы периодически то посещала коллективное математическое сознание, то покидала его. Никто не понимал, могут ли такие числа существовать. Постепенно, однако, зрело осознание, что если бы они существовали, то были бы исключительно полезны.
Первоначально такие «мнимые» величины использовались ровно для одной цели: указывать на задачи, не имеющие решения. Если вы желали найти число, квадрат которого равен минус единице, то формальное решение «квадратный корень из минус единицы» было мнимым — в смысле воображаемым, — поскольку такого решения не существовало. Не кто иной, как мыслитель Рене Декарт, именно так и утверждал. В 1637 году он проводил различие между «вещественными» числами и «мнимыми», настаивая, что присутствие мнимых величин означает отсутствие решения. Ньютон говорил то же самое. Но оба эти светила не принимали во внимание сделанное столетиями раньше наблюдение Бомбелли о том, что иногда мнимые величины указывают на наличие решения, — но только сигнал, который они подают, нелегко расшифровать.
В 1673 году английский математик Джон Валлис — родившийся в Эшфорде, примерно в пятнадцати милях от моего родного города в графстве Кент — добился фантастического продвижения. Он обнаружил, что простой способ представления мнимых чисел — и даже «комплексных» чисел, которые соединяют в себе вещественные и мнимые — состоит в том, чтобы использовать точки на плоскости. Первым шагом является ныне вполне привычная концепция вещественной «числовой прямой» — прямой линии, простирающейся до бесконечности в обоих направлениях, с отметкой о посередине, направо от которой уходят вдаль положительные вещественные числа, а налево — отрицательные.
Каждое вещественное число можно поместить на числовую прямую. Каждый следующий десятичный знак требует деления единицы длины на десять, затем на сто, тысячу и т.д. равных частей, но это не проблема. Положение чисел, подобных 2, можно указать с любой желаемой степенью точности — в данном случае где-то между 1 и 2, немного слева от 1,5. Число живет немного справа от 3, и т.д.
Вещественная числовая прямая.
Но куда же отправить -1? Места на вещественной числовой прямой для этого числа нет. Это число ни положительно, ни отрицательно, поэтому ему не место ни справа, ни слева от точки 0.
Валлис поместил его где-то еще. Он ввел вторую числовую прямую, чтобы разместить на ней мнимые числа, т.е. числа, кратные i, [41] и расположил ее под прямым углом к вещественной числовой прямой. Это был в буквальном смысле образец «широкого подхода к делу».
Две числовые прямые, вещественная и мнимая, должны пересекаться в точке 0. Совсем не сложно доказать, что если числа вообще имеют смысл, то 0 умножить на iдолжно равняться 0, так что начало отсчета на вещественной и мнимой прямых одно и то же.
41
Здесь iобозначает -1 (см. главу 5). Под «кратными» понимаются числа вида i•(вещественное число). (Примеч. перев.)