Новый ум короля: О компьютерах, мышлении и законах физики

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

Имея квадратный корень из -1, можно без особого труда получить квадратные корни для всех действительных чисел. Если а является положительным действительным числом, то величина i х √ a есть квадратный корень из отрицательного действительного числа — а. (У этого числа есть еще другой квадратный корень, а именно — i х √ а

.) Ну, а что же можно сказать о самом числе i? Есть ли у него квадратный корень? Разумеется есть, поскольку, как легко проверить, величина

1+ i/√ 2

(равно как и та же величина, взятая с отрицательным знаком), будучи возведена в квадрат, равна i. А у этой величины, в свою очередь, есть квадратный корень? Ответ опять положительный: квадрат числа

 или того же числа, взятого с отрицательным знаком, действительно равен (1 + i)/√2.

Обратите внимание, что при образовании такого рода величин мы позволили себе складывать действительные и мнимые числа, а также умножать наши числа на произвольные действительные числа (или делить их на произвольные ненулевые действительные числа, а это то же самое, что умножать их на обратные величины). Получаемые таким образом объекты называются комплексными числами. Комплексное число это число вида: а + ib, где а и b— это действительные числа, называемые, соответственно, действительной

и мнимой частью комплексного числа. Правила сложения и умножения двух таких чисел вытекают из обычных правил (школьной) алгебры с одним дополнительным правилом i ² = — 1:

(а + ib) + (с + id) = (а + с) + i(b + d),

(а + ib) х (с + id) = (ас — bd) + i(ad + bc).

Удивительное дело: к созданию этой системы чисел нас подтолкнуло желание иметь возможность извлечения квадратных корней из любых чисел. Эта цель достигнута, хотя само по себе это еще не очевидно. Но новая система чисел позволяет делать гораздо больше: безнаказанно извлекать кубические корни, корни пятой степени, корни девяносто девятой степени, корни π-й степени, корни степени 1+ i и т. д. (это смог доказать еще в XVIII веке великий математик Леонард Эйлер). В качестве другого примера волшебных свойств комплексных чисел рассмотрим довольно сложные на вид тригонометрические формулы, которые проходят в школе. Так, синус и косинус суммы двух углов

sin (А + В) = sin A cos В + cos A sin В,

cos (А + В) = cos A cos В — sin A sin В

представляют собой, соответственно, просто-напросто мнимую и действительную части гораздо более простого (и легче запоминаемого!) комплексного уравнения [62]

:

e ^iA+iB= e ^iAe ^iB

Все, что нам нужно здесь знать, это «формула Эйлера» (по-видимому, полученная за много лет до Эйлера замечательным английским математиком XVI века Роджером Котсом):

e ^iA= cosA+i sinA,

которую мы теперь подставим в приведенное выше уравнение. В результате имеем:

cos (А + B) + i sin (А + В) = (cosА + i sinA)(cosВ + i sinВ),

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

Более того, любое алгебраическое уравнение

(где a ₀, a ₁, a ₂…., a _n являются комплексными числами и a _n≠ 0) всегда имеет своим решением некоторое комплексное число z. Например, существует комплексное число, удовлетворяющее соотношению:

z ¹⁰²+ 999 z ³³— πz ²= — 417 + i, хотя это совершенно не очевидно!

Это общее свойство иногда называют «основной теоремой алгебры». Многие математики XVIII века старались доказать этот результат. Получить удовлетворительное доказательство в общем случае оказалось не под силу даже Эйлеру. И только в 1831 году великий математик и естествоиспытатель Карл Фридрих Гаусс предложил потрясающий по своей оригинальности ход рассуждений и представил первое общее доказательство. Ключевым компонентом этого доказательства было применение топологических [63]рассуждений к геометрическому представлению комплексных чисел.