g(x) (x (2 i))(x (2 i)) x2 4x 5 .
Кроме того, по условию 1 i - корень кратности 2; следовательно, число 1 i также является корнем кратности 2. Тогда
f (x) |
h(x) , где h(x) x (1 i) 2 x (1 i) 2 (x2 |
2x 2)2 . |
|||
|
По условию число 3 также является корнем |
f (x) , зна- |
|||
чит |
f (x) |
(x 3) . Таким образом, искомый многочлен |
f (x) |
||
имеет вид |
f (x) (x 3)(x2 4x 5)(x2 2x 2)2 . |
|
|
||
|
Задача 2. Зная, что многочлен f (x) x4 |
3x3 2x2 |
x 5 |
||
имеет корень 2 i , найти его остальные корни. |
|
|
|||
|
Решение. Так как f (x) - многочлен с действительными |
||||
коэффициентами, то вместе с корнем 2 i |
он обязан иметь |
||||
корень 2 i . Следовательно, многочлен |
f (x) делится на |
||||
многочлен (x 2 i)(x 2 i) x2 4x 5 . Разделив f (x) на
этот многочлен, получим |
f (x) (x2 4x 5)(x2 x 1) . От- |
||||||||||||||
сюда видно, что остальные корни |
f (x) являются корнями |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
уравнения |
x2 x 1 0 , |
т.е. равны |
числам |
1 |
|
i |
3 |
. |
Итак, |
||||||
|
|
|
|
|
|
||||||||||
|
|
|
|
2 |
|
2 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
многочлен |
f (x) имеет 4 корня: 2 i , 2 i , |
1 |
|
i |
3 |
. |
|
||||||||
|
|
|
|
|
|
||||||||||
|
|
|
|
2 |
|
|
|
2 |
|
|
|
||||
Задачи и упражнения для самостоятельного решения |
|||||||||||||||
1) Разложите на неприводимые множители в кольце |
[x] |
||||||||||||||
многочлен x4 4 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) Известно, что многочлен x4 3x3 |
2x2 x 5 имеет ком- |
||||||||||||||
плексный корень x0 2 i . Какое число обязано быть
корнем этого многочлена? Разложите многочлен на неприводимые множители над полем действительных чисел.
3)Постройте многочлен наименьшей степени с действительными коэффициентами, имеющий данные корни:
19
а) корень 1 кратности 2 и простой корень 2 i ;
б) корень 1 i |
кратности 2 и простой корень 3 ; |
||
в) корень 2 i |
кратности 2 и простой корень 1 i . |
||
4) Выясните, над каким из полей , |
или |
приводимы |
|
следующие многочлены: а) x2 10x 21; |
б) x2 2x 1; |
||
в) 2x2 3x 5 ; |
г) 3x2 x 3. |
|
|
5. НЕПРИВОДИМЫЕ МНОГОЧЛЕНЫ НАД ПОЛЕМ РАЦИОНАЛЬНЫХ ЧИСЕЛ
Основные теоретические сведения
Как следует из предыдущих пунктов, в кольцах [x] и [x] удается явно описать все неприводимые многочлены. В
кольце [x] полного описания неприводимых многочленов
не существует, и можно дать лишь некоторые достаточные условия неприводимости.
Отметим следующее. Изучение свойств многочленов с рациональными коэффициентами удается свести к изучению многочленов с целыми коэффициентами. А именно, если f (x) [x] , то умножив f (x) на наименьшее общее крат-
ное знаменателей его коэффициентов, получим многочлен с целыми коэффициентами, имеющий те же корни, что и f (x) . Поэтому достаточно научиться находить рациональ-
ные корни многочленов с целыми коэффициентами.
Теорема (о рациональных корнях многочлена). Если
несократимая |
дробь m q |
является корнем |
многочлена |
||
f (x) a xn a |
xn 1 ... a x a |
с целыми |
коэффициен- |
||
n |
n 1 |
1 |
0 |
|
|
тами, то число m является делителем свободного члена a0 ; число q является делителем старшего коэффициента an .
Причем f (k) (m kq) для |
любого |
k ; в частности |
|
|
|
|
|
f (1) (m q) , |
f ( 1) (m q) . |
|
|
|
|
|
|
20
Следствие. Если целое число m является корнем многочлена с целыми коэффициентами, то m является делителем свободного члена.
Сформулированная теорема дает способ нахождения всех рациональных корней многочлена с целыми коэффициентами:
1)сначала надо найти все делители m свободного члена a0 ;
2)затем найти все делители q старшего коэффициента an ;
3)составить всевозможные дроби вида m
q . Тогда все раци-
ональные корни многочлена будут находиться среди таких дробей.
4) вычислить значения |
f (m q) |
для каждой дроби. В случае |
||||
f (m q) 0 получаем корень многочлена x m q . Вычис- |
||||||
ление |
f (m q) |
можно выполнять по схеме Горнера. |
||||
Приведем достаточное условие неприводимости мно- |
||||||
гочленов над полем . |
|
|
|
|
||
Теорема (признак неприводимости Эйзенштейна). |
||||||
Пусть |
f (x) a xn a |
|
xn 1 ... a |
- многочлен с целыми |
||
|
n |
n 1 |
|
0 |
||
коэффициентами. Если существует такое простое число р, что: 1) старший коэффициент an не делится на р;
2)все остальные коэффициенты ai делятся на p ;
3)свободный член a0 не делится на p2 ;
тогда f (x) неприводим над полем рациональных чисел. Следствие. Над полем существуют неприводимые
многочлены любой натуральной степени.
Важное значение этой теоремы состоит не только в том, что она позволяет легко доказывать неприводимость некоторых многочленов, но и в том, что она дает возможность строить такие многочлены. Например, для любого
простого числа p многочлен xn p неприводим над .
21
Вопросы для самоконтроля
1) |
Какие многочлены неприводимы над полем |
рацио- |
|
нальных чисел? |
|
2) |
В каком случае многочлен может быть разложен на ли- |
|
|
нейные множители над полем ? |
|
3)Как находятся рациональные корни многочлена с целыми коэффициентами?
4)Как найти целые корни многочлена?
5)Приведите пример многочлена третьей степени над полем рациональных чисел, имеющего ровно один корень в этом поле.
6)Сформулируйте признак неприводимости Эйзенштейна.
7)Пользуясь признаком Эйзенштейна, постройте несколько неприводимых многочленов шестой степени над полем рациональных чисел.
Примеры решения задач
Задача 1. Выясните, приводимы ли над полем дан-
ные многочлены. В случае приводимости разложите их на
неприводимые множители: а) |
4x2 12x 5 ; |
б) x2 3x 5 ; |
|||||||||
в) x3 6x2 15x 2 ; |
г) x3 2x 1. |
|
|
|
|
||||||
Решение. а) Многочлен 4x2 12x 5 имеет рациональ- |
|||||||||||
ные корни x1 5 2 , |
x2 1 2 . Поэтому он приводим над : |
||||||||||
|
|
|
|
4x2 12x 5 4(x |
5 |
)(x |
1 |
) . |
|
||
|
|
|
|
|
|||||||
|
|
|
|
|
|
2 |
2 |
|
|
||
б) |
Корнями многочлена |
x2 3x 5 являются числа |
|||||||||
x |
3 |
|
29 |
. Таким образом, данный многочлен не имеет |
|||||||
|
|
|
|||||||||
1,2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
рациональных корней, и поэтому он неприводим над . |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
в) |
|
Найдем |
рациональные |
корни |
многочлена |
||||||
f (x) x3 6x2 15x 2 . Так как старший коэффициент ра-
22
вен единице, то все рациональные корни должны быть целыми и их следует искать среди делителей свободного члена
a0 2 , т.е. среди |
чисел |
1, |
2 . |
Имеем: f (1) 6 0 , |
||||
f ( 1) 22 0 , f |
(2) 4 0 , f ( 2) 48 0 , поэтому целых |
|||||||
корней нет. Итак, |
f (x) не имеет рациональных корней, при- |
|||||||
чем deg f (x) 3 ; следовательно, f (x) - неприводим над . |
||||||||
|
|
|
|
|
||||
г) Для многочлена |
f (x) x3 2x 1 имеем |
f (1) 0 ; |
||||||
следовательно, f (x) |
- приводим над |
. Производя деление |
||||||
|
|
|
|
|||||
на (x 1) , получим |
f (x) (x 1)(x2 x 1) . Здесь многочлен |
|||||||
|
|
|
|
|
|
|||
x2 x 1 неприводим над |
, |
так как его корни |
1 5 |
|||||
|
|
|
|
|
|
2 |
|
|
иррациональны. |
|
|
|
|
|
|
|
|
Задача 2. Пользуясь признаком Эйзенштейна, докажи- |
||||||||
те, что многочлен 5x5 6x4 144x3 18x2 42x 12 |
непри- |
|||||||
водим над полем . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Решение. Замечаем, |
что |
все коэффициенты |
данного |
|||||
многочлена, кроме старшего an 5 , делятся на простое число p 3 , причем свободный член a0 12 не делится на
p2 9 . Следовательно, условия признака Эйзенштейна выполнены, и многочлен – неприводим.
Отметим, что признак Эйзенштейна неприменим к данному многочлену при p 2 . Действительно, старший коэффициент не делится на 2, а все остальные коэффициен-
ты на 2 делятся; однако, свободный член делится на p2 4 . Задача 3. Найдите все рациональные корни многочле-
на f (x) x4 3x3 4x2 18x 18 и разложите его на неприводимые над полем множители.
Решение. Старший коэффициент многочлена f (x) равен единице, поэтому многочлен может иметь только целые
23