Факторная теорема
В алгебре факторная теорема соединяет полиномиальные факторы с полиномиальными корнями . В частности, если является полиномом, то является фактором тогда и только тогда, когда (то есть, является корнем многочлена). Теорема является частным случаем теоремы о полиномиальном остатке . [1] [2]
Теорема вытекает из основных свойств сложения и умножения. Отсюда следует, что теорема справедлива и тогда, когда коэффициенты и элемент принадлежат любому коммутативному кольцу , а не только полю .
В частности, поскольку многомерные полиномы можно рассматривать как одномерные по одной из переменных, справедливо следующее обобщение: если и являются многомерными полиномами и не зависит от , затем является фактором тогда и только тогда, когда – нулевой полином.
Факторизация полиномов
[ редактировать ]Две проблемы, в которых обычно применяется факторная теорема, - это факторизация многочлена и поиск корней полиномиального уравнения; это прямое следствие теоремы о том, что эти задачи по существу эквивалентны.
Факторная теорема также используется для удаления известных нулей из полинома, оставляя при этом все неизвестные нули нетронутыми, таким образом создавая полином более низкой степени, нули которого может быть легче найти. Абстрактно метод выглядит следующим образом: [3]
- Вывести кандидата нуля полинома из его старшего коэффициента и постоянный член . (См. Теорему о рациональном корне .)
- Используя факторную теорему, заключите, что является фактором .
- Вычислите полином , например, с помощью полиномиального деления в столбик или синтетического деления .
- Сделайте вывод, что любой корень из является корнем . Поскольку полиномиальная степень на единицу меньше, чем у , оставшиеся нули «проще» найти, изучая .
Продолжаем процесс до тех пор, пока полином факторизуется полностью, на который все ее факторы неприводимы. или .
Пример
[ редактировать ]Найдите факторы,
Решение : Пусть быть вышеуказанным полиномом
- Постоянный член = 2
- Коэффициент
Все возможные множители 2 равны и . Замена , мы получаем:
Так, , то есть, является фактором . О разделении к , мы получаем
- Частное =
Следовательно,
Из них квадратичный множитель можно разложить на множители с помощью квадратичной формулы , которая дает корни квадратичного множителя Таким образом, три неприводимых фактора исходного многочлена равны и
Доказательство
[ редактировать ]Здесь представлено несколько доказательств теоремы.
Если является фактором это немедленно, что Поэтому в дальнейшем будет доказано только обратное.
Доказательство 1
[ редактировать ]Этот аргумент начинается с проверки теоремы для . То есть он стремится показать, что для любого полинома для чего это правда, что для некоторого полинома . Для этого напишите явно как . Теперь заметьте, что , так . Таким образом, . Теперь этот случай доказан.
Осталось доказать теорему для общего случая. путем сведения к случай. Для этого заметьте, что многочлен с корнем в . Из того, что было показано выше, следует, что для некоторого полинома . Окончательно, .
Доказательство 2
[ редактировать ]Во-первых, заметьте, что всякий раз, когда и принадлежат любому коммутативному кольцу (одному и тому же), то тождество это правда. Это видно путем умножения скобок.
Позволять где — любое коммутативное кольцо. Писать для последовательности коэффициентов . Предполагать для некоторых . Заметьте тогда, что . Обратите внимание, что каждое слагаемое имеет как фактор путем факторизации выражений вида об этом говорилось выше. Таким образом, сделайте вывод, что является фактором .
Доказательство 3
[ редактировать ]Теорему можно доказать, используя евклидово деление многочленов : Выполните евклидово деление полиномов. к чтобы получить где . С , отсюда следует, что является постоянным. Наконец, заметьте, что . Так .
Приведенное выше евклидово деление возможно в каждом коммутативном кольце, поскольку является моническим полиномом , и, следовательно, алгоритм деления полинома в длинные позиции не предполагает никакого деления коэффициентов.
Следствие других теорем
[ редактировать ]Это также следствие теоремы о полиномиальном остатке , но, наоборот, может быть использовано для ее доказательства.
Когда полиномы многомерны, но коэффициенты образуют алгебраически замкнутое поле , Nullstellensatz является важным и глубоким обобщением.
Ссылки
[ редактировать ]- ^ Салливан, Майкл (1996), Алгебра и тригонометрия , Прентис Холл, с. 381, ISBN 0-13-370149-2
- ^ Сегал, В.К.; Гупта, Сонал, Лонгман, 10-й класс математики ICSE , Дорлинг Киндерсли (Индия), с. 119, ISBN 978-81-317-2816-1 .
- ^ Бансал, Р.К., Комплексная математика IX , Публикации Лакшми, с. 142, ISBN 81-7008-629-9 .