Kurant_R__Robbins_G_-_Chto_takoe_matematika_-_2015
.pdf120 |
|
|
|
МАТЕМАТИЧЕСКАЯ ЧИСЛОВАЯ СИСТЕМА |
|
|
гл. 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, . . . , an−1 |
|
являются корнями степени n из 1. Если будем степени увеличивать дальше или рассмотрим отрицательные степени, то новых корней не получим.
В самом деле, |
a |
= a1 |
|
an |
|
|
|
|
|||
|
−1 |
= |
|
= an−1; |
|
|
|
||||
точно так же |
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)(xn−1 + xn−2 + xn−3 + . . . + 1). |
(14) |
Так как произведение двух чисел равно 0 в том и только том случае, если один из множителей равен нулю, то выражение (14) обращается в нуль или при x = 1, или при условии, что удовлетворяется уравнение
xn−1 + xn−2 + xn−3 + . . . + x + 1 = 0. |
(15) |
Этому уравнению удовлетворяют корни a, a2, . . . , an−1; оно называется циклотомическим, или уравнением деления окружности. Так, например, мнимые кубические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 − i−7).
*4. Основная теорема алгебры. Не только уравнения вида ax2 + + bx + c = 0 или xn − 1 = 0 разрешимы в поле комплексных чисел, но можно утверждать гораздо больше: всякое алгебраическое уравнение степени n с действительными или комплексными коэффициентами
f(x) = xn + an−1xn−1 + an−2xn−2 + . . . + 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 + an−1xn−1 + . . . + 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)(xk−1 + axk−2 + a2xk−3 + . . . + ak−2x + ak−1), |
(20) |
которое при a = 1 служило нам для определения суммы геометрической прогрессии. Предполагая теорему Гаусса доказанной, допустим, что a = a1 есть корень уравнения (17), так что
f(a |
) = an + a |
n−1 |
an−1 |
+ a |
n−2 |
an−2 |
+ . . . + a a1 |
+ a = 0. |
1 |
1 |
1 |
|
1 |
1 |
0 |
Вычитая это выражение из f(x) и перегруппировывая члены, мы получим тождество
f(x) |
= |
a |
1) |
= |
(x |
n |
− |
an |
+ |
an−1 |
(x |
n−1 |
− |
an−1 |
) |
+ |
. . . |
+ |
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) = xn−1 + bn−2xn−2 + . . . + 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, что и требовалось установить.