Заключение теоремы становится неверным, если |
P - |
кольцо, а не поле. Например, в кольце многочленов |
[x] |
с целыми коэффициентами многочлен a(x) x2 1 нельзя разделить с остатком на b(x) 3x , так как коэффициенты
частного и остатка не являются целыми числами.
При доказательстве этой теоремы предлагается практический способ нахождения неполного частного и остатка. Этот способ совпадает с известным из средней школы делением многочлена на многочлен "уголком".
Особо выделяется случай деления многочлена f (x) на
двучлен вида ( x c ). В этом случае можно использовать схему Горнера, которая позволяет найти неполное частное и остаток, не производя деление многочленов "уголком". Пусть требуется разделить с остатком многочлен
f (x) an xn an 1xn 1 ... a1x a0
на двучлен (x c) . Тогда в силу теоремы о делении с остат-
ком |
|
|
получим |
f (x) (x c)q(x) r , |
где |
|||||||
q(x) b |
xn 1 b |
|
xn 2 |
... b x b |
- частное и r |
- остаток |
||||||
|
|
n 1 |
|
n 2 |
|
1 |
0 |
|
|
|
|
|
от деления. Коэффициенты bi частного и остаток r |
находят |
|||||||||||
из таблицы: |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
an |
|
an 1 |
|
an 2 |
|
... |
a1 |
a0 |
||
c |
|
bn 1 |
bn 2 |
|
|
bn 3 |
|
|
... |
b0 |
r |
|
|
a |
|
cb |
a |
cb |
a |
|
cb a |
cb0 a0 |
|||
|
|
n |
|
n 1 |
|
n 1 |
n 2 |
n 2 |
|
|
1 1 |
|
Здесь первая строка – это все коэффициенты многочлена f (по убывающим степеням), и каждый коэффициент bk вычисляется путем умножения предыдущего коэффициента bk 1 на c и добавления числа ak 1 , стоящего над ним. Оста-
ток вычисляется по тому же правилу.
Из теоремы о делении с остатком вытекает следующий
факт.
4
Теорема (Безу). Остаток от деления многочлена f (x) K[x] на двучлен x c K[x] равен f (c) .
В силу этой теоремы f (c) r , поэтому схема Горнера может быть использована для быстрого вычисления значения многочлена в точке c , и для отыскания корней многочлена.
Вопросы для самоконтроля
1)Что называется многочленом над кольцом?
2)Что такое степень многочлена?
3)Какой многочлен называется унитарным?
4)Как определяется сумма и произведение двух многочленов?
5) |
Что можно сказать о степенях многочленов a(x) b(x) |
и |
|
a(x) b(x) ? |
|
6) Может ли кольцо многочленов быть полем? Докажите. |
|
|
7) |
Что значит «разделить с остатком многочлен a(x) |
на |
|
b(x) »? Какому условию должен удовлетворять остаток? |
|
8) Сформулируйте теорему о делении с остатком.
9) Как выполнить деление с остатком многочлена на двучлен при помощи схемы Горнера?
10) Сформулируйте теорему Безу.
Примеры решения задач
Задача 1. Выполнить деление с остатком многочлена
f (x) 2x4 |
x3 x2 x 3 на многочлен g(x) x3 2x2 1 в |
|||||
кольцах |
[x] и 7[x] . |
|
|
|
||
Решение. Воспользуемся схемой деления многочленов |
||||||
"уголком". Имеем: |
|
|
|
|||
|
|
2x4 x3 x2 x 3 |
|
x3 2x2 1 |
||
|
|
|||||
|
2x4 4x3 2x |
|
|
2x 3 |
|
|
|
|
|
||||
3x3 x2 x 33x3 6x2 3
7x2 x 6
5
Итак, в кольце [x] частное q(x) 2x 3 , остаток
r(x) 7x2 x 6 . Для получения результата в кольце |
7 |
[x] |
|
|
преобразуем коэффициенты полученного частного и остатка.
По модулю 7 имеем: |
3 4 , |
7 0 , 6 1. Окончательно в |
|
кольце |
7[x] получаем: q(x) 2x 4 , r(x) x 1. |
||
Задача 2. Пользуясь схемой Горнера, разделить с |
|||
остатком |
многочлен |
f (x) 2x5 3x3 6x2 7x 6 на дву- |
|
член (x 3) в кольцах |
[x] и |
7[x] . |
|
Решение. Применим схему Горнера. Все коэффициенты многочлена f (x) , в том числе и нулевые, запишем в верхней строке таблицы, а в нижней строке получим коэффициенты частного q(x) и остаток r .
Старший коэффициент an 2 сразу запишем во вторую строку. Каждый следующий коэффициент частного будем вычислять по формуле bk cbk 1 ak 1 , где c 3 ; при этом в последней клетке таблицы получим остаток. Имеем:
|
2 |
|
0 |
3 |
6 |
|
7 |
|
|
6 |
|
3 |
2 |
3 2 0 6 |
3 6 3 15 |
3 15 6 39 |
|
3 39 7 110 |
3 110 6 336 |
||||
Таким образом, в кольце многочленов |
[x] верно |
|
|
||||||||
|
|
q(x) 2x4 6x3 15x2 39x 110 , |
r 336 . |
|
|
||||||
В кольце многочленов |
7[x] преобразуем коэффициенты |
||||||||||
частного и остаток (по модулю 7): 15 1, |
39 4 , |
110 5 , |
|||||||||
336 0 ; |
тогда q(x) 2x4 |
6x3 x2 4x 5, |
r 0 . |
|
|
||||||
|
Отсюда видно, что x 3 не является корнем многочле- |
||||||||||
на f (x) |
[x] , но является корнем в случае |
f (x) |
7[x]. |
||||||||
Задачи и упражнения для самостоятельного решения |
|||||||||||
1) Выполните деление с остатком в кольце |
[x] : |
|
|
||||||||
|
|
|
|
|
|
||||||
|
а) 2x4 3x3 4x2 5x 6 на x2 3x 1; |
|
|
|
|
||||||
6
б) x3 3x2 x 1 на 3x2 2x 1 .
2) В кольце 5[x] выполните деление с остатком
2x4 3x3 x 4 на x2 2 .
3) Пользуясь схемой Горнера, разделите в кольце K[x] мно-
гочлен |
f (x) на двучлен (x c) : |
|
|
|||
а) K |
, |
|
|
f (x) x4 3x3 x 1 , |
c 2 ; |
|
б) K |
, |
|
|
f (x) 9x3 8x2 10x , |
c 3 ; |
|
в) K |
7 |
, |
f (x) 3x3 6x2 2 , |
c 2 ; |
|
|
|
|
|
|
|
|
|
г) K |
11 |
, |
f (x) 7x4 9x3 8x2 10x 6 , |
c 3 . |
||
|
|
|
|
|
||
4) Пользуясь схемой Горнера, найдите значение многочлена f (x) в точке c : а) f (x) x4 5x3 3x 6 [x] , с 2 ;
б) f (x) x4 3x3 3x 2 |
7 |
[x] , с 4 . |
|
|
5) Пользуясь схемой Горнера, найдите кратность корня x0 многочлена f (x) :
а) f (x) x5 5x4 7x3 2x2 4x 8 [x] , |
x 2 ; |
|
0 |
б) f (x) x5 2x3 x2 2 |
3 |
[x] , x 2 . |
|
0 |
6) Пользуясь схемой Горнера, составьте таблицу всех значений многочлена f (x) p[x] :
а) f (x) x4 2x3 x2 2 , |
p 5 ; |
|||
б) f (x) 3x5 x3 2x 1, |
p 7 . |
|||
7) Найдите все |
корни и |
их кратности для многочлена |
||
f (x) |
5 |
[x] : |
f (x) x7 3x6 x5 x3 4x2 4x 2 . |
|
|
|
|
|
|
8) Найдите сумму коэффициентов многочлена f (x) (3x5 4x3 2x2 x 1)20
7
2. НАИБОЛЬШИЙ ОБЩИЙ ДЕЛИТЕЛЬ МНОГОЧЛЕНОВ. АЛГОРИТМ ЕВКЛИДА
Основные теоретические сведения
Пусть f1(x), f2 (x),..., fn (x) - многочлены над полем P .
Определение. Наибольшим общим делителем много-
членов f1(x), f2 (x),..., fn (x) называется любой многочлен d (x) P[x] , который удовлетворяет двум условиям:
1) d (x) является общим делителем многочленов f1(x) ,
f2 (x) , ... , fn (x) ;
2)d (x) делится на любой другой общий делитель этих
многочленов.
Обозначение: НОД f1(x), f2 (x),..., fn (x) d (x) .
НОД двух многочленов находят с помощью алгоритма Евклида. Алгоритм Евклида для нахождения НОД многочленов a(x) и b(x) при b(x) 0 состоит в следующем.
Выполним цепочку последовательных делений. Сначала делим с остатком a(x) на b(x) . Затем b(x) делим на оста-
ток r1(x) , потом r1(x) делим на r2 (x) , и так далее, пока не получим остаток, равный нулю. Этот процесс можно записать следующим образом:
a : b |
a(x) b(x)q1(x) r1(x) , |
|
deg r1 deg b ; |
|||
b : r1 |
b(x) r1(x)q2 (x) r2 (x) , |
|
deg r2 deg r1 ; |
|||
r1 : r2 |
r1(x) r2 (x)q3(x) r3(x) , |
|
deg r3 deg r2 ; |
|||
… … |
… |
… |
… |
… |
… |
|
rk 2 : rk 1 |
rk 2 (x) rk 1(x)qk (x) rk (x) , |
deg rk deg rk 1 ; |
||||
rk 1 : rk |
rk 1(x) rk (x)qk 1(x) . |
|
|
|
||
Тогда НОД(a(x),b(x))=rk (x) . Таким образом, последний ненулевой остаток rk (x) в алгоритме Евклида является наибольшим общим делителем многочленов a(x) и b(x) .
8