корни. В силу следствия из теоремы о рациональных корнях многочлена такие корни содержатся среди делителей свободного члена. В нашем случае делителями свободного члена a0 18 являются следующие числа: 1, 2 , 3 , 6 , 9 , 18 .
Заметим, что все коэффициенты многочлена f (x) положительны, поэтому он может иметь только отрицательные корни. Итак, возможные корни f (x) - это числа 1, 2 , 3 , 6 ,9 , 18 . Проверим каждое из этих чисел по схеме Горнера:
|
1 |
3 |
4 |
18 |
18 |
-1 |
1 |
2 |
2 |
16 |
2 0 |
-2 |
1 |
1 |
2 |
14 |
-10 0 |
-3 |
1 |
0 |
4 |
6 |
0 |
Число 3 является корнем многочлена f (x) . Остальные
корни f (x) являются корнями многочлена q(x) x3 4x 6 . Применив к q(x) признак Эйзенштейна при p 2 , получим, что q(x) - неприводим. Поэтому q(x) рациональных корней
иметь не может. Итак, многочлен f (x) |
имеет единствееый |
|
рациональный корень 3 , и разложение |
f (x) на неприво- |
|
димые множители имеет вид: |
f (x) (x 3)(x3 4x 6) . |
|
Задача 4. Найдите все рациональные корни многочле- |
||
на f (x) 6x5 7x4 5x3 5x2 |
x 2 и разложите его на не- |
|
приводимые над полем множители. |
|
|
Решение. Старший коэффициент данного многочлена отличен от единицы. Поэтому многочлен может иметь как целые, так и дробные корни. Для их отыскания воспользуемся теоремой о рациональных корнях многочлена. Корни дан-
ного многочлена f (x) будем искать в виде mq , где m - дели-
тели свободного члена a0 2 и q - делители старшего ко-
24
эффициента an 6 , причем можно рассматривать только положительные значения q :
m d ( 2) { 1, 2}; q d (2) {1, 2, 3, 6} .
Затем составим всевозможные дроби вида m
q . Далее каждое
из этих чисел надо проверить по схеме Горнера. Для отсеивания чисел, которые не могут быть корнями, используем тот
факт, что если дробь m является корнем многочлена f (x) , q
то - целое число. Проверим это условие, учитывая, что f (1) 20 . Результаты запишем в таблицу: вверху – строка возможных числителей дробей mq , слева – столбец возмож-
ных знаменателей; знак + |
означает, |
что условие |
|
f (1) |
|
||||||||||||||
|
m q |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
выполняется. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q\m |
|
1 |
|
|
-1 |
|
|
2 |
|
-2 |
|
|
|
|
|||
|
|
1 |
|
– |
+ |
|
|
+ |
|
|
– |
|
|
|
|
||||
|
|
2 |
|
+ |
|
|
– |
|
|
– |
|
+ |
|
|
|
|
|||
|
|
3 |
|
+ |
|
|
+ |
|
|
+ |
|
+ |
|
|
|
|
|||
|
|
6 |
|
+ |
|
|
– |
|
+ |
|
|
– |
|
|
|
|
|||
Таким образом, рациональные корни многочлена |
f (x) нахо- |
||||||||||||||||||
дятся среди чисел -1, 2, |
1 |
|
, |
1 |
, |
2 |
, |
1 |
. Проверим каждое |
||||||||||
|
|
|
|
2 |
|
3 |
3 |
6 |
|
|
|
|
|
||||||
из этих чисел по схеме Горнера. Начинаем с числа -1: |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
6 |
|
7 |
|
|
5 |
|
|
5 |
|
-1 |
-2 |
|
|
|
|||
|
-1 |
6 |
|
1 |
|
|
4 |
|
|
1 |
|
-2 |
0 |
|
|
|
|||
Так как остаток от деления |
f (x) |
|
на ( x 1) оказался равным |
||||||||||||||||
нулю, то 1 |
корень |
|
f (x) , |
т.е. |
f (x) (x 1)q(x) , |
где |
|||||||||||||
25
q(x) 6x4 x3 4x2 x 2 . Проверим, не является ли 1 двукратным корнем, для чего полученное от деления частное q(x) снова разделим на ( x 1):
|
6 |
1 |
4 |
1 |
-2 |
-1 |
6 |
-5 |
9 |
-8 |
6 0 |
Здесь остаток равен 6 0 ; следовательно, число 1 является
простым корнем |
f (x) . |
Теперь проверим число 2. Здесь |
||||||||
можно на ( x 2 ) делить не |
f (x) , а q(x) : |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
1 |
|
4 |
1 |
-2 |
|
|
2 |
|
6 |
|
13 |
|
30 |
61 |
120 0 |
|
Из таблицы видно, что q(2) 120 0 . Следовательно, число 2
не является корнем q(x) , а значит, и |
f (x) . Проверим следу- |
|||||||
ющее число 1 2 . |
Вновь используем коэффициенты частного |
|||||||
q(x) : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6 |
1 |
4 |
|
1 |
-2 |
|
|
1 2 |
6 |
4 |
6 |
|
4 |
0 |
|
|
|
|
|
|
|
|
|
|
Здесь остаток равен нулю. Поэтому число 1
2 является корнем q(x) , а значит, и f (x) . Запишем соответствующее разложение на множители для f (x) :
f (x) (x 1)(x |
1 |
)(6x3 |
4x2 |
6x 4) . |
|
2 |
|||||
|
|
|
|
||
Заметим, что многочлен |
6x3 4x2 6x 4 может иметь |
||||
только отрицательные корни. Поэтому осталось проверить лишь числа 13 и 23 . Запишем схему Горнера для коэффи-
циентов многочлена 6x3 4x2 6x 4 . Для числа 2
3 имеем:
|
6 |
4 |
6 |
4 |
2 3 |
6 |
0 |
6 |
0 |
|
|
|
|
|
26
Из таблицы видно, что 2
3 является корнем. Следовательно, разложение на множители для данного многочлена f (x)
имеет вид: f (x) (x 1)(x |
1 |
)(x |
2 |
)(6x2 6) . Причем мно- |
||||||||
|
|
|||||||||||
|
2 |
|
3 |
|
|
|
|
|||||
гочлен 6x2 6 6(x2 |
1) рациональных корней не имеет. |
|||||||||||
Окончательно |
получаем, |
что |
исходный |
многочлен |
||||||||
f (x) имеет три рациональных корня: 1, |
1 2 , |
2 3 ; и его |
||||||||||
разложение на неприводимые над полем |
множители име- |
|||||||||||
ет вид: f (x) 6(x 1)(x |
1 |
)(x |
2 |
)(x2 |
1) . |
|
|
|||||
|
|
|
|
|||||||||
|
2 |
|
|
|
3 |
|
|
|
|
|
|
|
Задачи и упражнения для самостоятельного решения
1) Пользуясь признаком Эйзенштейна, докажите неприводимость над полем следующих многочленов:
а) 2x5 15x3 21x 24 ; б) 3x6 20x4 30x2 20x 20 ;
в) 4x7 21x5 28x4 14x2 35 ; г) 2x8 14x3 35x2 56x 63 . 2) Найдите все рациональные корни данных многочленов:
а) x3 11x2 38x 40 ; |
б) 3x4 |
1 |
x3 |
x2 |
2x |
1 |
; |
|
2 |
2 |
|||||||
|
|
|
|
|
|
|||
в) 3x4 2x3 4x2 x 2 ; |
г) 8x5 14x4 77x3 128x2 45x 18 . |
|||||||
3) Выясните, какие из данных многочленов 2-й и 3-й степени приводимы над полем рациональных чисел. В случае
приводимости разложите их на множители, неприводи- |
||||
мые над : а) 3x2 2x 1; б) 2x2 3x 4 ; в) x2 x |
1 |
; |
||
|
||||
|
|
4 |
|
|
г) 3x3 4x2 4x 4 ; д) 3x3 5x2 5x 2 ; е) 2x3 3x2 6x 24 ; |
||||
ж) 2x3 12x2 17x 2 ; |
з) x3 x2 x 1. |
|||
4) Разложите многочлены на неприводимые над полем |
||||
|
|
|||
множители: а) x4 4x3 2x2 |
12x 9 ; |
|||
б) x5 x4 6x3 14x2 11x 3; |
в) 6x4 19x3 7x2 26x 12 ; |
|||
27
г) 24x5 10x4 x3 19x2 5x 6 .
Ответы: 2) а) |
2; 4; 5 ; |
б) 1 2; 1 3 ; в) нет рациональных корней; |
г) 2; 3; 3; 1 4; 1 2 . |
|
3) а) приводим, |
3(x 1)(x 1 3) ; б) неприводим, т.к. D 0 ; в) приводим, (x 1 2)2 ; |
|||
г) неприводим, т.к. нет |
рациональных корней; д) приводим, 3(x 2 3)(x2 x 1) ; |
|||
е) неприводим по признаку Эйзенштейна при |
p 3 ; ж) неприводим, т.к. нет рациональ- |
|||
ных корней; з) приводим, |
(x 1)(x 1)2 . 4) а) |
(x 1)2 (x 3)2 ; б) |
(x 1)4 (x 3) ; |
|
в) (x 3)(x 1 2)(6x2 |
4x 8) ; г) 24(x 1 2)(x 2 3)(x 3 4)(x2 |
x 1) |
||
6. ИНТЕРПОЛЯЦИОННЫЙ МНОГОЧЛЕН ЛАГРАНЖА
Основные теоретические сведения
Пусть известно значение многочлена в нескольких точках. Как восстановить в явном виде сам многочлен? Это задача «интерполяции».
Рассмотрим следующую задачу: по данной таблице x b1 b2 ... bn 1
f (x) c1 c2 ... cn 1
найти многочлен f (x) , принимающий в данных точках bi заданные значения ci , т.е. f (bi ) ci , i 1, n 1 , и имеющий
степень n . |
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема. |
Существует единственный многочлен f (x) |
||||||||||||
степени n такой, что |
f (bi ) ci , |
|
|
|
|
||||||||
i 1, n 1 . Этот много- |
|||||||||||||
член определяется формулой |
|
|
|
|
|
|
|
|
|||||
n 1 |
|
(x b1)...(x |
bi 1)(x bi 1)...(x bn 1) |
|
|
||||||||
f (x) ci |
|
. |
|||||||||||
(b |
b )...(b |
b |
)(b b |
)...(b b |
) |
||||||||
i 1 |
|
|
|||||||||||
|
i |
1 |
i |
i 1 |
|
i i 1 |
|
i n 1 |
|
|
|||
В правой части этой формулы имеется n 1 слагаемое, каждое из которых представляяет собой многочлен n -й степени, поскольку содержит n линейных множителей.
28