The fundamental theorem of algebra, also called d'Alembert's theorem or the d'Alembert–Gauss theorem, states that every non-constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomials with real coefficients, since every real number is a complex number with its imaginary part equal to zero. Equivalently (by definition), the theorem states that the field of complex numbers is algebraically closed. The theorem is also stated as follows: every non-zero, single-variable, degree n polynomial with complex coefficients has, counted with multiplicity, exactly n complex roots. The equivalence of the two statements can be proven through the use of successive polynomial division. Despite its name, it is not fundamental for modern algebra; it was named when algebra was synonymous with the theory of equations. Additionally, the theorem cannot be proven in Algebra: transcendental methods such as, for example, topology and the theory of holomorphic functions of one complex variable are required to prove the theorem.
History Peter Roth, in his book Arithmetica Philosophica (published in 1608, at Nürnberg, by Johann Lantzenberger), 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", where "incomplete" means that at least one 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 = 4 x − 3 , {\displaystyle x^{4}=4x-3,} although incomplete, has four solutions (counting multiplicities): 1 (twice), − 1 + i 2 , {\displaystyle -1+i{\sqrt {2}},} and − 1 − i 2 . {\displaystyle -1-i{\sqrt {2}}.}
As will be mentioned again below, it follows from the fundamental theorem of algebra that every non-constant polynomial with real coefficients can be written as a product of polynomials with real coefficients whose degrees are either 1 or 2. However, in 1702 Leibniz erroneously said that no polynomial of the type x4 + a4 (with a real and distinct from 0) can be written in such a way. Later, Nikolaus Bernoulli made the same assertion concerning the polynomial x4 − 4x3 + 2x2 + 4x + 4, but he got a letter from Euler in 1742 in which it was shown that this polynomial is equal to
( x 2 − ( 2 + α ) x + 1 + 7 + α ) ( x 2 − ( 2 − α ) x + 1 + 7 − α ) , {\displaystyle \left(x^{2}-(2+\alpha )x+1+{\sqrt {7}}+\alpha \right)\left(x^{2}-(2-\alpha )x+1+{\sqrt {7}}-\alpha \right),}
with α = 4 + 2 7 . {\displaystyle \alpha ={\sqrt {4+2{\sqrt {7}}}}.}
Euler also pointed out that
x 4 + a 4 = ( x 2 + a 2 ⋅ x + a 2 ) ( x 2 − a 2 ⋅ x + a 2 ) . {\displaystyle x^{4}+a^{4}=\left(x^{2}+a{\sqrt {2}}\cdot x+a^{2}\right)\left(x^{2}-a{\sqrt {2}}\cdot x+a^{2}\right).}
… excerpt ends here. Continue reading the full article.

