Доказательство. Пусть - корень многочлена f(x)=anxn + an-1xn-1 ++ a1x + a0, где все аi Î Z

Пусть - корень многочлена f(x)=anxn + an-1xn-1 +...+ a1x + a0, где все аi Î Z. Подставим , где (p, q) = l, q ¹ 1 в многочлен, получим:

(1)

Умножим обе части равенства (1) на qn, тогда:

anpn + an-1qpn-1 +...+ a1 pqn-1 + a0qn = 0 (2)

Из равенства (2) сначала можно выразить

anpn = (-an-1pn-1 -...- a1pqn-2 - a0qn-1)q => (аn /q), а потом

-a0qn = p(anpn-1 + an-1pn-2q+... …+ а1qn-l) => (а0 /p) т.к. (p, q) = 1

Замечание 1. Так как "a Î Z, a ¹ 0 имеет лишь конечное число делителей, то теорема позволяет, путем конечного числа шагов, найти все рациональные числа многочлена или проверить что их нет.

Следствие 1. Нормированный многочлен f (x) Î Z[x] не имеет дробных корней;

Следствие 2. Целый корень многочлена f(x)ÎZ[x] является делителем свободного члена.

Задача 1. Разложить многочлен

f(x) = x6 - 2х5 + х4 + 6х3 - 10х2 - 4х + 8

над полями Q, R и С.

Решение.

На основании теоремы (1), рациональные корни данного многочлена следует искать среди делителей числа 8, т.к. аn = 1

Делители: + 1, ±2, ±4, ±8.

Известно, что число (a) является корнем многочлена f(x) тогда и только тогда, когда f(x) делится на (х - a) (Смотри п. 4). Следовательно, для проверки, какие из чисел ±1, ±2, ±4, ±8 являются рациональными корнями, можно использовать схему Горнера, а можно непосредственно проверить, будет ли f(±1) = 0, f(±2) = 0,

f(±4) = 0, f(±8) = 0.

    -2     -10 -4  
    -1     -4 -8  
            -6  
-1   -2     -8    
-1   -3   -1 -7 ¹ 0  
          8 ¹ 0  
-2   -4   -16 24 ¹ 0  
          166 ¹ 0  
-4   -6   ¹ 0  
        ¹ 0  
-8   -10   -¹ 0  

Итак, f(x) = (x - l)(x + l)(x4 - 2x3 + 2x2 + 4x - 8) над полем Q.

Чтобы найти разложение над полями R и С, нужно найти действительные и комплексные корни этого многочлена, для этого надо решить уравнение четвертой степени х4 - 2х3 + 2х2 + 4х - 8 = 0.

Для решения уравнений 4-ой степени разработан частный метод Феррари.

1-й шаг. Оставляем в левой части равенства члены 4-ой и 3-ей степени, остальные переносим в правую часть, получим:

х4 - 2х3 = -2х2 - 4х + 8

2-й шаг. Дополняем левую часть равенства до полного квадрата: х4 - 2х3 + х2 = х2 - 2х2 - 4х + 8

2 - х)2 = -х2 - 4х + 8

3-й шаг. Вводим новую переменную (у) и дополняем левую часть еще раз до полного квадрата, получим:

2 - х)2+2(х2- x)у + у2 = -х2 - 4х + 8 + 2(х2 - х)у + y2

[(x2-x)+y)]2 = (2y-1)x2+(-2y-4)x+(y2+8) *

4-й шаг. Потребуем, чтобы правая часть также стала полным квадратом, для этого D = В2 - 4АС = О

D=(-2y - 4)2 - 4(2y - l)(y2 + 8) = 0

у3 - у2 + 6у – 6 = 0

Это уравнение имеет рациональный корень у0 = 1.

5-й шаг. Подставим у0 в правую и левую части уравнения (*) вместо у. Получим: (х2-х+1)2 = х2-6х+9 = (х-3)2 Û

x3 = -Ö2, x4 = Ö2

Итак, многочлен f(x) над полем С может быть представлен в виде: f(х) = (х - 1)(х + 1)(х + Ö2)(х - Ö2)(x - 1- iÖ3)(x - 1 + iÖ3)

Для того, чтобы найти разложение многочлена над полем R, нужно перемножить две последние скобки, тогда:

f(х) = (х - 1)(х + 1)(х + Ö2)(x - Ö2)((х - 1)2 + 3).

Задача 2. Разложить многочлен f(x) = х4 - 2х3 - 6х2 - 4х - 1

Решение.

Так как многочлен 4-ой степени, то можно методом Феррари сразу искать его действительные и комплексные корни, а можно как и в первом случае, найти сначала рациональные корни (если они есть).

Так как аn = 1, то многочлен может иметь в качестве рациональных корней целые числа, которые являются делителями свободного члена а0 = 1, т.е. ±1. Непосредственной подстановкой убеждаемся, что (-1) является корнем, а (1) нет, т.к. f(-l) = 0, f(l) ¹ 0.

Тогда, f(x) = (х + 1)(х3 - 3х2 - 3х - 1) над полем Q.

Теперь найдем корни многочлена в поле С и R.

Для этого решим уравнение:

х3 - 3х2 - 3х - 1 = 0.

Это уравнение 3-ей степени, для таких уравнений также существует частный метод решения - метод Кардано.

1- й шаг. Приведем уравнение к виду, не содержащему второй степени неизвестного. Для этого введем подстановку где (а) коэффициент при х2 .

Тогда, (у + 1)3 - 3(у + 1)2 - 3(у + 1) – 1 = 0. Раскрыв скобки и приведя подобные, получим: у3 - 6у - 6 = 0.

2-й шаг. Полагаем, что у = a + b, где , р - коэффициент при у, q - свободный член.

В нашем случае р = -6, q = -6 Поэтому тогда .

Тогда, ,

Наконец, находим (х) из формулы х = у + 1

,

Тогда, f(x) = (x + l)(x – x1)(x - x2)(x - x3) - разложение многочлена над полем С.

Для нахождения разложения многочлена f(x) над полем действительных чисел R достаточно в полученном выше разложении перемножить скобки, соответствующие сопряженным комплексным корням.

Тогда: над полем R.

Замечание 2. Если дан многочлен f(х), степень которого выше четвертой, причем он не имеет рациональных корней, то задача разложения многочлена f(x) на неприводимые многочлены над полем С и R становится трудноразрешимой, т.к. общих методов решения уравнений n-ой степени, где n > 4 не существует.

Существуют различные методы приближенного вычисления действительных корней многочлена f(x) (метод хорд, метод касательных и т.п.)

Замечание 3. В том случае, когда нужно найти сумму корней многочлена f(x), могут быть использованы формулы Виета, которые устанавливают зависимость между корнями и коэффициентами многочлена.

Выведем эти формулы:

Пусть f(z) = zn + c1zn-1 + c2zn-2 +...+ cn-1z + cn и a1, a2,…, an корни этого многочлена в поле С, тогда zn + c1zn-1 + c2zn-2 +... + cn-1z + cn = (z - a1)(z - a2)...(z - an) = = zn – (a1 + a2 +…+ an)zn-1 + (a1a2 + a1a3 +…+ an-1an)zn-2 +…+ +(-1)n (a1a2 …an)

Приравняв коэффициенты при соответствующих степенях, получим формулы Виета:

с1 = -(a1 + a2 +…+ an)

с2 = (a1a2 + a1a3 +…+ an-1an)

c3 = -(a1a2a3+ a1a2a4 +…+ an-2an-1an)

сn = (-1)n (a1a2 …an)

Задача 3. Найти сумму кубов корней многочлена

f(x) = x4 + 2х3 + х2 + 5х + 3, f(x)ÎQ[x]

Решение.

Над полем комплексных чисел С многочлен f(x) имеет четыре корня: х1, х2, х3, х4. Нам нужно найти X13+ X23+ X33+ X43 не находя самих корней.

По формулам Виета

х1+x2+ х3+ х4 = -2 =s1

х1х2 + х1х3 + х1х4 + x2x3+ х2х4 + х3х4 = 1 = s2

х1х2х3 + x1x2x4 + х1х3х4 + х2х3х4 = -5 = s3

х1х2х3х4 = 3 = s4

Тогда X13+ X23+ X33+ X43 = s13 - 3s1s2 + 3s3 =

=(-2)3 - 3(-2)l + 3(-5) = -17

Ответ: -17.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: