Fundamental theorem of algebra

The fundamental theorem of algebra, also called d'Alembert's theorem or the d'Alembert–Gauss theorem, tells us something very important about equations. It says that every non-constant equation with one variable and coefficients that are complex numbers always has at least one solution, also known as a root. This means even if the numbers in the equation seem very complicated, there is always a answer where the equation balances perfectly.

This theorem works for equations with real numbers too, because every real number can be thought of as a special kind of complex number where the imaginary part is zero. In other words, the collection of all complex numbers is a special kind of mathematical world where every kind of these equations can be solved completely.

Another way to say this theorem is that any equation of a certain level of complexity, called degree n, will have exactly n solutions when we count them carefully, including when some solutions repeat. This idea connects many parts of mathematics and shows how the world of numbers fits together perfectly. Even though it has “fundamental” in its name, proving this theorem needs more advanced mathematics than basic algebra.

History

Peter Roth, in his book published in 1608, suggested that equations with numbers can have as many answers as their highest power. Later, Albert Girard agreed but didn’t say the answers needed to be real numbers.

In the 1700s and 1800s, many smart people tried to prove this idea fully. Some came close but missed small parts. The first complete proof was shared by Argand in 1806. Since then, others have added their own proofs and ideas to understand this important math rule better.

Equivalent statements

The Fundamental Theorem of Algebra can be described in several different ways, all of which mean the same thing. One way says that any equation with numbers and letters (called a polynomial) that has more than one letter will always have at least one solution, even if that solution includes numbers that are not just regular whole numbers.

Another way to think about it is that any such equation can be broken down into smaller pieces, each of which is very simple. These smaller pieces show us exactly where the solutions to the original equation are hidden. This helps us understand that solutions always exist, even if we need special numbers to find them.

Proofs

All the ways to prove this important math idea need some ideas from mathematical analysis or topology, like the idea of continuity of functions. Some proofs also use ideas about differentiable or analytic functions. Because of this, some people say the Fundamental Theorem of Algebra isn’t really about algebra.

Some proofs only show that a polynomial with real numbers as coefficients must have a complex root. This is enough to prove the bigger idea because any polynomial with complex numbers as coefficients can be linked to one with real coefficients.

There are many different ways to prove this theorem. Some use ideas from complex analysis, like the maximum modulus principle or Liouville's theorem. Others use linear algebra and ideas about eigenvalues of matrices. There are also proofs that use topology, looking at how shapes change.

One way to think about it uses the idea of winding numbers. If a polynomial has no roots, it creates a special kind of shape on a sphere. But this leads to a problem because the sphere isn’t “flat” in the way this shape would need it to be.

These different proofs show how deep and connected math can be, linking algebra, analysis, and geometry in surprising ways.

Corollaries

The fundamental theorem of algebra tells us that every polynomial equation has a solution. This means that complex numbers, which include all real numbers, are complete in a special way.

One important result is that any polynomial with real numbers as inputs can be broken down into simpler parts. These parts include equations with real solutions and equations that need imaginary numbers to solve them. This helps us understand how many solutions a polynomial might have and where they are located.