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

Ввод многочлена

Примеры многочленов:

Инструкции по формату ввода:

Обозначение степени: Используйте символ ^, например: x^2, x^3
Обозначение умножения: Используйте символ *, например: 2*x^2, -3*x
Сложение и вычитание: Используйте + и - для соединения членов
Свободный член: Вводите числа напрямую, например: +6, -12

Результат факторизации

Введите многочлен и нажмите «Начать факторизацию»

Объяснение алгоритма:

1. Теорема о рациональных корнях:
Для многочлена с целыми коэффициентами a_n·x^n + ... + a_1·x + a_0, если существует рациональный корень p/q (в несократимой форме), то:
  • p должно быть делителем свободного члена a_0
  • q должно быть делителем старшего коэффициента a_n
  • Возможные рациональные корни: ±(делители p) / (делители q)
  • Пример:Для x³ - 6x² + 11x - 6 возможные рациональные корни: ±1, ±2, ±3, ±6
2. Схема Горнера:
Используется для проверки корней и деления многочленов:
  • Если r — корень многочлена P(x), то P(x) = (x - r)·Q(x)
  • Схема Горнера быстро находит частное Q(x)
  • Продолжайте факторизацию Q(x), пока она не станет невозможной
3. Численные методы нахождения корней:
Когда теорема о рациональных корнях не находит целых корней, используются численные методы:
  • Метод итерации Ньютона:x_{n+1} = x_n - f(x_n)/f'(x_n)
  • Используется для нахождения вещественных корней (которые могут быть иррациональными)
  • Для комплексных корней отображаются вещественная и мнимая части
  • Пример:x^2 - 2 = (x - sqrt(2))(x + sqrt(2))
4. Распознавание специальных форм:
  • Разность квадратов:a^2 - b^2 = (a + b)(a - b)
  • Полный квадрат:a^2 +/- 2ab + b^2 = (a +/- b)^2
  • Разность/сумма кубов:a^3 +/- b^3 = (a +/- b)(a^2 -/+ ab + b^2)
  • Вынесение общего множителя:Например: x³ + 2x² = x²(x + 2)

Сложность алгоритма:

  • Поиск рациональных корней:O(d·n), где d — количество возможных корней, n — степень многочлена
  • Схема Горнера:O(n) на одно деление
  • Численное нахождение корней:O(k·n), где k — количество итераций

Примечания:

  • Поддерживаются только многочлены с целыми коэффициентами
  • Для многочленов высокой степени (степень ≥ 5) полная факторизация на рациональные корни может быть невозможна
  • Численные решения могут содержать ошибки округления и отображаться как приблизительные значения
  • Комплексные корни отображаются в виде a + bi
  • Неприводимые многочлены будут отображены в исходном виде