ВМ Высшая математика
Главная Школьная математика Глава 1

ВВЕРХ

Определение комплексных чисел
Равные комплексные числа
Сопряжённые комплексные числа
Геометрическое представление комплексных чисел
Сложение комплексных чисел
Вычитание комплексных чисел
Умножение комплексных чисел
Деление комплексных чисел
Возведение в степень
Извлечение корня
Тригонометрическая форма
Пример
Геометрический смысл модуля разности комплексных чисел
Действия над комплексными  числами в тригонометрической форме

Оглавление
Предметный указатель
Литература
Для доступа к меню нажмите правую кнопку мыши

§6. КОМПЛЕКСНЫЕ  ЧИСЛА

   Введение комплексных чисел вызвано уже тем, что в множестве действительных чисел невыполнимо извлечение квадратного корня или вообще корня четной степени из отрицательного числа.
   Определение. Комплексным числом называется выражение вида a + b·i, где а и b — действительные числа, a i — некоторый символ. При этом а называется действительной (или вещественной) частью данного комплексного числа, b — его мнимой частью, i — мнимой единицей. Символ a + b·i рассматривается сначала как цельный.
   Если, в частности, b = 0, то комплексное число a + 0·i, считается совпадающим с действительным числом а, т. е.
a + 0·i,                        (18)
   Таким образом, действительные  числа представляют собой частный случай комплексных чисел.
   Если, в частности, а = 0, то комплексное число 0 + b·i, обозначается просто b·i,  и называется чисто мнимым:
0 + b·i = b·i,                                       (19)
при этом полагают
0 + 1·i = i,   0 - 1·i = - i,                        (20)
   Комплексные числа  a + b·i и с + d·i считаются равными:
a + b·i = с + d·i                        (21)
тогда и только тогда, когда a = c, b = d.
   В частности, a + b·i нулю тогда и только тогда, когда a = 0 и b = 0.
   Понятия «больше» и «меньше» для комплексных чисел не определяются, т. е. комплексные числа по величине не сравниваются.
   Два комплексных числа a + b·i и с + d·i, отличающиеся только знаками при мнимой части, называются комплексно сопряженными или просто сопряженными.
   Запись c + d i = a + b i или a + b i = c + d i означает, что числа a + b·i и с + d·i являются сопряженными, т. е. с = a, d = - b.
   Таким образом, знак «сопряжения» — черта над комплексным числом означает изменение знака при мнимой части.
   Как известно, действительные числа изображаются точками числовой оси. Комплексное число  z = a + b·i принято изображать точкой на плоскости М с координатами а и b (рис. 4). Очевидно, что при этом каждой точке плоскости соответствует определенное комплексное число, и обратно, каждому комплексному числу z соответствует единственная точка плоскости, которая служит для изображения z. В частности, действительные числа изображаются точками оси абсцисс, чисто мнимые — точками оси ординат. Точка с координатами (0, 1) служит изображением числа i. Сопряженным числам z и z отвечают соответственно точки с координатами   (а, b) и   (а, - b). Очевидно, что эти точки симметричны относительно оси Ох.
   Плоскость хОу, которая служит для изображения комплексных чисел, называется комплексной плоскостью.
   Полезно и другое геометрическое истолкование комплексного числа: число z = a + b·i рассматривается как вектор   с началом в точке О и с концом в точке М (а, b) (рис. 4).
   Установим над комплексными числами арифметические действия, а также действия возведения в степень и извлечения корня.
   Сложение. Суммой z1 + z2 комплексных чисел  z1 = a + b·i и z2 = c + d·i называется комплексное число.
z = z1 + z2 = (a + c) + (b + d)·i.                        (22)
   В связи с тем, что действительное число есть частный случай комплексного числа возникает вопрос: не противоречит ли действие сложения по формуле (22) ранее введенному действию сложения действительных чисел?
   Если положить в формуле (22)  b = 0 и d = 0, то согласно соотношению (18) получаем справедливое равенство между действительными числами;
(a + 0·i + (c + 0·i) = (a + c) + (0 + 0)·i = a + c.
Таким образом, противоречия нет.
   Символ a + b·i до сих пор рассматривался как цельный. Теперь из определения суммы следует, что комплексное число a + b·i можно рассматривать как сумму действительного числа а с чисто мнимым числом b·i.
   В самом деле, согласно формулам (18), (19) и (22) имеем:
(a) + (b·i) = (a + 0·i) + (0 + b·i) = (a + 0) + (b + 0)·i = a + b·i,
что и утверждалось.
   Вычитание вводится как действие, обратное сложению. Разностью z1 - z 2 комплексных чисел z1 = a + b·i и z2 = c + d·i называется такое число z:
z1 – z2 = z,
что z2 + z = z1.
   Покажем, что для любых z1 и z2 разность z = x + y·i существует и единственна. В самом деле, согласно формуле (22)
a + b·i = (c + d·i) + (x + y·i)= (c + x) + (d + y)·i,
откуда по  определению  (21)  следует, что a = c + x, b = d + y, т. е. x = a – c и y = b – d.
   Таким образом,
(a + b·i) – (c + d·i) = (a – c) + (b – d)·i.                        (23)
Очевидно, что
z + z = (a + b·i) + (a – b·i) = 2·a,
z - z = (a + b·i) - (a – b·i) = 2b·i,
т. е. сумма двух комплексно сопряженных чисел есть действительное число, а разность — чисто мнимое.
   Умножение. Произведением z1·z2 комплексных чисел z1 = a + b·i и z2 = c + d·i называется комплексное число
z = z1·z2= (a·c – b·d) + (a·d + b·c)·i                        (24)
Предоставляем читателю убедиться с помощью формул (18) и (24), что определяемое формулой (24) действие умножения не противоречит действию умножения действительных чисел.
   Из формул (24) и (20) вытекает, что;
1) b·i = (b + 0·i)·(0 + 1·i) = 0 + b·i = b·i,
т. е. чисто мнимое число b·i можно рассматривать как произведение действительного числа b на мнимую единицу i;
2) i·i = i2 = (0 + 1·i) ² = - 1 + 0·i = - 1+ 0·i
т. е. мнимая единица есть такое число, квадрат которого равен отрицательной единице.
   Таким образом, символ a + b·i, введенный ранее как цельный, теперь можно рассматривать как сумму действительного числа а с чисто мнимым b·i, а последнее — как произведение числа b на мнимую единицу, и формула (24) получается по обычному правилу умножения буквенных двучленов с учетом равенства i2 = - 1;
3) z·z = (a + b·i)·(a – b·i) = a2 + b2, т. е. произведение двух комплексно сопряженных чисел есть действительное неотрицательное число.
   Деление вводится как действие, обратное умножению. Частным  комплексных чисел z1 = a + b·i и z2 = c + d·i называется такое число z, что z2·z = z1.
   Покажем, что для любого z2 ≠ 0 частное z = x + y·i единственно. В самом деле, согласно формуле (24)
a + b·i = (c + d·i)·(x + y·i) = (c·x – d·y) + (d·x + c·y)·i,
откуда по определению (21) следует, что
Решив эту систему, найдем
(c² + d² ≠ 0, т.к. c + d·i ≠ 0. Таким образом,
                        (25)
   Замечание. Вывод формулы (25) необходим для доказательства существования и единственности частного. Практически деление выполняют по следующему правилу:
Например,
Из формул (22), (23), (24), (25) вытекает, что для комплексных чисел сохраняются основные свойства арифметических действий:
z1 + z2 = z2 + z1, (z1 + z2) + z3 = z1 +(z2 + z3),
z1·z2 = z2·z1, (z1·z2)·z3 = z1·(z2·z3),
(z1 + z2)·z3 = z1·z3 + z2·z3.
   Общий вывод. Все арифметические действия над комплексными числами производят по тем же правилам, по каким они производятся для чисел действительных, если учитывать при этом равенство i² = -1.
   Если в сумме, разности, произведении и частном комплексных чисел каждое число заменить сопряженным с ним, то и результаты заменятся сопряженными с ними числами:
1) = (a – b·i)+ (c – d·i)= (a + c) – (b + d)·i = ,
2) = (a – b·i) - (c – d·i) = (a - c) – (b - d)·i = ,
3) = (a – b·i)·(c – d·i) = (a·c – b·d) - (a·d + b·c)·i = ,
4)
В этом нетрудно убедиться с помощью непосредственной проверки по формулам (22), (23), (24), (25). Отсюда вытекает следующее полезное правило.
   Если в выражении, составленном из комплексных чисел, над которыми производятся арифметические действия, каждое комплексное число заменить сопряженным с ним, то и значение всего выражения заменяется на сопряженное.
   Возведение в степень. Полагают
где n — натуральное число.
Для z≠ 0 полагают z0 = 1, z - n =
   Нетрудно проверить, что при возведении комплексного числа в степень с целым показателем справедливы следующие свойства:
zp·zq = zp + q, (zp)q = zpq,
   Найдем степени числа i. По определению i0 = l, i1= i  далее, известно, что i ² = – 1. Поэтому i ³ = i ²·i = – i, i 4 = i ³·i = 1, i 5 = i 4·i = i. Вообще i 4n = 1, i 4n+1 = i, i4n+2 = – 1, i4n+3 = – i (n - натуральное).
   Для возведения в степень числа a + b·i используют формулу бинома Ньютона и уже известные степени числа i:
   Извлечение корня. Корнем n- й степени из комплексного числа z называется такое комплексное число ω:
                     (27)
что ωn = z (n≥ 2 – натуральное).
   Таким образом, извлечение корня определяется как действие, обратное возведению в степень.
   Извлечем, например, квадратный корень из действительного отрицательного числа ( – а ²) и покажем, что
в частности, .
Полагая  согласно равенству (27) имеем
(x – y·i) ² = - a ²,
или
(x ² – y ²) + 2x·y·i = - a ².
Отсюда получаем систему двух уравнений
решая которую, найдем, что
x = 0, y = ± 2
(случай у = 0 невозможен, так как при этом х ² = - а2, что неверно для действительных чисел). Поэтому .    Доказано, что корень  всегда существует и имеет ровно n различных значений, если z ≠ 0. Очевидно, .
   Тригонометрическая форма. Комплексное число z = a + b·i геометрически изображается точкой М(а, b) или вектором с началом в точке О и с концом в точке М (рис. 4). Для задания комплексного числа достаточно указать изображающую его точку М или вектор . Положение точки М ранее определялось ее координатами а и b.
   Однако положение точки М можно характеризовать и другим способом. Обозначим через r расстояние точки М от начала координат (т. е. длину вектора ), а через φ — угол, который образует вектор  с осью Ох, отсчитываемый от положительного направления оси (рис. 4). Очевидно, что задание величин r и φ однозначно определяет положение точки М на плоскости.
   Из тригонометрии известно, что 
откуда
a = r·cos φ, b = r ·sin φ.                     (28)
Поэтому
z = a + b·i = r·(cos φ + i·sin φ).                     (29)
Правая часть равенства (29) называется тригонометрической формой комплексного числа z, тогда как запись z в виде а + b·i называется его алгебраической формой.
   Из формул (28) или непосредственно из рис. 4 получим, что
                     (30)
Число r является неотрицательным действительным числом, причем оно равно нулю только для z = 0. Число r называется модулем комплексного числа z и обозначается символом |z|.
   Угол φ называется аргументом, числа z и обозначается символом arg z. Угол φ определяется с точностью до 2·π k (k = 0, ±1, ±2, ...), так как углам φ и φ + 2·πk при одинаковом r соответствует одна и та же точка М. Аргумент не определен только для z = 0.
   У равных комплексных чисел модули равны, а аргументы могут отличаться только на 2·π k.
   Для перехода от алгебраической формы к тригонометрической форме удобно сначала изобразить комплексное число точкой или вектором и затем по формулам (30) найти | z | и arg z (при определении аргумента φ по найденному значению tg φ нужно учитывать координатную четверть, в которой лежит изображающая точка). Переход от тригонометрической формы к алгебраической форме очевиден.
   Отметим, что если некоторое комплексное число z записано в виде
z = ρ·(cos α + i·sin α),
где ρ > 0 и α —действительное число, то ρ является модулем числа z, а α — его аргументом.
   В самом деле, для этого числа z, очевидно, а = ρ·cos α и b = ρ·sin α. Тогда
откуда φ = α (с точностью до 2·k·π).
   Пример. Представить в тригонометрической форме следующие комплексные числа:
   1) z = – 3, 2) z = 2·i, 3) z = 1 – i, 4) z = – 3 – 4·i.
   Решение. 1) Отрицательные действительные числа лежат на отрицательной полуоси Ох (рис. 5). Следовательно, их аргумент равен π, а модули совпадают с абсолютными величинами этих чисел. Поэтому r = | – 3| = 3, φ = arg ( – 3) = π и – 3 = 3·(cos π + i·sin π).
   2) Числа вида b·i, где b > 0, лежат на положительной полуоси Оу. Следовательно, их аргумент равен , а модуль совпадает с b . Поэтому
r = | 2·i | = 2, φ = arg (2·i ) = ½·π
и
Заметим, что вторая из формул (30) здесь не применима.
   3)  По формулам (30) найдем для числа z = 1- i, что
Изображающая число z точка лежит в IV четверти или в первой отрицательной четверти (рис. 5). Поэтому для аргумента φ можно взять значения или . Следовательно,
Заметим, что равенство
не является тригонометрической формой числа 1 – i.
   4) По формулам (30) найдем для числа z = – 3 – 4·i, что
r = 5, tg φ = .
Учитывая положение изображающей точки (она лежит в III четверти), для φ остается найти такое значение, что tg φ = и π < φ < (рис. 5).
   Как видно из рис. 5, φ = π + α , где α - острый угол и tg α = . Поэтому α = arc tg . Тогда
.
   Выясним геометрический смысл модуля разности двух комплексных чисел z1 = a1 + b1·i и z2 = a1 + b2·i. Этим числам соответствуют на плоскости точки М1(а1, b1) и М2(а2, b2).
   Так как z1 – z2 = (а1 – a2) + (b1 – b2)·i, то
Правая часть полученного равенства есть расстояние между точками М1 и М2 (см. формулу (17). Следовательно,
| z1 – z2 | = M1M2
т.е. модуль | z1 – z2 | равен расстоянию между точками на плоскости, изображающими числа z1 и z2.
   Пусть z0 и r — заданные числа, причем z0 — комплексное, а r — действительное и положительное. Рассмотрим окружность с центром в точке М0, изображающей z0, и радиусом, равным r, Обозначим через М(х, у) точку па этой окружности. Тогда комплексное число z = x + y·i удовлетворяет равенству | z – z0| = r.
   Верно и обратное, т.е. из равенства | z – z0 | = r вытекает, что точка, изображающая число z, лежит на указанной окружности. Таким образом, равенство
| z – z0 | = r                        (*)
можно рассматривать как уравнение окружности с центром в точке М0 и радиусом, равным r.
   Запишем равенство (*) в другом виде. Пусть z 0 = a +b·i , Тогда
  и равенство (*) означает, что
или
( x – a) ² + ( y – b) ² = r ².
Заметим, что уравнение (31) можно сразу получить из формулы (17).
   Действия над комплексными  числами в тригонометрической форме. Умножение. Пусть
z1 = r1·(cos φ1 + i·sin φ1),
z2 = r2(cos φ2 + i·sin φ2).
Тогда
Применяя известные из тригонометрии формулы сложения (гл. X), окончательно получим
                        (32)
Итак при умножении комплексных чисел их модули перемножаются, а аргументы складываются.
   Деление. Имеем
                        (33)
Итак, при делении комплексных чисел их модули делятся, а аргументы вычитаются.
   Из формул (32) и (33) следует, что
| z1·z2| = | z1|·| z2|,
arg (z1·z2) = arg z1 + arg z2,
   Возведение в степень. Применяя формулу (32) последовательно n раз, получим
z n = r n·( cos n φ+ i· sin nφ ).                        (34)
Формулу (34) называют формулой Муавра.
   Например, вычислим
Имеем

Так как
то
Поэтому
    Извлечение корня. Теорема. Корень  всегда существует и имеет ровно n различных значений, если z ≠ 0.
   Доказательство. Пусть z = r·(cos φ + i·sin φ). Полагаем
Тогда ωn = z и по формуле Муавра
ωn = ρn·(cos nα + i·sin nα),
т. е.
ρn·(cos nα + i·sin nα)= r·(cos φ + i·sin φ).
Так как модули равных комплексных чисел одинаковы, а аргументы могут отличаться только на 2·kπ, то  р n = r, n·α = φ + 2·k·π. Отсюда ρ = (корень берется арифметический), Тогда
                        (35)
В формуле (35) достаточно положить k= 0, 1, 2, …, n - 1.
   В самом деле, для этих значений k все полученные по формуле (35) значения корней будут различны, так как их аргументы не отличаются друг от друга на число, кратное 2·π.
   При k = n получаем  и соответствующий корень совпадает с корнем, который отвечает значению k  = 0.
   Любое другое целое k представимо в виде k = n·q + l, где q — целое, 0 ≤ l < n. Поэтому
Отсюда  следует, что соответствующий корень совпадает с корнем, отвечающим значению k = l. Теорема доказана.
   Например, вычислим . Имеем
Придавая k значения 0, 1, 2, получим три значения :
  • при k = 0   
  • при k = 0  ω2 = 1,
  • при k = 0 
© В.А. Глазнев
На главную