Теорема (Безу) Остаток от деления многочлена
на двучлен
равен значению многочлена
при
, т.е.
.
Доказательство. Подставив в равенство
вместо z значение a, получим
, т.е.
. ÿ
Следствие. Многочлен
делится нацело на двучлен
тогда и только тогда, когда
.
Доказательство.
Необходимость. Пусть
делится нацело на
. Это означает, что остаток
. По теореме Безу
.
Достаточность. Пусть
, тогда по теореме Безу
, следовательно,
, т.е.
делится нацело на двучлен
. ÿ
Определение. Комплексное число a называется корнем алгебраического многочлена
, если
.
Утверждение 1. Если комплексное число a является корнем многочлена ненулевой степени
, то для
справедливо представление
(3)
в котором
‑ алгебраический многочлен степени
, причем коэффициент при
у многочлена
совпадает с коэффициентом при
у многочлена
.
Доказательство. Так как a ‑ корень многочлена
, то
, т.е.
. Вычислим разность
:



Итак,
,
где
.
Многочлен
имеет степень
и коэффициент при
равен
.ÿ
Возникает вопрос: всякий ли многочлен имеет корень? Ответ на этот вопрос дает
основная теорема алгебры, которую примем без доказательства.