In mathematics, the **fundamental theorem of algebra** states that every complex polynomial of degree *n* has exactly *n* zeroes, counted with multiplicity. More formally, if

(where the coefficients *a*_{0}, ..., *a*_{n−1} can be real or complex numbers), then there exist (not necessarily distinct) complex numbers *z*_{1}, ..., *z*_{n} such that

This shows that the field of complex numbers, unlike the field of real numbers, is algebraically closed. An easy consequence is that the product of all the roots equals (−1)^{n} *a*_{0} and the sum of all the roots equals -*a*_{n−1}.

The theorem had been conjectured in the 17th century but could not be proved since the complex numbers had not yet been firmly grounded. The first rigorous proof was given by Carl Friedrich Gauss in 1799. (An almost complete proof had been given earlier by d'Alembert.) Gauss produced several different proofs throughout his lifetime.

All proofs of the fundamental theorem necessarily involve some analysis, or more precisely, the concept of continuity of real or complex polynomials. The main difficulty in the proof is to show that every non-constant polynomial has at least one zero. We mention approaches via complex analysis, topology, and algebra:

- Find a closed disk
*D* of radius *r* centered at the origin such that |*p*(*z*)| > |*p*(0)| whenever |*z*|≥*r*. The minimum of |*p*(*z*)| on *D* is therefore achieved at some point *z*_{0} in the interior of *D*. If |*p*(*z*_{0})| = *m* > 0, then 1/*p*(*z*) is a holomorphic function in the entire complex plane. Applying Liouville's theorem which states that a bounded entire function must be constant, we conclude that a polynomial without complex zeroes must be constant. As an alternative to Liouville's theorem, we can take a Taylor series expansion of *p*(*z*) at *z*_{0}: for some *k*>0 and some non-zero constant *c*_{k}, we have *p*(*z*)=*p*(*z*_{0})+*c*_{k}(*z*-*z*_{0})^{k}+... It follows that for positive ε sufficiently small,

- For the topological proof by contradiction, assume
*p*(*z*) has no zeros. Choose a large positive number *R* such that for |*z*|=*R*, the leading term *z*^{n} of *p*(*z*) dominates all other terms combined. As *z* traverses the circle |*z*|=*R* once counter-clockwise, *p*(*z*), like *z*^{n}, winds *n* times counter-clockwise around 0. At the other extreme, with |*z*|=0, the "curve" *p*(*z*) is simply the single (nonzero) point *p*(0), which clearly has a winding number of 0. If the loop followed by *z* is continuously deformed between these extremes, the path of *p*(*z*) also deforms continuously. Since *p*(*z*) has no zeros, the path can never cross over 0 as it deforms, and hence its winding number with respect to 0 will never change. However, given that the winding number started as *n* and ended as 0, this is absurd. Therefore, *p*(*z*) has at least one zero.

- Replacing
*p*(*z*) by its product with its complex conjugate, it suffices to check that the fundamental theorem is true for all polynomials with real coefficients. This can be proved by induction on the highest power of 2 dividing the degree of *n*. For *n* odd, a real polynomial of degree *n* has a real root by the intermediate value theorem. For *n* even, the number of two element subsets of an *n* element set is divisible by one less factor of 2 than *n*. We can therefore apply the induction hypothesis to the polynomials whose roots are given by symmetric functions in pairs of roots of *p*(*z*). If we know *z*_{i}+*z*_{j} and *z*_{i}*z*_{j} are both complex numbers, then we can use the quadratic formula to show that *z*_{i} and *z*_{j} are in **C**.

The name of the theorem is now considered something of a misnomer by many mathematicians, since it is really a theorem of analysis, not of algebra.

## External links

Last updated: 08-10-2005 09:37:09

Last updated: 08-17-2005 02:37:32