
Матан_2 / Рыжаков И.Ю. Комплексные числа. Алгебраические многочлены и дроби
.pdf§ 1. Комплексные числа
1.1 Множество C комплексных чисел
Введем традиционные обозначения: R – множество вещественных чисел, R 2 - совокупность всевозможных упорядоченных пар (x, y) вещественных чисел. Произвольный элемент (x, y) множества R 2 обозначим через z:
z = (x, y ) , где |
x R, |
y R. |
и |
z2 = (x2, y2 ) множества R2 считаем равными, |
Два элемента |
z1 = ( x 1, y1 ) |
|||
если x 1 = x2 и |
y1 = y2 : (z1 = z2 ) |
|
( x 1 = x2 ) ( y1 = y2 ) . |
Введем две операции, одну их которых назовем сложением элементов из R 2 , а другую – умножением этих элементов. Каждая из них представляет собой правило, в силу которого любой упорядоченной паре (z1 , z2 ) элемен-
тов из R 2 ставится в соответствие некоторый третий элемент этого множества.
Элемент, который паре (z1 , z2 ) сопоставляет операция сложения, назовем суммой элементов z1 и z2 и обозначим через z1 + z2 .
Элемент, который паре (z1 , z2 ) сопоставляет операция умножения, назовем произведением элементов z1 и z2 и обозначим через z1 z2 или z1z2 .
Сумму и произведение элементов z1 = ( x 1, y1 ) и z2 = (x2, y2 ) определим с помощью следующих равенств:
z1 + z2 =(x1 + x2 , y1 + y2 ); |
(1) |
|
z1 z2 =(x1 x2 − y1 y2 , x1 y2 + x2 y1 ). |
||
|
||
Множество всевозможных упорядоченных пар вещественных чисел |
||
R 2 , на котором указанным выше способом введены операции сложения и |
умножения называют множеством комплексных чисел и традиционно обозначают буквой C. Элементы множества C называют комплексными числами. Таким образом, комплексное число z C, представляет собой упорядоченную пару вещественных чисел: z = (x, y ) . Первое число x пары (x, y ) называют вещественной частью комплексного числа z и обозначают через Re z , второе число y этой пары называют мнимой частью комплексного числа z и обозначают через Im z .
Пусть мнимые части чисел z1 и |
z2 равны нулю: |
z1 = ( x 1, 0) , z2 = (x2, 0) . |
Тогда из (1) получим: |
|
|
z1 + z2 = (x 1 + x2 , 0) ; |
z1 z2 = ( x 1 x2 , 0) . |
|
Таким образом, в рассматриваемом случае сложение и умножение комплексных чисел z1 и z2 сводится к сложению и умножению их вещественных
частей. Это обстоятельство позволяет трактовать комплексное число вида как вещественное число x, т.е., считать, что z = (x,0) = x. Особо отметим равенство (0,0) = 0 , а также справедливость следующего утверждения: пусть z = (x, y ) ; равенство z = 0 имеет место тогда и только тогда, когда х= 0 и у= 0 . Комплексное число z = (x, y ) , мнимая часть y которого отлична от нуля, называют мнимым. Следовательно, всякое комплексное число является либо
3

вещественным, либо мнимым.
Нетрудно убедиться, что введенные равенствами (1) операции обладают свойствами, аналогичными свойствам сложения и умножения веществен-
ных чисел: |
|
1.(Коммутативность) |
z1 + z2 = z2 + z1 ; z1 z2 = z2 z1 . |
2.(Ассоциативность) z1 +(z2 + z3 ) = (z1 + z2 ) + z3 ; z1 (z2 z3 ) = (z1 z2 ) z3 . |
|
3.(Дистрибутивность) |
(z1 + z2 ) z3 = z1 z3 + z2 z3 . |
Эти аналогии объясняют наименования операций, введенных равенствами (1) над комплексными числами – сложение и умножение.
|
|
|
|
|
Остановимся на геометрических ин- |
|
|
|
|
|
терпретациях множества C . Как известно, |
|
y |
|
|
z |
геометрической интерпретацией множест- |
|
|
||||
|
|
|
|
|
ва R 2 является плоскость с введенной на |
|
|
|
|
|
ней декартовой прямоугольной системой |
|
|
|
|
|
координат: упорядоченная пара (x, y) изо- |
|
|
|
|
x |
бражается точкой плоскости с абсциссой |
|
|
|
|
|
|
|
|
|
|
Рис. 1 |
x и ординатой y. Эту же точку плоскости |
|
|
|
|
|
считают изображением комплексного чис- |
ла z = (x, y ) . |
Когда точки плоскости рассматривают как изображения компле- |
ксных чисел, саму плоскость считают интерпретацией множества С и называют комплексной плоскостью. Изображениями комплексных чисел вида ( x, 0) , т.е., вещественных чисел, будут точки оси абсцисс, поэтому ее называют вещественной осью комплексной плоскости. Мнимые числа вида (0, y ) , y ≠ 0 , изображаются точками оси ординат; эту ось называют мнимой осью комплексной плоскости (рис. 1).
Другая возможная геометрическая интерпретация комплексного числа z = (x, y ) состоит в том, что его изображают вектором, проекции которого на вещественную и мнимую оси есть x и y соответственно. В частности, в качестве изображения числа z = (x, y ) может выступать радиус-вектор точки с абсциссой x и ординатой y ( рис. 1). Такой взгляд на комплексное число удобен в ряде случаев, например, при геометрической интерпретации действий сложения и вычитания комплексных чисел (см. ниже).
1.2. Алгебраическая форма комплексного числа.
Среди комплексных чисел особая роль принадлежит мнимому числу (0,1) . Его называют мнимой единицей и обозначают обычно буквой i : i = =(0,1) . Это название связано с равенством i 2 = −1. Действительно, вычислив
произведение |
i i в соответствии со вторым из равенств (1) получим: |
i 2 |
= (0 0 −1 1, 0 1 +1 0) =(−1,0) = −1 . |
Пусть z = (x, y ) – некоторое комплексное число. Используя (1), нетрудно убедиться в справедливости равенства z =(x , 0) + (0 ,1) ( y , 0) . Но (x, 0) = x ,
( y, 0) = y , (0,1) = i ; поэтому равенство можно переписать так: z = x +iy . Правую часть последнего равенства называют алгебраической формой комплекс-
4

ного числа z = (x, y ) .
Пусть заданы комплексные числа z1 = ( x 1, y1 ) и z2 = (x2, y2 ) . Из равенств
(1) вытекают правила сложения и умножения комплексных чисел, записан-
ных в алгебраической форме: если |
z1 = x 1 +iy1 , |
z2 = x2 +iy2 , то |
|
z1 + z2 = (x 1 + x 2 ) + i( y1 + y2 ) ; |
z1 z2 = (x 1x 2 |
− y1 y2 ) + i(x 1 y2 + x 2 y1 ) . |
(2) |
Отметим три свойства этих действий. Они дополняют свойства 1 – 3, указанные в п. 1.1 и тоже вполне аналогичны соответствующим свойствам действий над вещественными числами.
4. z C 0 z = 0 , 1 z = z .
Запишем числа 0 и z в алгебраической форме: 0 = 0 +i 0 , z = x +iy . Из (1) получим: 0 z = (0 x −0 y ) +i (0 y + x 0) = 0 +i 0 = 0 . Доказательство второго равенства аналогично.
5. Пусть |
z1 |
и z2 – некоторые комплексные числа. Для того, чтобы |
|
произведение |
z1 z2 |
было равно нулю, необходимо и достаточно, чтобы хотя |
|
бы один из множителей z1 и z2 |
был равен нулю: |
||
|
|
(z1 z2 = 0) |
(z1 = 0) (z2 = 0) . |
Необходимость. Пусть z1 z2 = 0 . Покажем, что если один из
множителей отличен нуля, то другой должен равняться нулю. Пусть, например, z1 ≠ 0 ; покажем, что тогда z2 = 0 . Действительно, запишем эти
числа в алгебраической форме: z1 = x 1 +iy1 , z2 = x2 +iy2 . Из (1) имеем:
x 1x2 − y1 y2 = 0 и x 1 y2 + x2 y1 = 0 . Отсюда следует, что числа x2 и y2 удовлетворяют однородной системе
ax + by = 0,
cx + dy = 0,
где a = d = x 1 , c = −b = y1 . Определитель ∆ этой системы отличен от нуля: так как x 1 ≠ 0 y1 ≠ 0 , то ∆ = ad −bc = x12 + y12 > 0 . Значит, система имеет только нуле-
вое решение: x2 = y2 = 0 ; поэтому z2 |
= 0 . |
Следовательно, из z1 z2 = 0 |
вытекает, что либо z2 = 0 , либо z1 = 0 , |
либо z1 = z2 = 0 .
Достаточность очевидна в силу свойства 4. 6. Пусть z1 и z2 – комплексные числа. Тогда
(z1 +z2 = 0) (z2 = (−1)z1 ) .
Пусть z1 = x 1 +iy1 , z2 = x2 +iy2 . Тогда
(z1 + z2 = 0) (x 1 + x 2 = 0) ( y1 + y2 = 0) (x2 = −x1 ) ( y2 = −y1 ) .
Отсюда:
(z1 + z2 = 0) (z2 = (−x1 ) +i (−y1 ) = (−1) z1 ).
Пусть z C. Число (–1) z обозначают через –z и называют числом, противоположным z. Из свойства 6 следует: сумма числа z и числа противоположного z равна нулю: z C z + (–z) = 0.
Вычитание комплексных чисел вводится как операция, обратная сло-
5

жению: пусть z1 и z2 – заданные числа; разностью чисел z2 и z1 называют
число z такое, |
что z1 + z = z 2 ; разность чисел z2 и z1 обозначают через z2 − z1 . |
Запишем |
z1 , z2 и z в алгебраической форме: z1 = x 1 +iy1 , z2 = x2 +iy2 , |
z = x +iy . Имеем:
(z1 + z = z 2 ) (x1 + x = x2 ) ( y1 + y = y2 ) .
Отсюда:
(z = z2 − z1 ) (x = x2 − x 1 ) ( y = y2 − y1 ) ,
так что к правилам сложения и умножения (2) можно добавить правило вычитания:
z2 − z1 = ( x2 − x 1 ) +i ( y2 − y1 ) . |
(3) |
Заметим, что равенства (2) и (3) можно получить складывая, перемножая и вычитая двучлены x 1 +iy1 и x2 +iy2 по правилам алгебры, известным
из школьных учебников; при перемножении этих двучленов используется равенство i 2 = −1. Следовательно, складывая, вычитая, умножая, возводя в натуральную степень комплексные числа, записанные в алгебраической форме, можно руководствоваться правилами алгебры, изложенными в школьных учебниках, учитывая при этом значения степеней числа i: i 0 =1, i1 = i ,
i 2 = −1, i 3 = −i , i 4 =1 и т. д. В частности, можно применять формулы сокращенного умножения.
Пример 1. Найдём алгебраическую форму числа (1+i (−2))3 .
Число 1+i (−2) запишем в виде двучлена 1−i 2 и воспользуемся формулой (a −b)3 = a3 −3a2b +3ab2 −b3 . Получим:
(1−i 2)3 =1−3(i 2) +3(i 2)2 −(i 2)3 =1−6i +12 i2 −8i3 =1−6i −12 +8i = −11+2i .
Деление комплексных чисел вводится как операция, обратная умноже-
нию: пусть z1 и z2 |
– комплексные числа, причем z1 ≠ 0 ; частным чисел z2 |
и z1 |
||||
называют число z |
такое, что |
z z1 = z2 ; обозначают это число символами |
z2 :z1 |
|||
и |
z2 |
. Запишем числа z1 , |
z2 и z |
в алгебраической форме: z1 = x 1 +iy1 , z2 = x2 + |
||
|
||||||
|
z1 |
|
|
|
|
|
+i y2 , z = x +iy ; тогда из |
z z1 = z2 следует: x 1x − y1 y = x2 , y1x + x 1 y = y2 . Эти два |
равенства рассмотрим как систему двух линейных относительно x и y уравнений. Определитель ∆ этой системы равен x12 + y12 ; так как z1 ≠ 0 , то и ∆ ≠ 0 ;
поэтому система имеет единственное решение, которое можно найти по фор-
мулам Крамера: x = x 1x2 + y1 y2 ,
x 12 + y12
z2
z1
y= x 1 y2 − x2 y1 .Таким образом,
x 12 + y12
= |
x 1x2 + y1 y2 |
+i |
x 1 y2 − x2 y1 |
. |
(4) |
x 12 + y12 |
|
||||
|
|
x 12 + y12 |
|
Выполняя деление z2 = x2 +i y2 на z1 = x 1 +iy1 , обычно прибегают к следующе-
му приему: числитель и знаменатель дроби |
z2 |
умножают на двучлен x 1 −iy1 |
|
||
|
z1 |
|
(число x 1 −iy1 называют сопряженным числу |
x 1 +iy1 , см. ниже 1.7) : |
6

|
z |
2 |
= |
(x |
2 +iy2 )(x 1 |
−iy1 ) |
|
= |
|
x 1x2 + y1 y2 |
+i (x 1 y2 − x2 y1 ) |
|
= |
|
x 1x2 + y1 y2 |
+i |
x 1 y2 − x2 y1 |
. |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
z |
1 |
(x |
1 |
+iy |
|
)(x |
1 |
−iy ) |
|
|
|
|
|
|
|
|
|
|
x |
2 |
+ y2 |
|
|
|
|
|
|
|
|
|
x |
2 |
+ y |
2 |
|
x 2 |
+ y2 |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
1 |
|
1 |
|
|
||||||||||
Пример 2. Вычислить |
|
z = |
|
1−i |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 +i |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Имеем: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
3 |
|
|
|
|
|
|
|
1 |
|
3 |
|
|
|
|
|
|
1 |
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−i |
|
|
|
|
|
|
|
|
+i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
− |
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1 −i) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
1 −i |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
2 2 |
|
|
|
|
|
2 2 |
|
1 − 3 |
|
|
1 + 3 |
|
|||||||||||||||||||
|
|
|
z = |
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
1 |
|
|
3 |
|
= |
−i |
. |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
||||||||||||||||||||
|
|
|
|
|
1 |
|
|
|
|
3 |
|
|
|
1 |
|
|
|
3 |
|
1 |
|
|
|
|
3 |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
+i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
2 |
|
2 |
|
|
|
|
2 |
+i |
2 |
|
|
2 |
|
−i |
2 |
|
|
|
|
|
|
|
4 |
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z1 + z2
z1 |
z1 − z2 |
z2
Рис. 2
В заключение этого пункта остановимся на геометрической интерпретации суммы z1 + z2 и разности z2 − z1 .
Будем изображать комплексные числа векторами, лежащими на комплексной
плоскости. Число z1 = x 1 +iy1 |
изобразит- |
ся радиусом-вектором точки |
z1 , число |
z2 = x2 +iy2 – радиусом-вектором точки
z2 . Число z1 + z2 = ( x 1 + x2 ) +i ( y1 + y2 )
изобразится вектором, проекции которого на оси равны x1 + x2 и y1 + y2 . Из векторной алгебры известно, что такой вектор является суммой векторов z1
и z2 , т.е. диагональю параллелограмма, построенного на векторах z1 и z2 |
||||
( рис. 2). Разность z2 − z1 = (x2 − x1 ) +i( y2 |
− y1 ) представлена на этом рисунке |
|||
разностью радиусов-векторов точек z2 |
и z1 , т.е. второй диагональю парал- |
|||
лелограмма. |
|
|
|
|
|
1.3. Модуль комплексного числа |
|
||
|
Модулем комплексного числа z = ( x, y ) = x +iy |
называют вещественное |
||
число |
x 2 + y2 . |
Модуль числа z обозначаем через |
|z | ; таким образом, |
|
|z | = |
x 2 + y2 , где |
x = R e z , y = Im z . Если z является вещественным числом, |
т.е., если z = (x, 0) , его модуль совпадает с абсолютной величиной числа x:
|z | = x 2 = | x | .
Геометрический смысл модуля числа z = (x, y ) очевиден: x 2 + y2 есть расстояние от начала координат до точки z = (x, y ) , изображающей число z, или длина вектора, проекции которого на оси есть x и y.
Замечание 1. Разность z1 − z2 изображается вектором, начало которого есть точка z2 комплексной плоскости, а концом является z1 (рис.2); значит, модуль разности, число | z1 − z2 | есть длина этого вектора, т.е. расстояние между точками комплексной плоскости z1 и z2 .
Отметим ряд свойств модуля. Они аналогичны свойствам абсолютной
7

величины вещественного числа. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
1. |
Для всякого z C его модуль |
|
|
|z | |
есть неотрицательное число, |
|||||||||||||||||||||
причем |
|z | = 0 тогда и только тогда, когда |
z = 0 . |
|
|
|
|
|
|
|
|||||||||||||||||
2. |
Для всякого z C |
|
Re z |
|
|
≤ |z | , |
|
|
Im z |
|
≤ |z | . |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Справедливость этих утверждений очевидна. |
|
|
|
|
|
|
|
|||||||||||||||||||
3. |
Для любых z1 и z2 |
| z1 z2 |=| z1| | z2 |
| ; если z1 ≠ 0 , то |
|
z1 |
|
| z1 | |
. |
|
|
||||||||||||||||
|
|
= |
||||||||||||||||||||||||
z2 |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| z2 | |
|||||
|
|
Запишем числа z1 и z2 в алгебраической форме: z1 = x 1 +iy1 , |
||||||||||||||||||||||||
z2 = x2 +iy2 ; тогда (см. (2)): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
z1z2 = ( x 1x2 − y1 y2 ) +i ( x 1 y2 + x2 y1 ) ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
| z1 z2 | = (x 1x 2 − y1 y2 )2 +(x 1 y2 + x 2 y1 )2 = (x 12 + y12 )(x 22 + y22 ) =| z1 | | z2 | . |
||||||||||||||||||||||||||
Пусть z1 ≠ 0 , и пусть |
z = |
z2 |
; тогда z2 = z1 z . По доказанному выше, |
|||||||||||||||||||||||
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
z1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
| z2 |=| z1 | | z | ; отсюда, поскольку здесь все числа вещественные, |
| z |= |
| z2 | |
. |
|||||||||||||||||||||||
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| z | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
||
4. |
Для любых комплексных z1 и |
|
|
z2 |
справедливы неравенства |
|||||||||||||||||||||
|
|
|
|
| z1| −| z2 | |
|
≤| z1 +z2 | ≤| z1| +| z2 |. |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
Докажем сначала неравенство |
| z1 + z2 | ≤ | z1 | + | z2 |. |
|
|
|
|
|
|
|
|||||||||||||||||
Справедливость его очевидна в случае z1 + z2 = 0 . Пусть z1 + z2 ≠ 0 . Обо- |
||||||||||||||||||||||||||
значим: |
λ = |
| z1 + z2 | |
. Отсюда λz1 +λz2 =| z1 +z2 |; таким образом, сумма λz1 +λz2 |
|||||||||||||||||||||||
|
||||||||||||||||||||||||||
|
|
z1 + z2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
является вещественным и притом положительным числом, в силу чего сумма λz1 +λz2 равна сумме вещественных частей слагаемых λz1 и λz2 :
λz1 +λz2 = a +b, где a = R e (λz1 ) , b = Re(λz2 ) .
Так как λz1 +λz2 >0 , можем записать: λz1 +λz2 = a +b =| a +b | ≤| a | +| b | ; эдесь заключительное неравенство вытекает из свойств абсолютной величины вещественных чисел. Из свойств 2 и 3 модуля следует:
|a|= |
|
Re(λz1) |
|
≤ |
|
λz1 |
|
= |
|
λ |
|
| z1| ; |
|
|
|
|b|= |
|
Re(λz2 ) |
|
≤ |
|
λz2 |
|
= |
|
λ |
|
| z2 | . |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
Таким образом, | z1 +z2 |= λz1 +λz2 ≤| a | +| b | ≤ |
|
λ |
|
(| z1 | + | z2 | ), и так как (см. свой- |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
ство 3) |
|
λ |
|
= |
|
| z1 +z2 | |
|
|
|
= | z1 |
+z2 |
| |
=1, |
|
то окончательно получим: |
|||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
z +z |
2 |
|
|
|
| z |
+z |
2 |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
(| z1 | +| z2 | )= | z1 | +| z2 | . |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| z1 +z2 | ≤ |
|
λ |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Докажем неравенство |
|
|
| z1 | − | z2 | |
|
≤ | z1 +z2 | . |
|||||||||||||||||||||||||||||||||||||||||||
|
|
Это неравенство очевидно, если |z1|=|z2 | . Пусть |z1|>|z2 | ; тогда
|
|| z1 |−| z2 ||=| z1 |−| z2 | =| z1 + z2 +(−z2 ) |−| z2 | . |
По доказанному выше | z1 + z2 +(−z2 ) |≤| z1 + z2 |+| −z2 |=| z1 + z2 |+| z2 |. Значит, |
|
|| z1 |−| z2 |
||=| z1 + z2 +(−z2 ) |−| z2 |≤| z1 + z2 |+| z2 |−| z2 |=| z1 + z2 | . |
Случай |z1|<|z2 |
| рассматривается аналогично. |
Замечание 2. Неравенство | z1 +z2 | ≤ | z1 | + | z2 | назывют неравенством тре-
8

угольника, поскольку на него можно смотреть как на неравенство, связывающее длины сторон треугольника, вершинами которого являются точки 0 , z1 и z2 +z1 ( рис. 2).
Упражнение. Используя метод математической индукции, доказать обобщение неравенства треугольника: пусть z1 , z2 , … , zn – заданные комп-
лексные числа; тогда |
∑n |
zk |
≤ ∑n |
| zk | . |
|
k =1 |
|
k =1 |
|
1.4. Аргумент комплексного числа. Тригонометрическая
форма комплексного числа
Аргументом комплексного числа z, z ≠ 0 , называют вещественное число ϕ такое, что
|
|
cosϕ = |
x |
, |
sin ϕ = |
y |
, |
(5) |
|
r |
|
||||||||
|
|
|
|
|
|
r |
|
||
где x =Re z, y = Im z, r =| z | = x2 + y 2 |
>0 |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
Если некоторое число ϕ удов- |
|
|
|
|
|
|
летворяет равенствам (5), то им удов- |
|||
|
|
|
|
|
|
||||
|
|
Z |
|
летворит и любое число вида ϕ + 2kπ, |
|||||
|
|
|
k Z, |
причем множество {ϕ + 2kπ}, |
|||||
|
|
|
|
|
|
||||
|
|
φ |
|
где k |
принимает всевозможные целые |
||||
|
|
|
значения, есть совокупность всех чи- |
||||||
|
|
|
|
|
|
||||
|
|
|
|
|
|
сел, удовлетворяющих (5). Таким обра- |
|||
|
|
|
|
|
|
||||
|
|
Рис. 3 |
|
зом, аргумент числа z имеет бесконеч- |
|||||
|
|
|
ное множество значений, которые отли- |
||||||
|
|
|
|
|
|
чаются одно от другого слагаемым, кратным 2π. В дальнейшем через arg z мы обозначаем какое-либо одно из значений аргумента числа z. Равенство ϕ = arg z означает, что число ϕ есть одно из значений аргумента числа z.
Неравенства 0 ≤ arg z < 2π означают, что в данном случае arg z |
есть то един- |
ственное значение аргумента z, которое лежит на промежутке |
[0; 2π) ; иног- |
да такое число называют главным значением аргумента z.
Геометрически число ϕ , удовлетворяющее условиям (1), является, очевидно, углом между положительным направлением вещественной оси и вектором z . Если ϕ > 0 , угол отсчитывается от вещественной оси против часовой стрелки, если же ϕ < 0 – угол отсчитывается по часовой стрелке (рис.3).
Пусть z = ( x, y ) = x +iy – отличное от нуля комплексное число, ϕ = arg z , r = |z | . Учитывая равенства (5), можем записать:
x |
|
y |
= r (cosϕ +i sin ϕ) . |
|||
z = x +iy = r |
|
|
+i |
|
|
|
|
|
|||||
r |
|
r |
|
|||
Здесь r = |z | , ϕ = arg z (ϕ - одно из значений аргумента z, любое). |
||||||
Выражение r (cosϕ +i sin ϕ) |
называют тригонометрической формой |
числа z.
Пример 3. Найдём тригонометрическую форму числа z = −3 +i 3 .
9

Имеем: |z | = |
(−3)2 +( 3) |
2 |
= 2 3 |
; |
|
− |
3 |
+ i |
1 |
|
|
z = −3 + i 3 = 2 3 |
. |
||||||||
|
|
|
|
|
|
|
2 |
|
2 |
Последнее выражение уже является тригонометрической формой z. Найдём arg z .Равенства (5) в рассматриваемом случае выглядят так:
|
|
cos ϕ = − 3 , |
sin ϕ = |
1 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
5 |
2 |
2 |
|
|
|
|
|
|
5 |
|
||
Отсюда: ϕ = |
π +2kπ, k Z. Взяв в качестве |
arg z , например, число |
π , |
||||||||||
6 |
6 |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||
получим представление числа z |
в тригонометрической форме, в котором |
||||||||||||
явно фигурирует и модуль, и аргумеит z: z = 2 |
|
5 |
π +i sin |
5 |
|
|
|
||||||
3 cos |
6 |
6 |
π . |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
1.5. Умножение и деление комплексных чисел, записанных
в тригонометрической форме
Пусть отличные от нуля комплексные числа z1 и z2 записаны в тригонометрической форме:
z1 = r1(cosϕ1 +i sin ϕ1 ), z2 = r2 (cosϕ2 +i sin ϕ2 ) . |
(6) |
Найдем тригонометрическую форму произведения |
z1z2 . Заметим, что |
| z1z2 | = | z1 | | z2 | = r1 r2 ; кроме того,
(cosϕ1 +i sinϕ1 )(cosϕ2 +i sinϕ2 ) = (cosϕ1 cosϕ2 −sinϕ1 sinϕ2 ) +
+i(cosϕ1 sin ϕ2 +sin ϕ1 cosϕ2 ) = cos(ϕ1 +ϕ2 ) +i sin(ϕ1 +ϕ2 ) .
Отсюда:
z1z2 = r1r2 (cos(ϕ1 +ϕ2 ) +i sin (ϕ1 +ϕ2 )), |
(7) |
причем правая часть этого равенства является тригонометрической формой
числа z1z2 .
Итак, при умножении комплексных чисел их модули перемножаются, а аргументы складываются (точнее: сложив аргументы сомножителей, мы получим одно из значений arg (z1z2 ) ). Геометрически умножение числа z1 на
число z2 сводится к повороту вектора z1 на угол arg z2 и к изменению длины этого вектора в | z2 | раз.
Используя (7), с помощью метода математической индукции нетрудно установить справедливость следующего утверждения: пусть z1 , z2 , … , zn ,
где n ≥ 2, – заданные отличные от нуля числа, rk = | zk | , |
ϕk = arg zk , k = 1, 2, |
… , n; тогда |
|
z = ρ(cos ψ +i sin ψ) , |
(8) |
где z = z1 z2 Kzn , ρ = r1 r2 Krn , ψ = ϕ1 +ϕ2 +K+ϕn , т.е. при перемножении n, n≥2, комплексных чисел их модули перемножаются, а аргументы складываются.
Упражнение. Доказать равенство (8).
Найдем частное z2 , где z1 и z2 заданы равенствами (6). Заметим (см. z1
10

п.1.3), что |
z |
2 |
= |
r2 |
|
z |
1 |
r |
|||
|
|
||||
|
|
|
1 |
. Кроме того,
cos ϕ2 |
+i sin ϕ2 |
= |
(cos ϕ2 |
+i sin ϕ2 )(cos ϕ1 −i sin ϕ1) |
= |
|
|||
cos ϕ |
+i sin ϕ |
|
(cos ϕ |
+i sin ϕ )(cos ϕ |
−i sin ϕ ) |
|
|
||
1 |
1 |
|
1 |
1 |
1 |
1 |
|
|
|
= |
(cosϕ2 cosϕ1 +sinϕ2 sinϕ1 ) +i(sinϕ2 |
cosϕ1 −cosϕ2 sinϕ1 ) |
= |
||||||
|
|
|
|
cos2 ϕ1 +sin 2 ϕ1 |
|
|
|
|
= cos(ϕ2 −ϕ1 ) +i sin(ϕ2 −ϕ1 ) .
Значит,
|
|
|
|
z2 |
= |
r2 |
(cos(ϕ2 −ϕ1 ) +i sin (ϕ2 −ϕ1 )), |
|
|
|
(9) |
|
|||||||
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
z |
1 |
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
причем правая часть этого равенства является тригонометрической формой |
|
||||||||||||||||||
числа |
|
z2 |
. Таким образом, при делении комплексных чисел их модули делят- |
||||||||||||||||
|
|
||||||||||||||||||
|
|
z1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ся, а аргументы вычитаются (точнее: вычитая из аргумента числителя аргу- |
|
||||||||||||||||||
мент знаменателя, мы получим одно из значений аргумента частного). |
|
z1 |
|
||||||||||||||||
|
Пример 4. Пусть |
|
z1 =1−i , z2 = |
2 |
+i |
2 |
, z3 = |
1 |
+i |
3 |
. Найти z1z2 |
и |
. |
||||||
|
|
2 |
2 |
2 |
2 |
z3 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Запишем заданные числа в тригонометрической форме:
|
|
|
|
|
π |
|
|
+ i sin |
|
− |
π |
|
|
|
z2 = cos |
π |
+i sin |
|
π |
; |
z3 |
|
= cos |
π |
+i sin |
π |
. |
|
|
||||||||||||||||
z1 = 2 cos |
− |
4 |
|
|
|
4 |
; |
|
|
4 |
4 |
|
3 |
3 |
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Таким образом, |
|
z1 |
= |
|
2 , |
arg z1 = − |
π |
; |
|
z2 |
|
= |
|
z3 |
|
=1; |
|
arg z2 |
= π ; |
|
arg z3 = |
π . |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
Теперь получим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
|
3 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
z1z2 = |
|
|
|
|
|
− |
π |
+ |
π |
|
|
|
|
|
− |
π |
+ |
π |
|
= |
2 |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
2 1 cos |
4 |
4 |
|
+i sin |
4 |
4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
z1 |
= |
2 |
|
|
|
|
|
− |
π |
|
− |
π |
+ i sin |
|
− |
π |
− |
π |
|
= |
|
|
|
|
|
|
|
− |
|
7 |
|
|
|
|
|
|
7 |
|
|
||||||
z3 |
1 |
cos |
|
4 |
|
3 |
|
|
4 |
|
|
|
|
2 cos |
12 |
π |
+ i sin − |
12 |
π . |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
1.6. Возведение в целую степень и извлечение корня |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
Пусть z ≠ 0 , |
z = r (cosϕ +i sin ϕ) , где r = | z |, |
ϕ = arg z , и пусть n – натура- |
|||||||||||||||||||||||||||||||||||||||||||
льное число. Степень |
|
zn |
представляет собой произведение n множителей: |
|
|||||||||||||||||||||||||||||||||||||||||
zn = z z K z ; поэтому |
|
zn |
можно вычислить по формуле (8) ; в рассматривае- |
||||||||||||||||||||||||||||||||||||||||||
мом случае |
ρ = rn , |
ψ = nϕ; |
поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
zn = r n (cosnϕ +i sin nϕ) . |
|
|
|
|
|
|
|
|
(10) |
|
|
|
|
|
|
|
||||||||||||||||||||
Определим целые неположительные степени комплексного числа z, |
|
||||||||||||||||||||||||||||||||||||||||||||
z ≠ 0. По определению положим z0 |
=1; и для всякого n, |
n N, по опреде- |
|
||||||||||||||||||||||||||||||||||||||||||
лению положим |
z |
−n = |
|
1 |
. |
|
Заметим: если r = | z |, |
|
ϕ = arg z , |
а n N, |
|
|
то |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
zn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z−n = |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
= |
1 |
|
(cosnϕ −i sin nϕ) = r−n (cos(−n)ϕ +i sin (−n)ϕ). |
|
||||||||||||||||||||||||||
r n (cosnϕ +i sin nϕ) |
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
r n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, равенство (10) справедливо при любых целых n. Это равенство называют формулой Муавра; его правая часть представляет собой
11

тригонометрическую форму числа zn , n Z. Заметим, что z n равен rn = |z | n . Если ϕ = arg z , то nϕ есть одно из значений arg (zn ) .
Пусть заданы комплексное число a и натуральное число n, n ≥ 2, и пусть комплексное число z удовлетворяет равенству zn = a . Тогда z назы-
вают корнем степени n из числа a.
Если a = 0, то и z = 0 ( см. 1.2, свойство 5). Пусть a ≠ 0. Найдем модуль и аргумент числа z. Обозначим: r = |z | , ρ = |a|. Из zn = a следует z n = |a| ,
а из формулы Муавра вытекает |
|
z n |
= r n ; значит, r n = ρ и |
r = n ρ ( это “ариф- |
метический ” корень: n ρ > 0 ) . |
Пусть ψ = arg a , ϕ = argz. |
Тогда {ψ + 2kπ}, |
где k Z, есть множество всех значений аргумента a; поэтому число nϕ,
будучи одним из значений arg(z n ) , |
должно совпадать с одним из чисел ука- |
|||||||||
занного множества. Значит, найдется |
~ |
, |
~ |
Z |
, такое, что |
~ |
||||
k |
k |
nϕ = ψ +2k π; |
||||||||
тогда |
|
~ |
|
|
|
|
|
~ |
|
|
|
ψ + |
π |
|
|
|
|
π |
|
||
2k |
+ i sin |
ψ +2k |
(11) |
|||||||
z = r(cos ϕ + i sin ϕ) = n ρ cos |
n |
|
|
n |
. |
|||||
|
|
|
|
|
|
|
|
|||
Пусть k – любое целое число. Обозначим: |
|
|
||||||||
zk = n ρ |
|
ψ +2kπ |
+ i sin |
ψ +2kπ |
(12) |
|||||
cos |
|
n |
|
|
|
|||||
|
|
|
|
|
|
|
n |
|
||
По формуле Муавра получим: k Z |
|
(zk )n = ρ(cos(ψ +2kπ) +i sin(ψ +2kπ))= a , |
так что каждое из чисел (12) является корнем степени n из a. С другой сто-
|
|
z2 |
|
|
|
|
роны, из (11) следует,что вся- |
|
|
|
|
|
|
|
|||
|
|
|
z1 |
|
|
кое число, являющееся кор- |
||
|
|
|
|
|
|
нем степени n из a, содер - |
||
|
|
|
2π |
|
z |
0 |
жится среди чисел {zk }, k |
|
|
|
|
Z. , Значит, множество {zk }, |
|||||
|
|
|
n ψ |
|
||||
|
|
|
|
zn−1 |
k Z, есть множество всех |
|||
|
|
|
|
n |
|
|||
|
|
|
|
|
|
|
значений корня степени n из |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
a. Отметим, что в этом мно- |
|
|
|
|
|
|
|
|
жестве имеется всего n по- |
|
|
|
|
|
|
|
|
парно различных чисел: z0 , |
|
|
|
|
|
|
|
|
z1 , … , zn−1 , очевидно, |
|
|
|
|
|
|
|
|
попарно различны, а всякое |
|
|
|
|
|
|
|
|
число zk , где k ≤ –1 или k ≥ |
|
|
Рис. 4. |
|
|
|
|
|||
|
|
|
|
|
n, совпадает с одним из |
|||
|
|
|
|
|
|
|
||
чисел z0 , z1 , … , zn−1 . Таким образом, для всякого a C, |
a ≠ 0, имеется |
|||||||
ровно n попарно различных значений корня степени n; |
эти значения можно |
найти, придавая в формуле (12) индексу k значения 0, 1, 2, … , n– 1. Точки комплексной плоскости, изображающие числа z0 , z1 , … , zn−1 лежат на окружности радиуса n ρ с центром в a = 0 и делят её на n равных дуг (
рис.4).
Иногда употребляют символ n a для обозначения корня n-й степени
12