III.

МНОГОЧЛЕНЫ НАД ПОЛЕМ

Введение и основные определения

В этой главе будет введено понятие, с которым долгое время связывалось основное
содержание алгебры, как раздела математики.
Определение 3.1. Пусть задано некоторое поле Р, Char ( P)=0 . Многочленом от буквы х
над полем Р называется формальное выражение вида
f ( x )=a n x n + an−1 x n−1 +⋯+a1 x +a 0 ,

где
a j ∈ P , j=0 , … , n , – коэффициенты многочлена; n ∈ N 0 – натуральное число или нуль;
j
x – буква, формальный символ. При этом отдельные формальные слагаемые вида a j x
0
называются членами многочлена. Слагаемое a 0=a0 x , т.е. считается, что x =1 . Будем
0

считать, что саму сумму можно дополнять слева членами с нулевыми коэффициентами.
Определение 3.2. Многочлен, все коэффициенты которого равны нулю, называется
нулевым и обозначается 0.
Определение 3.3. Наибольший показатель степени буквы х, при которой коэффициент
отличен от нуля, называется степенью многочлена и обозначается deg f ( x ) . При этом
соответствующий член многочлена называется старшим членом. Нулевой многочлен степени
не имеет.
Пример 3.1. Если n
a ≠0 в многочлене из определения 3.1, то deg f ( x )=n .
Как видно из определения, многочлен можно было бы определять как формальную сумму
его членов. Само понятие суммы определим позже, как и произведения и, в частности,
⏟
x j =x⋅x⋅⋯⋅x
считаем, что j , т.е. имеем дело с формальным произведением. Многочлены
обозначают чаще всего малыми буквами латинского алфавита с добавлением обозначения
формального символа: f ( x ), g( y ) и т.д. Множество всех многочленов от буквы х над полем
Р обозначают P [ x] . Если рассматриваются многочлены с ограничением на степень, то
используется такое обозначение: Pn [ x ]= { f ( x )∈ P [ x ]|deg f ( x )≤n } ∪ 0 . Многочленами
{ }
нулевой степени являются, по сути, ненулевые константы поля Р, хотя формально различают
многочлены и «числа».
Определение 3.4. Два многочлена называются равными, если совпадают их
коэффициенты при одинаковых степенях буквы.
Это, кстати, означает, что в записи f ( x )=0 все коэффициенты многочлена слева равны
нулю.
Алгебраические структуры на множестве многочленов

Для построения структур требуется введение операций на множестве P [ x] . Начнем с

операции сложения.
Определение 3.5. Пусть заданы два многочлена f ( x ), g (x )∈ P [ x ] . Тогда их суммой
называется многочлен h( x ) , получающийся формальным приведением подобных членов.
n n−1 n n−1
Точнее, пусть f ( x )=a n x + an−1 x +⋯+a1 x +a 0 и g( x )=bn x +bn−1 x +⋯+b 1 x+b0 , где
количество членов уравнивается дописыванием нулевых слагаемых, тогда
h( x )=( an +b n )x n +(a n−1 + bn−1 ) x n−1 +⋯+(a1 + b1 )x +(a0 + b0 ) .
 2
Отсюда понятно, что многочлен можно рассматривать действительно как сумму
многочленов (одночленов) в смысле приведенного определения. Из определения суммы
вытекает простая лемма о степени суммы.
Лемма 3.1. deg (f (x )+g ( x ))≤max { deg f ( x ), deg g( x ) } , если указанные степени
существуют.
Теорема 3.1. Множество многочленов над полем относительно операции сложения
образует абелеву группу.
Доказательство этой теоремы состоит в тривиальной проверке аксиом группы. Отметим
лишь, что алгебраичность операции следует из определения 3.5. Нейтральным элементом
служит, очевидно, нулевой многочлен, а противоположные элементы получаются из данных
заменой соответствующих коэффициентов на противоположные.

Определение 3.6. Пусть заданы два многочлена f ( x ), g (x )∈ P [ x ] , где

f ( x )=a n x n + an−1 x n−1 +⋯+a1 x +a 0 , g( x )=bm x m+bm−1 x m−1 +⋯+b1 x +b 0 .
Их произведением называется многочлен h( x )∈ P [ x ] ,

h( x )=c n+m x n+m +c m +n−1 x n+m−1 +⋯+c 1 x+c 0 , где

ck = ∑ ai b j
i + j=k .
Иными словами многочлен h( x )∈ P [ x ] получается формальным произведением f ( x ) на
g( x ) с последующим приведением подобных членов. Справедливы
Лемма 3.2. deg (f (x )⋅g( x ))=deg f ( x )+deg g (x ) , если указанные степени существуют.
Лемма 3.3. Умножение многочленов ассоциативно.
Без доказательства.

Теорема 3.2. Множество P [ x] относительно операций сложения и умножения

многочленов образует целостное кольцо.
Доказательство. Здесь можно сослаться на теорему 3.1. Коммутативность и
ассоциативность операций, а также дистрибутивность умножения относительно сложения
проверяются способом леммы 3.3. Укажем лишь на то, что единицей кольца служит
многочлен нулевой степени 1. Отсутствие делителей нуля следует из леммы 3.2.

Возникает естественный вопрос об обратимости элементов P [ x] . Действительно, пусть

f ( x )≠0 и предположим, что существует многочлен (f ( x ))−1 ∈ P [ x ] такой, что
. Тогда по лемме 3.2 имеем:
deg (f (x )(f ( x ))−1 )=deg f ( x )+deg (f (x ))−1 =deg 1=0 .
Отсюда, ввиду неотрицательности степени многочлена, получаем, что deg f ( x )=0 , т.е.
обратимыми элементами кольца P [ x] являются многочлены нулевой степени и только они.

Делимость многочленов

Начнем этот параграф с аналога теоремы о делении с остатком для целых чисел.

Теорема 3.3 (о делении с остатком для многочленов).

Пусть заданы два многочлена f ( x ), g (x )∈ P [ x ] и g( x )≠0 . Тогда имеет место
представление , где или . Здесь
q ( x), r( x)∈ P [ x ] и называются соответственно неполным частным и остатком от
деления. Указанное представление единственно.
 3
Доказательство. Единственность. Пусть, например, существуют два представления
и .
Вычитая из первого второе, получим

или
.
Если , то deg (r 2 (x )−r 1 (x ))<deg g (x ) , но тогда и
, что приводит к противоречию. Следовательно, тогда
,
ибо P [ x] – целостное кольцо.
Теперь докажем существование представления. Сначала рассмотрим частные случаи.
1. Пусть . Тогда .
2. Пусть deg g ( x )=0 , таким образом, g( x )=c ∈ P , c≠0 . Тогда, как легко видеть,
.
3. И, наконец, опишем основной случай, когда deg f ( x )≥deg g( x )>0 . Пусть заданы
n n−1 m m−1
многочлены f ( x )=a n x + an−1 x +⋯+a1 x +a 0 и g( x )=bm x +bm−1 x +⋯+b1 x +b 0 . И
. Рассмотрим цепочку разностей

– старший коэффициент , n1 <n ;

an n1−m
f 2 ( x )=f 1 ( x )− 1
g( x ) x , an
bm ,n2 <n1 ;
2
– старший коэффициент
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

– старший коэффициент ,
n k <n k−1 ;
an nk −m
f k +1 ( x )=f k ( x )− k
g( x) x
, deg f k +1 (x )=n k +1 , nk +1 <m , k +1 k .
bm n <n
Последнее равенство обязательно появится, ибо степени номерных многочленов строго
убывают. Просуммируем полученные равенства. Имеем

f k +1 ( x )=f ( x )−
[ an
bm
x n−m+
an
bm
1
x
n1−m
+⋯+
an
bm
k−1
x
nk−1−m
+
an
bm
k
x
nk −m

] g( x )
.

Теперь обозначая
q ( x )=
[ an
bm
x n−m +
an
bm
1
x
n1−m
+⋯+
an
k−1

bm
x
nk−1−m
+
an
bm
k
x
nk −m

] и r ( x )=f k +1 ( x ) ,
получаем требуемое.

Определение 3.7. Пусть заданы многочлены f ( x ), g (x )∈ P [ x ] , g( x )≠0 , тогда говорят,

что f ( x ) делится на g( x ) , если существует такой многочлен h( x )∈ P [ x ] , что имеет место
равенство . Обозначение: f ( x) ⋮ g(x ) .
Лемма 3.4 (критерий делимости). Многочлен f ( x ) делится на g( x ) тогда и только
тогда, когда остаток от деления в теореме 3.3 равен нулю.
 4

Свойства делимости многочленов.

∘
1. Если f ( x)⋮g ( x)∧g( x)⋮h (x )⇒ f ( x)⋮h (x ) – свойство транзитивности делимости;
∘
2. Если f ( x)⋮g ( x)∧h (x )⋮g (x )⇒(f ( x)±h (x ))⋮g( x) ;
∘
3. Если f ( x)⋮g ( x)⇒ ∀ h (x ) ( f ( x)⋅h ( x))⋮g( x) ;

(∑ )
k

∘
f 1 ( x ) ⋮g( x )∧…∧f k ( x ) ⋮g( x ) ⇒ ∀ h1 ( x ), … , hk ( x ) f i ( x )⋅hi ( x ) ⋮g( x )
4. Если i =1 ;
∘
5. Каждый многочлен делится на многочлен нулевой степени;
∘ ¿
6. Если f ( x)⋮g ( x) , то f ( x)⋮(c⋅g( x)) , где c ∈ P ;
¿
7.
∘ f ( x )⋮g ( x )∧g( x )⋮f ( x )⇔ f ( x )=c 1⋅g( x )∨g( x )=c 2⋅f ( x ) , где c 1 , c 2 ∈ P ;
¿
8.
∘
f ( x)⋮g ( x) , где deg f ( x )=deg g( x ) ⇔ f ( x )=c 1⋅g ( x )∨g( x )=c 2⋅f ( x ) , c 1 , c 2 ∈ P ;
∘
9. Множество делителей многочлена f ( x ) совпадает с множеством делителей
¿
многочлена c⋅f ( x ) , где c ∈ P .
Эти свойства легко доказываются по определению с привлечением леммы 3.2.

Определение. 3.8. Пусть f ( x ), g (x )∈ P [ x ] . Если f ( x)⋮d( x)∧g( x)⋮d( x ) , то тогда d ( x )

называется общим делителем многочленов f ( x ) и g( x ) .
Нашей ближайшей задачей является обсуждение понятия наибольшего общего делителя
двух многочленов. Но ввести это понятие так, как это делается в кольце целых чисел, не
представляется возможным ввиду того, что множество многочленов не является
упорядоченным, как это имеет место во множестве целых рациональных чисел. Поэтому
поступим, давая определение в случае с многочленами, используя одно известное свойство
наибольшего общего делителя целых.
Определение 3.9. Наибольшим общим делителем (НОД) двух многочленов называется
такой их общий делитель, который делится на любой их общий делитель. Обозначение: для
f ( x ), g (x )∈ P [ x ] их НОД d ( x )=( f ( x ), g (x )) .
∘
Это определение страдает заведомой неоднозначностью, что следует из свойства 9 .
Таким образом, НОД двух многочленов определен с точностью до мультипликативной
¿
константы из P , т.е. многочлена нулевой степени.
Определение 3.10. Два многочлена называются взаимно простыми, если их НОД равен
многочлену нулевой степени.
Данные здесь определения не гарантируют существования определяемого объекта.
Поэтому займемся доказательством существования НОД. Теорема, которая будет доказана,
носит конструктивный характер в том смысле, что следуя идее доказательства, можно
построить НОД. Поэтому ее и называют алгоритмом.
Теорема 3.4 (алгоритм Евклида).
Наибольший общий делитель двух многочленов существует.
Доказательство. Пусть заданы многочлены f ( x ), g (x )∈ P [ x ] и g( x )≠0 . Пусть для
определенности deg f ( x )≥deg g( x ) . Тогда имеем по теореме 3.3 о делении с остатком:
f ( x )=g( x )⋅q1 ( x )+r 1 ( x ), deg r 1 ( x )<deg g( x ) ;
g( x )=r 1 ( x )⋅q2 (x )+r 2 ( x ), deg r 2 ( x )<deg r 1 ( x ) ;
r 1 ( x )=r 2 ( x )⋅q 3 ( x )+r 3 ( x ), deg r 3 ( x )<deg r 2 ( x ) ;
. . . . . . . . . . . . . . . . .
r k −1 ( x )=r k (x )⋅q k +1 ( x )+r k +1 (x ), deg r k +1 ( x )<deg r k (x )
 5
r k ( x )=r k +1 ( x )⋅q k +2 ( x ) .
Как видно, степени остатков строго убывают, и поэтому обязательно наступит момент
деления нацело. Например, последний отличный от нуля остаток будет многочленом нулевой
степени. Утверждаем, что наибольшим общим делителем f ( x ) и g( x ) как раз и является
последний отличный от нуля остаток в череде последовательных делений. Действительно, как
легко видеть, r k+1 ( x ) является общим делителем f ( x ) и g( x ) . Этот многочлен делит все
предыдущие остатки, если подниматься по лестнице соотношений снизу вверх, и наконец,
делит f ( x ) и g( x ) . С другой стороны, любой общий делитель f ( x ) и g( x ) , скажем d ( x ) ,
делит в свою очередь все остатки, в том числе и r k+1 ( x ) . Это прослеживается, если
последовательно пройти по выписанным соотношениям теперь сверху вниз, используя
свойства делимости. Поэтому в соответствии с определением можно утверждать, что
r k +1 ( x )=( f ( x ), g( x )) .
Следствие. Если f ( x ), g (x )∈ P [ x ] , то d ( x )=( f ( x ), g (x ))∈ P [ x ] .
Пример 3.2. Пусть f ( x )=x 5 −x 3 +2 x 2−x−3 , а g( x )=x 4 + 2 x +1 . Найдем НОД
d ( x )=( f ( x ), g (x )) . Условимся для сохранения вычислений в кольце целых чисел умножать
вычисляемые остатки на подходящие множители помня о том, что НОД двух многочленов
определен с точностью до мультипликативной константы. При этом, разумеется, безнадежно
портятся неполные частные. Итак,
4 3
x 5 −x3 +2 x2 −x−3= ( x +2 x +1 )⋅x+(−x −2 x−3 ) ;
x 4 +2 x+1=( x 3 +2 x +3)⋅x +(−2 x 2 −x+1 ) ;
1 1
x 3 +2 x +3= x 2 + x− ⋅ x− +
2 2 ( 1 11
2 4
x+
11
4 ; )( ) ( )
2 x 2 +x−1=( x+1 )⋅(2 x−1 ) .
Последний, отличный от нуля остаток r 3 ( x )=x +1 . Таким образом, d ( x )=x+1 .

Теорема 3.5 (о линейном представлении НОД).

Пусть f ( x ), g (x )∈ P [ x ] и d ( x )=( f ( x ), g (x )) . Тогда найдутся такие многочлены
u( x), v(x )∈ P [ x ] , что d ( x )=f ( x )⋅u( x )+g( x )⋅v ( x ) . При этом, если deg f ( x )≥1 и
deg g ( x )≥1 , то u( x ) и v (x ) можно подобрать так, что deg u ( x )<deg g( x ) , а
deg v ( x )<deg f ( x ) .
Без доказательства.

Рассмотрим теперь отдельно вопрос о свойствах взаимно простых многочленов. Из

необходимых в дальнейшем отметим три:
∘
1. Если (f ( x ), g (x ))=1 ¿( f ( x)⋅h ( x))⋮g( x)⇒ h( x)⋮g ( x) ;
∘
2. Если f ( x)⋮g ( x)∧f ( x)⋮h( x)∧( g( x), h( x))=1⇒ f (x )⋮( g( x)⋅h (x )) ;
∘
3. Если (f ( x ), g (x ))=1∧( f ( x ), h( x ))=1⇒(f (x ), g( x )⋅h( x ))=1 .
Докажем, например, первое свойство. Из условия взаимной простоты f ( x ) и g( x )
следует по теореме 3.5, что
1=f ( x )⋅u (x )+g ( x )⋅v (x )
для некоторых u( x ) и v (x ) . Умножим обе части этого равенства на многочлен h( x ) . Получим
h( x )=( f ( x )⋅h (x ))⋅u( x )+g (x )⋅( v ( x )⋅h( x )) .
 6

Так как (f ( x)⋅h( x))⋮g(x ) и g( x ) делится на себя, то по второму свойству делимости

получаем, что и h( x )⋮g( x ) . Остальные свойства доказываются похожим образом.

Теорема 3.6 (критерий взаимной простоты двух многочленов).

Два многочлена f ( x ), g (x )∈ P [ x ] взаимно просты тогда и только тогда, когда линейное
представление их наибольшего общего делителя есть
1=f ( x )⋅u (x )+g ( x )⋅v (x ) .
Доказательство как необходимости, так и достаточности здесь тривиально. Но имеется
Следствие. Многочлены u( x ) и v (x ) в формулировке теоремы определены однозначно,
если deg f ( x )≥1 и deg g ( x )≥1 .

Неприводимость

В этом разделе будет представлена возможность записи многочлена в т.н. канонической

форме. Основным понятием для такой формы служит понятие неприводимости.
Определение 3.11. Пусть задано поле P и многочлен f ( x )∈ P [ x ] . Многочлен f ( x )
называется неприводимым (неразложимым) над полем P , если удовлетворяет двум
условиям:
∘
1. deg f ( x )≥1 :
∘
2. Для любых многочленов f 1 ( x ) , f 2 ( x )∈ P[ x ] таких, что f ( x )=f 1 ( x )⋅f 2 (x ) выполнено:
deg f 1 (x )=0 ∨deg f 2 ( x )=0 ( f ( x ) разлагается на тривиальные сомножители).
В противном случае многочлен положительной степени называется приводимым над данным
полем P .
2
Пример 3.3. Пусть задан многочлен x −2∈ Q [ x ] . Очевидно, что он неприводим над полем
Q . Но является приводимым над полем Q( √ 2) . Действительно, x 2 −2=( x− √2 )⋅( x + √ 2) .
Он также является приводимым и над любым расширением поля Q( √ 2) , например, R или C .
Пример показывает, что свойство быть неприводимым является относительным и зависит от
поля, над которым рассматривается многочлен. Еще один пример:
2
Пример 3.4. Многочлен x +1 неприводим над полем R , но приводим над полем C , что
2
немедленно следует из известного разложения x +1=( x+ i)⋅( x−i ) .
Неприводимые многочлены напоминают по своим свойствам в кольце P [ x] простые
числа в кольце целых рациональных чисел. Рассмотрим эти свойства.
Свойства неприводимых многочленов.
∘
1. Многочлен первой степени неприводим над любым полем.
∘ ¿
2. Если многочлен f ( x ) неприводим над полем P , то для любого c ∈ P c  f (x) также
неприводим над P .
∘
3. Пусть f ( x ), p (x )∈ P [ x ] , причем p( x ) – неприводим над P . Тогда или f ( x)⋮p ( x) , или
(f ( x ), p( x ))=1 .
∘
4. Если произведение f ( x )⋅g( x ) делится на неприводимый многочлен p( x ) , то или
f ( x)⋮p ( x) , или g( x)⋮p( x) .
Доказательство первых двух свойств тривиально. В третьем, если многочлены не
взаимно просты, то у них имеется общий делитель d ( x )≠c ∈ P . Для p( x ) это значит, что
 7
d ( x )=c⋅p( x ) , что и доказывает свойство. В четвертом случае можно опираться на третье
свойство и соответствующее свойство взаимно простых многочленов.

Теорема 3.7 (основная теорема о неприводимых многочленах).

Каждый многочлен положительной степени над полем P разлагается над этим полем в
произведение неприводимых многочленов. Это разложение единственно с точностью до
порядка следования сомножителей и множителей нулевой степени.
Доказательство. Существование. Пусть задан многочлен f ( x )∈ P [ x ] , deg f ( x )≥1 . Если
он неприводим над данным полем, то разложение получено. Иначе, он распадается на два
множителя f ( x )=f 1 ( x )⋅f 2 (x ) над полем P . По определению 3.11 0< deg f 1 ( x )<deg f ( x ) и
0< deg f 2 ( x )<deg f ( x ) . Если эти многочлены неприводимы над P , то разложение получено,
а если, например, f 1 ( x ) приводим, он в свою очередь распадается на нетривиальные
множители меньшей степени. Продолжая это рассуждение, приходим к выводу, что за число
шагов, ограниченное величиной deg f ( x )−1 получим соответствующее разложение,
возможно на многочлены первой степени.
Единственность. Пусть имеются два разложения на неприводимые над полем P
многочлены: f ( x )= p1 (x )⋅p2 ( x )⋅…⋅p s ( x ) и f ( x )=q 1 ( x )⋅q2 (x )⋅…⋅qt ( x ) . Приравнивая два
выражения, получим
p1 ( x )⋅p 2 ( x )⋅…⋅ps ( x )= q 1 ( x )⋅q2 ( x )⋅…⋅q t ( x ) .
По свойствам неприводимости многочлен p1 ( x ) делит правую часть соотношения и,
следовательно, делит один из неприводимых над P множителей, например, q 1 ( x ) . Тогда
¿
q 1 ( x )=c 1⋅p1 ( x ) с c 1 ∈ P . Используя закон сокращения, разделим обе части равенства на
p1 ( x ) . Получим p2 (x )⋅…⋅p s ( x )=c 1⋅q2 ( x )⋅…⋅qt ( x ) . Далее, теперь многочлен p2 (x ) делит
новую правую часть соотношения и, значит, делит, например, q 2 ( x ) . Тогда q 2 ( x )=c 2⋅p2 ( x ) .
Сократим обе части равенства на p2 (x ) и т.д. Ясно, что не может быть s<t , ибо в противном
случае имели бы 1=c1⋅c 2⋅…⋅c s⋅q s+1 ( x )⋅…⋅q t (x ) , что невозможно, так как степени
неприводимых многочленов положительны. Но не может быть и s>t , так как в этом случае
имеем pt+1 (x )⋅…⋅p s ( x )=c 1⋅c 2⋅…⋅ct , что тоже невозможно. Поэтому s= t , и два разложения
отличаются множителями нулевой степени и, возможно, порядком следования множителей.
Следствие 1. Собирая одинаковые неприводимые множители пол знаки степени можно
представить многочлен в виде:
k k k
f ( x )=c 1⋅c 2⋅…⋅c s⋅( p1 ( x )) 1⋅( p 2 ( x ) ) 2 ¿ …⋅( p s ( x )) s ,

здесь pi ( x )≠p j ( x ) для i≠ j ; i , j=1 , … , s .

Следствие 2. Если считать неприводимые множители в предыдущем равенстве
a
нормированными (т.е. их старшие коэффициенты равны единице), а deg f ( x )=n и n –
старший коэффициент f ( x ) , то разложение представляется в виде
k k k
f ( x )=a n⋅( p1 ( x ) ) 1⋅( p 2 ( x ) ) 2 ¿ …⋅( ps ( x ) ) s .
Это представление многочлена называется каноническим разложением над полем P .
Ближайшей задачей теперь будет описать канонические разложения многочленов над
полями С и R .
Корни многочленов
 8
Одним из самых существенных вопросов, связанных с многочленами, является вопрос о
корнях. Долгое время это была основная проблема в алгебре. В настоящее время проблема
точного вычисления корней не является актуальной, но разработаны методы приближенного
их вычисления, вполне удовлетворяющие практические запросы.
n n−1
Определение 3.12. Пусть задан многочлен f ( x )=a n x + an−1 x +⋯+a1 x +a 0 ∈ P [ x ] , и
n n−1
пусть α ∈ P (∈T , P⊆T ) . Тогда элемент поля f (α )=an α + an−1 α +⋯+a 1 α + a0 ∈ P (∈ T )
называется значением многочлена f ( x ) на элементе α .
Это определение означает, что знаки операций над многочленами принимаются за знаки
соответствующих операций над элементами поля Р (или Т).
Определение 3.13. Элемент α ∈ P (∈T ) называется корнем многочлена f ( x )∈ P [ x ] , если
значение этого многочлена на элементе α равно нулю, т.е., f ( α )=0 .
Отметим связь между наличием корня у многочлена с понятием делимости. Эта связь
задается простой теоремой.

Теорема 3.8 an a n−1 a n−2 . . . a1 a0 (Безу).

Остаток от деления
многочлена
α b n−1 b n−2 b n−3 . . . b0 f (α ) f ( x )∈ P [ x ] на
двучлен x−α равен значению
многочлена на элементе α .
Доказательство. Разделим f ( x ) на x−α . Получим f ( x )=(x −α )⋅q ( x )+r ( x ) , где
r ( x )=0 или deg r ( x )<deg ( x−α )=1 . И в том, и в другом случае r ( x ) является константой,
т.е., не зависит от х. Поэтому можно написать, что f (α )=(α−α )⋅q (α )+r ( x ) , что и означает,
что r ( x )=f ( α ) .
Следствие. Элемент α является корнем многочлена f ( x ) тогда и только тогда, когда
f ( x ) делится на двучлен x−α .

Делимость на двучлен x−α можно выполнять, используя удобный алгоритм Горнера.

n n−1
Опишем сам алгоритм. Пусть f ( x )=(x −α )⋅q ( x )+r ( x ) , f ( x )=a n x + an−1 x +⋯+a1 x +a 0 и
q ( x )=b n−1 x n−1 +bn−2 x n−2 +⋯+b1 x +b0 . Задача – определить коэффициенты многочлена q ( x ) .
Перемножая выражение для q ( x ) на x−α и сравнивая полученный многочлен с f ( x ) ,
a n=bn−1 , b n−1 =an ,
a n−1 =bn−2 −α⋅bn−1 , b n−2 =a n−1 +α⋅b n−1 ,
имеем:
a n−2 =b n−3 −α⋅bn−2 , или
b n−3 =a n−2 +α⋅b ,
. . . . . . . . . . . . . .
a 1=b 0 −α⋅b1 , b 0=a1 + α⋅b1 ,
a 0=f ( α )−α⋅b0 . f ( α )=a0 + α⋅b 0 .

Эти вычисления удобно располагать в таблице Горнера.

 9

Старший коэффициент многочлена f ( x ) сносится в нижеследующую клетку и превращается

в
b n−1 , а последующие b j , j=n−2 , … , 0 , а также f ( α ) вычисляются умножением на α

предшествующего коэффициента
b j−1 и сложением полученного с a j−1 .
5 3 2
Пример 3.5. Пусть f ( x )=2 x + x + 4 x −x−1 и α =1 . Тогда
2 0 1 4 -1 -1
1 2 2 3 7 6 5
5 3 2
Таким образом, q ( x )=2 x +2 x +3 x +7 x +6 , а r ( x )=f (1 )=5 .

Для дальнейшей работы требуется введение формальной производной многочлена. Это

определение действительно формальное и не связано с предельным переходом и
представлением многочлена в виде функции.
n n−1
Определение 3.14. Пусть задан многочлен f ( x )=a n x + an−1 x +⋯+a1 x +a 0 ∈ P [ x ] . Его
n−1 ' n−2
первой производной назовем многочлен вида f ( x )=nan x +(n−1 )a n−1 x +⋯+a1 ∈ P  [ x ] .
( k −1 ) ' ( n)
Для k ≥2 k-ой производной называется многочлен(f ( x )) . При этом f ( x )=n ! an , а при
k > n f ( k )( x )=0 .
Свойства производной, по существу, повторяют известные свойства многочлена f ( x ) как
функции от х. Доказательства всех свойств можно получить по определению. Итак, для
любых f ( x), g(x )∈ P  [ x]
∘ '
1. 0 = 0 ;
∘ ' ¿
2. c =0 , c ∈ P ;
∘ '
3. x =1 ;
' '
4. ( λ⋅f ( x ) ) =λ( f ( x )) , λ ∈ P ;


∘
5. ( f ( x )+ g ( x ))' =f ' ( x )+g ' ( x ) ;
6.

( f ( x )⋅g( x ))' =f ' ( x )⋅g( x )+ f ( x )⋅g' ( x ) ;
[(f ( x ))k ] =k ( f ( x ))k −1⋅f (x ), k ∈ N ;
∘ ' '
7.
8.
∘ [( x   )) k ]  k ( x   )) k 1 , k  N .

Определение 3.15. Пусть задан многочлен f ( x)∈ P  [ x] и α – корень f ( x ) . Элемент α

называется k - кратным корнем многочлена (k ∈ N ) , если имеет место представление
¯ ( x−α )
f ( x )=(x −α )k⋅f 1 ( x ), f 1 ( x ) ⋮ .
Если k =1 , то корень называется простым (однократным), а иначе – двукратным,
трехкратным и т.д. В целом ряде математических задач бывает важно выяснить, имеет ли
многочлен кратные корни (k ≥2) . На этот вопрос дает ответ соответствующий критерий.

Теорема 3.11 (критерий кратности корня).

Корень α многочлена f ( x ) является k - кратным его корнем тогда и только тогда,
когда он является корнем кратности k −1 его первой производной.
Без доказательства.
 10
Пример 3.7. Если требуется ответить на вопрос о существовании кратных корней у
многочлена с числовыми коэффициентами, то достаточно найти наибольший общий делитель
этого многочлена и его производной. Если НОД отличен от константы, то корни общие есть,
что будет обосновано в следующем разделе для поля С. Это по критерию и означает наличие
кратных корней. А если указанные многочлены взаимно просты, то таковых нет.
Если известен корень многочлена, то вычислить его кратность можно легко,
воспользовавшись алгоритмом Горнера. Кратность корня α будет равна числу нулевых
остатков, получающихся при делении многочлена и частных на двучлен ( x−α ) .

Основная теорема алгебры

Название соответствующей теоремы сугубо историческое, восходящее к временам, когда

вопросы нахождения корней алгебраических уравнений считались основными в алгебре. С
тех пор многое изменилось в алгебраической науке, а название осталось. Более того, теорема
формулируется лишь для числовых полей. Надо сказать, что для многочленов первых
четырех степеней еще в позднем средневековье были получены формулы общего вида,
позволяющие конструировать корни из коэффициентов многочлена с помощью
арифметических операций и операции извлечения корня (как говорят, «в радикалах»). Все
попытки получить подобное для многочленов более высокой степени, скажем пятой,
потерпели неудачу. В 1824 году Н.Г.Абель доказал, что таких формул для общего многочлена
с числовыми коэффициентами не существует. За несколько лет до него независимо подобный
результат получил итальянец П. Руффини. Правда, его доказательство содержало пробелы.
Некоторые простейшие алгебраические уравнения сколь угодно высокой степени легко
разрешимы. Поэтому окончательный результат здесь был получен Э. Галуа, который доказал
теорему о разрешимости в радикалах общего алгебраического уравнения.

Теорема 3 12 (основная теорема алгебры).

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

Следствие 1. Каждый многочлен положительной степени над числовым полем

разлагается над полем комплексных чисел на линейные множители (множители первой
степени). Указанное разложение единственно с точностью до порядка следования
сомножителей. Это означает т.н. алгебраическую замкнутость поля комплексных чисел.
Доказательство. Существование. В силу теоремы многочлен f ( x ) имеет корень α 1 ∈C .
По следствию из теоремы Безу (т. 3.8) имеем:
f ( x )=(x −α 1 )⋅f 1 ( x ) ,
где f 1 ( x ) – многочлен с числовыми коэффициентами. Если deg f 1 ( x )> 0 , то к нему тоже
может быть применена основная теорема, т.е., существует α 2 ∈C такое, что f 1 ( α 2 )=0 и,
таким образом, f 1 ( x )=( x−α 2 )⋅f 2 ( x ) , где f 2 ( x ) – многочлен с числовыми коэффициентами.
Значит,
f ( x )=(x −α 1 )⋅( x−α 2 ) f 2 ( x ) .
Если deg f 2 ( x )> 0 , то процедуру выделения корней можно продолжить. Пусть степень f ( x )
a
равна n и n – его старший коэффициент. Тогда подобный процесс завершится на n−1 шаге.
При этом, очевидно будем иметь
f ( x )=(x −α 1 )⋅( x−α 2 )⋅…⋅( x−α n )⋅a n .
 11
Число сомножителей-скобок равно n , а старший коэффициент проявляется автоматически,
ибо старшие члены двух представлений многочлена должны быть равными.
Единственность. Пусть существует еще одно разложение
f ( x )=(x −β1 )⋅( x−β 2 )⋅…⋅( x−β n )⋅a n .
a
Оно должно содержать тоже n сомножителей и старший коэффициент n . Приравняем два
представления:
( x−α 1 )⋅( x−α 2 )⋅…⋅(x −α n )⋅an = ( x−β 1 )⋅( x−β 2 )⋅…⋅(x −β n )⋅an .
Правая часть равенства делится на x−α 1 . Это неприводимый многочлен, поэтому он должен
делить одну из скобок справа. Пусть это будет x−β 1 . Тогда очевидно, что α 1= β1 . В силу
того, что C  [x ] является целостным кольцом, в нем возможен закон сокращения на общий
ненулевой множитель. Сократим обе части равенства на a n ( x−α 1 )=an (x −β1 ) . Получим
новое равенство
( x−α 2 )⋅…⋅( x−α n )= ( x−β 2 )⋅…⋅( x−β n ) .
Рассуждая вышеприведенным образом, далее покажем, что x−α 2 =x−β 2 например. И
сократим обе части равенства на x−α 2 =x−β 2 , и т.д. В результате докажем единственность
представления.

Следствие 2. Неприводимыми многочленами над полем С являются многочлены первой

степени и только они.

Следствие 3. Среди корней в разложении из следствия 1 могут встречаться одинаковые.

Это дает возможность записать разложение иначе, именно:
k k k
f ( x )=a n ( x−α 1 ) 1⋅( x−α 2 ) 2 ¿…⋅( x −α s ) s ,

где
α i≠α j для i≠ j , i , j=1 , … , s . Покажем, что числа k i , i=1 … , s , суть кратности
соответствующих корней. Действительно, пусть кратность корня
α i равна m i , тогда k i≤m i .
Покажем, что
k i <m i невозможно. Представим многочлен в виде
m
f ( x )=( x −α i ) i⋅f i ( x ) , f i ( x)⋮¯ ( x−α i ) .
k <m i получим
Если теперь разложить многочлен f i ( x ) на линейные множители, то при i
разложение f ( x ) существенно другое по сравнению с уже имеющимся , что противоречит
единственности данного представления. В итоге получается каноническое разложение
многочлена над полем комплексных чисел:
k k k
f ( x )=a n ( x−α 1 ) 1⋅( x−α 2 ) 2 ¿…⋅( x −α s ) s ,
s
∑ k j=deg f ( x )=n k i суть кратности соответствующих корней, i=1 … , s .
где i=1 ,а

Следствие 4. Каждый ненулевой многочлен с числовыми коэффициентами степени n

имеет ровно n корней, если каждый корень считать с его кратностью. В частности,
многочлен нулевой степени имеет нуль корней. И только нулевой многочлен имеет больше
корней, чем любое n ∈ N .

Следствие 5. Если многочлены f ( x ) и g( x ) , степени которых не превосходят n , имеют

равные значения на более чем n значениях буквы х, то f ( x )=g( x ) .
 12

Действительно, пусть H ( x )=f ( x )−g ( x ) . Заметим, что deg H (x )≤n , но H ( x ) имеет

заведомо больше корней, чем его степень. По следствию 4 это означает, что H ( x )=0 , что
влечет равенство f ( x )=g( x ) . Отсюда можем заключить, что многочлен при необходимости
можно рассматривать как функцию комплексного переменного x . И тогда условие
функционального равенства эквивалентно формальному равенству.

Следствие 6. Опираясь на предыдущее следствие можно описать многочлен, степень

которого не превосходит n , по его значениям в n+1 точке. Такой многочлен, очевидно,
определен однозначно. Действительно, пусть f ( x)∈ C  [ x ] и deg f ( x )≤n . Известны его
c , c , …, c , c
значения 1 2 n n+1 в точках x , x ,…,x ,x
1 2 n n+1 соответственно. Тогда многочлен
может быть представлен в виде
n+1 ( x−x 1 )⋅…⋅( x−x i−1 )⋅( x−x i +1 )⋅…⋅( x−x n+1 )
f ( x )=∑ c i
i=1 ( x i −x 1 )⋅…⋅( x i−x i−1 )⋅( x i −xi +1 )⋅…⋅( x i −x n+1 ) .

Непосредственно видно, что f ( xi )=ci , i=1 , … , n+1 , а deg f ( x )≤n . Такой многочлен, как
было показано, определен однозначно. Соответствующая формула называется
интерполяционной формулой Лагранжа. Ее можно использовать для аналитического
описания результатов эксперимента, по выполненным измерениям в точках 1 2 n n+1 .x , x ,…,x ,x
Для уточнения функциональной зависимости проводят дополнительные измерения в
промежуточных точках (узлах).

n n−1
Следствие 7. Пусть f ( x )=a n x + an−1 x +⋯+a1 x +a 0 =an (x −α 1 )⋅( x−α 2 )⋅…⋅( x−α n )⋅¿ ¿
Укажем на связь между коэффициентами многочлена и его корнями 1 2 n. α ,α ,…,α
Перемножим скобки в правой части равенства и сравним полученные коэффициенты с
коэффициентами исходного вида многочлена. Имеем:
an−1
=−( α 1 + α 2 +α 3 +⋯+α n )
an ;
an−2
=α 1 α 2 +α 1 α 3 +⋯+α n−1 α n
an ;
an−3
=−(α 1 α 2 α 3 +α 1 α 2 α 4 +⋯+α n−2 α n−1 α n )
an ;
. . . . . . . . . . . . . . .
a1
=(−1)n−1 (α 1 α 2 …α n−1 +⋯+α 2 α 3 …α n )
an ;
a0
=(−1)n α 1 α 2 … α n−1 α n
an .
Эти формулы называются формулами Ф. Виета, по имени французского математика. Как
видим, они носят нелинейный характер и не дают возможности вычислять корни многочлена
по его коэффициентам. Правда, если известна дополнительная информация о корнях, то
иногда можно получить и корни. Сами по себе они (формулы) являются обобщением
соответствующих школьных формул для квадратного трехчлена.
Пример 3.8. Формулы Виета для кубического многочлена:
a2
=−( α 1 + α 2 + α 3 )
a3 ;
 13
a1
=α 1 α 2 + α 1 α 3 + α 2 α 3
a3 ;
a0
=−α 1 α 2 α 3
a3 .

Следствия из основной теоремы для вещественных многочленов

Лемма 3.5. Пусть задан вещественный многочлен f ( x )∈ R[ x ] положительной степени.

Тогда, если существенно комплексное число α является корнем этого многочлена, то и ᾱ –
сопряженное тоже является корнем f ( x ) .
n n−1
Доказательство. Зададим многочлен явно: f ( x )=a n x + an−1 x +⋯+a1 x +a 0 . И
вычислим его значение на ᾱ . Имеем, пользуясь свойствами комплексно сопряженных чисел,
f ( ᾱ )=an ᾱ n +an−1 ᾱ n−1 +⋯+a 1 ᾱ+a0 =an α n +a n−1 α n−1 +⋯+a1 α +a 0=
a n α n +an−1 α n−1 +⋯+a1 ᾱ+a0 =an α n +a n−1 α n−1 +⋯+a1 α +a0 =
a n α n +an−1 α n−1 +⋯+a1 α+a 0 =f ( α )=0̄=0 .
Пары комплексно сопряженных корней вещественного многочлена задают делитель этого
2 2
многочлена в виде ( x−α )⋅( x−ᾱ )=x −( α + ᾱ ) x+ α ᾱ =x + px +q . Все три коэффициента
здесь вещественны, ибо p=α + ᾱ ∈ R как сумма комплексно сопряженных чисел, а
q=α ᾱ=|α|2 ∈ R . Это трехчлен с отрицательным дискриминантом.
Покажем, что корни α и ᾱ имеют одинаковую кратность. Пусть на самом деле кратность
α равна k , а кратность ᾱ – l , и k > l . Тогда f ( x ) можно представит в виде
f ( x )=(x 2 + px +q )l (x −α )k −l⋅g( x ) , где g(α )≠0 и g( ᾱ )≠0 .
Как известно, частное от деления вещественного многочлена на вещественный же многочлен
k −l
лежит в кольце R[ x] . Поэтому многочлен ( x−α ) ⋅g( x )∈ R [ x ] и у него есть корень α , ибо
k −l >0 , но тогда он должен иметь и корень ᾱ по лемме 3.5. Таким образом,
( ᾱ −α )k −l⋅g( ᾱ )=0 , но тогда g( ᾱ )=0 , что невозможно. Аналогично получается, что и l >k
невозможно. А тогда k =l . Отсюда получаем:

Следствие 8. Каноническое разложение вещественного многочлена над полем

вещественных чисел имеет вид:
k k l l
f ( x )=( x 2 + p 1 x+ q1 ) 1⋅…⋅( x 2 + p s + q s ) s ( x −α 1 ) 1 ¿ …⋅( x−α t ) t ,
s t
deg f ( x )=2 ∑ k i + ∑ l j
где i=1 j=1 .
Здесь квадратичные множители отвечают парам комплексно сопряженных корней, а степени
линейных множителей отвечают попарно различным вещественным корням f ( x ) .

Следствие 9. Неприводимыми многочленами над полем вещественных чисел являются

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

Лемма 3.6. Вещественный многочлен нечетной степени имеет, по крайней мере, один
вещественный корень.
 14
Доказательство следует из канонического разложения многочлена.

Пример 3.8. Построить многочлены над полем С и полем R с корнями: двойной корень i ,
простой корень 1+i , двойной корень 3. Имеем над полем С:
f ( x )=(x −i)2⋅( x−1−i)⋅( x−3 )2=( x 3−(1+3i )x 2 +(−3+2i )x +1+i)⋅(x −3)2 =
x 5 +(−7 +3 i)x 4 +(3+20 i)x 3 +(10−38i )x 2 +(−33+12i) x+9+9 i .
Над полем R :
g( x )=(( x−i)⋅( x+ i) )2⋅( x−1−i)⋅( x−1+i)⋅( x−3)2 =
x 8 −6 x 7 +13 x 6 −24 x 5 + 41 x 4 −30 x 3 +47 x 2 −12 x +18 .
Эти же результаты можно получить, используя формулы Виета.