Более 2500 лет математики мучились над решениями уравнений относительно х. Путь поиска решений[36], то есть нахождения корней этих уравнений, для все более и более сложных уравнений стал одним из великих эпосов в истории человеческой мысли.

Одна из первых подобных задач поставила в тупик граждан Делоса[37] примерно в 430 году до н. э. Отчаявшись предотвратить распространение чумы, они, по совету Дельфийского оракула, вознамерились увеличить объем кубического алтаря бога Аполлона в 2 раза. К сожалению, оказалось, что удвоение объема куба[38] требует знания и умения извлекать кубический корень из 2. Посредством того ограниченного арсенала геометрических инструментов, который имелся в то время у греков (циркуль и линейка), решить эту задачу было невозможно.

Более поздние исследования подобных задач выявили еще одну неизбежно возникающую раздражающую мелочь: в процессе решения уравнений очень часто приходилось извлекать квадратные корни из отрицательных чисел[39]. Над этим еще довольно долго смеялись, как над чем-то ложным и софистическим.

Математики почти до 1700-х годов отрицали возможность извлекать квадратные корни из отрицательных чисел, поскольку те не могли быть положительными числами, так как положительное число, умноженное на положительное, всегда дает положительное. А мы ищем числа, квадраты которых отрицательные. Они не могли быть и отрицательными числами, так как отрицательное число, умноженное на отрицательное, опять же дает положительное. Казалось, не было никакой надежды на получение числа, которое при умножении на себя даст отрицательное число.

Здесь мы опять наблюдаем очередной кризис. Они неизменно возникают в математике в случае, когда уже существующие операции пытаются применять в числовых областях, где применить их уже нельзя. Так, вычитание больших чисел из меньших породило отрицательные числа (см. главу 3), а деление породило дроби (см. главу 5), необходимость извлекать квадратные корни в конечном итоге вынудила вновь расширить вселенную чисел.

Исторически так сложилось, что этот шаг был самым болезненным. Квадратный корень из –1 до сих пор носит унизительное название «мнимый».

Этот новый вид чисел (или, если вы предпочитаете быть агностиками, называйте их символами, а не числами) определяется таким свойством, что

i² = –1.

То, что i нельзя найти на числовой оси, действительно правда. В этом отношении i гораздо более необычно, чем ноль, отрицательные числа, дроби и даже иррациональные числа, но, как ни странно, у всех мнимых чисел есть место на числовой оси. И при достаточном воображении наш ум может его отыскать и для i тоже. Оно «живет» на собственной мнимой оси, расположенной под прямым углом к основной. И, наложив мнимую ось на ось реальную числовую, вы создадите 2D-пространство, то есть двумерную плоскость, где обитают воображаемые числа.

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

Комплексные числа — это сверкающая вершина всей системы чисел. Они радуют теми же свойствами, что и реальные числа. Их можно складывать и вычитать, умножать и делить, но они лучше реальных чисел, потому что из них всегда можно извлечь корни. Вы можете извлечь из комплексного числа квадратный корень, корень третьей степени или вообще корень любой степени, а в результате все равно получится комплексное число.

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

Вы можете оценить полезность комплексных чисел (то есть почувствовать их правдоподобие), если знаете, как их визуализировать. Ключом к визуализации станет понимание того, что такое умножение на i. Предположим, мы умножаем произвольное положительное число, скажем 3, на i. Результатом будет мнимое число 3i.

Таким образом, умножение на i представляет собой вращение против часовой стрелки на четверть оборота. До умножения на i число 3 обозначается стрелкой длиною 3, направленной на восток, результатом умножения на i будет стрелка такой же длины, но направленная на север.

Инженеры-электротехники любят комплексные числа именно по этой причине. Иметь такой компактный способ представления вращения на 90° при работе с переменным током, напряжением или электрическими и магнитными полями очень удобно, потому что они часто связаны с колебаниями или волнами, которые составляют четверть цикла (то есть представляют сдвиг фазы на 90°).

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

Поворот на 90° также проливает свет на то, что на самом деле означает i² = –1. Если мы умножим положительное число на i², то стрелка, равная длине положительного числа, повернется на 180° в направлении с востока на запад, так как производится два поворота на 90° (по одному для каждой степени i), в итоге — на 180°.

Но умножение на –1 делает такое же сальто на 180°. Вот поэтому i² = –1.

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

В 1976 году мой коллега по Корнуолльскому университету Джон Хаббард попытался применить в задачах по динамике метод Ньютона[40], мощный алгоритм для поиска корней уравнений в комплексной плоскости. В соответствии с этим методом выбирается начальное значение (близкое к значению корня) и неоднократно производятся определенные вычисления. При этом на каждом последующем шаге используется значение, полученное на предыдущем. Этот метод позволяет быстро приблизиться к корням уравнения.

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