C3 Общий корень многочленов

Метод состоит в том, что если два многочлена $P(x)$ и $Q(x)$ имеют общий корень $x_0$, то этот корень является корнем их наибольшего общего делителя $\gcd(P, Q)$, а также корнем любой линейной комбинации $\alpha P(x) + \beta Q(x)$.

Представь, что у тебя есть два уравнения и сказано, что оба выполняются при одном и том же значении $x$. Тогда можно взять любую их линейную комбинацию — и это тоже будет выполнено. Это позволяет «вычесть» одно уравнение из другого, упростить выражение и найти общий корень, не решая каждое уравнение отдельно.

Аналогия из линейной алгебры: решение системы линейных уравнений методом исключения — ровно та же идея, только здесь уравнения нелинейные. Мы «исключаем» лишние члены, комбинируя уравнения.

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

• Основное свойство общего корня: Если $P(x_0) = 0$ и $Q(x_0) = 0$, то для любых $\alpha, \beta$: $(\alpha P + \beta Q)(x_0) = 0$. Условие: $x_0$ — общий корень. Когда использовать: сразу, как только задача говорит «оба многочлена обращаются в ноль при $x = x_0$».

• Теорема об НОД многочленов: $\gcd(P, Q)$ — это многочлен наибольшей степени, делящий и $P$, и $Q$; любой общий корень является корнем $\gcd(P, Q)$. Условие: $P, Q$ — ненулевые многочлены над полем. Когда использовать: если нужно найти все возможные общие корни.

• Алгоритм Евклида для многочленов: $\gcd(P, Q) = \gcd(Q, P \mod Q)$ (деление с остатком$). *$Условие: коэффициенты из поля (например $\mathbb{Q}$ или $\mathbb{R}$$). *$Когда использовать: явное нахождение $\gcd(P, Q)$ и всех общих корней.

• Исключение параметра: если у $P(x, a)$ и $Q(x, a)$ есть общий корень по $x$ при некотором $a$, то вычитая или комбинируя, получаем условие на $a$. Когда использовать: задачи «найти все $a$, при которых многочлены имеют общий корень».

• Линейная комбинация для уничтожения старшего члена. Если $P$ и $Q$ имеют одинаковую степень, вычти одно из другого (с нужным коэффициентом), чтобы снизить степень.
• Подстановка общего корня в разность. Вычти уравнения: $P(x_0) - Q(x_0) = 0$ — получаешь новое, более простое уравнение на $x_0$.
• Алгоритм Евклида для нахождения НОД. Последовательно делить с остатком: $\gcd(P, Q)$ даёт многочлен, корни которого — все общие корни.
• Задачи с параметром: подставить $x_0$ в оба и получить систему. Из системы исключить $x_0$ (например, возведя в степень или поделив).
• Применить теорему Безу. Если $x_0$ — корень $P$, то $(x - x_0) \mid P(x)$; аналогично для $Q$. Найди $x_0$ из условия делимости обоих многочленов.
• Симметрия: поменять $x$ и параметр местами. Иногда удобно рассмотреть задачу как «параметр — корень многочлена от другой переменной».

Поверхностные признаки (что буквально написано):
- «Многочлены $P(x)$ и $Q(x)$ имеют общий корень».
- «Найдите все значения $a$, при которых уравнения $P(x)=0$ и $Q(x)=0$ имеют общее решение».
- «Многочлен делится на $(x - r)$» — если $r$ общий.

Структурные признаки (форма выражения, объекты):
- Два многочлена заданы с одним параметром в коэффициентах.
- Степени многочленов близки (например, оба степени 2 или оба степени 3).
- Условие «при каком $a$ оба выражения равны нулю при одном и том же $x$».

Цель задачи (что от тебя хотят):
- Найти все значения параметра, при которых многочлены имеют общий корень.
- Найти сам общий корень.
- Доказать, что при данных условиях общих корней нет.

Задача 1. Нахождение параметра через общий корень

Условие: При каком значении $a$ многочлены $P(x) = x^2 + ax + 1$ и $Q(x) = x^2 + x + a$ имеют общий корень?

Источник: тренировочная

Как думать (рассуждение ученика):
1. Вижу два квадратных многочлена с параметром $a$. Задача: найти $a$, при котором у них есть общий корень $x_0$.
2. Метод: если $x_0$ — общий корень, то $P(x_0) = 0$ и $Q(x_0) = 0$. Вычту: $P(x_0) - Q(x_0) = 0$.
3. $P - Q = (a-1)x_0 + (1-a) = (a-1)(x_0 - 1) = 0$.
4. Два случая: $a = 1$ или $x_0 = 1$.

Решение:
Пусть $x_0$ — общий корень. Тогда $P(x_0) = Q(x_0)$, то есть $x_0^2 + ax_0 + 1 = x_0^2 + x_0 + a$, откуда $(a-1)x_0 - (a-1) = 0$, то есть $(a-1)(x_0 - 1) = 0$.

Случай 1: $a = 1$. Тогда $P(x) = x^2 + x + 1$ и $Q(x) = x^2 + x + 1$ — одинаковые. $D = 1 - 4 = -3 < 0$: общих вещественных корней нет. Значит $a = 1$ не подходит (если нужны вещественные корни).

Случай 2: $x_0 = 1$. Подставим в $P$: $1 + a + 1 = 0$, откуда $a = -2$. Проверка: $P(1) = 1 - 2 + 1 = 0$ ✓, $Q(1) = 1 + 1 - 2 = 0$ ✓.

Ответ: $a = -2$.

Что в этой задаче было главным для понимания метода: вычитание двух уравнений для общего корня сразу «убивает» квадратный член и даёт линейное уравнение на $x_0$ — классический приём.

Задача 2. НОД многочленов алгоритмом Евклида

Условие: Найдите все общие корни $P(x) = x^3 - 3x + 2$ и $Q(x) = x^3 - x^2 - x + 1$.

Источник: тренировочная

Как думать (рассуждение ученика):
1. Два кубических многочлена, нужны общие корни. Буду искать $\gcd(P, Q)$.
2. $P - Q = x^2 - 2x + 1 = (x-1)^2$. Это потенциальный общий делитель!
3. Проверю: делит ли $(x-1)^2$ оба многочлена?
4. $P(1) = 1 - 3 + 2 = 0$ ✓. $P'(1) = 3 - 3 = 0$ ✓ → $x=1$ — корень кратности $\geq 2$ у $P$.$Q(1) = 1 - 1 - 1 + 1 = 0$ ✓. $Q'(1) = 3 - 2 - 1 = 0$ ✓ → $x=1$ — корень кратности $\geq 2$ у $Q$.

Решение:$P(x) - Q(x) = (x^3 - 3x + 2) - (x^3 - x^2 - x + 1) = x^2 - 2x + 1 = (x-1)^2$.

Поскольку $(x-1)^2 \mid (P-Q)$, а $P(1) = 0$ и $Q(1) = 0$, то $x=1$ — общий корень. Делим:$P(x) = (x-1)^2(x+2)$, $Q(x) = (x-1)^2 \cdot 1$ — нет, проверим: $Q(x) = (x-1)^2(x+1)$... нет.

Делим $Q(x) = x^3 - x^2 - x + 1$ на $(x-1)$: частное $x^2 - 1 = (x-1)(x+1)$. Значит $Q(x) = (x-1)^2(x+1)$. Делим $P(x)$ на $(x-1)^2 = x^2 - 2x + 1$: $P(x) = (x-1)^2(x+2)$.

$\gcd(P, Q) = (x-1)^2$. Единственный общий корень: $x = 1$ (кратный).

Ответ: $x = 1$.

Что в этой задаче было главным: вычитание многочленов дало $(x-1)^2$ — потенциальный $\gcd$. Это ключевой первый шаг в алгоритме Евклида для многочленов.

• Ошибка: не проверить найденный «общий корень» подстановкой. Вычел уравнения, нашёл $x_0$, но не проверил, что он действительно корень исходных многочленов. → Всегда подставляй $x_0$ в оба многочлена.
• Ошибка: при $a = 1$ (или аналогичном случае) забыть проверить существование вещественных корней. Многочлены совпали, но не имеют вещественных корней — значит, вещественного «общего» корня нет. → Проверяй дискриминант или знак многочлена.
• Ошибка: линейная комбинация «уничтожила» $x_0$. Выбрал комбинацию $P - Q = 0$, получил тождество $0 = 0$ — информации нет. → Выбирай комбинацию, уничтожающую старший, а не все члены.
• Ошибка: забыть о кратных корнях. НОД может быть $(x - x_0)^2$, и оба многочлена ведут себя «как $(x-x_0)^2$» — проверяй кратность через производную. → Если $P(x_0) = 0$ и $P'(x_0) = 0$, корень кратный.
• Ошибка: неверно разделить с остатком. Ошибка в столбчатом делении многочленов. → Проверяй деление умножением: $(x-a_0) \cdot q(x) + r = P(x)$.