This note gives a proof, believed to be new, of the fundamental theorem of algebra; it is obtained by the use of the classical theorem of Picard: If there are two distinct values which a given entire function never assumes, the function is a constant. The proof is extremely simple and may be of interest as an application of Picard's theorem.

The fundamental theorem of algebra may be formulated as follows: An arbitrary polynomial,

where n is an integer > 0, and the a_i are constants, has at least one zero (in the complex plane). We shall use in addition to Picard's theorem only the facts that f(z) is an entire function - hence, in particular, continuous - and that f(z) has a pole at infinity.

The proof is indirect. Suppose that f(z) is never zero. I say then that f(z) also fails to take on one of the values 1/k (k = 1,2,...). In fact, suppose that there are points z_k such that f(z_k ) = 1/k (k = 1,2...). Since f(z) has a pole at infinity, |f(z)| >1 uniformly outside some circle C. The points z_k all lie within C, and hence have at least one limit point Z within C. Since f(z) is continuous,

This contradiction allows us to conclude that for some integer k, f(z) fails to take on the value 1/k. By Picard's theorem, f(z), never assuming the distinct values 0 and 1/k, must be constant, contrary to the hypothesis that the degree of f(z) was at least 1. This contradiction shows that f(z) must have at least one zero, and the proof is complete.

• Perfect numbers are complex, complex numbers might be perfect
• Fundamental Theorem of Algebra: Statement and Significance
• What's in a proof?
• More about proofs
• Axiomatics
• Intuition and Rigor
• How to Prove Bolzano's Theorem
• Early attempts
• Proofs of the Fundamental Theorem of Algebra
  • Remarks on Proving The Fundamental Theorem of Algebra
    • Sketch of a Proof by Birkhoff and MacLane
    • Sketch of Second Proof (after Cauchy)
    • Details of the Cauchy's Proof
    • Note on the Extreme Value Theorem
    • Sketch of Proof by the methods of the theory of Complex Variables (after Liouville)
    • Maximum Modulus Theorem
  • A Proof of the Fundamental Theorem of Algebra: Standing on the shoulders of giants
  • Yet Another Proof of the Fundamental Theorem of Algebra
  • Fundamental Theorem of Algebra - Yet Another Proof
  • A topological proof, going in circles and counting
  • A Simple Complex Analysis Proof
  • An Advanced Calculus Proof

|Contact| |Front page| |Contents| |Algebra| |Store|