Таблица 1.
Коэффициенты f (x)
| an | an-1 | an-2 | … | a0 | |
| c | bn-1 | bn-2 = cbn-1+ an-1 | bn-3 = cbn-2+an-2 | … | r = cb0 + a0 |
Коэффициенты s (x) остаток
В первую строку этой таблицы записывают подряд все коэффициенты многочлена f (x), оставляя первую клетку свободной. Во второй строке в первой клетке записывают число c.
Остальные клетки этой строки заполняют, вычисляя один за другим коэффициенты неполного частного s (x) и остаток r. Во второй клетке записывают коэффициент bn-1, который, как мы установили, равен an.
Коэффициент, стоящие в каждой последующей клетке, вычисляются по такому правилу: число cумножается на число, стоящее в предыдущей клетке, и к результату прибавляется число, стоящее над заполняемой клеткой. Чтобы запомнить, скажем, пятую клетку, т.е. найти стоящий в ней коэффициент, нужно cумножить на число, находящееся в четвертой клетке, и к результату прибавить число, стоящее над пятой клеткой.
Разделим, например, многочленf (x) =3x4-5x2+3x-1 на х-2 с остатком, используя схему Горнера.
При заполнении первой строки этой схемы нельзя забывать о нулевых коэффициентах многочлена.
Так, коэффициенты f (x) - это числа 3, 0, - 5, 3, - 1. И еще следует помнить, что степень не полного частного на единицу меньше степени многочлена f (x).
Итак, выполняем деление по схеме Горнера:
Таблица 2.
| 3 | 0 | -5 | 3 | -1 | |
| 2 | 3 | 6 | 7 | 17 | 33 |
Получим неполное частное s (x) =3x3+6x2+7x+17 и остаток r=33. заметим, что одновременно мы вычислили значение многочлена f (2) =33.
Разделим теперь тот же многочлен f (x) на х+2 с остатком. В этом случае с=-2. получим:
Таблица 3.
| 3 | 0 | -5 | 3 | -1 | |
| -2 | 3 | -6 | 7 | -11 | 21 |
В результате имеем f (x) = (x+2) (3x3-6x2+7x-11) +21.
Ранее мы установили что если с - корень многочленаf (x) делится на х-с. Сейчас обобщим это утверждение.
Пусть с1, с2, …, сm- различные корни многочлена f (x). Тогда f (x) делится на х-с1, т.е. f (x) = (x-c1) s1 (x). Положим в этом равенстве х=с2. Получим f (c2) = (c2-c1) s1 (c2) и, так f (c2) =0, то (с2-с1) s1 (c2) =0. Но с2≠с1, т.е. с2-с1≠0, а значит, s1 (c2) =0. Таким образом, с2 - корень многочлена s1 (x). Отсюда следует, что s1 (x) делится на х-с2, т.е. s1 (x) = (x-c2) s2 (x). Подставим полученное выражение для s1 (x) в равенство f (x) = (x-c1) s1 (x). Имеем f (x) = (x-c1) (x-c2) s2 (x). Положив в последнем равенстве х=с3 с учетом того, что f (c3) =0, с3≠с1, с3≠с2, получим, что с3 - корень многочлена s2 (x). Значит, s2 (x) = (x-c3) s3 (x), а тогда f (x) = (x-c1) (x-c2) (x-c3) s3 (x) и т.д. Продолжив эти рассужденья для оставшихся корней с4, с5, …, сm, мы, наконец, получим f (x) = (x-c1) (x-c2) … (х-сm) sm (x), т.е. доказано формулируемое ниже утверждение.
Если с1, с2, …, сm- различные корни многочлена f (x), то f (x) можно представить в виде f (x) = (x-c1) (x-c2)... (x-cm) sm (x).
Отсюда вытекает важное следствие.
Если с1, с2,…, сm- различные корни многочлена f (x), то f (x) делится на многочлен (х-с1) (х-с2) … (х-сm).
Как мы уже отмечали, одной из важных задач в теории многочленов является задача отыскания корней многочлена. В связи с этим существенным представляется вопрос о их числе. В самом деле, если дан какой-то многочлен и уже найдено, скажем, 10 его корней, то нужно знать, следует ли продолжать поиски. А вдруг этот многочлен больше не имеет корней? В таких случаях нам будет полезна приводимая ниже теорема.
Число различных корней ненулевого многочлена f (x) не больше, чем его степень.
Действительно, если f (x) корней не имеет, то ясно, что теорема верна, ибо ст. f (x) ≥0.
Пусть теперь f (x) имеет m корней с1, с2, …, сm, причем все они различны. Тогда, по только что доказанному f (x) делится на (х-с1) (х-с2) … (х-сm). В таком случае ст. f (x) ≥ ст. ( (х-с1) (х-с2) … (х-сm)) =ст. (х-с1) + ст. (х-с2) +…+ст. (х-сm) =m, т.е. ст. f (x) ≥m, а m- это число корней рассматриваемого многочлена.
А вот у нулевого многочлена бесконечно много корней, ведь его значение для любого х равно 0. В частности, по этой причине ему и не предписывают никакой определенной степени.
Из только что доказанной теоремы следует такое утверждение.
Если многочлен f (x) не является многочленом степени, большей, чем n, и имеет более, чем n корней, то f (x) - нулевой многочлен.
В самом деле, из условий этого утверждения следует, что-либо f (x) - нулевой многочлен, либо ст. f (x) ≤n. Если предположить, что многочлен f (x) не нулевой, то ст. f (x) ≤n, и тогда f (x) имеет не более, чем n корней. Приходим к противоречию. Значит, f (x) - ненулевой многочлен.
Пусть f (x) и g (x) - ненулевые многочлены степени, не большей, чем n. Если эти многочлены принимают одинаковые значения при n+1 значении переменной х, то f (x) =g (x).
Для доказательства рассмотрим многочлен h (x) =f (x) - g (x). Ясно, что - либо h (x) =0, либо ст. h (x) ≤n, т.е. h (x) не является многочленом степени, большей, чем n. Пусть теперь число с такое, что f (c) =g (c). Тогда h (c) = f (c) - g (c) =0, т.е. с - корень многочлена h (x). Следовательно, многочлен h (x) имеет n+1 корень, а когда, как только что доказано, h (x) =0, т.е. f (x) =g (x).
Если же f (x) и g (x) принимают одинаковые значения при всех значениях переменной х, то эти многочлены тем более равны.
Эта теорема весьма эффективно используется при доказательстве некоторых числовых тождеств. Докажем, например, что для любых попарно различных чисел а, b, с и любого числа х.
( ( (x-b) (x-c)) / ( (a-b) (a-c))) + ( ( (x-a) (x-c)) ( (b-a) (b-c))) + ( ( (x-a) (x-b)) ( (c-a) (c-b))) =1
Конечно, можно преобразовав левую часть указанного равенства, убедиться, что в результате получится 1. Но такой метод доказательства связан с громоздкими преобразованиями. Попытаемся обойтись без них.
Будем рассматривать х как переменную. Тогда, как нетрудно заметить, в левой части тождества находится многочлен, который мы обозначим f (x). Переменная х входит в этот многочлен самое большое в степени 2, т.е. ст. f (x) ≤2. в правой части того же тождества - так же многочлен: g (x) =1.
Найдем теперь значение многочленов f (x) и g (x) при х=a, b, c. Ясно, что g (a) =g (b) =g (c) =1. Далее,
f (a) = ( ( (a-b) (a-c)) / ( (a-b) (a-c))) + ( ( (a-a) (a-c)) ( (b-a) (b-c))) + ( ( (a-a) (a-b)) ( (c-a) (c-b))) =1.
Аналогично f (b) =f (c) =1. Следовательно, f (a) =g (a), f (b) =g (b), f (c) =g (c). Видим, что многочлены f (x) и g (x), не являющиеся многочленами степени выше, чем 2, принимают одинаковые значения при трех различных значениях переменной. Значит, f (x) =g (x).
Если число с является корнем многочлена f (x), этот многочлен, как известно, делится на х-с. Может случиться, что f (x) делится и на какую-то степень многочлена х-с, т.е. на (х-с) k, k>1. В этом случае с называют кратным корнем. Сформулируем определение более четко.
Число с называется корнем кратности k (k-кратным корнем) многочлена f (x), если многочлен делится на (х-с) k, k>1 (k- натуральное число), но не делится на (х-с) k+1. Если k=1, то с называют простым корнем, а если k>1, - кратным корнем многочлена f (x).
В дальнейшем при определении кратности корней нам будет полезно следующее предложение.
Если многочлен f (x) представим в виде f (x) = (x-c) mg (x), m- натуральное число, то он делится на (х-с) m+1 тогда и только тогда, когда g (x) делится на х-с.
В самом деле, если g (x) делится на х-с, т.е. g (x) = (x-c) s (x), то f (x) = (x-c) m+1s (x), а значит, f (x) делится на (х-с) m+1.
Обратно, если f (x) делится на (х-с) m+1, то f (x) = (x-c) m+1s (x). Тогда (x-c) mg (x) = (x-c) m+1s (x) и после сокращения на (х-с) m получим g (x) = (x-c) s (x). Отсюда следует, что g (x) делится на х-с.