Кратный корень

Кратный корень — это корень многочлена (алгебраического уравнения), который встречается в его разложении на множители более одного раза. Иными словами, если многочлен \( P(x) \) делится на \((x - a)^k\), где \( k \ge 2 \), то число \( a \) является корнем кратности \( k \). Понятие кратного корня противопоставляется понятию простого корня (корня кратности 1). Кратные корни играют важную роль в алгебре, математическом анализе и численных методах, так как их наличие существенно влияет на свойства функции, её производных и на поведение численных алгоритмов поиска корней.

Определение и обозначения

Формально, пусть \( P(x) \) — многочлен с коэффициентами из некоторого поля (например, поля действительных или комплексных чисел). Число \( a \) называется корнем многочлена \( P(x) \), если \( P(a) = 0 \). Кратностью корня \( a \) называется наибольшее натуральное число \( k \) такое, что многочлен \( P(x) \) делится на \((x - a)^k\) без остатка. Если \( k = 1 \), корень называется простым; если \( k \ge 2 \), корень называется кратным (или корнем кратности \( k \)).

В разложении многочлена на линейные множители (над полем комплексных чисел, согласно основной теореме алгебры) кратный корень соответствует множителю, возведённому в степень:

\[ P(x) = (x - a)^k \cdot Q(x), \quad Q(a) \neq 0. \]

Свойства кратных корней

Связь с производной

Одно из ключевых свойств кратных корней устанавливается с помощью производной многочлена. Если \( a \) является корнем многочлена \( P(x) \) кратности \( k \ge 2 \), то \( a \) также является корнем его производной \( P'(x) \) кратности \( k-1 \). Обратное также верно: если \( a \) — корень \( P(x) \) и \( P'(x) \), то \( a \) — кратный корень \( P(x) \). Это свойство часто используется для обнаружения кратных корней и для отделения их от простых.

Геометрическая интерпретация

Для действительных многочленов график функции \( y = P(x) \) в окрестности кратного корня ведёт себя иначе, чем в окрестности простого корня. В точке простого корня график пересекает ось абсцисс, обычно под ненулевым углом. В точке кратного корня чётной кратности (2, 4, 6…) график касается оси абсцисс, не пересекая её. В точке кратного корня нечётной кратности (3, 5, 7…) график пересекает ось, но под нулевым углом (касается оси в точке пересечения).

Алгоритмическое значение

При численном решении уравнений (например, методом Ньютона) наличие кратных корней приводит к замедлению сходимости. Метод Ньютона, имеющий квадратичную сходимость для простых корней, демонстрирует лишь линейную сходимость для кратных корней. Для преодоления этого эффекта применяют модификации, такие как метод Ньютона с учётом кратности или метод Шрёдера.

Способы определения кратности

Алгебраический критерий

Наиболее прямой способ — последовательное деление многочлена на \((x - a)\) с использованием схемы Горнера. Если остаток при первом делении равен нулю, то \( a \) — корень. Повторное деление полученного частного на \((x - a)\) показывает, является ли корень кратным. Число успешных делений без остатка равно кратности корня.

Критерий с использованием производных

Как отмечено выше, корень \( a \) является кратным тогда и только тогда, когда \( P(a) = 0 \) и \( P'(a) = 0 \). Для определения точной кратности можно последовательно вычислять значения производных в точке \( a \). Если \( P(a) = P'(a) = \dots = P^{(k-1)}(a) = 0 \), но \( P^{(k)}(a) \neq 0 \), то кратность корня равна \( k \). Этот критерий особенно удобен при аналитическом исследовании.

Вычисление наибольшего общего делителя

Для многочлена \( P(x) \) можно найти его наибольший общий делитель (НОД) с его производной \( P'(x) \). Многочлен \( D(x) = \gcd(P(x), P'(x)) \) содержит все кратные корни \( P(x) \) в степени на единицу меньшей, чем их исходная кратность. Разделив \( P(x) \) на \( D(x) \), получают многочлен, все корни которого являются простыми. Этот метод лежит в основе процедуры отделения кратных корней.

Примеры

1. Многочлен \( P(x) = (x-2)^3 (x+1) = x^4 - 5x^3 + 6x^2 + 4x - 8 \).

Корень \( x = 2 \) имеет кратность 3, корень \( x = -1 \) — простой. Производная \( P'(x) = 4x^3 - 15x^2 + 12x + 4 \) обращается в ноль при \( x = 2 \), но не при \( x = -1 \).

1. Многочлен \( P(x) = (x^2 + 1)^2 = x^4 + 2x^2 + 1 \).

Над полем действительных чисел этот многочлен не имеет действительных корней. Однако над полем комплексных чисел он имеет два кратных корня: \( x = i \) и \( x = -i \), каждый кратности 2.

1. Многочлен \( P(x) = x^3 - 3x^2 + 3x - 1 = (x-1)^3 \).

Корень \( x = 1 \) имеет кратность 3. Все производные до второго порядка включительно обращаются в ноль в этой точке, а третья производная \( P'''(1) = 6 \neq 0 \).

Применение понятия

В алгебре и теории чисел

Понятие кратного корня используется при изучении структуры многочленов, в теории полей и расширений. Наличие кратных корней связано с понятием сепарабельности многочлена. Многочлен называется сепарабельным, если все его корни (в алгебраическом замыкании поля) являются простыми. В противном случае многочлен называется несепарабельным. Над полями характеристики 0 (например, над \(\mathbb{Q}\), \(\mathbb{R}\), \(\mathbb{C}\)) любой неприводимый многочлен сепарабелен. Над полями ненулевой характеристики (например, конечными полями) существуют несепарабельные многочлены.

В математическом анализе

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

В численных методах

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

В инженерных приложениях

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

Критика и ограничения

Понятие кратного корня является чисто алгебраическим и в практических вычислениях с конечной точностью (например, на компьютере) точное определение кратности может быть затруднено. Из-за погрешностей округления корень, имеющий кратность 2, может выглядеть как два близких простых корня. Для различения этих случаев применяют специальные методы, основанные на анализе значений производной или на вычислении НОД с плавающей точкой.

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

Источники

1. Винберг Э. Б. Алгебра многочленов. — М.: МЦНМО, 2005.
2. Курош А. Г. Курс высшей алгебры. — М.: Наука, 1971.
3. Демидович Б. П., Марон И. А. Основы вычислительной математики. — М.: Наука, 1970.
4. Бурбаки Н. Алгебра. Многочлены и поля. — М.: Мир, 1965.