Fundamental Theorem of Algebra

The Fundamental Theorem of Algebra states that every complex polynomial of degree n has exactly n zeroes, counted with multiplicity. More formally, if

p(z) = zⁿ + a_n-1z^n-1 + ... + a₀

(where the coefficients a₀, ..., a_n-1 can be real or complex numbers), then there exist (not necessarily distinct) complex numbers z₁, ..., z_n such that

p(z) = (z - z₁) (z - z₂) ... (z - z_n).

This shows that the field of complex numbers is, unlike the field of real numbers, an algebraically closed field. An easy consequence is that the product of all the roots equals (-1)ⁿ a₀ 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 rigourous proof was given by Carl Friedrich Gauss in the early 19th century. Gauss produced several different proofs throughout his lifetime. It is possible to prove the theorem by using only algebraic methods, but nowadays the proof based on complex analysis seems most natural. The difficult step in the proof is to show that every non-constant polynomial has at least one zero. This can be done by employing [Liouville's theorem]? which states that a bounded function which is holomorphic in the entire complex plane must be constant. By starting with a polynomial p without any zeros, one can pass to the holomorphic function 1/p and Liouville's theorem then yields that 1/p and therefore also p are constant.