В математике факториза́ция или фа́кторинг — это декомпозиция объекта (например, числа, полинома или матрицы) в произведение других объектов или факторов, которые, будучи перемноженными, дают исходный объект. Например, число 15 факторизуется на простые числа 3 и 5, а полином x² - 4 факторизуется на (x - 2)(x + 2). В результате факторизации во всех случаях получается произведение более простых объектов, чем исходный.

Целью факторизации является приведение объекта к «основным строительным блокам», например, число — к простым числам, многочлен — к неприводимым многочленам. Факторизация целых чисел обеспечивается основной теоремой арифметики, а многочленов — основной теоремой алгебры.

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

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

Матрица может также быть факторизована на произведение матриц специального вида для приложений, в которых эта форма удобна. Одним из основных примеров этого является использование ортогональных, унитарных и треугольных матриц. Существуют различные способы факторизации: QR-разложение, LQ, QL, RQ, RZ.

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

Целые числа

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

Квадратичные полиномы

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

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

Полиномы на целых числах

где:

и

Можно каждый бином приравнять нулю и найти для x два корня. Для факторинга достаточно использовать именно эти формулы для решения квадратного уравнения. Возьмём для примера 2x² − 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), мы видим, что 2x² − 5x + 2 = 0 факторизуется в (2x − 1)(x − 2) = 0, давая корни x = {0.5, 2}

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

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

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

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

Полный квадратный трёхчлен

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

и

Сумма/разность двух квадратов

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

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

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

Группировка

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

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

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

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

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

AC метод

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

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

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

Другие полиномы

Сумма/разность двух кубов

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

а разность:

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

См. также

• Разложение матрицы
• Треугольник Паскаля
• Факториальное кольцо

Ссылки

• Л. Инфельд, Т. Е. Халл Метод факторизации
• One hundred million numbers factored on html pages.
• A page about factorization, Algebra, Factoring
• WIMS Factoris is an online factorization tool.
• can factorize too.