13 Теория многочленов.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Мы знаем, что если - корень многочлена
кратности
, то
будет корнем
кратности
.
Но верно ли, что каждый корень некоторой кратности
является корнем
кратности
?
Это, разумеется, неверно. Например, рассмотрим . Тогда
. И мы видим, что 0
является корнем
кратности 1. Но 0 при этом не является корнем
кратности 2, более того, 0
вообще не является корнем
никакой кратности (ну или можно сказать, что кратности
0).
Нет
Ошибка.
Попробуйте повторить позже
При каких многочлен
делится нацело на многочлен ?
Делимость любого многочлена на означает в точности, что у этого многочлена
имеет
кратность хотя бы 2.
То есть это означает, что . То есть мы получаем условия
Откуда , то есть
, то есть
.
И получается, что , а, значит,
.
,
Ошибка.
Попробуйте повторить позже
Сколько различных корней имеет многочлен
?
Для того чтобы это понять, применим алгоритм отделения кратных корней. Вычислим
. Теперь нужно найти
.
Применяем алгоритм Евклида. Делим в столбик на
и получаем:
Не поделилось без остатка. Делим дальше, теперь делим на первый остаток
.
И получается, что делится без остатка на
. Следовательно,
и будет равен
.
То есть
Далее, мы должны разделить на
. Тогда получим:
И мы знаем, что многочлен имеет те же корни, что и многочлен
, но уже
кратности 1.
Получается .
То есть исходный многочлен имеет два различных корня - это
и
.
Ошибка.
Попробуйте повторить позже
a) Пусть - многочлен с вещественными коэффициентами. Доказать, что если
является корнем
, то и
- тоже является корнем
.
b) Верно ли это, если многочлен имеет произвольные комплексные
коэффициенты?
a) Пусть и все
.
Пусть также и оказалось так, что
.
То есть, если это расписать:
Применим теперь к левой и правой части комплексной сопряжение:
Но во-первых, ясно, что если , то
.
Далее, ясно, что вообще для любых (даже, разумеется, комплексных) чисел
выполнены следующие свойства
С учетом этого равенство
можно переписать как
И теперь, принимая во внимание вещественность и нуля:
Что в точности и означает тот факт, что , то есть
является корнем
.
Что и требовалось доказать.
b) Это, разумеется, неверно. Рассмотрим, например, многочлен (с
комплексными, как мы видим, коэффициентами). Его корнем является
. Однако
его корнем, очевидно, не является (у него вообще кроме
нет других
корней).
Ошибка.
Попробуйте повторить позже
Показать, что признак Эйзенштейна неприводимости над не является
критерием.
Что вообще было бы, если бы признак Эйзенштейна был бы критерием? Тогда в
обратную сторону он звучал бы так:
(Псевдо)критерий Эйзенштейна. Пусть многочлен
- многочлен с целыми коэффициентами и старшим коэффициентом 1. Тогда -
неприводим над
тогда и только тогда, когда существует такое простое число
, что все его коэффициенты, начиная с
и до самого последнего
делятся на
, но при этом свободный член
не делится на
.
Так вот в обратную сторону этот признак уже не работает.
Рассмотрим, например, многочлен
Он неприводим над (ибо, будь он приводим над
, то, коль скоро степень его
равна 3, он бы имел в таком случае корень в
. Однако, он в
(и даже в
!)
корней не имеет).
Однако, в обратную сторону здесь признак Эйзенштейна не работает. Не существует
такого простого , делящего все коэффициенты, кроме старшего, но при этом чтобы
не делило свободный коэффициент.
Действительно, единственное простое , делящее все коэффициенты, кроме старшего
- это
. Однако свободный коэффициент делится и на
. Поэтому такого
, которое делило бы все коэффициенты кроме старшего, но квадрат которого не
делил бы свободный член, для нашего
не найдется. Однако ж он все еще
неприводим над
.