Mathematics Foundations/8.3 Fundamental Theorem of Algebra

8.3 Fundamental Theorem of Algebra Introduction The Fundamental Theorem of Algebra is one of the most significant results in the theory of polynomials. It establishes a profound connection between complex numbers and polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex root. Statement of the Theorem Theorem 8.3.1 (Fundamental Theorem of Algebra): Every non-constant polynomial where , , and are complex numbers, has at least one complex root. In other words, there exists at least one complex number such that . Corollaries Corollary 8.3.2: Every polynomial of degree with complex coefficients can be factored as where are complex numbers (not necessarily distinct). Corollary 8.3.3: A polynomial of degree has exactly roots, counting multiplicities. Historical Development The Fundamental Theorem of Algebra has a rich history: First stated by Albert Girard in 1629 Peter Roth and René Descartes made early observations about the relationship between polynomial degrees and number of roots Initial proof attempts by Jean le Rond d'Alembert (1746) contained gaps Euler provided several incomplete proofs First rigorous proof by Carl Friedrich Gauss in 1799 in his doctoral dissertation Gauss subsequently published three additional proofs (1816, 1849, 1850) Proof Approaches Several approaches exist for proving the Fundamental Theorem of Algebra: Algebraic Approaches These proofs use techniques from algebra and the properties of polynomials. Analytic Approaches These proofs use complex analysis: Liouville's Theorem Method: Shows that a non-constant polynomial must take every complex value Maximum Modulus Principle: Shows that must attain a minimum value somewhere in the complex plane Topological Approaches These proofs use concepts from topology: Argument Principle: Counts the number of zeros using contour integration Rouché's Theorem: Compares the number of zeros of two functions Sketch of a Proof We outline a proof using complex analysis: Assume has no zeros in the complex plane. Define , which would be an entire function (analytic everywhere). Show that is bounded for large . By Liouville's theorem, a bounded entire function must be constant. This implies is constant, contradicting our assumption. Therefore, must have at least one zero. Applications The Fundamental Theorem of Algebra has numerous applications: Guarantees that every polynomial equation has a complete set of solutions in the complex domain Forms the basis for factoring polynomials Explains why real polynomial equations of odd degree always have at least one real root Essential in complex analysis and algebraic geometry Provides the theoretical foundation for numerical root-finding algorithms Generalizations The theorem has been extended in various ways: Polynomials over different algebraic structures Multivariate polynomials Connections to Galois theory and field extensions Exercises Exercise 8.3.1: Prove that every polynomial with real coefficients can be factored into linear and quadratic factors with real coefficients. Exercise 8.3.2: Show that a polynomial of degree with real coefficients has at most real roots. Exercise 8.3.3: Prove that if is a polynomial with real coefficients and is a complex root, then the complex conjugate is also a root. Exercise 8.3.4: Use the Fundamental Theorem of Algebra to show that every real polynomial of odd degree has at least one real root.