This item is dedicated to my students of Mathematical Analysis 3 at Facultad de Ingenieria, University of Buenos Aires. First some background. We have seen in our first two classes how to solve quadratic and cubic equations with coefficients in C. The roots of the cubic equations are to be found by means of Tartaglia-Cardano' s formula. Because our course is not about algebra but about Analysis we will not study the solution of the quartic equation which is performed by means of Ludovico Ferrari's formula. We have also mentioned that there is no "algebraic formula" that gives the roots of the quintic, a fact proved by Galois, Abel and Ruffini. So, how can you be sure that any polinomial has a root in C if you can't effectively show it? The answer is the Fundamental Theorem of Algebra proved by Gauss in 1799 although its proof was completed by Ostrowski in 1920. The next proof is an existence non constructive one, which means that we will prove that there is a root but we will make no attempt to show which actually is it.
Fundamental Theorem of Algebra Let p(z) = be any polinomial with the and . Then there is a such that .
Proof. We may assume p(z) real for z real. If this is not the case consider the polinomial q(z) = ( being the same polynomial than but with its coefficients conjugated) which is real for z real and the contradiction will be met by this last polinomial q(z) if not with the original p(z).
Since p(z) does not change sign because it has no roots then the integral :
is either positive or negative but not zero.
If we introduce for then this integral become :
Now, the integrand is analitic for and for we have that the denominator is .
Because the integrand is analytic, by Cauchy theorem the integral is zero. A contradiction. Thus, the Fundamental Theorem of Algebra is true.
Note : This beautiful proof was given by N.C.Ankeny, an american mathematician who was a fellow at Princeton and the Institute for Advance Studies. He specialized in Number Theory and he wrote a book on game theory and gambling.