Термин «комплексное число» впервые использовал французский математик Л. Карно (1753—1823) в 1803 году, но широкое употребление ему придал К. Ф. Гаусс (1777—1855) в 1831 году.
Впервые же мнимые величины, скорее всего, нашли отражение в известном труде Дж. Кардано (1501—1576) «Великое искусство, или об алгебраических правилах» (1545), но он счёл их непригодными для использования в математической практике. Применение мнимых величин для решения кубических уравнений нашли в работах Р. Бомбелли (ок. 1526—1572). Он также разработал базовые правила действий с ними.
Хотя выражения вида , появляющиеся при решении квадратных и кубических уравнений, стали называть «мнимыми» ещё в XVI—XVII веках, но всё же для многих крупных ученых XVII века их алгебраическая и геометрическая сущность была не ясна. Долгое время было неясно, можно ли, проводя математические операции над комплексными числами, получить числа какого-то нового типа. Так задача о выражении корней -ой степени была решена только в начале XVIII века в работах А. де Муавра (1667—1754) и Р. Котса (1682—1716).
Геометрическое истолкование комплексных чисел и действий над ними появилось впервые в работе К. Весселя (1745—1818), но зачатки этого представления были сделаны ещё в 1685 году Дж. Валлисом (1616—1703). Современное геометрическое представление, так называемую диаграмму Аргана, предложил в опубликованной в 1806 года работе Ж. Р. Арган (1768—1822), независимо повторивший выводы Весселя.
Символ был предложен Л. Эйлером в 1777 году. Это первая буква слова лат.imaginarius — мнимый. Он также распространил области значения всех стандартных функций на комплексную область. Эйлер также высказал в 1751 году мысль об алгебраической замкнутости поля комплексных чисел. Чуть ранее, в 1747 году, к этому же выводу пришёл и Ж. Л. Д’Аламбер (1717—1783), но его доказательство было не безукоризненным. Первое строгое доказательство этого факта было дано Гауссом в 1799 году в его докторской диссертации. В последствие Гаусс даже предложил 4 различных доказательства основной теоремы алгебры.
Непротиворечивая модель комплексных чисел была создана в 1837 году У. Р. Гамильтоном (1806—1865). В рамках неё комплексные числа рассматривались как упорядоченные пары действительных чисел. Он же в 1843 году предложил и обобщение комплексных чисел — кватернионы, получив тем самым гиперкомплексные числа. Позже были получены ещё несколько видов гиперкомплексных чисел, например, числа Кэли.
Арифметическая модель комплексных чисел как пар действительных чисел, предложенная У. Р. Гамильтоном, хотя и непротиворечива, но не удобна в вычислениях, поэтому для манипуляций с ними используют различные их представления.
В рамках гамильтоновского определения действительные числа имеют вид . Эта пара обозначается также просто . В частности, . Пара имеет особый статус и называется мнимой единицей. Она обозначается как .
Следовательно, число можно определить также как . Так как и сделал Л. Эйлер, но это не вполне корректно, так как арифметический квадратный корень определяется только для неотрицательных чисел. Есть другой путь определения мнимой единицы: мнимой единицей называется решение уравнения
(Д2.6)
однако и он не безупречен, так как этому уравнению удовлетворяет не только , но . Это легко проверить, подставив в уравнение (Д2.6) и вычислив по формуле (Д2.2). Кроме того, наличие двух корней у уравнения (Д2.6) необходимо следует из основной теоремы алгебры. Здесь имеет смысл говорить о так называемых сопряжённых комплексных числах. С формальной точки зрения, совершенно безразлично, какую пару принимать за определение мнимой единицы — условились, что мнимая единица имеет вид , а пара является сопряжённой к ней.
Исходя из модели Гамильтона, выведем алгебраическую форму комплексного числа, для этого рассмотрим комплексное число . Сделаем в нём следующее преобразование:
Теперь, если заменить получившиеся упорядоченные пары их значениями, придём к следующему выражению:
(Д2.11)
Это и есть алгебраическая форма комплексного числа.
Если в формуле (Д2.11) положить , то выражение
(Д2.12)
будет называться чисто мнимым числом, или просто мнимым числом.
Условно комплексное число обозначают одной буквой, чаще всего , то есть .
Первую проекцию[1] комплексного числа называют действительной (вещественной) частью числа и обозначают (от лат.realis — действительный). Вторая проекция комплексного числа называется мнимой частью числа и обозначается (от лат.imaginarius — мнимый). В иностранной литературе действительную и мнимую части часто обозначают, используя заглавные готические буквы, соответственно и .
В терминах алгебраической формы можно переформулировать определение равенства комплексных чисел (Д2.3):
(Д2.13)
или, если применить условные обозначения:
(Д2.14)
В частности, комплексное число равно нулю, когда его действительная и мнимая части равны нулю:
или (Д2.15)
Аналогичным путём можно получить алгебраическую форму для комплексно сопряжённого числа: . Подробнее, см. ниже.
Арифметические действия над комплексными числами в алгебраической форме
Алгебраическая форма очень удобна для выполнения арифметических действий, так как в рамках её комплексные числа можно рассматривать как линейные двучлены, роль в которых играет с дополнительным равенством .
Сложение двух комплексных чисел и выполняется по следующему правилу:
Чтобы получить правило вычитания одного комплексного числа из другого, воспользуемся определением: разностью двух комплексных чисел и называется такое , что верно равенство:
(Д2.17)
Если рассматривать с формальной точки зрения, то следует записать следующее выражение:
(Д2.18)
Теперь в левой части применим формулу суммы комплексных чисел:
(Д2.19)
По определению сравнения двух комплексных пар будем иметь следующую систему:
(Д2.20)
решением которой являются действительные числа и , то есть можно записать, что:
(Д2.21)
Если применять алгебраическую форму, то вычитание будет более наглядным:
(Д2.22)
Рассмотрим теперь произведение двух комплексных чисел и в алгебраической форме:
(Д2.23)
Деление комплексных чисел, как и деление действительных чисел, является обратной операцией по отношению к произведению. По определению, комплексное число , отличное от нуля, называется частным от деления комплексного числа на комплексное число , если выполняется равенство:
(Д2.24)
Найдём произведение в левой части:
(Д2.25)
(Д2.26)
Сравнивая его с числом в правой части, будем иметь систему:
(Д2.27)
Решением будут служить числа:
(Д2.28)
Следовательно, можно записать следующее правило:
(Д2.29)
Выведем теперь правила деления комплексных чисел в алгебраической форме:
(Д2.30)
Домножим числитель и знаменатель дроби на комплексно сопряжённое знаменателя — (это возможно, так как по условию знаменатель не обращается в нуль, и соответственно, это справедливо для его комплексно сопряжённого):
(Д2.31)
В числителе раскроем скобки, а в знаменателе воспользуемся формулой разности квадратов:
(Д2.32)
После упрощений и почленного деления окончательно будем иметь:
(Д2.33)
В частности,
(Д2.34)
и
(Д2.35)
Возведение в целую степень. Прежде чем рассматривать вопрос возведения в степень произвольного комплексного числа , рассмотрим какие результаты даёт возведение в степень мнимой единицы . По определению натуральной степенью называется -кратное произведение числа на самого себя:
(Д2.36)
Для последовательно будем иметь:
(Д2.37)
Продолжая умножение, можно получить следующее обобщение:
(Д2.38)
где
При возведение в степень числа в натуральную степень воспользуемся формулой бинома Ньютона:
(Д2.39)
Теперь, упрощая каждый моном по формулам (Д2.38) и группируя члены, содержащие и не содержащие , в итоге получим некое комплексное число . Таким образом, натуральная степень комплексного числа, у которого действительная часть отлична от нуля, также является комплексным числом. Степень чисто мнимого числа может быть и действительным числом.
Так как, по определению,
(Д2.40)
то нужно сначала возвести в степень по формуле (Д2.39), а затем найти обратную величину по формуле (Д2.34).
Из выше сказанного следует, что при любом целом, отличном от нуля, показателе степени, для комплексного числа общего вида мы получаем другое комплексное число. Если возводить в целую степень чисто мнимое число, то в результате может получиться либо действительное, либо чисто мнимое число.
Вопрос извлечения корней из комплексных чисел мы рассмотрим на примере извлечения квадратного корня. В дальнейшем будет более подробно показано, что извлечение корня для комплексных чисел всегда осуществимо и многозначно.
Итак, по определению, квадратным корнем из комплексного числа называется такое комплексное число , что имеет место равенство , то есть:
(Д2.41)
или, раскрывая скобки,
(Д2.42)
Сравнивая действительные и мнимые части комплексных чисел, приходим к системе уравнений:
(Д2.43)
решая которую будем иметь:
(Д2.44)
Выражения неотрицательны при любых действительных и , следовательно, числа и всегда можно найти из (Д2.44); при этом они будут действительны. При извлечении арифметических корней в (Д2.44) необходимо учитывать знаки таким образом, чтобы выполнялось соотношение , которое задаёт два различных набора действительных чисел. Соответственно, извлечение корня из даёт два комплексных числа и .
Замечание. Из выражений (Д2.16) и (Д2.23) становится ясным, почему формулы (Д2.1) и (Д2.2) соответственно имеют такой вид. Возникает законный вопрос, почему нельзя в качестве определения сразу принять, что комплексным числом называется выражение вида , где , или , и действия над ним выполняются как над двучленами. К сожалению, этот путь ошибочен, так как в выражении имеются несколько неопределённых моментов: во-первых, как мы уже видели в начале главы, в рамках действительных чисел не возможно корректно определить мнимую единицу ; во-вторых, здесь присутствуют неопределённые ещё операции над мнимой единицей, то есть умножение её на действительное число и сложение этого результата с другим действительным числом. Если же выражение считать единым формальным выражением, где и — действительные числа, — некоторый символ, обладающий свойством , то и в этом случае построение модели комплексных чисел будет не полным, так как из этого определения невозможно будет вывести правила действий над комплексными числами и их свойства.
На комплексные числа распространяются все основные законы действия над действительными числами. Они легко выводятся из определения арифметических операций.
(Д2.45)
(Д2.46)
(Д2.47)
(Д2.48)
(Д2.49)
(Д2.50)
(Д2.51)
(Д2.52)
(Д2.53)
(Д2.54)
(Д2.55)
Здесь в общем случае . Формулы (Д2.50)—(Д2.54) легко доказываются из определения степени для натуральных показателей. На целые показатели они обобщаются с помощью формул (Д2.55). Свойства при рациональных показателях следуют из определения извлечения корня из комплексного числа. Возведение в действительную и комплексную степень требует введение дополнительных понятий, поэтому оставим этот факт пока без доказательства.
Замечание. Как будет показано ниже, при возведении в комплексную степень некоторые формулы (Д2.45)—(Д2.55) могут не выполняться в общем виде.
Как уже было сказано выше, выбор того, какая упорядоченная пара или будет принята за мнимую единицу, совершенно произволен. Условились, что комплексное число имеет алгебраическую форму , а комплексное число с алгебраической формой ( и в этих двух формулах одинаковы) называется комплексно сопряжённым и обозначается или .
Переход к комплексно сопряжённому удобно рассматривать как унарную (одноместную) операцию, которая изменяет знак у мнимой части комплексного числа :
(Д2.56)
Рассмотрим основные свойства комплексного сопряжения:
Свойство Д2.1.Комплексно сопряжённое от комплексно сопряжённого числа равно самому комплексному числу :
(Д2.57)
Это следует из определения операции.
Свойство Д2.2.Сопряжённое к действительному числу равно самому числу . В частности, .
Это следует из определения действительного числа в рамках модели комплексных чисел и определения комплексного сопряжения.
Свойство Д2.3.Комплексное сопряжение алгебраической суммы равно алгебраической сумме комплексно сопряжённых:
Рассмотрим декартову систему координат на плоскости (рисунок Д2.1), где по оси абсцисс отложена действительная часть комплексного числа, а по оси ординат — мнимая . Таким образом задаётся так называемая комплексная плоскость. Тогда любое комплексное число можно представить в виде точки на этой плоскости или же изобразить число как радиус-вектор к точке на ней. Это представляет собой диаграмму Аргана (см. «Историческая справка»).
Таким образом, нахождение сопряжённого значения геометрически является построением точки, симметричной исходной относительно оси абсцисс (рисунок Д2.2).
В связи с векторной интерпретацией можно наглядно ввести понятия модуля и аргумента комплексного числа.
Модулем (абсолютной величиной, амплитудой) комплексного числа называется длина радиус-вектора соответствующей точки комплексной плоскости (на рисунке Д2.1 обозначен буквой ).
Причём здесь используется арифметический корень. Непосредственно из (Д2.72) следует, что для вещественных совпадает с абсолютной величиной этого числа.
Свойство Д2.12.Модуль отношения комплексных чисел равен отношению модулей:
(Д2.88)
Доказательство свойства Д2.12
Аналогично предыдущему доказательству рассмотрим два выражения:
(Д2.89)
и
(Д2.90)
В формуле (Д2.89) в подкоренном выражении приведём к общему знаменателю, а потом раскроим скобки в числителе:
(Д2.91)
Сравнивая (Д2.90) и (Д2.91), убеждаемся в выполнении свойства Д2.12. Что и требовалось доказать.
Свойство Д2.13.Для пары комплексных чисел и модуль их разности равен расстоянию между соответствующими точками комплексной плоскости.
Это станет ясно, если рассмотреть выражение в алгебраической форме:
Свойство Д2.14.Модули комплексного числа и его сопряжённого равны:
(Д2.93)
Это легко доказать:
(Д2.94)
Под аргументом комплексного числа понимается угол (в радианах), который составляет радиус-вектор, соответствующий числу, с осью абсцисс (осью действительных значений); угол отсчитывается против часовой стрелки. На рисунке Д2.1 обозначается как .
Однако, из определения следует, что угол задаётся неоднозначно — с точностью до , где (рисунок Д2.3). В связи с этим вводится понятие главного значения аргумента — значение угла , которое принадлежит полуинтервалу :
(Д2.95)
Обычно, когда говорят об аргументе комплексной величины, имеют в виду именно главное значение.
Из определения тригонометрических функций можно получить, что аргумент комплексного числа равен, такому значению , что одновременно
(Д2.96)
Таким образом, для вычисления (главного значения) аргумента используется следующее выражение:
Это свойство наглядно доказывается из рисунка Д2.2: так как операция комплексного сопряжения соответствует симметричному отражению, относительно оси абсцисс, то угол, который составляет радиус-вектор комплексно сопряжённого будет иметь противоположный знак (если свести его к стандартному полуинтервалу ).
Геометрическая интерпретация арифметических действий с комплексными числами
Изображение комплексных чисел как радиус-векторов на комплексной плоскости позволяет наглядно выполнять основные арифметические операции над комплексными числами. Так сложение и вычитание двух комплексных чисел в геометрическом виде (рисунок Д2.4) сводится к сложению по правилу параллелограмма радиус-векторов этих чисел.
Результатом умножения двух комплексных чисел, согласно (Д2.82) и (Д2.98), является такой радиус-вектор (рисунок Д2.5), у которого модуль равен произведению модулей исходных комплексных чисел, а аргумент — сумме аргументов этих чисел. При делении двух комплексных чисел, согласно (Д2.88) и (Д2.101), нужно построить такой радиус-вектор (рисунок Д2.6), что модуль его будет равен отношению модулей, а аргумент — разности аргументов этих чисел. При этом предполагается, что используется главное значение аргумента результата.
Введённые выше модуль и аргумент позволяют записать комплексное число в тригонометрической форме. Для этого выразим из (Д2.96) действительную и мнимую части комплексного числа через тригонометрические функции:
(Д2.104)
где .
Тогда получим такое выражение:
(Д2.105)
которое называется тригонометрической формой комплексного числа.
Такое представление имеет любое комплексное число, кроме (из-за неопределенности ).
В таком представление можно просто доказать выражения, связанные с модулем комплексных чисел (см. свойство Д2.10).
Доказательство свойства Д2.10
Докажем формулу (Д2.74). Слева в этом неравенстве стоит такое выражение:
(Д2.106)
Так как , то
(Д2.107)
Следует напомнить, что .
Теперь рассмотрим выражение, стоящее с правой стороны неравенства (Д2.74):
(Д2.108)
Сравнивая (Д2.107) и (Д2.108), убеждаемся в справедливости формулы (Д2.74). Что и требовалось доказать.
Из только что приведённого доказательства по индукции выводится и верность формулы (Д2.80).
Для доказательства неравенства (Д2.75) заменим в выражении (Д2.74) на . Так как , а при доказательстве (Д2.74) используются квадраты величин, получаем, что конечное выражение не изменится. Этим убеждаемся в справедливости (Д2.75).
Чтобы доказать (Д2.76), рассмотрим такое равенство:
По аналогии с (Д2.75) доказывается и (Д2.77): заменив в (Д2.76) на , получим требуемое неравенство.
Неравенство (Д2.78) следует из того факта, что в силу коммутативности сложения неравенство (Д2.76) можно записать двумя способами:
(Д2.111)
и
(Д2.112)
Выбрав из двух значений (отличающихся знаком), стоящих в правой части, большее (что эквивалентно, в данном случае, нахождению абсолютного значения), придём к неравенству (Д2.78).
Доказательство неравенства (Д2.79) также основано на замене .
Доказательство обобщённого неравенства (Д2.81) основано на использовании обобщённого неравенств (Д2.80) и (Д2.75):
(Д2.113)
Итак, мы доказали справедливость всех неравенств (Д2.74)—(Д2.81).
Свойство Д2.18.При вычислении целой степени комплексного числа справедлива формула Муавра:
(Д2.114)
Доказательство свойства Д2.18
Для натуральных справедливость формулы Муавра следует из формул (Д2.87) и (Д2.100). Для целых отрицательных (с учётом Д2.102) выражение (Д2.114) можно записать, как
если , тогда
если , тогда (Д2.115)
Формулу Муавра также можно применять для нахождения корней из комплексных чисел.
Свойство Д2.19.Операция извлечения корня -ой степени из комплексного числа даёт (возможно совпадающих) комплексных значений, которые в тригонометрической записи будут иметь вид:
(Д2.116)
где
Доказательство свойства Д2.19
По определению корнем -ой степени из комплексного числа (обозначаемый ) называется такое комплексное число , что:
где и — модули комплексных чисел и соответственно, а и — главные значения их аргументов.
Сравнивая модули и аргументы (в общем смысле), получим следующие тождества:
(Д2.119)
(Д2.120)
Так как модули являются положительными действительными числами, то из первого равенства следует, что
(Д2.121)
а из второго получим:
(Д2.122)
С учётом того, что нас интересует только главное значение , то можно ограничить полной системой вычетов по модулю , например, таким множеством значений
Таким образом, применение формулы Муавра для извлечения корня степени из комплексного числа даёт набор из (необязательно различных) комплексных чисел .
Пример Д2.1. Рассмотрим извлечение кубического корня из единицы на множестве комплексных чисел (подробнее см. статью «Корни из единицы»):
Показательную форму комплексного числа можно переписать и так:
(Д2.135)
поэтому формально логарифм комплексного числа можно определить как
(Д2.136)
Не стоит, однако, забывать, что не ограничивается главным значением аргумента, поэтому определённый выше логарифм является главным значением логарифмической функции комплексного аргумента:
Как уже говорилось выше, при распространении алгебраических тождеств, справедливых для действительных чисел и действительных функций от них, следует проявлять большую осторожность. Так, например, из равенства логарифмов неких выражений ещё не следует равенство самих этих выражений. Тоже самое относится и к вычислению корней из комплексных чисел. Это можно проиллюстрировать на примере следующих математических софизмов:
Пример Д2.2: Рассмотрим такое равенство:
(Д2.141)
которое является явно неверным. Выражение (Д2.141) ошибочно, потому что в нём применяется формула логарифма степени без учёта, того что она справедлива при рассмотрении всего бесконечного набора значений комплексного логарифма, а не только его главного значения.
Пример Д2.3: Другим известным софизмом является такой:
(Д2.142)
При доказательстве этого «тождества» не учтено, что не только , но и , поэтому корень из минус единицы имеет два значения и (см. выше). Также следует заметить, что применение формулы требует выбора правильного главного значения аргумента.