Мнимые числа интуитивно: почему i вовсе не выдумка

Спросите кого-нибудь, что такое мнимое число, и вы почти наверняка услышите "корень из минус единицы", произнесённый тоном признания в чём-то постыдном. Спросите, почему корень из минус единицы вообще должен существовать, и ответ почти всегда будет "математики просто так договорились", что звучит не как математика, а как правило настольной игры. Из всех тем школьной программы мнимые числа чаще всего преподаются как чистый указ: есть символ, он называется i, его квадрат равен -1, пожалуйста, не спрашивайте, что это значит.

Такое преподавание ставит всё с ног на голову, и эта статья: та самая картинка, которую обычно опускают. Мнимая единица не трюк и не формальность. Это направление, ровно в том же смысле, в каком отрицательное число это направление, и стоит увидеть, какое именно, как весь предмет складывается заново. Определяющее равенство i² = -1 перестаёт быть произвольным правилом и становится тем, что можно проверить собственным телом, дважды повернувшись на месте.

Худшее название в математике

Начнём с названия, потому что название наносит реальный вред. Слово "мнимые" родилось как насмешка. Рене Декарт употребил его в 1637 году, чтобы отмахнуться от этих чисел как от фикций, которые приходится записывать при решении уравнений, но которые не могут ничего значить. Насмешка прижилась, числа оказались незаменимыми, и теперь каждый школьник знакомится с одним из самых полезных объектов математики под ярлыком, утверждающим, что он ненастоящий.

Вот исторический факт, который должен снять страх: отрицательные числа прошли через то же самое. Веками серьёзные математики отвергали отрицательные числа как абсурд, ведь нельзя держать в руках минус три яблока. Законными их сделало не открытие, что они физически существуют. Их сделала законными картинка, числовая прямая, на которой отрицательное число это обычное число, указывающее в другую сторону, идея, которую мы собрали с нуля в статье об отрицательных числах. Мнимые числа: та же самая история, только следующая глава. Они кажутся ненастоящими ровно до тех пор, пока у вас нет картинки, а картинка, стоит её получить, столь же проста: отрицательные числа указывают назад, мнимые указывают вбок. Карл Фридрих Гаусс ясно видел проблему и предлагал переименовать их в боковые числа. Он был прав, название не прижилось, и слово "боковые" стоит держать в голове до конца этой статьи.

Вопрос, который всё решил

Мнимые числа придумали не для развлечения. Они пробились в математику через честный вопрос: какое число в квадрате даёт -1?

На числовой прямой у этого вопроса нет ответа, и стоит точно разобраться почему. Возвести в квадрат значит умножить число само на себя, поэтому у обоих множителей всегда один и тот же знак. Плюс на плюс даёт плюс. Минус на минус, как показал аргумент с разворотом, тоже даёт плюс, потому что два переворота взаимно уничтожаются. В любом случае результат оказывается на положительной стороне. Уравнение x² = -1 просит число, которого вся числовая прямая дать не может, и именно поэтому формула корней квадратного уравнения, разобранная в статье о квадратных уравнениях, вежливо сообщает "действительных решений нет", как только дискриминант уходит в минус.

Долгое время математики на этом и останавливались. Их переубедила не философия, а арифметика, которая отказывалась оставаться сломанной. В XVI веке итальянские математики, решая кубические уравнения, обнаружили, что их формулы иногда проходят прямо через квадратные корни из отрицательных чисел на пути к ответам, которые были заведомо верны: обычные целые числа, проверяемые вручную. Рафаэль Бомбелли сделал решающий шаг: он стал обращаться с невозможными корнями как с тем, с чем можно считать, следовал правилам и наблюдал, как мнимые части взаимно уничтожаются, оставляя правильный действительный ответ. Урок был неудобным, но недвусмысленным. Эти числа выполняли настоящую работу, независимо от того, мог ли кто-нибудь сказать, что они такое.

Умножение на -1: это пол-оборота

Чтобы увидеть, что такое i на самом деле, начните с того, чему вы уже доверяете. Умножение на -1 перебрасывает число на противоположную сторону от нуля: 5 становится -5, а -5 становится 5. На числовой прямой этот переброс есть вращение. Умножение на -1 разворачивает число на 180 градусов вокруг нуля, идеальные пол-оборота, и именно поэтому двойное умножение на -1 возвращает вас домой. Два полуоборота дают полный оборот, поэтому -1 умножить на -1 равно 1. Это была картинка разворота из статьи об отрицательных числах, и сейчас она окупится во второй раз.

Теперь задайте главный вопрос на языке вращений. Загадочное число i должно удовлетворять равенству i² = -1, а это значит: применить i дважды то же самое, что один раз сделать пол-оборота. Итак, i это операция, которая, выполненная два раза подряд, разворачивает вас на 180 градусов.

Произнесите это вслух, и ответ назовёт себя сам. Что нужно сделать дважды, чтобы оказаться лицом назад? Повернуться на четверть оборота, два раза. i это поворот на 90 градусов.

i: четверть оборота, и ей нужна плоскость

У четверти оборота есть одно немедленное следствие: она сбивает вас с прямой. Поверните число 1 на 90 градусов вокруг нуля, и вы окажетесь в точке ровно на единицу выше нуля, в месте, которого на числовой прямой попросту нет. Это и есть настоящее открытие, спрятанное внутри мнимых чисел, и именно этот шаг пропускает большинство объяснений. Проблема никогда не была в том, что √-1 невозможен. Проблема в том, что числовая прямая слишком мала. Числа не обязаны жить на одномерной прямой. Они могут заполнять двумерную плоскость.

Эта плоскость называется комплексной, и в ней нет ничего экзотичнее обычной карты. Знакомая числовая прямая идёт горизонтально: положительные числа направо, отрицательные налево. Новая ось идёт вертикально, и i живёт в точке на единицу вверх. Кратные i заполняют остальную вертикальную ось: 2i выше i, а -i ниже нуля. Горизонтальную ось называют действительной, а вертикальную мнимой, но после всего сказанного выше читайте эти подписи как запад-восток и север-юг. Вертикальное направление ничуть не менее законно, чем горизонтальное. Оно просто моложе.

Почему i² обязано равняться -1

Когда плоскость построена, определяющее равенство доказывает само себя. Возьмите число 1, стоящее на единицу к востоку от нуля. Умножьте на i: поверните на четверть оборота против часовой стрелки, и 1 переместится на вершину окружности, попав в точку i. Вот почему 1 × i = i, как и должно быть. Умножьте на i ещё раз: следующая четверть оборота переносит вас с севера на запад, на единицу левее нуля, в точку -1.

Два умножения на i превратили 1 в -1. В символах: i² = -1. В этом абзаце нет ни одного указа. Равенство, которое всем велят заучить, есть утверждение о геометрии: четверть оборота, повторённая дважды, даёт пол-оборота. Можно продолжить, и на этот узор стоит посмотреть хотя бы раз. Третья четверть оборота опускает -1 вниз, в точку -i, поэтому i³ = -i. Четвёртая замыкает круг обратно в 1, поэтому i⁴ = 1, и степени i повторяются вечно с периодом четыре, потому что четыре четверти оборота составляют один полный виток. То, что в учебнике выглядит причудливым алгебраическим фактом, есть вращающееся колесо.

Комплексные числа: просто координаты

Как только числа поселяются на плоскости, каждому числу в общем случае нужны две координаты, и комплексное число это ровно они и есть. Выражение 3 + 4i не является недорешённым примером на сложение, точно так же как координаты города не являются недорешённым вычислением. Это адрес: пройдите 3 на восток, затем 4 на север. Действительная и мнимая части это долгота и широта.

Арифметика сохраняет тот же вкус, что и на протяжении всей этой серии. Сложение комплексных чисел это ходьба: чтобы сложить 3 + 4i и 1 - 2i, объедините восточные части, объедините северные части и окажетесь в точке 4 + 2i. Это прогулка по числовой прямой из статьи об отрицательных числах, повышенная до карты. Умножение: то место, где плоскость отрабатывает своё существование. Умножение на комплексное число одновременно поворачивает и растягивает, на угол этого числа и на его расстояние от нуля. Умножение на i есть чистый частный случай четверти оборота в этом общем правиле, а умножение на -1 есть чистый случай полуоборота. Правила знаков, которые вы уже знали, всегда были правилами вращения, ограниченными прямой, где возможны только два поворота: никакого и кругом.

Где мнимые числа выполняют настоящую работу

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

Переменный ток: классический пример. Напряжение и ток в розетке колеблются как вращающиеся колёса, со сдвигами фаз в придачу, и инженеры-электрики описывают их комплексными числами, потому что умножение на комплексное число это в точности поворот с растяжением, а именно это цепи и делают с сигналами. Обработка сигналов идёт ещё глубже: преобразование Фурье, математический двигатель внутри сжатия музыки, медицинской визуализации и беспроводной связи, раскладывает сигналы на вращающиеся компоненты, записанные комплексными числами. Квантовая механика идёт дальше всех: i неустранимо сидит внутри уравнения Шрёдингера. А мост между ростом и вращением, формула, сделавшая всю эту бухгалтерию лёгкой, есть предмет нашей статьи о тождестве Эйлера, где экспоненте подают мнимый вход, и вместо роста она движется по окружности. Ничто из этой машинерии не работает без бокового направления. "Мнимые" числа несут нагрузку.

Откуда на самом деле берутся ошибки

Ошибки с i скапливаются в трёх местах, и все три растворяются в картинке вращения.

Первая: обращаться с i как с переменной, неизвестным x, который может быть чем угодно. i не является неизвестным. Это конкретная точка на плоскости и конкретный поворот, такой же осязаемый, как -1. Упрощая выражение вида i умножить на i умножить на i, вы не манипулируете загадкой. Вы считаете четверти оборота: три из них разворачивают вас на юг, в точку -i.

Вторая: неверное применение правила корней. Ученики выучивают, что корень из произведения равен произведению корней, а затем пишут √-1 × √-1 = √1 = 1, что противоречит i² = -1 и как будто ломает математику. Разгадка в том, что это правило было доказано для неотрицательных чисел и попросту не переживает переезда на плоскость. Надёжный ход: сначала перейти к i, затем считать повороты. Правило не отказало загадочным образом, его применили за пределами гарантии.

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

Причём здесь Math Zen

Мнимые числа сидят на вершине башни, и каждое шатание башни отзывается именно здесь. Работа с a + bi опирается на арифметику со знаками из слоя отрицательных чисел, на приведение подобных слагаемых из алгебры и на дискриминант формулы корней, где большинство учеников впервые видят, как корень уходит в минус. Прогрессия корзин в Math Zen построена так, чтобы нижние этажи оставались прочными: ранние корзины отрабатывают числа со знаком и счёт разворотов до полного автоматизма, средние ставят алгебраические преобразования и квадратные уравнения под давление времени, а поздние перемешивают типы задач, чтобы знак, зарытый на три шага вглубь вычисления, всё равно выходил правильным.

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

Итог

Мнимое число это действительное число, указывающее в новом направлении, под прямым углом к числовой прямой, а i это четверть оборота, которая туда указывает. Равенство i² = -1 не определение, спущенное сверху. Это наблюдение: два четверть-оборота дают пол-оборота, а пол-оборота есть умножение на -1. Комплексные числа: координаты на плоскости, которую всё это открывает. Сложение ходит, умножение поворачивает и растягивает, и весь этот аппарат приводит в движение электрическую, сигнальную и квантовую машинерию современного мира.

Единственное по-настоящему досадное в мнимых числах: название, пренебрежительный ярлык XVII века, переживший скепсис своего автора на четыре столетия. Когда заходит речь об этом предмете, переводите про себя: боковые числа, числа вбок, числа, сошедшие с прямой. Тогда вопрос "как может существовать корень из минус единицы" отвечает на себя сам, так же, как он ответил Гауссу. Он существует на единицу к северу от нуля, в четверти оборота от того места, где вы уже стояли.