Let
be a polynomial of degree![]()
is a factor of
if and only
divides
or is a factor of![]()
Proof
Let
be a polynomial and let
be a number.
If
divides
then the remainder on division of
by
is zero and there is a polynomial
such that
so that
and
is a root of![]()
Now assume that
is a root of
so that
Perform long division of
by
to obtain quotient
and remainder
then write
(1)
The degree of
is less than the degree of
so
so is just a constant. Write
Now substitute
into (1) to give
![]()
so that
and we can write![]()