Мнимая единица в математике¶
Мнимая единица (также мнимое число, квадратный корень из минус единицы) — математический объект, обозначаемый символом $i$, который определяется как корень уравнения $x^2 + 1 = 0$, то есть число, квадрат которого равен $-1$. Мнимая единица является основой построения алгебраических чисел вида $a + bi$, где $a$ и $b$ — действительные числа; такие числа называются комплексными. Мнимая единица расширяет понятие числа за пределы действительной оси и позволяет решать любые алгебраические уравнения, что делает её одним из ключевых понятий математического анализа, алгебры и теории функций комплексного переменного.
¶История
Потребность в мнимых числах возникла при решении кубических уравнений в XVI веке. Итальянские математики Сципион дель Ферро, Никколо Тарталья и Джироламо Кардано столкнулись с ситуацией, когда корни кубического уравнения были действительными, но промежуточные вычисления вели через выражения с корнями из отрицательных чисел. В «Ars Magna» (1545) Кардано приводит формулу корней кубического уравнения и отмечает появление подобных выражений, хотя относится к ним с осторожностью.
Рафаэль Бомбелли в трактате «Algebra» (1572) дал первое систематическое описание арифметических действий с «сурдными» числами, включая правила вида $i \cdot i = -1$. Бомбелли показал, что при работе с такими числами можно получать корректные результаты, если соблюдать определённые правила вычислений.
Термин «мнимое число» (лат. numerus imaginarius) ввёл Рене Декарт в 1637 году в «Геометрии»; изначально оно несло оттенок «несуществующего» или «фиктивного». Леонард Эйлер в XVIII веке ввёл обозначение $i$ для квадратного корня из $-1$ и разработал арифметику комплексных чисел. Геометрическое представление комплексных чисел как точек плоскости предложили Каспар Вессель (1799) и Жан-Робер Арган (1806); наиболее полное изложение дал Карл Фридрих Гаусс, чьи работы закрепили термин «комплексное число» и обеспечили признание мнимой единицы полноценным математическим объектом.
¶Определение и свойства
Мнимая единица $i$ определяется как решение уравнения $x^2 + 1 = 0$ в расширении поля действительных чисел. Это уравнение не имеет решений в действительных числах, поскольку квадрат любого действительного числа неотрицателен. Расширение $\mathbb{C} = \mathbb{R}(i)$ называется полем комплексных чисел.
Основные свойства:
- $i^2 = -1$;
- $i^3 = -i$, $i^4 = 1$, $i^5 = i$ и так далее — степени $i$ образуют цикл из четырёх значений: $1, i, -1, -i$;
- комплексное сопряжение числа $a + bi$ равно $a - bi$; произведение числа на его сопряжение даёт модуль в квадрате: $(a + bi)(a - bi) = a^2 + b^2$;
- поле комплексных чисел алгебраически замкнуто: любой многочлен степени $n \geq 1$ имеет ровно $n$ корней с учётом кратности.
¶Геометрическая интерпретация
Комплексное число $z = a + bi$ изображается как точка $(a, b)$ на плоскости (комплексная плоскость) или как вектор из начала координат. Умножение на $i$ соответствует повороту вектора на 90° против часовой стрелки без изменения длины. Это позволяет представить комплексные числа в полярной форме $z = r(\cos\varphi + i\sin\varphi) = re^{i\varphi}$, где $r$ — модуль, $\varphi$ — аргумент. Формула Муавра $(re^{i\varphi})^n = r^n e^{in\varphi}$ описывает возведение в степень как возведение модуля в степень и умножение аргумента.
¶Применение
Мнимая единица и комплексные числа применяются в широком круге научных и инженерных дисциплин:
- Электротехника и радиотехника — для описания переменных токов и напряжений, передаточных функций, в теории цепей (комплексное сопротивление, операторное исчисление);
- Квантовая механика — волновая функция Шрёдингера принимает комплексные значения; операторы наблюдаемых описываются через комплексные амплитуды;
- Теория чисел — модулярные вычисления с кватернионами и эллиптическими кривыми;
- Сигналы и обработка данных — преобразование Фурье, в котором комплексные экспоненты служат базисом;
- Аэродинамика и гидродинамика — теория функций комплексного переменного используется при расчёте обтекания тел (метод конформных отображений);
- Фрактальная геометрия — множество Мандельброта и множества Джулиа определяются итерациями комплексных полиномов.
¶Связанные конструкции
Из мнимой единицы образуются кватернионы — гиперкомплексные числа вида $a + bi + cj + dk$, где $i^2 = j^2 = k^2 = ijk = -1$; они введены Уильямом Роуэном Гамильтоном в 1843 году и не являются коммутативными при умножении. Дальнейшее обобщение — октонионы и седенионы. В теории множеств мнимая единица может быть определена как упорядоченная пара $(0, 1)$, что позволяет строить действительные числа из натуральных без обращения к геометрическим представлениям.
¶Источники
- Гаусс К. Ф. Обобщенная теория комплексных чисел.
- Кардано Дж. Великое искусство.
- Бомбелли Р. Алгебра.
- Шабунин М. И. Курс математического анализа.
- Корн Г., Корн Т. Справочник по математике для научных работников и инженеров.