в тождество, то есть значение многочлена становится равным нулю.
Равносильность двух формулировок следует из теоремы Безу. В различных источниках любая одна из двух формулировок выбирается в качестве определения, а другая выводится в качестве теоремы.
Говорят, что корень имеет кратность, если рассматриваемый многочлен делится на и не делится на Например, многочлен имеет единственный корень, равный кратности . Выражение «кратный корень» означает, что кратность корня больше единицы.
Говорят, что многочлен имеет корней без учёта кратности, если каждый его корень учитывается при подсчёте один раз. Если же каждый корень учитывается количество раз, равное его кратности, то говорят, что подсчёт ведётся с учётом кратности.
Аналогичное утверждение верно для любого алгебраически замкнутого поля на месте поля комплексных чисел (по определению).
Более того, многочлен с вещественными коэффициентами можно записать в виде
где — (в общем случае комплексные) корни многочлена , возможно с повторениями, при этом если среди корней многочлена встречаются равные, то их общее значение называется кратным корнем, а количество — кратностью этого корня.
Число комплексных корней многочлена с комплексными коэффициентами степени с учётом кратности равно . При этом все чисто комплексные корни (если они есть) многочлена с вещественными коэффициентами можно разбить на пары сопряжённых одинаковой кратности. Таким образом, многочлен четной степени с вещественными коэффициентами может иметь с учётом кратности только чётное число вещественных корней, а нечётной — только нечётное.
Корни многочлена связаны с его коэффициентами формулами Виета.
В случае, если все коэффициенты многочлена рациональны, то нахождение его корней приводится к нахождению корней многочлена с целыми коэффициентами. Для рациональных корней таких многочленов существуют алгоритмы нахождения перебором кандидатов с использованием схемы Горнера, причем при нахождении целых корней перебор может быть существенно уменьшен приемом чистки корней. Также в этом случае можно использовать полиномиальный LLL -алгоритм.