Jump to content

Факторная теорема

В алгебре факторная теорема соединяет полиномиальные факторы с полиномиальными корнями . В частности, если является полиномом, то является фактором тогда и только тогда, когда (то есть, является корнем многочлена). Теорема является частным случаем теоремы о полиномиальном остатке . [1] [2]

Теорема вытекает из основных свойств сложения и умножения. Отсюда следует, что теорема справедлива и тогда, когда коэффициенты и элемент принадлежат любому коммутативному кольцу , а не только полю .

В частности, поскольку многомерные полиномы можно рассматривать как одномерные по одной из переменных, справедливо следующее обобщение: если и являются многомерными полиномами и не зависит от , затем является фактором тогда и только тогда, когда – нулевой полином.

Факторизация полиномов

[ редактировать ]

Две проблемы, в которых обычно применяется факторная теорема, - это факторизация многочлена и поиск корней полиномиального уравнения; это прямое следствие теоремы о том, что эти задачи по существу эквивалентны.

Факторная теорема также используется для удаления известных нулей из полинома, оставляя при этом все неизвестные нули нетронутыми, таким образом создавая полином более низкой степени, нули которого может быть легче найти. Абстрактно метод выглядит следующим образом: [3]

  1. Вывести кандидата нуля полинома из его старшего коэффициента и постоянный член . (См. Теорему о рациональном корне .)
  2. Используя факторную теорему, заключите, что является фактором .
  3. Вычислите полином , например, с помощью полиномиального деления в столбик или синтетического деления .
  4. Сделайте вывод, что любой корень из является корнем . Поскольку полиномиальная степень на единицу меньше, чем у , оставшиеся нули «проще» найти, изучая .

Продолжаем процесс до тех пор, пока полином факторизуется полностью, на который все ее факторы неприводимы. или .

Найдите факторы,

Решение : Пусть быть вышеуказанным полиномом

Постоянный член = 2
Коэффициент

Все возможные множители 2 равны и . Замена , мы получаем:

Так, , то есть, является фактором . О разделении к , мы получаем

Частное =

Следовательно,

Из них квадратичный множитель можно разложить на множители с помощью квадратичной формулы , которая дает корни квадратичного множителя Таким образом, три неприводимых фактора исходного многочлена равны и

Доказательство

[ редактировать ]

Здесь представлено несколько доказательств теоремы.

Если является фактором это немедленно, что Поэтому в дальнейшем будет доказано только обратное.

Доказательство 1

[ редактировать ]

Этот аргумент начинается с проверки теоремы для . То есть он стремится показать, что для любого полинома для чего это правда, что для некоторого полинома . Для этого напишите явно как . Теперь заметьте, что , так . Таким образом, . Теперь этот случай доказан.

Осталось доказать теорему для общего случая. путем сведения к случай. Для этого заметьте, что многочлен с корнем в . Из того, что было показано выше, следует, что для некоторого полинома . Окончательно, .

Доказательство 2

[ редактировать ]

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

Позволять где — любое коммутативное кольцо. Писать для последовательности коэффициентов . Предполагать для некоторых . Заметьте тогда, что . Обратите внимание, что каждое слагаемое имеет как фактор путем факторизации выражений вида об этом говорилось выше. Таким образом, сделайте вывод, что является фактором .

Доказательство 3

[ редактировать ]

Теорему можно доказать, используя евклидово деление многочленов : Выполните евклидово деление полиномов. к чтобы получить где . С , отсюда следует, что является постоянным. Наконец, заметьте, что . Так .

Приведенное выше евклидово деление возможно в каждом коммутативном кольце, поскольку является моническим полиномом , и, следовательно, алгоритм деления полинома в длинные позиции не предполагает никакого деления коэффициентов.

Следствие других теорем

[ редактировать ]

Это также следствие теоремы о полиномиальном остатке , но, наоборот, может быть использовано для ее доказательства.

Когда полиномы многомерны, но коэффициенты образуют алгебраически замкнутое поле , Nullstellensatz является важным и глубоким обобщением.

  1. ^ Салливан, Майкл (1996), Алгебра и тригонометрия , Прентис Холл, с. 381, ISBN  0-13-370149-2
  2. ^ Сегал, В.К.; Гупта, Сонал, Лонгман, 10-й класс математики ICSE , Дорлинг Киндерсли (Индия), с. 119, ISBN  978-81-317-2816-1 .
  3. ^ Бансал, Р.К., Комплексная математика IX , Публикации Лакшми, с. 142, ISBN  81-7008-629-9 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: fed02db4ba0445273bdb1e3c8a6767fa__1720536240
URL1:https://arc.ask3.ru/arc/aa/fe/fa/fed02db4ba0445273bdb1e3c8a6767fa.html
Заголовок, (Title) документа по адресу, URL1:
Factor theorem - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)