Интегральное исчисление/Краткие сведения о комплексных числах

← Некоторые часто используемые формулы | Краткие сведения о комплексных числах

---

Комплексные числа — это расширение поля действительных чисел. Обозначается $ℂ$. Комплексные числа образуют алгебраически замкнутое поле, то есть многочлен степени $n$ с комплексными коэффициентами имеет ровно $n$ комплексных корней. Это основная теорема алгебры.

Формально, комплексное число $z$ — это упорядоченная пара вещественных чисел $(x,y)$ с введёнными на них операциями сложения и умножения вида:

• Шаблон:ЯкорьШаблон:Формула
• Шаблон:ЯкорьШаблон:Формула

и операцией приравнивания

• Шаблон:ЯкорьШаблон:Формула

Историческая справка

Термин «комплексное число» впервые использовал французский математик Л. Карно (1753—1823) в 1803 году, но широкое употребление ему придал К. Ф. Гаусс (1777—1855) в 1831 году.

Впервые же мнимые величины, скорее всего, нашли отражение в известном труде Дж. Кардано (1501—1576) «Великое искусство, или об алгебраических правилах» (1545), но он счёл их непригодными для использования в математической практике. Применение мнимых величин для решения кубических уравнений нашли в работах Р. Бомбелли (ок. 1526—1572). Он также разработал базовые правила действий с ними.

Хотя выражения вида $a+b\sqrt{-1}$, появляющиеся при решении квадратных и кубических уравнений, стали называть «мнимыми» ещё в XVI—XVII веках, но всё же для многих крупных ученых XVII века их алгебраическая и геометрическая сущность была не ясна. Долгое время было неясно, можно ли, проводя математические операции над комплексными числами, получить числа какого-то нового типа. Так задача о выражении корней $n$-ой степени была решена только в начале XVIII века в работах А. де Муавра (1667—1754) и Р. Котса (1682—1716).

Геометрическое истолкование комплексных чисел и действий над ними появилось впервые в работе К. Весселя (1745—1818), но зачатки этого представления были сделаны ещё в 1685 году Дж. Валлисом (1616—1703). Современное геометрическое представление, так называемую диаграмму Аргана, предложил в опубликованной в 1806 года работе Ж. Р. Арган (1768—1822), независимо повторивший выводы Весселя.

Символ $i=\sqrt{-1}$ был предложен Л. Эйлером в 1777 году. Это первая буква слова Шаблон:Lang-la — мнимый. Он также распространил области значения всех стандартных функций на комплексную область. Эйлер также высказал в 1751 году мысль об алгебраической замкнутости поля комплексных чисел. Чуть ранее, в 1747 году, к этому же выводу пришёл и Ж. Л. Д’Аламбер (1717—1783), но его доказательство было не безукоризненным. Первое строгое доказательство этого факта было дано Гауссом в 1799 году в его докторской диссертации. В последствие Гаусс даже предложил 4 различных доказательства основной теоремы алгебры.

Непротиворечивая модель комплексных чисел была создана в 1837 году У. Р. Гамильтоном (1806—1865). В рамках неё комплексные числа рассматривались как упорядоченные пары действительных чисел. Он же в 1843 году предложил и обобщение комплексных чисел — кватернионы, получив тем самым гиперкомплексные числа. Позже были получены ещё несколько видов гиперкомплексных чисел, например, числа Кэли.

Алгебраическая форма комплексного числа

Арифметическая модель комплексных чисел как пар действительных чисел, предложенная У. Р. Гамильтоном, хотя и непротиворечива, но не удобна в вычислениях, поэтому для манипуляций с ними используют различные их представления.

В рамках гамильтоновского определения действительные числа имеют вид $(x,0)$. Эта пара обозначается также просто $x$. В частности, $(0,0)=0$. Пара $(0,1)$ имеет особый статус и называется мнимой единицей. Она обозначается как $i$.

Рассмотрим следующее выражение: Шаблон:Формула Применяя формулу (Д2.2), получаем: Шаблон:Формула Следовательно, число $i$ можно определить также как $i=\sqrt{-1}$. Так как и сделал Л. Эйлер, но это не вполне корректно, так как арифметический квадратный корень определяется только для неотрицательных чисел. Есть другой путь определения мнимой единицы: мнимой единицей называется решение уравнения Шаблон:ЯкорьШаблон:Формула однако и он не безупречен, так как этому уравнению удовлетворяет не только $x=(0,1)=i$, но $x=(0,-1)=-1\cdot i=-i$. Это легко проверить, подставив $x=-i$ в уравнение (Д2.6) и вычислив по формуле (Д2.2). Кроме того, наличие двух корней у уравнения (Д2.6) необходимо следует из основной теоремы алгебры. Здесь имеет смысл говорить о так называемых сопряжённых комплексных числах. С формальной точки зрения, совершенно безразлично, какую пару принимать за определение мнимой единицы — условились, что мнимая единица имеет вид $i=(0,1)$, а пара $(0,-1)$ является сопряжённой к ней.

Исходя из модели Гамильтона, выведем алгебраическую форму комплексного числа, для этого рассмотрим комплексное число $(x,y)$. Сделаем в нём следующее преобразование: Шаблон:Формула На основании формулы (Д2.1) можно написать, что Шаблон:Формула Во втором слагаемом сделаем ещё одно преобразование: Шаблон:Формула Воспользовавшись формулой (Д2.2), будем иметь: Шаблон:Формула Теперь, если заменить получившиеся упорядоченные пары их значениями, придём к следующему выражению: Шаблон:ЯкорьШаблон:Формула Это и есть алгебраическая форма комплексного числа. Если в формуле (Д2.11) положить $x=0$, то выражение Шаблон:Формула будет называться чисто мнимым числом, или просто мнимым числом.

Условно комплексное число обозначают одной буквой, чаще всего $z$, то есть $z=(x,y)=x+yi$.

Первую проекцию $x$ комплексного числа $z$ называют действительной (вещественной) частью числа $z$ и обозначают $x=\mathrm{R}\mathrm{e}z$ (от Шаблон:Lang-la — действительный). Вторая проекция $y$ комплексного числа $z$ называется мнимой частью числа $z$ и обозначается $y=\mathrm{I}\mathrm{m}z$ (от Шаблон:Lang-la — мнимый). В иностранной литературе действительную и мнимую части часто обозначают, используя заглавные готические буквы, соответственно $\mathrm{\Re }(z)$ и $\mathrm{\Im }(z)$.

В терминах алгебраической формы можно переформулировать определение равенства комплексных чисел (Д2.3): Шаблон:Формула или, если применить условные обозначения: Шаблон:Формула В частности, комплексное число равно нулю, когда его действительная и мнимая части равны нулю: Шаблон:Формула

Аналогичным путём можно получить алгебраическую форму для комплексно сопряжённого числа: $x-yi$. Подробнее, см. ниже.

Арифметические действия над комплексными числами в алгебраической форме

Алгебраическая форма очень удобна для выполнения арифметических действий, так как в рамках её комплексные числа можно рассматривать как линейные двучлены, роль $x$ в которых играет $i$ с дополнительным равенством $i^2=-1$.

Сложение двух комплексных чисел $z_1=x_1+y_{1}i$ и $z_2=x_2+y_{2}i$ выполняется по следующему правилу: Шаблон:ЯкорьШаблон:Формула Оно непосредственно следует из формулы (Д2.1).

Чтобы получить правило вычитания одного комплексного числа из другого, воспользуемся определением: разностью двух комплексных чисел $z_1$ и $z_2$ называется такое $z$, что верно равенство: Шаблон:Формула Если рассматривать с формальной точки зрения, то следует записать следующее выражение: Шаблон:Формула Теперь в левой части применим формулу суммы комплексных чисел: Шаблон:Формула По определению сравнения двух комплексных пар будем иметь следующую систему: Шаблон:Формула решением которой являются действительные числа $x=x_1-x_2$ и $y=y_1-y_2$, то есть можно записать, что: Шаблон:Формула Если применять алгебраическую форму, то вычитание будет более наглядным: Шаблон:Формула Рассмотрим теперь произведение двух комплексных чисел $z_1$ и $z_2$ в алгебраической форме: Шаблон:ЯкорьШаблон:Формула Деление комплексных чисел, как и деление действительных чисел, является обратной операцией по отношению к произведению. По определению, комплексное число $z$, отличное от нуля, называется частным от деления комплексного числа $z_1$ на комплексное число $z_2$, если выполняется равенство: Шаблон:Формула Найдём произведение в левой части: Шаблон:Формула Шаблон:Формула Сравнивая его с числом в правой части, будем иметь систему: Шаблон:Формула Решением будут служить числа: Шаблон:Формула Следовательно, можно записать следующее правило: Шаблон:Формула Выведем теперь правила деления комплексных чисел в алгебраической форме: Шаблон:Формула Домножим числитель и знаменатель дроби на комплексно сопряжённое знаменателя — $x_2-y_{2}i$ (это возможно, так как по условию знаменатель не обращается в нуль, и соответственно, это справедливо для его комплексно сопряжённого): Шаблон:Формула В числителе раскроем скобки, а в знаменателе воспользуемся формулой разности квадратов: Шаблон:Формула После упрощений и почленного деления окончательно будем иметь: Шаблон:ЯкорьШаблон:Формула

В частности, Шаблон:ЯкорьШаблон:Формула и Шаблон:Формула Возведение в целую степень. Прежде чем рассматривать вопрос возведения в степень произвольного комплексного числа $z$, рассмотрим какие результаты даёт возведение в степень мнимой единицы $i$. По определению натуральной степенью $z^n$ называется $n$-кратное произведение числа $z$ на самого себя: Шаблон:Формула Для $i$ последовательно будем иметь: Шаблон:Формула Продолжая умножение, можно получить следующее обобщение: Шаблон:ЯкорьШаблон:Формула где $k=0,1,2,\dots$

При возведение в степень числа $z=x+yi$ в натуральную степень $n$ воспользуемся формулой бинома Ньютона: Шаблон:ЯкорьШаблон:Формула Теперь, упрощая каждый моном по формулам (Д2.38) и группируя члены, содержащие и не содержащие $i$, в итоге получим некое комплексное число $X+Yi$. Таким образом, натуральная степень комплексного числа, у которого действительная часть отлична от нуля, также является комплексным числом. Степень чисто мнимого числа может быть и действительным числом.

Так как, по определению, Шаблон:Формула то нужно сначала возвести в степень $n$ по формуле (Д2.39), а затем найти обратную величину по формуле (Д2.34).

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

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

Итак, по определению, квадратным корнем из комплексного числа $z=x+yi$ называется такое комплексное число $w=u+vi$, что имеет место равенство $w^2=z$, то есть: Шаблон:Формула или, раскрывая скобки, Шаблон:Формула Сравнивая действительные и мнимые части комплексных чисел, приходим к системе уравнений: Шаблон:Формула решая которую будем иметь: Шаблон:ЯкорьШаблон:Формула Выражения $\pm x+\sqrt{x^2+y^2}$ неотрицательны при любых действительных $x$ и $y$, следовательно, числа $u$ и $v$ всегда можно найти из (Д2.44); при этом они будут действительны. При извлечении арифметических корней в (Д2.44) необходимо учитывать знаки таким образом, чтобы выполнялось соотношение $2uv=y$, которое задаёт два различных набора действительных чисел. Соответственно, извлечение корня из $z=x+yi$ даёт два комплексных числа $w_1=u_1+v_{1}i$ и $w_2=u_2+v_{2}i$.

Замечание. Из выражений (Д2.16) и (Д2.23) становится ясным, почему формулы (Д2.1) и (Д2.2) соответственно имеют такой вид. Возникает законный вопрос, почему нельзя в качестве определения сразу принять, что комплексным числом $z$ называется выражение вида $x+yi$, где $i^2=-1$, или $i=\sqrt{-1}$, и действия над ним выполняются как над двучленами. К сожалению, этот путь ошибочен, так как в выражении $x+yi$ имеются несколько неопределённых моментов: во-первых, как мы уже видели в начале главы, в рамках действительных чисел не возможно корректно определить мнимую единицу $i$; во-вторых, здесь присутствуют неопределённые ещё операции над мнимой единицей, то есть умножение её на действительное число и сложение этого результата с другим действительным числом. Если же выражение $x+yi$ считать единым формальным выражением, где $x$ и $y$ — действительные числа, $i$ — некоторый символ, обладающий свойством $i^2=-1$, то и в этом случае построение модели комплексных чисел будет не полным, так как из этого определения невозможно будет вывести правила действий над комплексными числами и их свойства.

Основные законы действий над комплексными числами

На комплексные числа распространяются все основные законы действия над действительными числами. Они легко выводятся из определения арифметических операций.

• Шаблон:ЯкорьШаблон:Формула
• Шаблон:Формула
• Шаблон:Формула
• Шаблон:Формула
• Шаблон:Формула
• Шаблон:ЯкорьШаблон:Формула
• Шаблон:Формула
• Шаблон:Формула
• Шаблон:Формула
• Шаблон:ЯкорьШаблон:Формула
• Шаблон:ЯкорьШаблон:Формула

Здесь в общем случае $\alpha ,\beta \in ℂ$. Формулы (Д2.50)—(Д2.54) легко доказываются из определения степени для натуральных показателей. На целые показатели они обобщаются с помощью формул (Д2.55). Свойства при рациональных показателях следуют из определения извлечения корня из комплексного числа. Возведение в действительную и комплексную степень требует введение дополнительных понятий, поэтому оставим этот факт пока без доказательства.

Замечание. Как будет показано ниже, при возведении в комплексную степень некоторые формулы (Д2.45)—(Д2.55) могут не выполняться в общем виде.

Комплексно сопряжённое число

Как уже было сказано выше, выбор того, какая упорядоченная пара $(0,1)$ или $(0,-1)$ будет принята за мнимую единицу, совершенно произволен. Условились, что комплексное число $z$ имеет алгебраическую форму $x+yi$, а комплексное число с алгебраической формой $x-yi$ ($x$ и $y$ в этих двух формулах одинаковы) называется комплексно сопряжённым и обозначается $\overline{z}$ или $z^{*}$.

Переход к комплексно сопряжённому удобно рассматривать как унарную (одноместную) операцию, которая изменяет знак у мнимой части комплексного числа $z=x+yi$: Шаблон:Формула Рассмотрим основные свойства комплексного сопряжения:

Свойство Д2.1. Комплексно сопряжённое от комплексно сопряжённого числа $\overline{z}$ равно самому комплексному числу $z$: Шаблон:Формула Это следует из определения операции.

Свойство Д2.2. Сопряжённое к действительному числу $x$ равно самому числу $x$. В частности, $\overline{0}=0$.

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

Шаблон:ЯкорьСвойство Д2.3. Комплексное сопряжение алгебраической суммы равно алгебраической сумме комплексно сопряжённых: Шаблон:ЯкорьШаблон:Формула Шаблон:Доказательство Шаблон:ЯкорьСвойство Д2.4. Комплексное сопряжение произведения равно произведению комплексно сопряжённых: Шаблон:ЯкорьШаблон:Формула Шаблон:Доказательство Свойство Д2.5. Комплексное сопряжение частного равно частному комплексно сопряжённых: Шаблон:ЯкорьШаблон:Формула Шаблон:Доказательство Свойство Д2.7. Вообще, комплексное сопряжение комплексного многочлена равно многочлену от комплексно сопряжённых: Шаблон:Формула где $P(z)$ — многочлен от комплексного аргумента с комплексными коэффициентами.

Это непосредственно следует из свойств (Д2.3) и (Д2.4).

Свойство Д2.8. Сумма комплексного числа и его сопряжённого есть число действительное, разность — чисто мнимое: Шаблон:Формула На основе этого свойства можно записать: Шаблон:Формула

Геометрическая интерпретация комплексного числа

Рассмотрим декартову систему координат на плоскости (рисунок Д2.1), где по оси абсцисс отложена действительная часть $\mathrm{R}\mathrm{e}z$ комплексного числа, а по оси ординат — мнимая $\mathrm{I}\mathrm{m}z$. Таким образом задаётся так называемая комплексная плоскость. Тогда любое комплексное число можно представить в виде точки на этой плоскости или же изобразить число как радиус-вектор к точке на ней. Это представляет собой диаграмму Аргана (см. «Историческая справка»).

Шаблон:Якорь Рисунок Д2.1. Геометрическая интерпретация комплексного числа.

Шаблон:Якорь Рисунок Д2.2. Геометрическое представление сопряжённых чисел.

Таким образом, нахождение сопряжённого значения $\overline{z}$ геометрически является построением точки, симметричной исходной относительно оси абсцисс (рисунок Д2.2).

Модуль и аргумент комплексного числа

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

Модулем (абсолютной величиной, амплитудой) $|z|$ комплексного числа $z$ называется длина радиус-вектора соответствующей точки комплексной плоскости (на рисунке Д2.1 обозначен буквой $r$).

По теореме Пифагора получаем, что Шаблон:ЯкорьШаблон:Формула или Шаблон:Формула Причём здесь используется арифметический корень. Непосредственно из (Д2.72) следует, что для вещественных $|z|$ совпадает с абсолютной величиной этого числа.

Свойства модуля комплексного числа

Свойство Д2.9. Из определения модуля следует, что $|z|⩾0$, при этом $|z|=0$, только когда $z=0$.

Шаблон:ЯкорьСвойство Д2.10. Для модулей суммы и разности комплексных чисел справедливы следующие неравенства: Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьШаблон:Формула более того Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьШаблон:Формула Справедливы также обобщённые выражения: Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьШаблон:Формула В (Д2.74)—(Д2.81) равенство достигается только при $z_1=z_2=\dots$.

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

Шаблон:ЯкорьСвойство Д2.11. Модуль произведения комплексных чисел равен произведению модулей: Шаблон:ЯкорьШаблон:Формула Шаблон:Доказательство В частности, верно равенство $|a\cdot z|=|a|\cdot |z|$, где $a\in ℝ$, $z\in ℂ$.

По индукции можно доказать более общее равенство: Шаблон:Формула Откуда можно в частности получить: Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьСвойство Д2.12. Модуль отношения комплексных чисел равен отношению модулей: Шаблон:ЯкорьШаблон:Формула Шаблон:Доказательство Свойство Д2.13. Для пары комплексных чисел $z_1$ и $z_2$ модуль их разности $|z_1-z_2|$ равен расстоянию между соответствующими точками комплексной плоскости. Это станет ясно, если рассмотреть выражение $|z_1-z_2|$ в алгебраической форме: Шаблон:Формула которое совпадает с формулой для расстояния между двумя точками (метрикой) на евклидовой плоскости.

Свойство Д2.14. Модули комплексного числа и его сопряжённого равны: Шаблон:Формула Это легко доказать: Шаблон:Формула

---

Под аргументом $\mathrm{A}\mathrm{r}\mathrm{g}z$ комплексного числа $z$ понимается угол (в радианах), который составляет радиус-вектор, соответствующий числу, с осью абсцисс (осью действительных значений); угол отсчитывается против часовой стрелки. На рисунке Д2.1 обозначается как $\phi$.

Рисунок Д2.3. Неоднозначность определения аргумента комплексного числа.

Однако, из определения следует, что угол задаётся неоднозначно — с точностью до $2\pi k$, где $k\in \mathbb{Z}$ (рисунок Д2.3). В связи с этим вводится понятие главного значения аргумента $\arg z$ — значение угла $\phi$, которое принадлежит полуинтервалу $(-\pi ,\pi ]$: Шаблон:Формула Обычно, когда говорят об аргументе комплексной величины, имеют в виду именно главное значение.

Из определения тригонометрических функций можно получить, что аргумент комплексного числа равен, такому значению $\phi$, что одновременно Шаблон:ЯкорьШаблон:Формула Таким образом, для вычисления (главного значения) аргумента используется следующее выражение: Шаблон:Формула

Свойства аргумента комплексного числа

Шаблон:ЯкорьСвойство Д2.15. Аргумент (в общем смысле) произведения комплексных чисел равен сумме аргументов этих чисел: Шаблон:ЯкорьШаблон:Формула Это свойство (и аналогичные) справедливо и для главных значений, если привести $\mathrm{A}\mathrm{r}\mathrm{g}z$ к полуинтервалу $(-\pi ,\pi ]$.

Методом математической индукции можно также доказать, что Шаблон:Формула Эта формула приводит к такому выражению для натуральной степени комплексного числа: Шаблон:ЯкорьШаблон:Формула Шаблон:ЯкорьСвойство Д2.16. Аргумент отношения комплексных чисел равен разности аргументов: Шаблон:ЯкорьШаблон:Формула Здесь предполагает, что $z_1\ne 0$ и $z_2\ne 0$, иначе значение аргумента не определено.

В частности, справедливо Шаблон:Формула Доказательства этих свойств удобнее вести с использованием показательной формы комплексного числа.

Свойство Д2.17. Аргумент комплексно сопряжённого числа равен противоположному значению аргумента комплексного числа: Шаблон:Формула Это свойство наглядно доказывается из рисунка Д2.2: так как операция комплексного сопряжения соответствует симметричному отражению, относительно оси абсцисс, то угол, который составляет радиус-вектор комплексно сопряжённого будет иметь противоположный знак (если свести его к стандартному полуинтервалу $(-\pi ,\pi ]$).

Геометрическая интерпретация арифметических действий с комплексными числами

Изображение комплексных чисел как радиус-векторов на комплексной плоскости позволяет наглядно выполнять основные арифметические операции над комплексными числами. Так сложение и вычитание двух комплексных чисел в геометрическом виде (рисунок Д2.4) сводится к сложению по правилу параллелограмма радиус-векторов этих чисел.

Шаблон:Якорь Рисунок Д2.4. Геометрическое представление сложения комплексных чисел.

Шаблон:Якорь Рисунок Д2.5. Геометрическое представление умножения комплексных чисел.

Шаблон:Якорь Рисунок Д2.6. Геометрическое представление деления комплексных чисел.

Результатом умножения двух комплексных чисел, согласно (Д2.82) и (Д2.98), является такой радиус-вектор (рисунок Д2.5), у которого модуль равен произведению модулей исходных комплексных чисел, а аргумент — сумме аргументов этих чисел. При делении двух комплексных чисел, согласно (Д2.88) и (Д2.101), нужно построить такой радиус-вектор (рисунок Д2.6), что модуль его будет равен отношению модулей, а аргумент — разности аргументов этих чисел. При этом предполагается, что используется главное значение аргумента результата.

Тригонометрическая форма комплексного числа

Введённые выше модуль и аргумент позволяют записать комплексное число в тригонометрической форме. Для этого выразим из (Д2.96) действительную и мнимую части комплексного числа через тригонометрические функции: Шаблон:Формула где $r=|z|,\phi =\arg z$.

Тогда получим такое выражение: Шаблон:Формула которое называется тригонометрической формой комплексного числа.

Такое представление имеет любое комплексное число, кроме $z=0$ (из-за неопределенности $\arg z$).

В таком представление можно просто доказать выражения, связанные с модулем комплексных чисел (см. свойство Д2.10). Шаблон:Доказательство Шаблон:ЯкорьСвойство Д2.18. При вычислении целой степени комплексного числа справедлива формула Муавра: Шаблон:ЯкорьШаблон:Формула Шаблон:Доказательство Формулу Муавра также можно применять для нахождения корней из комплексных чисел.

Шаблон:ЯкорьСвойство Д2.19. Операция извлечения корня $n$-ой степени из комплексного числа даёт $n$ (возможно совпадающих) комплексных значений, которые в тригонометрической записи будут иметь вид: Шаблон:ЯкорьШаблон:Формула где $k=0,1,\dots ,n-1(n,k\in \mathbb{N}).$ Шаблон:Доказательство Пример Д2.1. Рассмотрим извлечение кубического корня из единицы на множестве комплексных чисел (подробнее см. статью «Корни из единицы»):

Рисунок Д2.7. Геометрическое представление кубического корня из единицы.

Представим 1 в тригонометрической форме: Шаблон:Формула По формуле извлечения корня (Д2.116) получим: Шаблон:Формула или Шаблон:Формула Перейдя к алгебраической форме, имеем: Шаблон:Формула Графически данный результат можно представить в виде равностороннего треугольника, вписанного в единичную окружность (рисунок Д2.7).

Таким образом, формула (Д2.116) позволяет найти все комплексные решения уравнения Шаблон:Формула

Показательная форма комплексного числа

Применение формулы Эйлера для определения комплексной экспоненты Шаблон:Формула к тригонометрической форме комплексного числа Шаблон:Формула позволяет получить показательную форму комплексного числа: Шаблон:Формула Такая запись является более компактной по сравнению с тригонометрической, но является ей эквивалентной (при правильном использовании аргумента).

В показательной форме, например, удобно провести доказательства свойств Д2.15 и Д2.16. Шаблон:Доказательство Показательная форма комплексного числа удобно позволяет определить показательную и логарифмическую функции комплексного аргумента.

Показательная и логарифмическая функция комплексного аргумента

Показательную форму комплексного числа $z=r{e}^{i\phi }$ можно переписать и так: Шаблон:Формула поэтому формально логарифм комплексного числа можно определить как Шаблон:Формула Не стоит, однако, забывать, что $\phi$ не ограничивается главным значением аргумента, поэтому определённый выше логарифм является главным значением логарифмической функции комплексного аргумента: Шаблон:Формула которая является многозначной.

Переход от логарифма по основанию $e$ к логарифму по основанию $z_2$ осуществляется по формуле Шаблон:ЯкорьШаблон:Формула Формулу (Д2.138), а также другие логарифмические тождества для комплексных чисел нужно применять только с учётом их многозначности, в противном случае, это может привести к ошибочному результату.

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

Общие замечания

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

Шаблон:ЯкорьПример Д2.2: Рассмотрим такое равенство: Шаблон:ЯкорьШаблон:Формула которое является явно неверным. Выражение (Д2.141) ошибочно, потому что в нём применяется формула логарифма степени ${\log }_a(b^p)=p{\log }_{a}b$ без учёта, того что она справедлива при рассмотрении всего бесконечного набора значений комплексного логарифма, а не только его главного значения.

Пример Д2.3: Другим известным софизмом является такой: Шаблон:Формула При доказательстве этого «тождества» не учтено, что не только $i^2=-1$, но и $(-i{)}^2=-1$, поэтому корень из минус единицы имеет два значения $i$ и $-i$ (см. выше). Также следует заметить, что применение формулы $\sqrt{a\cdot b}=\sqrt{a}\cdot \sqrt{b}$ требует выбора правильного главного значения аргумента.