Факторизация многочленов

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Факторизация многочлена — представление данного многочлена в виде произведения многочленов меньших степеней.

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

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

Квадратичные полиномы[править | править код]

Иллюстрация полинома x2 + cx + d = (x + a)(x + b), где a + b равно c и a * b равно d.

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

где: и являются двумя корнями полинома, найденными при решении квадратного уравнения.

Полиномы на целых числах[править | править код]

где:

и

Можно каждый бином приравнять нулю и найти для x два корня. Для факторинга достаточно использовать именно эти формулы для решения квадратного уравнения. Возьмём для примера 2x2 − 5x + 2 = 0. Поскольку a = 2 и mn = a, mn = 2, что означает, что m и n равны 1 и 2. Теперь мы имеем (2x + p)(x + q) = 0. Поскольку c = 2 и pq = c, pq = 2, что означает, что p и q равны 1 и 2, или один из них −1, а другой −2. Подставляя 1 и 2, или −1 и −2 вместо p и q (поскольку pn + mq = b), мы видим, что 2x2 − 5x + 2 = 0 факторизуется в (2x − 1)(x − 2) = 0, давая корни x = {0.5, 2}

Замечание: быстрый способ определения, является ли второй член положительным или отрицательным (как в приведённом примере, 1 и 2 или −1 и −2) состоит в проверке второй операции трёхчлена (+ или −). Если стоит +, тогда проверяем первую операцию: если она тоже +, член будет положительным, а если операция −, то член будет отрицательным. Если вторая операция −, то один член будет положительный, второй отрицательный. Такая проверка является единственным способом определения, какой член будет положительным, а какой отрицательным.

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

Рассмотрим, например, полином 2x2 + 2x − 12. Если подставить значения в квадратичную формулу, то дискриминант b2 − 4ac будет 22 − 4 × 2 × −12 и равен 100. Число 100 является полным квадратом, поэтому полином 2x2 + 2x − 12 факторизуется целыми числами; эти факторы равны 2, (x − 2), and (x + 3).

Теперь рассмотрим полином x2 + 93x − 2. Его дискриминант 932 − 4 × 1 × (−2) равен 8657, что не является полным квадратом. Поэтому выражение x2 + 93x − 2 нельзя факторизовать целыми числами.

Полный квадратный трёхчлен[править | править код]

Иллюстрация идентичности (a + b)2 = a2 + 2ab + b2

Некоторые квадратные уравнения можно факторизовать двумя одинаковыми биномами. Такие уравнения называются полным квадратным трёхчленом. Полный квадратный трёхчлен можно факторизовать следующим образом:

и

Сумма/разность двух квадратов[править | править код]

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

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

Например, можно факторизовать на .

Группировка[править | править код]

Ещё одним методом разложения на множители некоторых многочленов является факторинг группировкой. Для тех, кто любит разрабатывать алгоритмы, «факторинг группировкой» может быть самым приятным подходом к факторингу трёхчлена, поскольку в нём нужно строить догадки относительно способа завершения процесса.

Факторинг группировкой делается путём расположения членов многочлена на две или большее количество групп, каждая из которых может быть факторизована известным способом. Результаты этих факторизаций иногда можно скомбинировать так, чтобы получить более простое выражение. Например, чтобы факторизовать полином:

сгруппируем подобные члены:

факторизуем через наибольший общий делитель,

и факторизуем на биномы

AC метод[править | править код]

Если квадратный трёхчлен имеет решения на рациональных числах, мы можем найти p и q такие, что и . (Если дискриминант является квадратом числа, то они существуют, в противном случае мы будем иметь иррациональные или комплексные решения, и предположение о рациональном решении является недопустимым.)

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

Проверка факторов ac = 36 приводит к 4 + 9 = 13 = b.

Другие полиномы[править | править код]

Сумма/разность двух кубов[править | править код]

Выполним факторинг суммы и разности двух кубов. Сумму двух кубов можно представить в виде:

а разность:

Например, x3 − 103 (или x3 − 1000) можно факторизовать в виде: (x − 10)(x2 + 10x + 100).

См. также[править | править код]