Глава 1. Арифметика

1.4.

1.4.1.

	Комплексным числом называется выражение вида a + ib, где a и b – любые действительные числа, i – специальное число, которое называется мнимой единицей. Для таких выражений понятия равенства и операции сложения и умножения вводятся следующим образом: Два комплексных числа a + ib и c + id называются равными тогда и только тогда, когда a = c и b = d. Суммой двух комплексных чисел a + ib и c + id называется комплексное число a + c + i(b + d). Произведением двух комплексных чисел a + ib и c + id называется комплексное число ac – bd + i(ad + bc).

Комплексные числа часто обозначают одной буквой, например, z = a + ib. Действительное число a называется действительной частью комплексного числа z, действительная часть обозначается a = Re z. Действительное число b называется мнимой частью комплексного числа z, мнимая часть обозначается b = Im z. Такие названия выбраны в связи со следующими особыми свойствами комплексных чисел.

Заметим, что арифметические операции над комплексными числами вида z = a + i · 0 осуществляются точно так же, как и над действительными числами. Действительно,

Следовательно, комплексные числа вида a + i · 0 естественно отождествляются с действительными числами. Из-за этого комплексные числа такого вида и называют просто действительными. Итак, множество действительных чисел содержится в множестве комплексных чисел. Множество комплексных чисел обозначается . Мы установили, что , а именно

В отличие от действительных чисел, числа вида 0 + ib называются чисто мнимыми. Часто просто пишут bi, например, 0 + i3 = 3i. Чисто мнимое число i1 = 1i = i обладает удивительным свойством:
Таким образом,

С учётом этого замечательного соотношения легко получаются формулы сложения и умножения для комплексных чисел. Нет нужды запоминать сложную формулу для произведения комплексных чисел – если на комплексные числа смотреть как на многочлены с учётом равенства то и перемножать эти числа можно как многочлены. В самом деле,
то есть как раз получается нужная формула.

1

Рисунок 1.4.1.1

Мы хорошо помним, что геометрической интерпретацией действительных чисел является действительная прямая. Кроме того, как было установлено выше, на действительной прямой «нет места для новых точек», то есть любой точке на действительной оси отвечает действительное число. Следовательно, комплексные числа на этой прямой расположить уже нельзя, однако можно попытаться рассмотреть наряду с действительной осью, на которой мы будем откладывать действительную часть комплексного числа, ещё одну ось, ей перпендикулярную; будем называть её мнимой осью. Тогда любому комплексному числу z = x + iy можно поставить в соответствие точку координатной плоскости. На оси абсцисс будем откладывать действительную часть комплексного числа, а на оси ординат – мнимую часть. Таким образом мы построим взаимнооднозначное соответствие между всеми комплексными числами и всеми точками плоскости. Если такое соответствие построено, то координатная плоскость называется комплексной плоскостью.

Очень важной является интерпретация комплексного числа z = a + ib как вектора с координатами (a; b) на комплексной плоскости с началом в точке O (0; 0) и концом в точке A с координатами (a; b). Ясно, что это соответствие является взаимнооднозначным. В самом деле, как было только что отмечено, любому комплексному числу z = a + ib соответствует вектор и наоборот, каждому вектору соответствует, и притом единственное, число z = a + ib.

Рассмотренные интерпретации комплексного числа позволяют называть комплексное число вектором или точкой на комплексной плоскости.

Модель 1.14. Комплексные числа на плоскости

	Модулем комплексного числа называется длина вектора, соответствующего этому числу:

Модуль комплексного числа z обычно обозначается или r. Указанная в определении формула легко выводится при помощи теоремы Пифагора (см. рис.).

2

Рисунок 1.4.1.2

Если то то есть для действительного числа модуль совпадает с абсолютной величиной. Ясно, что для всех При этом тогда и только тогда, когда

	Аргументом комплексного числа z = a + ib (z ≠ 0) называется величина угла между положительным направлением действительной оси и вектором величина угла считается положительной, если угол отсчитывается против часовой стрелки, и отрицательным в противном случае.

Угол φ, аргумент комплексного числа, обозначается φ = arg z. Для числа z = 0 аргумент не определён.

Отметим следующий важный факт: заданием своего модуля и аргумента комплексное число фиксируется однозначно. Обратное, вообще говоря, неверно: если задано комплексное число z ≠ 0, то его модуль определяется однозначно, а аргумент – нет. Действительно, если φ = arg z – аргумент этого комплексного числа, то все числа вида φ + 2πn также будут аргументами этого комплексного числа. Например, аргументами комплексного числа z = 1 + i являются углы и т. д. Поэтому в качестве аргумента комплексного числа обычно выбирают значение –π ≤ arg z ≤ π.

Заданием только лишь своего модуля определяется только комплексное число z = 0.

Из определения тригонометрических функций следует, что φ = arg z тогда и только тогда, когда для этого φ выполняется система