Factoring a Polynomial
Remember ``factoring polynomials''? Consider the second-order polynomial
It is second-order because the highest power of
![$ x$](http://www.dsprelated.com/josimages_new/mdft/img25.png)
is
![$ 2$](http://www.dsprelated.com/josimages_new/mdft/img109.png)
(only
non-negative integer powers of
![$ x$](http://www.dsprelated.com/josimages_new/mdft/img25.png)
are allowed in this context). The
polynomial is also
monic
because its leading coefficient, the
coefficient of
![$ x^2$](http://www.dsprelated.com/josimages_new/mdft/img110.png)
, is
![$ 1$](http://www.dsprelated.com/josimages_new/mdft/img111.png)
. By the
fundamental theorem of algebra
(discussed further in §
2.4), there are exactly two
roots
(or
zeros) of any
second order polynomial. These roots may be real or complex (to be defined).
For now, let's assume they are both real and denote them by
![$ r_1$](http://www.dsprelated.com/josimages_new/mdft/img112.png)
and
![$ r_2$](http://www.dsprelated.com/josimages_new/mdft/img113.png)
. Then we have
![$ p(r_1)=0$](http://www.dsprelated.com/josimages_new/mdft/img114.png)
and
![$ p(r_2)=0$](http://www.dsprelated.com/josimages_new/mdft/img115.png)
, and we can write
This is the
factored form of the monic polynomial
![$ p(x)$](http://www.dsprelated.com/josimages_new/mdft/img117.png)
.
(For a non-monic polynomial, we may simply divide all coefficients
by the first to make it monic, and this doesn't affect the zeros.)
Multiplying out the symbolic factored form gives
Comparing with the original polynomial, we find we must have
This is a system of two equations in two unknowns. Unfortunately, it is a
nonlinear system of two equations in two
unknowns.2.1 Nevertheless, because it is so small,
the equations are easily solved. In beginning algebra, we did them by
hand. However, nowadays we can use a software tool such as Matlab or
Octave to solve very large systems of linear equations.
The factored form of this simple example is
Note that polynomial factorization rewrites a monic
![$ n$](http://www.dsprelated.com/josimages_new/mdft/img80.png)
th-order
polynomial as the product of
first-order monic polynomials,
each of which contributes one zero (root) to the product. This
factoring business is often used when working with
digital
filters [
68].
Next Section: The Quadratic FormulaPrevious Section: DFT Math Outline