Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Kurant_R__Robbins_G_-_Chto_takoe_matematika_-_2015

.pdf
Скачиваний:
23
Добавлен:
29.10.2019
Размер:
4.59 Mб
Скачать

120

 

 

 

МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА

 

 

гл. II

 

2. Геометрическое представление комплексных чисел. Уже в XVI

столетии в математических работах появляются квадратные корни из от-

рицательных чисел в формулах, дающих решения квадратных уравнений.

Но в те времена математики затруднились бы объяснить точный смысл

этих выражений, к которым относились почти с суеверным трепетом. Сам

термин «мнимый» до сих пор напоминает нам о том, что эти выражения

рассматривались как нечто искусственное, лишенное реального значения.

И только в начале XIX в., когда уже выяснилась роль комплексных чисел в

различных областях математики, было дано очень простое геометрическое

истолкование комплексных чисел и операций с ними, и этим был положен

конец сомнениям в возможности их законного употребления. Конечно, с

современной точки зрения, формальные операции с комплексными чис-

лами полностью оправдываются на основе формальных определений, так

что геометрическое представление логически не является необходимым.

Но такое представление, предложенное почти одновременно В е с с е л е м

 

r

f

 

 

(1745–1818),

А р г а н о м

(1768–1822)

и

y

 

z = x + yi

Гауссом, позволило рассматривать ком-

 

 

плексные числа и действия с ними как не-

 

 

 

что вполне естественное с интуитивной точки

 

 

 

 

зрения и, кроме того, имеющее чрезвычайно

 

 

 

 

большое значение в приложениях комплекс-

 

 

 

 

 

O

r f

x

ных чисел как в самой математике, так и в

математической физике.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Геометрическая

интерпретация

ком-

 

 

 

 

z = x yi

плексных чисел заключается в том, что

 

 

 

 

комплексному

числу

z = x + yi

сопостав-

Рис. 22. Геометрическое пред-

ляется точка на плоскости с координатами

x, y. Именно, действительная часть числа

ставление

комплексных чи-

мыслится как x-координата, а мнимая — как

сел. Точка

z

имеет прямо-

y-координата.

Таким

образом

устанавли-

угольные координаты x, y

вается взаимно однозначное соответствие

 

 

 

 

 

между комплексными числами и точками «числовой плоскости», подобно

тому как нами было установлено раньше (см. § 2) соответствие между

действительными числами и точками «числовой оси». Точкам на оси x в

числовой плоскости соответствуют действительные числа z = x + 0i, тогда

как точкам на оси y — чисто мнимые числа z = 0 + yi.

 

 

 

 

 

Если

 

 

 

z = x + yi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

есть какое-то комплексное число, то мы называем число

 

 

 

 

 

 

 

 

 

z = x yi

 

 

 

 

 

 

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

точки z посредством зеркального отражения относительно оси x. Если

§ 5

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

121

мы условимся расстояние точки z от начала обозначать через r, то на

основании теоремыrПифагора

 

 

 

2 = x2 + y2 = (x + yi)(x yi) = z · z.

 

Действительное число r =

2 + r2 называется модулем z и обозначается

 

px

y = z .

 

 

 

|

|

 

Если z лежит на действительной оси, то модуль совпадает с абсолютной

величиной z. Комплексные числа с модулем 1 изображаются точками,

лежащими на «единичной окружности» с центром в начале и радиусом 1.

Если |z| = 0, то z = 0. Это следует из определения |z| как расстояния

точки z от начала. Далее, модуль произведения двух комплексных чисел

равен произведению модулей:

 

 

 

|z1 · z2| = |z1| · |z2|.

 

Это вытекает как следствие из более общей теоремы, которая будет дока-

зана на стр. 123.

 

 

 

 

Упражнения. 1) Докажите последнюю теорему, исходя непосредственно из

определения умножения двух комплексных чисел z1 = x1 + y1i и z2 = x2 + y2i.

2) Пользуясь тем обстоятельством, что произведение двух действительных

чисел равно нулю в том и только том случае, если один из множителей равен

нулю, докажите соответствующую теорему для комплексных чисел. (Указание:

основывайтесь при доказательстве на двух последних теоремах.)

 

Согласно определению сложения

y

 

двух комплексных чисел z1 = x1 + y1i

 

и z2 = x2 + y2i, мы имеем

 

 

 

z1 + z2

z1 + z2 = (x1 + x2) + (y1 + y2)i.

z2

 

Таким образом, точка z1 + z2

изобра-

 

 

жается в числовой плоскости четвертой

 

z1

вершиной параллелограмма, у которо-

 

x

го тремя первыми вершинами являются

O

точки 0, z1, z2. Это простой способ

 

 

построения суммы двух

комплексных

Рис. 23. Сложение комплексных чи-

чисел ведет ко многим важным след-

сел по правилу параллелограмма

ствиям. Из него мы заключаем, что мо-

 

 

дуль суммы двух комплексных чисел не превышает суммы модулей (ср.

стр. 83):

|z1 + z2| 6 |z1| + |z2|.

 

 

 

Достаточно сослаться на то, что длина стороны треугольника не превышает

суммы длин двух других сторон.

 

 

Упражнение. В каких случаях имеет место равенство |z1 + z2| = |z1| + |z2|?

122

МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА

гл. II

 

 

 

Угол между положительным направлением вается аргументом z и обозначается буквой имеют один и тот же модуль

оси x и отрезком Oz назы- f (см. рис. 22). Числа z и z

|z| = |z|,

но их аргументы противоположныf по знаку:

= −f.

Конечно, аргумент z определяется не однозначно, так как к нему можно прибавлять или из него вычитать любой угол, кратный 360, не изменяя направления отрезкаf Oz. Итак, углы

, f + 360,

+ 720,

+ 1080, . . .

− 360,

f − 720,

f − 1080, . . .

графически дают один и тот же аргумент. Так как, согласно определению

синуса и косинуса,

x = r cos f, y = r sin f,

то любое комплексное число z выражается через его модуль и аргумент следующим образом:

 

z = x + yi = r(cos f + i sin f).

(8)

Например,

 

 

 

 

 

 

 

 

 

 

 

в случае

z = i

 

 

 

мы имеем

= 1,

 

 

= 90,

 

z = 1 + i

 

 

 

 

 

 

 

 

= 45,

» »

 

 

 

»

»

=

2,

 

z = 1 − i

 

 

 

 

 

 

 

 

= −45,

» »

 

 

»

»

=

2,

» »

z = −1 +

3

i

»

»

r =

2,

 

 

f = 120,

так что

i = 1(cos 90+ i sin 90),

1 + i = 2 (cos 45+ i sin 45),

1 − i = 2 (cos(−45) + i sin(−45)), −1 + 3 i = 2(cos 120+ i sin 120).

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

Тригонометрическим представлением (8) очень полезно воспользоваться, чтобы уяснить себе геометрический смысл умножения двух комплекс-

ных чисел. Если

z = r(cos f + i sin )

и

z= r(cos f+ i sinf),

§ 5

 

 

 

 

 

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

 

123

то

 

(cos f cos f− sin f sin f) + (cos f sin f+ sin f cos f)i .

zz= rr

Но, в силу

основных теорем сложения синуса и косинуса,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos

cos

− sin

sin

= cos(

+ ),

 

 

 

 

 

cosf sin f

+ sin fcosf= sin(f + f).

 

Итак,

 

 

 

zz= rr{cos(f + f) + i sin(f + f)}.

(9)

 

 

 

 

В правой части последнего равенства мы видим написанное в триго-

нометрическойf

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

+ f. Значит, мы можем отсюда заключить, что при умножении двух

комплексных чисел их модули пере-

 

 

 

 

множаются, а аргументы склады-

zz

rr

y

 

ваются (рис. 24). Таким образом, мы

 

 

 

 

 

 

 

видим, что

умножение

комплексных

 

 

 

 

чисел как-то связано с вращением.

 

 

 

 

Установим точнее, в чем тут де-

 

 

f + f

 

 

 

 

ло. Назовем

направленный

отрезок,

 

 

 

z

идущий из

начала

в точку

z, век-

 

r

r

 

 

 

z

тором точки z; тогда модуль r = |z|

 

 

f f

 

 

 

есть его длина. Пусть z— какая-

 

 

 

 

нибудь точка единичной окружности,

 

 

 

 

так что r= 1. В таком случае умно-

 

 

O

x

жение z на z

просто

поворачивает

 

 

 

 

вектор z на угол

f

. Если же

r=

1,

 

 

 

 

 

6

 

 

 

 

то, помимо

вращения,

длина

векто-

Рис. 24. Умножение комплексных чи-

ра должна быть умножена на r. Ре-

сел: аргументы складываются, модули

комендуем читателю самостоятельно

 

 

перемножаются

проиллюстрировать эти факты, умно-

 

 

 

 

 

 

жая различные комплексные числа на z1 = i (вращение на 90); z2 = −i

(тоже вращение на 90, но в обратном направлении); z3 = 1 + i и z4 = 1 − i.

Формула (9) в особенности представляет интерес, если z = z; в этом

случае имеем:

 

 

 

 

z2 =

 

2(cos 2 + i sin 2 ).

 

 

 

 

 

 

 

 

 

 

 

Умножая снова на z, будем иметь

 

 

 

 

 

z3 = r3(cos 3f + i sin 3f);

и, вообще, для любого n, повторяя операцию, получим

zn = rn(cos nf + i sin nf).

(10)

124 МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА гл. II

В частности, если точка z находится на единичной окружности, так что r = 1, мы приходим к формуле, открытой французским математиком

А. д е М у а в р о м (1667–1754):

 

(cos f + i sin f)n = cos nf + i sin nf.

(11)

Эта формула — одно из самых замечательных и полезных соотношений в элементарной математике. Поясним это примером. Возьмем n = 3 и разложим левую часть по формуле бинома

(u + v)3 = u3 + 3u2v + 3uv2 + v3.

Тогда получим:

cos 3f + i sin 3f = cos3 3f − 3 cos f sin2 f + i(3 cos2 f sin f − sin3 f).

Одно такое комплексное равенство равносильно двум равенствам, связывающим действительные числа. В самом деле, если два комплексных числа равны, то в отдельности равны их действительные части и их мнимые части. Итак, можно написать

cos 3f = cos3 f − 3 cos f sin2 f, sin 3f = 3 cos2 f sin f − sin3 f. Пользуясь затем соотношением

cos2 + sin2 f = 1,

получим окончательно:

cos 3 = cos3 f − 3 cos f(1 − cos2 f) = 4 cos3 f − 3 cos f, sin 3f = −4 sin3 f + 3 sin f.

Подобного рода формулы, выражающие sin nf и cos nf соответственно через sin f и cos f, легко получить при каком угодно целом значении n.

Упражнения. 1) Напишите аналогичные формулы для sin 4f и cos 4f.

2)

Предполагая, что точка z находится на единичном круге: z = cos f + i sin f,

покажите, что

1

= cos f i sin f.

z

3)

Без вычислений установите, что модуль числа a + bi равен единице.

 

 

 

a bi

4)

Докажите: если z1 и z2 — два комплексных числа, то аргумент z1 z2 равен

углу между положительным направлением действительной оси и вектором, идущим от z2 к z1.

5)

Дан треугольник с вершинами z1, z2, z3; установите геометрический смысл

аргумента числа z1

z2 .

 

 

 

6)

z1

z3

 

 

 

Докажите, что отношение двух комплексных чисел с одинаковым аргументом

есть действительное число.

z3 z1

и z4

z1 равны между собой 1,

7)

Докажите, что если аргументы чисел

 

 

 

z3 z2

z4

z2

то четыре точки z1, z2, z3, z4 лежат на окружности или на прямой линии, и обратно.

1 Или отличаются на 180. — Прим. ред. наст. изд.

§ 5

 

 

 

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

125

8) Докажите: четыре точки z1, z2, z3, z4

лежат на окружности или на прямой

линии, если число

 

 

z3 z1 :

z4 z1

 

 

 

 

 

 

 

 

действительное.

 

 

z3 z2

z4 z2

 

 

 

 

 

 

 

 

 

 

3. Формула Муавра и корни из единицы. Под корнем n степени из

числа a мы понимаем всякое такое число b, что bn = a. В частности, число 1

имеет два

квадратных

корня: 1 и

1,

 

a

2

2

 

1. Число

1

 

 

так как 1

= (−1)

 

=

име-

 

ет один действительный кубический ко-

 

рень, именно 1, тогда как оно же имеет

 

четыре корня четвертой степени: два дей-

 

 

ствительных, 1 и −1, и два мнимых: i и −i.

 

 

Эти факты наводят на мысль, что в ком-

 

1

плексной области

должно существовать

 

 

 

еще два кубических корня из 1 (а всего

 

 

кубических корней тогда будет три). С по-

 

 

мощью формулы Муавра мы покажем, что

 

 

эта догадка справедлива.

 

 

 

 

 

Мы убедимся, что в поле комплекс-

Рис. 25. Двенадцать корней две-

ных чисел существует ровно n корней

надцатой степени из единицы

степени n из 1. Эти корни изобража-

 

 

ются вершинами правильного n-угольника, вписанного в единичный

круг и имеющего точку 1 в качестве одной из вершин.

 

Сказанное почти ясно из рис. 25 (соответствующего случаю n = 12).

Первая вершина многоугольникаa

есть 1. Следующая есть

 

= cos

360

+ i sin

360

,

(12)

n

n

 

 

 

 

так как аргумент должен равняться n-й части угла в 360. Еще следующая вершина есть a · a = a2, так как мы получим ее, вращая вектор a на

угол 360n . Дальше получаем вершину a3 и т. д.; после n шагов возвращаемся снова к вершине 1, т. е. получаемa

n = 1, что следует также из формулы (11), так как

cos 360n + i sin 360n = cos 360+ i sin 360= 1 + 0i = 1.

Итак, a1 = a есть корень уравнения xn = 1. То же справедливо относительно следующей вершины a

2 = cos 720n + i sin 720n .

126

МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА

гл. II

 

 

 

 

 

Мы убедимся в этом, если напишем

 

 

 

(a2)n = a2n = (an)2 = 12 = 1,

 

или же воспользуемся формулой Муавра

 

(a2)n = cos n ·

720

+ i sin n ·

720

= cos 720+ i sin 720= 1 + 0i = 1.

n

n

Точно так же мы заключаем, что все n чисел

 

 

 

1, a, a2, a3, . . . , an1

 

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

В самом деле,

a

= a1

 

an

 

 

 

 

1

=

 

= an1;

 

 

точно так же

a

an+1 = ( n)a = 1 · a = a,

 

n = 1,

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

Если n четное, то одна из вершин n-угольника попадает в точку −1, в соответствии с общеизвестным алгебраическим фактом: −1 есть корень четной степени из 1.

Уравнение, которому удовлетворяют корни n-й степени из 1,

xn − 1 = 0,

(13)

есть уравнение n-й степени, но легко понизить его степень на единицу. Воспользуемся алгебраической формулой

(xn − 1) = (x − 1)(xn1 + xn2 + xn3 + . . . + 1).

(14)

Так как произведение двух чисел равно 0 в том и только том случае, если один из множителей равен нулю, то выражение (14) обращается в нуль или при x = 1, или при условии, что удовлетворяется уравнение

xn1 + xn2 + xn3 + . . . + x + 1 = 0.

(15)

Этому уравнению удовлетворяют корни a, a2, . . . , an1; оно называется циклотомическим, или уравнением деления окружности. Так, например, мнимые кубическиеaкорни из 1

a = cos 120+ i sin 120= −1 + i√3 ,

2

2 = cos 240+ i sin 240= −1 − i 3 2

являются корнями уравнения

x2 + x + 1 = 0,

§ 5 КОМПЛЕКСНЫЕ ЧИСЛА 127

как читатель сможет убедиться, выполняя подстановки. Таким же образом корни пятой степени из 1 (кроме самого числа 1) удовлетворяют уравнению

x4 + x3 + x2 + x + 1 = 0.

(16)

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

w = x + x1 — приводит к уравнению второй степени. Мы делим уравнение (16) на x2 и переставляем члены:

x2 + x12 + x + x1 + 1 = 0,

и, принимая во внимание, что x + x1 2 = x2 + x12 + 2, получаем

w2 + w − 1 = 0.

По формуле (7) пункта 1 корни этого квадратного уравнения имеют вид

 

−1 +

 

 

 

−1 −

 

.

w1 =

5

,

w2 =

5

 

 

2

 

 

 

2

 

 

Итак, мнимые корни пятой степени из 1 являются корнями следующих двух квадратных уравнений:

 

1

= w1,

или

x2

 

1

(

 

− 1)x + 1 = 0,

x +

+

5

x

2

и

 

 

 

 

1

(

 

 

 

1

= w2,

или

x2

 

 

+ 1)x + 1 = 0.

x +

5

x

2

Читатель сможет их решить по той же формуле (7).

Упражнения. 1) Найдите корни 6-й степени из 1.

2)Вычислите (1 + i)11.

3)Вычислите все различные значения выражений

1 + i , 3 7 − 4i , 3 i , 5 i .

4) Вычислите 21i (i7 i7).

*4. Основная теорема алгебры. Не только уравнения вида ax2 + + bx + c = 0 или xn − 1 = 0 разрешимы в поле комплексных чисел, но можно утверждать гораздо больше: всякое алгебраическое уравнение степени n с действительными или комплексными коэффициентами

f(x) = xn + an1xn1 + an2xn2 + . . . + a1x + a0 = 0

(17)

разрешимо в поле комплексных чисел. Для случая уравнений 3-й и 4-й степеней эта теорема была установлена в XVI в. Та р т а л ь е й, К а р д а н о и другими: оказалось, что такие уравнения решаются посредством формул,

128

МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА

гл. II

 

 

 

подобных формуле квадратного уравнения, но значительно более сложных. В течение почти двух столетий длилось настойчивое изучение общего уравнения 5-й и более высоких степеней, но все усилия разрешить их теми же методами оказались напрасными. Когда молодому Гауссу в его докторской диссертации (1799) удалось впервые доказать, что решения существуют, то это уже было крупнейшим успехом; правда, вопрос о возможности обобщить на случай степеней > 5 классические формулы, позволяющие находить корни с помощью рациональных операций и извлечения корней, оставался в то время открытым (см. стр. 144).

Теорема Гаусса утверждает, что, каково бы ни было алгебраическое уравнение вида (17), где n — целое положительное число, а коэффициенты a — действительные или даже комплексные числа, существует по крайней мере одно такое комплексное число a = c + di,

что

f(a) = 0.

Число a называется корнем уравнения (17). Доказательство этой теоремы будет приведено в этой книге на стр. 295–297. Предположим пока, что теорема доказана, и выведем из нее другую теорему, известную под названием основной теоремы алгебры (было бы, впрочем, правильнее назвать ее основной теоремой комплексной числовой системы): всякий алгебраический полином степени n

f(x) = xn + an1xn1 + . . . + a1x + a0

(18)

может быть представлен в виде произведения ровно n множителей:

f(x) = (x a1)(x a2) . . . (x an),

(19)

где a1, a2, . . . , an — комплексные числа, корни уравнения f(x) = 0. Так,

например, полином

f(x) = x4 − 1 разлагается на множители следующим образом:

f(x) = (x − 1)(x i)(x + i)(x + 1).

Что числа a являются корнями уравнения f(x) = 0, это очевидно из самого разложения (19), так как при x = ar один из множителей f(x), а следовательно, и сам полином f(x), обращается в нуль.

В иных случаях не все множители x a1, x a2, . . . полинома f(x) степени n оказываются различными; так, в примере

f(x) = x2 − 2x + 1 = (x − 1)(x − 1)

мы имеем только один корень, x = 1, «считаемый дважды», или «кратности 2». Во всяком случае, полином степени n не может разлагаться в произведение более чем n различных множителей вида x a, и соответствующее уравнение не может иметь более n корней.

§ 5

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

129

 

 

 

При доказательстве основной теоремы алгебры мы воспользуемся —

не в первый раз — алгебраическим тождеством

 

 

xk ak = (x a)(xk1 + axk2 + a2xk3 + . . . + ak2x + ak1),

(20)

которое при a = 1 служило нам для определения суммы геометрической прогрессии. Предполагая теорему Гаусса доказанной, допустим, что a = a1 есть корень уравнения (17), так что

f(a

) = an + a

n1

an1

+ a

n2

an2

+ . . . + a a1

+ a = 0.

1

1

1

 

1

1

0

Вычитая это выражение из f(x) и перегруппировывая члены, мы получим тождество

f(x)

=

a

1)

=

(x

n

an

+

an1

(x

n1

an1

)

+

. . .

+

a1(x

a

1).

(21)

 

f(x) − f(

 

 

1 )

 

 

1

 

 

 

Пользуясь теперь формулой (20), мы можем выделить множитель x a1 из каждого члена и затем вынести его за скобку, причем степень многочлена, остающегося в скобках, станет уже на единицу меньше. Перегруппировывая снова члены, мы получим тождество

f(x) = (x a1)g(x), где g(x) — многочлен степени n − 1:

g(x) = xn1 + bn2xn2 + . . . + b1x + b0.

(Вычисление коэффициентов, обозначенных через b, нас здесь не интересует.) Применим дальше то же рассуждение к многочлену g(x). По теореме Гаусса, существует корень a2 уравнения g(x) = 0, так что

g(x) = (x a2)h(x),

где h(x) — новый многочлен степени уже n − 2. Повторяя эти рассуждения n − 1 раз (подразумевается, конечно, применение принципа математической индукции), мы, в конце концов, приходим к разложению

f(x) = (x a1)(x a2) . . . (x an).

(22)

Из тождества (22) следует не только то, что комплексные числа a1, a2, . . .

. . . , an суть корни уравнения (17), но и то, что иных корней уравнение (17) не имеет. Действительно, если бы число y было корнем уравнения (17), то из (22) следовало бы

f(y) = (y a1)(y a2) . . . (y an) = 0.

Но мы видели (стр. 121), что произведение комплексных чисел равно нулю в том и только том случае, если один из множителей равен нулю. Итак, один из множителей y ar равен 0, т. е. y = ar, что и требовалось установить.