Комплексные числа — замечательный объект изучения и незаменимый инструмент. До конца XVIII века им отказывали в праве на существование, называя "воображаемыми" или даже "невозможными", но признавали их пользу для расчетов (уравнения степени 3 и выше). Затем появилась геометрическая интерпретация, позволившая представить комплексное число. Наконец, они нашли отображение в физических процессах (цепи переменного тока, электродинамика, теория относительности и др.), и вопрос о том, реальны ли мнимые числа, получил утвердительный ответ.

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

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

Что не так в принятом подходе

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

Решение, содержащее, на первый взгляд, бессмысленную операцию, приводит к верному ответу. Резонный вопрос: "А может, не такая уж она и бессмысленная?" заставляет математиков начать ее изучение, дополнив новыми элементами.

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

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

Но и это сравнение не обосновывает комплексную природу. Почему при таком переходе от числовой прямой к числовой плоскости сохраняются все основные свойства (кроме, разве что, упорядоченности)? Это просто удачное совпадение? Тогда можно ли построить принципиально другую структуру, также сохраняющую их?

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

Путь числа

Почему множество чисел расширялось? Бытовая необходимость в счете предметов привела к натуральным числам. Рациональные числа позволили работать с частями целого, отрицательные — вычитать, а действительные описали вообще все ощутимые величины. Так или иначе, появление новой структуры имело прикладное значение.

Но давайте посмотрим на развитие чисел с другого, геометрического ракурса. — точки на прямой, расположенные на одинаковом расстоянии друг от друга и ограниченные с одной стороны. убирают это ограничение, распределив числа в обоих направлениях. делают множество чисел всюду плотным: в нем нельзя увидеть дыр между элементами. же заполняют "невидимые" пробелы, отождествляя числовое множество с прямой.

Стоп, снято. Прямая раскрашена полностью, появление новых чисел в ее рамках попросту невозможно. Но подобно самураю, у числа нет цели, только путь. Логично предположить, что дальнейшее расширение числового множества откроет новые возможности, так же, как и каждый шаг в заполнении числами прямой. А наиболее простое и закономерное продолжение одномерного пространства, когда его потенциал исчерпан, — это плоскость.

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

Рождение

Итак, наша цель — описать структуру, представляемую в виде плоскости. Кроме того, нужно наделить ее чертами гордого числового множества. Начнем с первого пункта.

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

Вспомним о некоторых правилах построения новых числовых структур. Каждая следующая структура всегда включает предыдущую, причем в неискаженном виде, и новые числа не должны стать исключением. Следовательно, на плоскости должна найтись прямая, соответствующая множеству . Лучше всего подойдет одна из координатных осей, например, A‑ось. Такой выбор, во‑первых, сделает весьма простым обозначение всех действительных чисел — , а во‑вторых, отождествит (действительное число) с началом координат

Таким образом, новое число по сути является сочетанием (лат. complexus) двух компонент. Первая компонента  — координата по действительной А‑оси. Назовем ее действительной. Вторая компонента  — нечто, не существующее в рамках вещественных чисел, ортогональное им. Назовем ее мнимой. А изобретаемые числа, как нетрудно догадаться, назовем комплексными.

Чтобы не путаться, я буду обозначать действительные числа буквами а иные комплексные —

С обозначением новых чисел разобрались. Впереди самое интересное — арифметика! 

Становление

Алгебра чисел опирается на две операции: сложение и умножение. Они определены для всех числовых множеств, начиная с Однако права натуральных чисел жестко ограничены: уравнения вида имеют решения только при Это означает, что структура позволяет вычитать — то есть находить одно слагаемое при известных сумме и другом слагаемом — далеко не всегда.

Эту проблему решают В них уравнение вида гарантированно имеет решение, то есть для любых целых и число также является целым.

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

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

Сложение

Здесь все просто. Стандартное сложение векторов, при котором складываются их соответствующие координаты, прекрасно удовлетворяет аксиомам сложения, а именно:

• Коммутативность: Следует из коммутативности сложения в 

• Ассоциативность: Следует из ассоциативности сложения в 

• Наличие :

• Наличие противоположного элемента : Для каждого вектора таковым является противонаправленный вектор такой же длины. Именно это свойство позволяет вычитать.

Помимо прочего, такое сложение корректно работает для действительного подмножества :

Умножение

А здесь становится веселее. Что мы знаем об умножении векторов? На ум приходят две операции: скалярное произведение и векторное произведение.

Проблема скалярного произведения кроется в названии: его результат — число, а не вектор Умножение же должно быть замкнутым, то есть отображать два двумерных вектора в третий двумерный вектор Векторное произведение тоже не подойдет, так как дает трехмерный вектор

Стало быть, нам придется изобрести свое умножение , обладающее всеми "полевыми" свойствами:

• Коммутативность:

• Ассоциативность:

• Наличие :

• Наличие обратного элемента : Позволяет делить.

• Дистрибутивность: Это требование связывает умножение со сложением и одновременно разделяет их, лишая полной симметрии.

Первые два свойства часто применяются в дальнейших выкладках.

Вообще говоря, некоторые комплексные числа уже можно перемножать. Умножение вектора на скаляр определено: это растяжение/сжатие (и разворот, если множитель отрицательный). А скаляр — это элемент вида Умея складывать и умножать на скаляр, можем разложить комплексное число по базису:

Вспомним, что лежит на ‑оси, а значит, является действительным числом. Формально, мы вольны присвоить ему любое действительное значение, кроме нуля — векторы и останутся линейно независимыми. Однако единственный адекватный вариант — единица, иначе вектор не будет обозначать число что бессмысленно. Потому положим

Теперь можно вообще упразднить, потому что

Алхимия

Попробуем разработать механизм умножения произвольных и Пусть известны:

Мы не знаем в точности, как работает , однако оно гарантированно дистрибутивно. Поэтому:

Здесь я переписал как Как и умножение вектора на скаляр, умножение двух действительных чисел (двух скаляров) нам под силу. Так что эти выражения равнозначны.

Изучим получившееся выражение. Первое слагаемое — это произведение действительных чисел. Его результат — известный вектор на действительной оси.

Второе слагаемое — это произведение скаляра и базисного вектора. Его результат — известный вектор на мнимой оси.

Третье слагаемое туманно. Что такое (оно же )? Мы пока не умеем перемножать мнимые векторы. Известно лишь, что это некое комплексное число (потому что замкнуто в ):

Если бы мы знали, чему равно , то было бы определено как сумма трех известных векторов. Получается, нам остается задать и , чтобы определить . Магия дистрибутивности!

Что есть i2?

Отвечая на этот вопрос, вновь обратимся к аксиомам поля. В самом деле, для произвольного ненулевого уравнение должно иметь таки одно решение. Что это может сказать об Да практически все!

Имеем:

Так как :

Тогда уравнение принимает вид:

Векторы равны тогда и только тогда, когда равны их соответствующие координаты, поэтому:

Шустрыми преобразованиями мы перешли к полностью действительной системе, безо всякой "мнимости" и звездочек. Задача: найти и , при которых система имеет ровно одно решение вне зависимости от и . То есть ее определитель никогда не равен нулю:

Для неравенство выполнено всегда, так как равенство нулю одновременно и невозможно по условию .

Для остальных :

Квадратный трехчлен относительно не имеет корней, когда дискриминант отрицателен:

Вот оно, итоговое ограничение на

Любое значение из выделенной области обеспечит существование и единственность для любого . Дистрибутивное умножение станет еще и обратимым, и формирование как поля завершится. Однако теперь выбор кажется очевидным:

• Область допустимых значений симметрична относительно ‑оси. Если выбрать, скажем, , то возникнет вопрос: а почему не ? Если же вектор лежит на оси, у него нет такой пары.

• может быть любым действительным числом, простейший вариант может быть любым отрицательным числом, простейший вариант

Постфактум правильность выбора подтверждается уникальными геометрическими свойствами, которые получает умножение:

Можно показать, что свойство модулей вообще не выполняется при иных значениях (возможно, этому будет посвящена следующая статья). Хотим удобное и эстетичное произведение — берем

На самом деле, использование другого вектора из ОДЗ в качестве не внесет принципиальных изменений. Во всех конфигурациях найдется элемент, квадрат которого равен (доказательство оставляем читателю в качестве несложного упражнения:). Просто он не будет базисным вектором. Усложнятся расчеты и восприятие , но перед нами будет та же комплексная плоскость с точностью до одного линейного преобразования.

Итог

Я хотел продемонстрировать, что корень из — не только не случайное дополнение действительных чисел, но и логичный эволюционный шаг. Числовая плоскость требует ровно такой элемент на роль базисного вектора, а не просто некую невозможную в операцию. В некотором смысле, богатство комплексного мира и его сопряженность с физикой объясняется именно тем, что это единственная полноценно числовая двумерная структура. Нам кажется естественной способность действительных чисел объяснять реальный мир. Так почему же нас должны удивлять возможности их комплексных потомков?

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