§ 3.2. Алгоритм Евклида и теорема Безу 143
Если α
1
––
корень f(x), то f(x) = (x − α
1
)h(x) согласно теореме
Безу. Пусть α
2
––
корень многочлена f(x) и α
1
6= α
2
, тогда f(α
2
) =
= (α
2
−α
1
)h(α
2
) = 0 и α
2
−α
1
6= 0, но в области целостности нет дели
-
телей нуля, следовательно, h(α
2
) = 0, а h(x) имеет не более n −1 корней
по предположению индукции, значит, многочлен f(x) имеет не более n
корней.
Следствие из теоремы 66. Если многочлен f(x) степени n с ко-
эффициентами из области целостности K имеет в ней n корней,
то его можно представить в виде произведения элемента из K
на n линейных множителей с коэффициентами из K.
З а м е ч а н и е.
!
Утверждение теоремы неверно в том случае, если кольцо K не яв
-
ляется областью целостности.
Упражнение 59. Квадратный двучлен x
2
−1 имеет в кольце Z
8
че
-
тыре корня (
¯
1,
¯
3,
¯
5,
¯
7).
Теорема 67 (о полиномиальных функциях). Пусть область це-
лостности K бесконечна и два многочлена f
1
(x) и f
2
(x) над K прини-
мают одинаковые значения при всех c ∈K , т. е. равны как функции.
Тогда эти многочлены совпадают друг с другом.
Д о к а з а т е л ь с т в о. Рассуждаем от противного. Пусть степень
многочлена F(x) = f
1
(x) − f
2
(x) равна n. Из условия теоремы следует, что
можно выбрать n + 1 элементов из K , которые являются корнями этого
многочлена. Тем самым получено противоречие с теоремой 66.
Из доказанной теоремы вытекает, что по известным значениям мно
-
гочлена степени n в n + 1 различных точках многочлен определяется
однозначно.
Однако не сразу ясно, как его выразить в явном виде. Если область
целостности является полем, то для этого можно использовать интер
-
поляционный многочлен Лагранжа, о котором пойдет речь в следующем
параграфе.
Задачи и упражнения к § 3.2
1. Многочлен x
3
∈Z
8
[x] имеет в Z
8
четыре корня и четыре разныx
разложения на неприводимые (т. е. неразложимые далее) множители
в Z
8
[x].
2. Если f(x) и g(x) ∈ F[x], где F
––
поле, и степень f(x) не меньше сте
-
пени g(x), то f(x) однозначно представим в виде f = f
0
+ f
1
g + . .. + f
d
g
d
,
где степени f
i
меньше степени g.