Путеводитель для влюбленных в математику | страница 27

В этом легко убедиться: достаточно умножить (A) на a + bi, аккуратно произвести все необходимые арифметические действия – и получить в итоге единицу.

Заметим, что оба знаменателя в (A) равны a² + b². Если вдруг эта сумма окажется равной нулю, формула потеряет смысл, потому что деление на ноль запрещено. Но такое возможно лишь в том случае, если a = 0 и b = 0. Другими словами, все комплексные числа имеют взаимно обратные, кроме числа 0 + 0i. Это подтверждает ожидания: ноль – единственное действительное число, не имеющее взаимно обратного, и среди комплексных чисел дело обстоит так же. Но обратное по отношению к любому ненулевому комплексному числу – тоже комплексное число.

Расправившись со взаимно обратными числами, мы можем наконец перейти к делению. Деление числа X на число Y дает такой же результат, как умножение числа X на число, взаимно обратное Y. Следовательно, частное двух комплексных чисел (если делитель не равен нулю) – комплексное число.

Отсюда можно сделать вывод: основные арифметические действия – сложение, вычитание, умножение и деление – прекрасно справляются с комплексными числами. Мы можем проделать эти операции над парой любых комплексных чисел (исключение составляет деление на ноль) и получить комплексное число.

Сейчас мы снова попытаемся извлечь квадратный корень. Сперва именно эта задача загнала нас в тупик. Действительные числа, так сказать, неполноценны: из каких-то квадратный корень извлекается, а из каких-то – нет. И вот мы дополняем действительные числа мнимыми, придумав новое число

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

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

Нам нужно найти такое комплексное число a + bi, что (a + bi) ² = i. Начнем с перемножения (a + bi) и (a + bi):

Теперь нам нужно приравнять это выражение к i = 0 + 1 × i. В результате мы получим: a² – b² = 0 и 2ab = 1.

Первое условие тождественно тому, что a = b или a = –b.

Если a = b и 2ab = 1, то 2a² = 1.

Таким образом,

Так как a = b, мы нашли два квадратных корня из мнимой единицы: