Комплексные числа

4

Поставим теперь перед собой задачу расширить понятие числа или, как говорят в абстрактной алгебре, расширить поле $R$ до поля $K$ таким образом, чтобы в этом новом поле $K$ уравнение

$$z^2 + 1 = 0$$

(1)

имело решение. Элемент поля $K$, который удовлетворяет уравнению (1), мы обозначим через $i$. Таким образом, для $i$ имеем

$$i^2 = -1.$$

(2)

Так как поле $K$ содержит все действительные числа и элемент $i$ и так как в нем возможно действия сложения и умножения, в поле $K$ должны содержаться всевозможные многочлены относительно $i$ с действительными коэффициентами, в частности — все многочлены первого степени, то есть выражения вида

$$z = x + yi = x + iy,$$

где $x$ и $y$ — действительные числа. Эти выражения и называются компплексными числами. Действия над ними мы определям как действия над многочленами, учитывая при этом условие (2). Комплексные числа вида

$$z = x + 0i = x$$

являются действительными числами. Комплексные числа вида

$$z = 0 + yi = yi$$

называются число минимум числами.

Пусть $z_1 = x_1 + y_1 i$, $z_2 = x_2 + y_2 i$ — два компплексных числа. Согласно высказанному правилу сумма и произведение этих компплексных чисел определяются равенствами

$$z_1 + z_2 = (x_1 + y_1 i) + (x_2 + y_2 i) > = (x_1 + x_2) + (y_1 + y_2) i;$$

$$z_1 z_2 = (x_1 + y_1 i) (x_2 + y_2 i) = x_1 x_2 + (x_1 y_2 + y_1 x_2) i + y_1 y_2 i^2 = (x_1 x_2 - y_1 y_2) + (x_1 y_2 + y_1 x_2) i.$$

При получении последнего равенства мы используем полуаем

$$x_1 z_2 = x_1 x_2 + x_1 y_2 i.$$

(5)

Из формул (3) и (4) видно, что сумма и произведение двух компплексных

ных чисел есть также компплексное число.

Для того чтобы убедиться, что действие вычитания, обратное действию сложения, существует, достаточно найти число — $z$, противоположное числу $z$, а для того чтобы убедиться, что возможно деление, достаточно для $z \neq 0$ указывать число $z^{-1}$, обратное числу $z = x + yi$. Числа эти, как легко видеть, задаются формулами

$$-z = -x - yi,$$

$$z^{-1} = \frac{x}{x^2 + y^2} - \frac{y}{x^2 + y^2} i.$$

Таким образом, величина $z^{-1}$, обратная к $z$, существует всегда, когда $z \neq 0$.

Геометрическое изображение компплексных чисел

Обозначим через $P$ плоскость нашей чертежа и выберем на ней прямоугольную систему координат (рис. 1). Комплексное число $z = x + yi$ мы помещим в точку $z = (x; y)$ с координатами $x, y$. Обозначим также через $z$ вектор, идиший из начала координат $O$ в точку $z$. Таким образом, буква $z$ обозначает у нас одновременного компплексное число, точку $z$, изображающего это компплексное число, и вектор $z$, соответствующий этому компплексному числу. При этом изображения действительные числа попадают на ось абсцисс — поэтому ось абсцисс называется действительным плоскости $P$ компплексного переменного, а число числа попадают на ось ordинат — поэтому ось ordинат называется минимой плоскости $P$ компплексного переменного. Нуль попадает в начало координат.

Длина вектора $z$ называется modуlem компплексного числа $z =$

Рис. 1.

5

$$= x + yi \text{ и обозначется } |z|: |z| = \sqrt{x^2 + y^2}.$$

Комплексные числа $z$, удовлетворяющие условию $|z| = 1$, составляют окружность радиуса 1 с центром в начале координат. На этой окружности лежит число 1. Из точки 1 отложим по окружности дугу заданной длины $\varphi$ в направлении против часовой стрелки. Конец этой линии обозначим через $(\varphi)$. Если $\varphi$ — отрицательное число, то для получения $(\varphi)$ нужно отложить от точки 1 длину дуги $|\varphi|$ по часовой стрелке. Как известно, абсцисса точки $(\varphi)$ называется cos $\varphi$, а ее ordината sin $\varphi$. Таким образом, комплексное число $(\varphi)$ задается формулой

$$(\varphi) = \cos \varphi + i \sin \varphi.$$

Итак, всякое комплексное число $z$, по модели равное 1, записывается в виде (6). Если $z$ — произвольное комплексное число, модель которого $|z| = \varphi$ отличиет от 0, то число $z/\varphi$ является комплексным числом, по модели равным 1, и потому записывается в виде (6). Из равенства

$$\frac{z}{\varphi} = \cos \varphi + i \sin \varphi$$

мы получаем

$$z = \varphi (\cos \varphi + i \sin \varphi).$$

Запись (7) называется трионометрической формулой комплексного числа. Число $\varphi$ называется аргументом комплексного числа. Если модель $\varphi$ комплексного числа $z$ отличиет от нуля, то аргумент $\varphi$ определяет с точностью до слагаемого $2\pi k$, где $k$ — целое число. Если модель $\varphi$ комплексного числа равен 0, то формула (7) также имеет место, одноко в этом случае аргумент комплексного числа вовсе не определяен.

Числа $\rho$ и $\varphi$ называются полярными координатами точки $z$.

Дадим теперь геометрическое источник действия над комплексными числами.

Из формул (3) и (5) следует, что комплексные числа складываются и умножаются на действительные числа, как векторы.

Геометрический смысл сложения комплексных чисел очень виден: вектор $z_1 + z_2$ — это диагональ параллелогamma, построенного на векторах $z_1$ и $z_2$. Отсюда вытекает важное неравенство

$$|z_1 + z_2| \leq |z_1| + |z_2|.$$

Для того чтобы дать геометрическое источников умножения комплексных чисел, нужно употребить операцию поворота вектора или, что то же самое, комплексного числа. Повернуть вектор $z$ против часовой стрелки на угол $\alpha$, мы получим некоторый новый вектор, который обозначим через $R_\alpha(\alpha)$. Геометрические ясно, что операция поворота $R_\alpha$ имеет следующее свойство: если $a$ — действительное число, то

$$R_\alpha(az) = aR_\alpha(z),$$

$$R_\alpha(z_1 + z_2) = R_\alpha(z_1) + R_\alpha(z_2).$$

Из этих двух формул следует, что если $a_1$ и $a_2$ — два действительных числа, то имеет место соответствие $R_\alpha(a_1z_1 + a_2z_2) = a_1R_\alpha(z_1) + a_2R_\alpha(z_2)$.

Непосредственно ясно также, что

$$R_\alpha(1) = \cos \alpha + i \sin \alpha.$$

Докажем теперь, что поворот комплексного числа $z = x + yi$ на угол $\alpha$ равноселен умножению его на комплексное число $\cos \alpha + i \sin \alpha$, то есть что

$$R_\alpha(z) = (\cos \alpha + i \sin \alpha)z.$$

Для этого рассмотрим сначала отдельно поворот на угол $d = \frac{\pi}{2}$. В этом случае $\cos d + i \sin d = i$, и равенство (11) принимает вид $R_dz = iz$. С одной стороны, геометрические оценки, что $R_d(1) = i, R_d(i) = -1$. С другой стороны, $i \cdot 1 = i, i \cdot i = -1$. Таким образом,

$$R_d(1) = i \cdot 1, R_d(i) = i \cdot i.$$

Из формулы (9) непосредственно вытекает

$$iz = i \cdot (x + iy) = x \cdot i + y(-1) = xR_d(1) + yR_d(i) = R_d(x \cdot 1 + y \cdot 1) = R_d(x + iy) = R_d(z).$$

Таким образом, формула (11) доказана для $\alpha = \frac{\pi}{2}$.