Мнимые числа: зачем понадобился корень из минус единицы
В школе говорят, что из отрицательного числа корень не извлекается. Это полуправда. Математики придумали число, квадрат которого равен −1, поначалу считали его выдумкой, а потом оказалось, что без него не работают радио, электросети и квантовая физика.
«Мнимое» число $i$ настолько реально, что без него не загорелась бы ни одна розетка в вашем доме.
Число $i$ — это не «несуществующее» число. Это поворот на 90 градусов, записанный как число.
Откуда вообще взялась проблема
Любое вещественное число в квадрате неотрицательно: $2^2 = 4$, $(-3)^2 = 9$. Поэтому уравнение $x^2 = -1$ как будто не имеет решения — нет такого вещественного числа, чей квадрат отрицателен. Долго на этом и останавливались.
Но в XVI веке итальянские математики, решая уравнения третьей степени, наткнулись на странность: чтобы получить заведомо вещественные корни, в промежуточных вычислениях приходилось извлекать корень из отрицательного числа. Если набраться смелости и не выбрасывать эти «невозможные» величины, а провести их через все выкладки, на выходе мнимости сокращались и получался честный правильный ответ. Числа-призраки работали.
Знакомьтесь: число i
Математики ввели новую единицу — мнимую единицу $i$, определив её единственным свойством:
$$i^2 = -1$$
Теперь корень из минус единицы есть по определению: $\sqrt{-1} = i$. Декарт назвал такие числа «мнимыми» (imaginary) — скорее в насмешку, как нечто воображаемое. Название прижилось, хотя и сбивает с толку до сих пор.
Комплексные числа
Складывая обычное число с мнимым, получаем комплексное число вида $a + bi$, где $a$ — вещественная часть, $b$ — мнимая. Например, $3 + 2i$. С ними можно делать всё привычное — складывать, умножать, — помня лишь, что $i^2 = -1$:
$$(3 + 2i)(1 - i) = 3 - 3i + 2i - 2i^2 = 3 - i + 2 = 5 - i$$
Главный сдвиг: число как точка на плоскости
Прорыв случился, когда комплексные числа догадались рисовать. Вещественные числа живут на прямой. А комплексное $a + bi$ — это точка на плоскости с координатами $(a, b)$: вправо откладываем вещественную часть, вверх — мнимую. Эту картинку называют комплексной плоскостью.
И тут открывается чудо. Умножение на $i$ — это поворот точки на 90° против часовой стрелки. Проверьте: возьмём число 1 (точка справа). Умножим на $i$ — получим $i$ (точка сверху). Ещё раз на $i$ — получим $i^2 = -1$ (точка слева). Ещё раз — $-i$ (снизу). Четыре умножения на $i$ — полный оборот на 360°, вернулись в начало. Вот почему $i^2 = -1$: два поворота по 90° — это разворот на 180°, который превращает 1 в −1.
Так «мнимое» число перестаёт быть мистикой. $i$ — это просто оператор поворота. Комплексные числа — это язык для описания всего, что вращается и колеблется.
Зачем это инженерам и физикам
Именно «вращательная» природа сделала комплексные числа незаменимыми.
- Переменный ток. Напряжение в розетке колеблется как синусоида. Описывать колебания и сдвиги фаз обычными синусами и косинусами — мучение. С комплексными числами расчёт цепей превращается в простую арифметику. Без них электротехника была бы кошмаром.
- Сигналы и звук. Преобразование Фурье, которое раскладывает звук или изображение на частоты (и лежит в основе форматов MP3 и JPEG), работает на комплексных числах.
- Квантовая механика. Здесь комплексные числа не удобство, а необходимость: волновая функция частицы по своей природе комплексная, и без $i$ уравнение Шрёдингера просто не записать.
Самая красивая формула математики
Связав поворот, экспоненту и тригонометрию, Эйлер получил тождество, которое многие называют самым красивым во всей математике:
$$e^{i\pi} + 1 = 0$$
В одной строчке встретились пять фундаментальных констант: $e$, $i$, $\pi$, $1$ и $0$. Геометрически она говорит простую вещь: повернуть на $\pi$ радиан (180°) — значит превратить 1 в −1.
import cmath
# i по-настоящему даёт -1 в квадрате
print("i^2 =", (1j) ** 2)
# Умножение на i = поворот на 90 градусов
tochka = complex(1, 0)
for k in range(1, 5):
tochka *= 1j
print(f"После {k} поворотов на i: {tochka}")
# Тождество Эйлера (с точностью округления)
print("e^(i*pi) + 1 =", cmath.exp(1j * cmath.pi) + 1)Мораль
«Мнимые» числа — обидное историческое название для совершенно реального и невероятно полезного объекта. Стоило увидеть в $i$ не загадочный корень, а поворот на плоскости — и непостижимое стало наглядным. Математика снова показала свой любимый трюк: придумать «невозможное» правило, довериться ему, а потом обнаружить, что без него не описать половину реального мира.