In mathematics, the fundamental theorem of algebra states that every nonconstant singlevariable polynomial with complex coefficients has at least one complex root. Equivalently, the field of complex numbers is algebraically closed.
Sometimes, this theorem is stated as: every nonzero singlevariable polynomial with complex coefficients has exactly as many complex roots as its degree, if each root is counted up to its multiplicity. Although this at first appears to be a stronger statement, it is a direct consequence of the other form of the theorem, through the use of successive polynomial division by linear factors.
In spite of its name, there is no purely algebraic proof of the theorem, since any proof must use the completeness of the reals (or some other equivalent formulation of completeness), which is not an algebraic concept. Additionally, it is not fundamental for modern algebra; its name was given at a time in which algebra was mainly about solving polynomial equations with real or complex coefficients.
Contents
History
Peter Rothe (Petrus Roth), in his book Arithmetica Philosophica (published in 1608), wrote that a polynomial equation of degree n (with real coefficients) may have n solutions. Albert Girard, in his book L'invention nouvelle en l'Algèbre (published in 1629), asserted that a polynomial equation of degree n has n solutions, but he did not state that they had to be real numbers. Furthermore, he added that his assertion holds “unless the equation is incomplete”, by which he meant that no coefficient is equal to 0. However, when he explains in detail what he means, it is clear that he actually believes that his assertion is always true; for instance, he shows that the equation x^{4} = 4x − 3, although incomplete, has four solutions (counting multiplicities): 1 (twice), −1 + i√2, and −1 − i√2.
As will be mentioned again below, it follows from the fundamental theorem of algebra that every nonconstant polynomial with real coefficients can be written as a product of polynomials with real coefficients whose degree is either 1 or 2. However, in 1702 Leibniz said that no polynomial of the type x^{4} + a^{4} (with a real and distinct from 0) can be written in such a way. Later, Nikolaus Bernoulli made the same assertion concerning the polynomial x^{4} − 4x^{3} + 2x^{2} + 4x + 4, but he got a letter from Euler in 1742^{[1]} in which he was told that his polynomial happened to be equal to
Full article ▸
