Difference between revisions of "Fundamental Theorem of Algebra"
m (see also) |
m (Fundamental theorem of algebra moved to Fundamental Theorem of Algebra: Theorems as proper nouns) |
(No difference)
| |
Revision as of 17:57, 10 July 2006
Introduction
The fundamental theorem of algebra states that every nonconstant polynomial with complex coefficients has a complex root. In fact, every known proof of this theorem involves a bit of analysis, since a purely algebraic construction of the complex numbers is very hard to work with.
Proof
One of the shortest proofs of the fundamental theorem of algebra uses Liouville's Theorem of complex analysis, which says that a bounded entire function is constant. Suppose that 
were a complex polynomial with no complex roots. Then 
would be an entire function. To see that it is bounded, we must show that 
for some 
. It can easily be shown that outside a sufficiently large disc, is dominated by its leading term, which gets large in absolute value, so it suffices to work inside a disc of radius 
for some to find the minimum value. But the (closed) disc of radius is a compact set, so 
must achieve a minimum inside the disc. This minimum value is . Hence 
, so would be a bounded entire function and hence constant. This proves the theorem.
See also
(This ought to be cleaned up.)
There is another proof that uses group theory and Galois theory that is very nice, and someone (possibly me) should write it here at some point. The advantage of this proof is that it uses only a very small amount of analysis (just the Intermediate Value Theorem), and the rest is all actually algebra.
