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

Матан_2 / Рыжаков И.Ю. Комплексные числа. Алгебраические многочлены и дроби

.pdf
Скачиваний:
57
Добавлен:
23.05.2015
Размер:
702.59 Кб
Скачать

из числа a;

при a 0

этот символ имеет n различных значений.

Пример 5. Положим a = 1

и вычислим корни степени n, где n –нату-

ральное число, n 2. Для a = 1

имеем: ρ = | a | = 1; ψ = arg1 = 0 ; значит,

zk = n

 

0 +2k

π

+ i sin

0

+2kπ

2πk

+ i sin

2πk

,

1 cos

n

 

 

 

= cos

n

n

 

 

 

 

 

n

 

 

где k достаточно придавать значения 0, 1, , n – 1. Положив здесь n = 2 и k = 0, 1, найдем два значения корня квадратного из единицы:

z0 = cos0 +i sin 0 =1;

z1

= cos

2π

+i sin

 

2π

= −1.

 

 

 

 

 

 

 

 

2

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Положив n = 3 и k = 0, 1, 2,

найдем три значения корня кубического

из единицы:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z0 = cos0 +i sin 0 =1, z1 = cos

2π

+i sin

2π

= − 1

+i

3 ; z 2

= cos

4π

+i sin

4π

= −

1

i

3 .

 

3

 

3

2

 

 

2

 

3

 

3

 

2

 

2

Эти три точки делят единичную окружность на три равные дуги.

1.7. Сопряженные комплексные числа

Пусть z C , x = R e z , y = Im z . Обозначим через z комплексное число такое, что R e z = x , Im z = −y . Таким образом, если z = x +iy , то z = x +i (y ) , что обычно записывают в виде разности: z = x iy .

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

Справедливы следующие утверждения.

1. (z = z) (z = x R) .

2

 

 

z

 

=

 

 

z

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.

z z =

 

 

z

 

 

2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4. Пусть

 

z 0 ; если ϕ = arg z , то число – ϕ является одним из значе-

ний аргумента

 

 

z

.

 

 

 

 

 

 

 

 

 

 

5.

 

 

 

= z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(

z

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6.

 

=

 

1 +

 

 

=

 

1

z2 .

 

 

 

(z1 +z2 )

z

z2 ;

(z1 z2 )

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

n

7. Пусть w = ak zk , где ak

и zk – комплексные числа; тогда

w = ak

z

k .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

 

 

k =1

Упражнение. Доказать перечисленные утверждения.

1.8. Сходящиеся последовательности комплексных чисел

Здесь мы рассматриваем бесконечные последовательности комплексных чисел. Нашей целью является распространение основных понятий и теорем теории последовательностей вещественных чисел на более общий случай последовательностей комплексных чисел. Последовательность z1 , z2 , , zk ,..

обозначаем через {zk }, иногда через {zk }k =1 .

13

Сформулированное ниже определение вполне аналогично определению предела последовательности вещественных чисел.

Пусть заданы последовательность {zk }, zk C , и комплексное число z0 . Определение 1.Число z0 называют пределом последовательности {zk }, если для любого положительного числа ε существует натуральное число kε такое, что для всякого члена последовательности zk , номер k которого превы-

шает kε , справедливо неравенство zk z0 < ε .

Если z0 является пределом последовательности {zk }, будем записывать: z0 = lim zk или zk z0 ; саму последовательность {zk } при этом будем называть сходящейся последовательностью. Будем также говорить, что последователь-

ность {zk } сходится или стремится к z0 . Таким образом,

z0 = lim zk , если

ε > 0 kε

N k N (k > kε

 

zk z0

 

< ε).

 

(13)

 

 

 

Пусть ε – некоторое положительное число, а a

некоторое компле-

ксное число. Множество комплексных чисел z, таких, что | z a| < ε ,

назовем

 

ε-окрестностью точки a и обозначим через

zk

U a (ε) :

U a (ε) = {z C

 

| z a|< ε}.

 

 

 

 

 

a

Геометрически неравенство | z a| < ε озна-

 

чает, что расстояние между точками z и a

 

комплексной плоскости меньше ε;

значит,

 

U a (ε) есть внутренность окружности ради-

 

уса ε

с центром в точке a ( рис. 5).

Рис. 5.

Согласно определению 1, если

zk z0 ,

 

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

ра k которых больше kε , удовлетворяют неравенству zk z0 < ε, т.е. zk U z 0 (ε) при k > kε . Следовательно, круг U a (ε) содержит бесконечное множество членов последовательности, вне этого круга могут оказаться лишь z1 , z2 , , zk ε .

Сказанное справедливо при любом ε >0 , каким бы малым это число ни было.

Пример 6. Пусть q С,

 

q

 

<1.

Обозначим: zk

= q k . Тогда lim zk =0 .

 

 

Аналогичный пример ( q R,

 

q

 

<1, хk = q k )

был рассмотрен в тео-

 

 

рии последовательностей вещественных чисел. То обстоятельство, что здесь q – комплексное число, не вносит никаких изменений в изложение указанного примера.

Теорема 1.Пусть задана последовательность {zk },

zk C ,

и комплекс-

ное число z0 . Обозначим: rk =

 

zk

z0

 

. Тогда (zk z0 )

(rk 0) .

 

 

Заменив в (13)

 

zk z0

 

на

rk , получим:

 

 

 

 

 

 

ε > 0 kε

 

N k N (k > kε rk < ε),

 

 

а это значит, что последовательность вещественных чисел {rk }

является

 

 

 

 

 

 

 

 

 

 

 

14

бесконечно малой.Следовательно, утверждения zk z0

и

rk 0

эквива-

лентны.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 2. Пусть задана последовательность {zk }

и число

z0 . Обозна-

чим: xk = Re zk , yk = Im zk ,

где

k N ;

 

 

x0 = Re z0 , y0 = Im z0 .

Для того, чтобы

число

 

z0

было пределом

{zk },

необходимо и достаточно, чтобы последова-

тельность

{xk } сходилась к

x0 , а {yk } сходилась к y0 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(zk z0 ) (xk x0 ) ( yk y0 ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Необходимость. Пусть

zk

z0 .

Тогда

 

 

zk z0

 

0 . Заметим:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zk z0 = (x k x0 )2 +( yk y0 )2 (x k x0 )2 = x k x 0 .

 

 

 

 

 

Следовательно, k N

 

 

xk x0

 

 

zk z0

 

. Так как

 

 

zk

z0

 

0 , то и

 

 

 

 

 

 

 

x k x0

 

 

0 ,

а это означает:

xk

x0 . Аналогично получим неравенство

 

 

 

yk y0

 

 

 

zk

z0

 

, из чего следует: yk

y0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Достаточность. Пусть

xk x0

 

 

и

yk

y0 .

Тогда

xk x0 0 и

 

yk y0 0 . Отсюда и из равенства

zk

z0

=

 

 

(x k x0 )2 +( yk y0 )2

следует:

 

zk z0

 

0 , т.е. zk z0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Теорема 3. Сходящаяся последовательность {zk }, zk C , имеет только

один предел.

 

 

 

 

 

 

 

 

 

 

Пусть zk z0 ; по теореме 2, xk x0 ,

yk y0 (здесь xk = Re zk , yk = Im zk ,

где k N ; x0 = Re z0 , y0 = Im z0 ). Последовательности {xk }и {yk } веществен-

ных чисел не могут иметь других пределов, кроме x0

и y0

. Обращаясь вновь

к теореме 2, заключаем:

z0

– единственный предел для

{zk }.

Теорема 4. Пусть

zk

z0 , wk w0 .

Тогда:

 

 

1) zk +wk z0 +w0 ;

 

 

 

 

 

 

 

 

 

 

2) zk wk z0w0 ;

 

 

 

zk

 

z0

 

 

 

3) если k N wk

0

и

w0 0 , то

.

 

 

 

 

 

 

 

 

 

 

w

k

 

w

 

 

 

 

 

 

 

0

 

 

 

Обозначим: x0 = Re z0 ,

y0 = Im z0 ,

u0

= Re w0 ,

v0 = Im w0 ; при k = 1, 2,

xk = Re zk , yk = Im zk , uk = Rewk , vk = Im wk .

 

 

1) По теореме 2, xk x0 ,

uk u0 . По теореме об арифметических дей-

ствиях с последовательностями вещественных чисел, x k +uk x0 +u0 . Аналогично получим: yk +vk y0 +v0 . Отсюда и из теоремы 2 вытекает:

(xk +uk ) +i ( yk +vk ) (x0 +u0 ) +i ( y0 +v0 ) , т.е. zk +wk z0 +w0 .

Доказательства утверждений 2) и 3) аналогичны.

Определение 2. Последовательность {zk } назовем фундаментальной последовательностью, если для любого ε > 0 можно указать натуральное kε

15

такое, что для любых натуральных n и m, больших, чем kε , справедливо

неравенство | zn zm |< ε .

Теорема 5 (Критерий Коши). Для того, чтобы последовательность {zk } была сходящейся, необходимо и достаточно, чтобы она была фундаментальной последовательностью.

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

Необходимость. Обозначим: x k = Re zk , yk = Im zk . Пусть {zk } - сходящаяся последовательность. Тогда последовательности вещественных чисел {xk }и {yk }также сходятся ( см. теорему 2) и потому являются фундаменталь-

ными последовательностями . Зададим ε > 0.

 

 

 

 

 

Найдется

kε( х) N такое, что

 

 

 

 

 

 

 

n N m N

(n > kε( х) ) (m > kε( х) ) |хn хm |< ε

2

.

 

 

 

 

 

 

 

Найдется

kε( у) N такое, что

 

 

 

 

 

 

 

n N m N

(n > kε( у) ) (m > kε( у) ) |уn уm |< ε

2

.

 

 

 

 

 

 

 

Пусть kε = max{kε( x) , kε( y) }. При любых n и m , больших, чем kε

, имеем:

 

zn zm = (xn xm )2 +( yn ym )2 ε2

+ε2

2

= ε .

 

 

 

 

2

 

 

 

 

Следовательно, {zk }- фундаментальная последовательность. Достаточность. Пусть {zk } – фундаментальная последовательность.

Зададим ε > 0. Найдется kε N такое, что

n N m N ((n > kε) (m > kε) | zn zm |< ε ).

Но | x n x m | | zn zm | . Значит,

n N m N ((n > kε) (m > kε) | x n x m |< ε ).

Здесь ε – произвольное положительное число, следовательно, последовательность { x k } является фундаментальной последовательностью вещественных чисел, и потому она сходится. Аналогично можно доказать, что и { yk } – сходящаяся последовательность. Так как { x k } и { yk } сходятся, то по теореме 2 сходится и {zk }.

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

Теорема 6. Пусть задано z C , пусть x = R e z , y = Im z . Для каждого

 

 

z k

k N положим: zk = 1

+

 

 

. Последовательность {zk } сходится, и ее предел

 

 

 

k

 

равен числу ex (cos y +i sin y ) .

16

ζk

ϕk

1

Рис. 6.

 

Обозначим: ζk

=1+

z

=1+

x

+i

y

.

 

 

k

 

 

 

x

 

 

 

y

 

 

 

k

 

 

k

Очевидно,

1+

 

1,

 

0 ;

значит,

ζk

1.

k

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

Найдется

k 1 N

такое, что

 

ζk 1

 

<1

 

при

 

 

 

 

 

 

 

k > k1 , т.е. при k > k1

расстояние между

ζk

и

1меньше 1; следовательно, при k > k1 точка

ζk лежит в правой полуплоскости (рис. 6).

Везде ниже считаем, что k > k1 .

Обозначим через ϕk

то значение аргумента

ζk ,

которое лежит в

π

; +

π

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

ϕk

= arg ζk , π < ϕk <

π . Имеем: ϕk

= arctg

Im ζk

= arctg

y

. Так как zk

= (ζk )k ,

 

 

k + x

 

 

2

2

 

 

 

R e ζk

 

 

 

 

 

 

 

 

 

то

k ϕk есть одно из значений аргумента zk : arg zk = k ϕk . Заметим:

 

 

 

 

 

 

lim arg zk = lim k arctg

 

y

= lim k

y

 

= y.

 

 

 

 

 

 

 

 

k + x

k + x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим

 

 

zk

 

.

 

 

 

 

2 k

 

 

 

 

 

 

k

 

 

 

 

 

+

x 2

 

y

zk = ζk

=

 

1

 

+

 

 

 

 

 

 

 

 

 

k

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x

+ x

2

+ y

2

k

 

+

2

.

= 1

 

 

 

 

k

 

 

k 2

 

 

 

 

 

 

 

 

 

 

 

 

2x +

x

2

+ y

2

 

2x +

x

2

+ y

2

 

при

k → ∞:

 

 

 

 

Отсюда, так как ln 1+

 

 

 

~

 

 

 

 

 

 

 

 

 

k 2

 

 

 

k 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

2x

 

x 2

+ y2

 

 

 

 

 

 

k

 

2x

 

 

 

 

 

x 2

+ y2

 

 

x

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

zk

= lim exp

 

 

 

 

ln 1+

 

 

 

+

 

 

 

 

 

= lim exp

 

 

 

 

+

 

 

 

 

= e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

k

 

 

 

k 2

 

 

 

 

 

 

 

 

2

 

k

 

 

 

 

 

 

 

 

k 2

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

cos y ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ex sin y .

lim Re zk = lim

 

zk

 

cos arg zk = ex

 

lim Im zk

= lim

 

zk

 

sin arg zk

 

 

 

 

 

Отсюда и из теоремы 2:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

zk ex cos y +i ex sin y = ex (cos y +i sin y) .

 

 

 

 

1.9. Показательная форма комплексного числа

 

 

 

 

Пусть z C ,

x = R e z ,

 

 

y = Im z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение .

 

Число

 

ex (cos y +i sin y )

назовём экспонентой от z и

обозначим через exp z

или

 

ez .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу теоремы 5 для всякого

z C

 

 

 

 

 

 

 

 

 

 

 

z k

= exp z .

 

 

 

 

 

 

lim 1 +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим следующие свойства

exp z :

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1)exp z 0 ;

2)exp (z1 + z2 ) = (exp z1 )(exp z2 ) ;

3) пусть ϕ R , тогда eiϕ = cosϕ +i sin ϕ ;

4)(exp z1 = exp z2 ) (z2 = z1 +i 2kπ, k Z) .

Упражнение.Опираясь на определение 1, доказать утверждения 1), 2), 3) и 4).

17

Пусть z C , z 0 . Запишем это число в тригонометрической форме:

z = r (cosϕ +i sin ϕ) , где r =|z | ,

ϕ = arg z . Отсюда и из свойства 3) вытекает сле-

дующее равенство: z = reiϕ .

Выражение в правой части этого равенства назы-

вают показательной формой комплексного числа z.

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

 

 

 

I.

Пусть

 

z1

и

 

 

z2

 

отличные от нуля комплексные числа, z1 = r1eiϕ1 ,

z2

= r2 eiϕ2

(здесь

r1 =

 

z1

 

,

r2

=

 

 

z2

 

,

ϕ1 = arg z1 , ϕ2 = arg z2 ). Тогда:

 

 

 

 

 

 

 

 

 

z1 z2 = r1 r2 e

i ( ϕ +ϕ

)

;

 

 

z1

=

r1

e

i ( ϕ −ϕ

)

.

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

1 2

 

 

 

 

 

 

 

 

z

2

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

II. Пусть z1 ,

z2 , , zn , n 2

 

отличные от нуля комплексные числа,

rk

=

 

zk

 

,

ϕk = arg zk ,

k = 1, 2, , n,

ρ = r1 r2 K rn ,

ψ = ϕ1 2 +K+ϕn . Тогда:

 

 

 

 

 

z1 z2 K zn = ρeiψ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

III.

Пусть

 

z C , z 0 , и пусть

n Z . Тогда zn = r neinϕ , где

r = | z | ,

ϕ = arg z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

IV. Пусть a C,

a 0,

и пусть n N , n 2 . Тогда числа

zk ,

 

 

 

zk = n ρ ei

ψ+2 kπ

, k = 0, 1, 2, , n – 1,

 

 

 

 

 

 

n

 

 

 

 

 

где

ρ = |a | ,

ψ = arg a ,

есть корни степени n из числа a (здесь n ρ > 0 ).

 

 

 

1.10. Логарифм комплексного числа

 

 

 

 

 

Определение. Логарифмом числа z, z C ,

z 0 , называется число w,

w C , такое, что

exp w = z .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Запишем число z

в показательной форме:

z = reiϕ , где r = | z | , ϕ = arg z .

Пусть u = R e w ,

 

v = Im w .

Теперь равенство exp w = z можно записать так:

exp (u +iv) = reiϕ .

 

Приравняв модули левой и правой частей, получаем: eu = r ,

значит, u = ln r ,

 

где ln r

 

натуральный логарифм положительного числа r.

Число v

найдем из равенства

eiv = eiϕ : из свойства 4), п. 1.9, следует, что

iv = iϕ +i 2kπ , k Z , т.е. v = ϕ +2kπ , k Z .

 

 

 

 

 

При всяком целом k

 

положим

 

wk = ln r +i (ϕ+2kπ) . Из сказанного вы-

ше следует, что каждое из чисел wk ,

 

k Z , является логарифмом числа z, и

что только эти числа удовлетворяют определению логарифма.

 

 

 

 

Логарифм комплексного числа z, z 0 , обозначают через

ln z . Этот

символ имеет бесконечное множество значений:

 

 

 

 

 

 

 

 

 

 

 

 

ln z = ln r +i(ϕ +2kπ) ,

 

 

где r = | z |, ϕ = argz,

а k пробегает множество Z. Обычно под

ln z понима-

ют какое-либо одно число из этого множества.

 

 

 

 

 

Пример 7.

Пусть z =1. Тогда r = | z | =1 , ϕ = arg z = 0 . Значит, каждое из

чисел wk = ln r +i (ϕ+2kπ) = i 2kπ,

 

 

k Z , является логарифмом единицы. Среди

этих чисел только одно вещественное: w0 = 0 .

Пример 8. Пусть z = x < 0 . Тогда r = −x , ϕ = π . Каждое из чисел

18

wk = ln (x ) +i (π +2kπ) , k Z ,

является логарифмом отрицательного числа x. Среди этих чисел нет вещественных. Известное утверждение щкольной алгебры “отрицательные числа не имеют логарифмов” теперь следует понимать так: логарифмы отрицательных чисел не имеют вещественных значений.

§ 2. Алгебраические многочлены

2.1. Корень алгебраического многочлена и его кратность

Пусть n – заданное натуральное число, а p0 , p1 , , pn – заданные

комплексные числа. Выражение

p0zn + p1zn1 +K+ pn1z + pn ,

где z С назовем алгебраическим многочленом степени не выше n и обо-

 

 

n

 

значим через Pn (z ) : Pn (z ) = pk znk .

Числа pk , k = 0, 1, , n, называют ко-

 

 

k =0

 

эффициентами многочлена Pn (z ) ,

p0 называют старшим коэффициентом

этого многочлена.

 

Если

p0 0 , Pn (z ) назовем многочленом степени n. Если p0 = p1 =K

K= pn1 = 0 ,

то

Pn (z ) назовем многочленом степени 0; в этом случае, оче-

видно, z C

Pn (z) = pn .

 

 

 

n

 

Пусть Pn (z ) = pk znk , p0 0 ,- многочлен степени n, n 1, и пусть a –

 

 

k =0

 

некоторое комплексное число. Поделим Pn (z ) на двучлен z a. Результат запишем в виде равенства Pn (z) = Tn1 (z)(z a) + S , справедливого при всех комплексных z . Здесь Tn1(z ) - многочлен степени n-1 (частное), а S – число (остататок). Найти Tn1(z ) и S можно с помощью процедуры деления “уголком”, известной из школьного курса алгебры. Если S =0 , говорят, что Pn (z ) делится на z a без остатка.

Замечание 1. При делении многочлена Pn (z ) на z a старший коэффициент частного Tn1(z ) равен старшему коэффициенту Pn (z ) , т.е. p0 .

Пусть Pn (z ) - некоторый многочлен, a - некоторое комплексное число. Если Pn (a) = 0 , то число a называют корнем алгебраического многочлена Pn (z )

Фундаментальную роль играет следующая теорема, которая принадлежит К. Гауссу и которую обычно называют основной теоремой алгебры.

Теорема 1 (Гаусс). Всякий алгебраический многочлен степени n, n ≥ ≥ 1, имеет хотя бы один корень.

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

n

Теорема 2 (Безу). Пусть Pn (z ) = pk znk , p0 0 , – некоторый многочлен

k =0

степени n, n 1, и пусть a C – некоторое число. Для того, чтобы a являлось корнем Pn (z ) , необходимо и достаточно, чтобы Pn (z ) без остатка делился на разность z a

19

Необходимость. Поделив Pn (z ) на z a , получим:

Pn (z) = = Tn1 (z)(z a) + S ,

где S C. Подставим в это равенство z = a: Pn (a) = S ; так как a - корень

Pn (z ) , то S = Pn (a) = 0 .

 

Достаточность. Пусть S = 0 ; тогда

Pn (z ) =Tn1(z )(z a) . Подставив z =

= a, получим: Pn (a) = 0 , т.е. a – корень

Pn (z ) .

n

 

Следствие. Пусть Pn (z ) = pk znk , p0 0 , – многочлен степени n, n 1, и

k =0

 

пусть a, a C, – корень этого многочлена. Существуют натуральное число

k, 1 k n, и многочлен Tnk (z ) степени n k такие, что Tnk (a) 0

и

z C

Pn (z ) =Tnk (z )(z a)k .

(14)

Поделив Pn (z ) на z a, получим в силу теоремы Безу:

 

z C

Pn (z ) =Tn1(z )(z a) ,

(15)

где Tn1 (z) - многочлен степени n-1, старший коэффициент которого равен

p0 0 (см. замечание 1) .

Возможны два случая: Tn1(a) 0 и Tn1(a) = 0 . В первом случае утвер-

ждение теоремы справедливо, так как (15) есть (14) при k = 1. Во втором случае a является корнем Tn1 (z) и потому Tn1 (z) делится на z a без остатка:

Tn1 (z) = Tn2 (z)(z a) , где Tn 2 (z) - многочлен степени n - 2. Подставив в (15), получим:

z C Pn (z) = Tn2 (z) (z a)2 .

(16)

Возможны два случая: Tn2 (a) 0 и Tn2 (a) = 0 . В первом случае утвер-

ждение теоремы справедливо. так как (16) есть (14) при k = 2. Во втором случае поделим Tn2 (z ) на z a: Tn2 (z ) =Tn3 (z )(z a) . Отсюда:

z C Pn (z) = Tn2 (z)(z a)2 = Tn3 (z)(z a)3 ,

и снова рассматриваем два случая: Tn3 (a) 0 и Tn3 (a) = 0 . Описываемый процесс приводит к построению последовательности многочленов Tn1(z ) , Tn2 (z ) , , Tnl (z) где каждый последующий многочлен получен делением

предыдущего на разность z a, причем (см. замечание 1) старший коэффициент каждого из них равен p0 . Так как степень частного на единицу ниже степени делимого, то эта последовательность состоит не более чем из n многочленов, а последний многочлен Tnl (z) уже не делится на z a без остатка,

ибо Tnl (a) 0 . Завершив построение указанной последовательности, получим:

z C Pn (z) = Tnl (z)(z a)l ,

 

где Tnl (a) 0 , т.е. получим равенство (14) при k = l,

l n .

Замечание 2. При k= n представление (14) выглядит так:

z C Pn (z) = p0 (z a)n .

(17)

Замечание 3. Число k в представлении (14) определяется единственным образом. Действительно, допустим, что имеются два таких представле-

20

ния: z C

Pn (z) =Tnk 1 (z)(z a)k 1 и Pn (z) =Tnk 2 (z)(z a)k 2 , где Tnk 1 (a) 0 ,

Tnk 2 (a) 0 . Допустим, что k 1 < k2 . Имеем: Tnk1 (z)(z a)k1

= Tnk 2 (z)(z a)k 2 . Так

как k1 и k2 – натуральные числа и k 1 < k2 , то k2 k 1 1.

Подставив z = a,

получим: Tnk 1

(a) =Tnk 2 (a)(a a)k 2 k 1 = 0 , что противоречит условию Tnk 1 (a) 0 .

Возможность

k 1 > k2 опровергается аналогично. Значит, k1 = k2 .

Число k в представлении (14) называют кратностью корня a. Замечание 4. Число a является корнем кратности k многочлена Pn (z )

тогда и только тогда, когда этот многочлен без остатка делится на (z a)m при m = 1, 2, , k и не делится на (z a)m при m > k.

Это утверждение легко следует из (14).

Если кратность корня a многочлена Pn (z ) равна единице, его называют простым корнем этого многочлена.

2.2 Разложение многочлена на линейные множители

Теорема 3. (О разложении многочлена на линейные множители)

 

 

 

 

n

 

 

Пусть Pn (z ) = pk znk – алгебраический многочлен степени n, n 1.

 

 

 

k =0

 

 

Тогда:

1)

Pn (z )

имеет не более n попарно различных корней;

 

 

2)

если

a1 ,

a2 , , am , m n, – все попарно различные корни

Pn (z ) ,

а

k1 ,

k2 ,, km

кратности этих корней ( k j есть кратность aj ), то

 

 

 

 

 

m

 

 

а) сумма всех кратностей равна степени многочлена: k j = n ;

 

 

 

 

 

j =1

 

 

б) справедливо представление:

 

 

 

z C

Pn (z) = p0 (z a1)k 1 (z a2 )k 2 K(z am )km .

(18)

 

По теореме Гаусса существует хотя бы один корень Pn (z ) . Пусть a1 -

корень Pn (z ) , а k1

- его кратность. Тогда (см. (14) ):

 

 

 

 

 

 

z C Pn (z) = Tnk1 (z)(z a1 )k1 ,

 

причем Tnk 1 (a1 ) 0 . Возможны два случая: k 1 = n и k 1 < n . В первом случае справедливо представление (см. (17) ): z C Pn (z ) = p0 (z a1 )n , т.е., справедливо (18) при m=1. Во втором случае степень Tnk 1 (z ) не меньше единицы, и

по теореме Гаусса существует корень этого многочлена.

Пусть a2 - корень Tnk 1 (z ) , а k2 - кратность этого корня. Очевидно, a2 a1 .

Имеем (см. (14):

z C Tnk 1 (z ) =Tnk 1k 2 (z )(z a2 )k 2 , где Tnk 1k 2 (a2 ) 0 .

Отсюда:

z C

Pn (z ) =Tnk 1k 2 (z )(z a1 )k 1 (z a2 )k 2 .

 

Возможны два случая: k2 = n k 1 , т.е. k1 + k2 = n , и k1 + k2

< n . В первом

случае Tnk 1k 2 (z ) = p0 (z a2 )k 2

, поэтому Pn (z ) = p0 (z a1 )k 1 (z a2 )k 2

. Следовательно,

Pn (z ) имеет два корня a1 и a2 , и (18) справедливо при m =2. Во втором случае

21

степень многочлена Tnk 1k 2

(z ) не меньше единицы, значит, существует корень

a3 этого многочлена. Если

k3 - кратность a3 , то Tnk1 k2 (z) = Tnk1 k 2 k3 (z)(z a2 )k 3 и

Pn (z ) =Tnk 1k 2 k 3 (z )(z a1 )k 1 (z a2 )k 2 (z a3 )k 3 ,

Снова возможны случаи k 1 + k2 + k3 = n

и k 1 + k2 + k3 < n . В первом из

них z C Pn (z ) = p0 (z a1 )k 1 (z a2 )k 2 (z a3 )k 3

- представление (18) при m =3,

во втором – существует корень a4 многочлена Tnk 1k 2 k 3 (z ) , и рассужения

можно продолжить. Конечным их результатом и будет представление (18), сумма кратностей в котором равна n. Так как кратность всякого корня – натуральное число, а сумма кратностей равна n, то количество попарно различных корней многочлена не может превышать n.

Представление (18) называют разложением многочлена Pn (z ) на линейные множители.

Замечание 5. Если a1 , a2 , , am - все попарно различные корни многочлена Pn (z ) , то сумма их кратностей равна степени многочлена. Этот результат часто формулируют так: всякий алгебраический многочлен степени n, n 1, имеет ровно n корней с учетом их кратностей (т.е. если каждый корень учитывать столько раз, какова его кратность).

Пример . Пусть P5 (z ) = z5 +z4 +2z3 +2z2 +z +1. Прямой подстановкой z = −1 нетрудно убедиться, что это число является корнем P5 (z ) . Значит, P5 (z ) делится на разность z (1) = z +1 . Произведя деление, получим:

P5 (z) = (z 4 + 2z 2 +1)(z +1) = (z 2 +1)2 (z +1) = (z +1)((z i)(z +i))2 .

Таким образом, P5 (z ) имеет три различных корня: простой корень –1 и кор-

ни ±i, кратность каждого из которых равна 2. Представление (18) для него выглядит так: P5 (z) = (z +1)(z i)2 (z +i)2

 

n

 

Следствие 1. Пусть

Pn (z ) = pk znk

есть многочлен степени не выше

 

k =0

 

n, и пусть каждое из n + 1

попарно различных чисел a1 , a2 , , an+1 является

корнем Pn (z ) : Pn (aj ) = 0 , j = 1, 2, , n + 1. Тогда все коэффициенты Pn (z ) рав-

ны нулю, т.е. pk = 0 , k = 0, 1, , n, и, следовательно, Pn (z ) тождественно на C равен нулю.

Pn (z ) является алгебраическим многочленом, степень которого не превышает n. Значит, количество попарно различных корней a1 , a2 , , an+1

этого многочлена (их n + 1) больше его степени. Согласно теореме 3, если степень многочлена является натуральным числом n, то количество его попарно различных корней не может превысить n. Значит, степень многочлена Pn (z ) не может быть натуральным числом, т. е., Pn (z ) является многочленом

степени 0. В таком случае p0 =K= pn1 = 0 , и Pn (z ) pn . Но

Pn (aj ) = 0 , поэтому

и pn = 0 . Таким образом, все коэффициенты Pn (z ) равны нулю.

 

n

n

 

Следствие 2. Пусть многочлены Pn (z ) = pk znk и

Qn (z ) = qk znk

при-

k =0

k =0

 

22