C5 Многочлены (общее)

Метод состоит в том, что задача об уравнении, неравенстве или тождестве сводится к анализу свойств многочлена как алгебраического объекта: его корней, делимости, значений в целых точках, представления в виде произведения.

Многочлены — это «атомы» алгебры. Любой полиномиальный объект в задаче — это сумма мономов, и к нему применимы мощные теоремы: теорема Безу (корень ↔ делитель), теорема о рациональных корнях, теорема об оценке числа корней. Вместе с теоремой Виета (C5a) это создаёт полный арсенал для работы с уравнениями степени $\geq 2$.

Аналогия: многочлен — это «рецепт». Корни — ингредиенты, которые «гасят» всё. Делитель $(x - a)$ означает, что $a$ — корень. Если у многочлена $n$ корней, а его степень равна $n$, он полностью «разложен» в произведение линейных факторов.

На олимпиадах это используется в нескольких направлениях: (1) найти корни, используя теорему об их числе; (2) доказать, что многочлен обязательно принимает нужное значение; (3) оценить значения многочлена в целых точках через его разложение.

• Теорема Безу: $P(a) = 0 \Leftrightarrow (x - a) \mid P(x)$. Условие: $P$ — ненулевой многочлен. Когда использовать: если нашёл корень $a$, сразу выдели $(x-a)$ как множитель и снизь степень.

• Следствие теоремы Безу: $P(a) - P(b) = (a - b) \cdot Q(a, b)$ для некоторого целого $Q$, если $P$ имеет целые коэффициенты. Когда использовать: задачи о делимости $P(n) - P(m)$ на $n - m$.

• Теорема о числе корней: многочлен степени $n$ имеет не более $n$ корней (с учётом кратностей) над $\mathbb{R}$ или $\mathbb{C}$. Когда использовать: если два многочлена совпадают в $n+1$ точках, они тождественно равны.

• Теорема о рациональных корнях: для $P(x) = a_n x^n + \ldots + a_0 \in \mathbb{Z}[x]$ рациональный корень $\frac{p}{q}$ (в несократимой форме) удовлетворяет $p \mid a_0$, $q \mid a_n$. Когда использовать: поиск рациональных корней многочлена с целыми коэффициентами.

• Метод неопределённых коэффициентов: если $P(x) = \sum a_k x^k$ и нам известны значения $P$ в $n+1$ точках, коэффициенты $a_k$ определяются однозначно (при степени $\leq n$$). *$Когда использовать:* восстановление многочлена по значениям.

• Подобрать корень «угадыванием» среди делителей свободного члена. Для $P(x) = x^3 - 6x + 5$: делители $5$ — это $\pm 1, \pm 5$. Проверяем $P(1) = 1 - 6 + 5 = 0$ ✓.
• Разложить на множители после нахождения корня. $P(x) = (x - a) \cdot Q(x)$ — делишь с остатком «уголком» или методом Хорнера.
• Воспользоваться оценкой числа корней для доказательства. Если многочлен степени $n$ обращается в ноль в $n+1$ точках — он тождественно ноль.
• Применить теорему Безу для делимости. $n^k - 1$ делится на $n - 1$ для любых целых $n$ и натуральных $k$ — это следствие Безу для $P(x) = x^k - 1$ при $x = n$.
• Оценить значение $|P(n)|$ снизу. Если $P$ с целыми коэффициентами и $P(n) \neq 0$ при целом $n$, то $|P(n)| \geq 1$.
• Метод Хорнера для быстрых вычислений. $P(a) = (\ldots((a_n \cdot a + a_{n-1}) \cdot a + a_{n-2})\ldots) \cdot a + a_0$.

Поверхностные признаки (что буквально написано):
- Задача содержит многочлен степени $\geq 2$ с целыми или рациональными коэффициентами.
- Просят «найти все целые корни», «разложить на множители», «найти остаток от деления».
- Слово «многочлен» в условии, или $P(x)$, $f(x)$ — функция полиномиального вида.

Структурные признаки (форма выражения, объекты):
- Уравнение $P(n) = k$ при целом $n$ — задача о целых значениях многочлена.
- $P(a) = P(b)$ и вопрос о делимости $(a - b) \mid P(a)$.
- Многочлен задан рекуррентно или через значения в нескольких точках.

Цель задачи (что от тебя хотят):
- Найти все целые значения $n$, при которых $P(n)$ делится на $k$.
- Доказать, что два многочлена тождественно равны, зная их совпадение в точках.
- Разложить многочлен на линейные (или квадратные) множители.

Задача 1. Делимость значений многочлена

Условие: Докажите, что для любого целого $n$ значение $n^3 - n$ кратно 6.

Источник: классическая олимпиадная задача

Как думать (рассуждение ученика):
1. Вижу $n^3 - n$ — многочлен третьей степени. Хочу делимость на $6 = 2 \cdot 3$.
2. Метод: разложу на множители через теорему Безу. $P(0) = 0$, $P(1) = 0$, $P(-1) = 0$.
3. $n^3 - n = n(n^2 - 1) = n(n-1)(n+1)$ — произведение трёх последовательных целых!
4. Произведение трёх последовательных целых всегда делится на $3! = 6$.

Решение:$n^3 - n = n(n-1)(n+1).$ Это произведение трёх последовательных целых $n-1, n, n+1$.
- Делимость на 2: среди любых двух последовательных целых одно чётное, поэтому среди трёх — хотя бы одно чётное.
- Делимость на 3: среди любых трёх последовательных целых одно кратно 3 (по принципу остатков).
Следовательно, $(n-1)n(n+1)$ кратно $2 \cdot 3 = 6$.

Ответ: Доказано.

Что в этой задаче было главным: разложение $n^3 - n = (n-1)n(n+1)$ через теорему Безу, а затем аргумент о последовательных числах.

Задача 2. Нахождение корней и разложение

Условие: Разложите на множители над $\mathbb{Z}$ многочлен $P(x) = x^4 + x^3 - 7x^2 - x + 6$.

Источник: тренировочная (уровень ВсОШ 9–10 класс)

Как думать (рассуждение ученика):
1. Многочлен четвёртой степени с целыми коэффициентами. Ищу рациональные корни — делители свободного члена $6$: $\pm 1, \pm 2, \pm 3, \pm 6$.
2. $P(1) = 1 + 1 - 7 - 1 + 6 = 0$ ✓. Делю на $(x-1)$.
3. Результат: $x^3 + 2x^2 - 5x - 6$. Снова ищу корни: $P(2) = 8 + 8 - 10 - 6 = 0$ ✓.
4. Делю $x^3 + 2x^2 - 5x - 6$ на $(x-2)$: получаю $x^2 + 4x + 3 = (x+1)(x+3)$.
5. Итого: $P(x) = (x-1)(x-2)(x+1)(x+3)$.

Решение:
По теореме о рациональных корнях перебираем делители 6. $P(1) = 0$, поэтому $(x-1) \mid P(x)$.
Делением: $P(x) = (x-1)(x^3 + 2x^2 - 5x - 6)$.$Q(x) = x^3 + 2x^2 - 5x - 6$. $Q(2) = 8 + 8 - 10 - 6 = 0$, поэтому $(x-2) \mid Q(x)$.$Q(x) = (x-2)(x^2 + 4x + 3) = (x-2)(x+1)(x+3)$.

Итого: $P(x) = (x-1)(x-2)(x+1)(x+3)$.

Ответ: $P(x) = (x-1)(x+1)(x-2)(x+3)$.

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

• Ошибка: забыть про отрицательные делители. Ищем корни среди делителей свободного члена: $\pm 1, \pm 2$, а не только $1, 2$. → Всегда перебирай и плюсовые, и минусовые.
• Ошибка: неверно разделить многочлен с остатком. Получили неправильное частное — следующие шаги дадут ошибку. → Проверяй: частное × делитель + остаток = исходный.
• Ошибка: вывод «многочлен не имеет корней» из отсутствия целых корней. Вещественные иррациональные корни тоже возможны. → Если среди делителей нет корня, ещё не значит, что их нет вообще — проверяй дискриминант квадратного множителя.
• Ошибка: применить «не более $n$ корней» к многочлену от нескольких переменных. Теорема о числе корней — только для одной переменной. → Уточняй, от какой переменной считаешь степень.
• Ошибка: ошибиться в методе Хорнера. Неверный порядок коэффициентов. → Коэффициенты расставляй строго от старшего к младшему, не пропускай нулевые.