Fundamental Theorem of Algebra
Statement and Significance
We already discussed the history of the development of the concept of a number. Here I would like to undertake a more formal approach. Thus, in the beginning there was counting. But soon enough people got concerned with equation solving. (If I saw 13 winters and my tribe's law allows a maiden to marry after her 15th winter, how many winters should I wait before being allowed to marry the gorgeous hunter who lives on the other side of the mountain?) The Fundamental Theorem of Algebra is a theorem about equation solving. It states that every polynomial equation over the field of complex numbers of degree higher than 1 has a complex solution. Polynomial equations are in the form
P(x) = a_{n}x^{n} + a_{n-1}x^{n-1} + ... + a_{1}x + a_{0} = 0, |
where a_{n} is assumed non-zero (for why to mention it otherwise?), in which case n is called the degree of the polynomial P and of the equation above. a_{i}'s are known coefficients while x is an unknown number. A number a is a solution to the equation P(x) = 0 if substituting a for x renders it identity: P(a) = 0. The coefficients are assumed to belong to a specific set of numbers where we also seek a solution. The polynomial form is very general but often studying P(x) = Q(x) is more convenient.
To see how this works let's start with the counting numbers (the set N of numbers 1,2,3,...), and the simplest equation x + a = b. For example, x + 5 = 12 has a solution x = 12 - 5 = 7. Also, x + 4 = 20 has a solution x = 20 - 4 = 16. Further, x + 20 = 4 has a solution x = 4 - 20 = ?. Oops, there is a problem. What is 4-20 among the counting numbers? No number exists such that when added to 20 gives 4. We say that the set of counting numbers is not algebraically closed. Introduction of negative numbers (note: I do not explain here how to do this) eases the problem:
Any equation x + a = b where a,b∈N has a solution x∈Z, where Z is the set of integers numbers (plus, minus whole numbers and zero). |
Actually, we get a little more than expected. For, once we accepted the negatives, we have a stronger result:
Any equation x + a = b where a,b∈Z has a solution x∈Z. |
Even if the coefficients are allowed to be negative, the equation still has a solution in Z. Now let's consider other equations over Z: 5x - 10 = 0. x = 10/5 = 2. Also, 11x + 132 = 0. x = -132/11 = -12. Further, 5x - 11 = 0. x = 11/5 = ?. You see? This happened again. Is there an integer such that when multiplied by 5 gives 11? No, Z is not algebraically closed either. However, introduction of rational numbers Q seems to solve the problem:
Any equation ax + b = 0 where a,b∈Z has a solution x∈Q |
Moreover, we again get a stronger result, viz.:
Any equation ax + b = 0 where a,b∈Q has a solution x∈Q |
Even when the coefficients are taken to be rational the equation still has a rational solution. However, Q is still not algebraically closed. For there are equations with rational coefficients (e.g., x^{2} = 2) that have no rational solution. This leads to the set R of real numbers. R is a big field but not yet algebraically closed: the innocently looking equation x^{2} + 1 = 0 with real coefficients has no real solution. So eventually we introduce complex number field P. We expect that polynomial equations with real coefficients unsolvable among reals will have complex solutions. This is indeed so. But the Fundamental Theorem of Algebra states even more. It states that our perseverance paid off handsomely. Not only equations with real coefficients have complex solutions. Every polynomial equation with complex coefficients has at least one complex solution. In other words, the field of complex numbers is algebraically closed!
Finally! Complex numbers are really perfect for solving equations.
- 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
- 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
Complex Numbers
- Algebraic Structure of Complex Numbers
- Division of Complex Numbers
- Useful Identities Among Complex Numbers
- Useful Inequalities Among Complex Numbers
- Trigonometric Form of Complex Numbers
- Real and Complex Products of Complex Numbers
- Complex Numbers and Geometry
- Plane Isometries As Complex Functions
- Remarks on the History of Complex Numbers
- Complex Numbers: an Interactive Gizmo
- Cartesian Coordinate System
- Fundamental Theorem of Algebra
- Complex Number To a Complex Power May Be Real
- One can't compare two complex numbers
- Riemann Sphere and Möbius Transformation
- Problems
|Contact| |Front page| |Contents| |Algebra|
Copyright © 1996-2018 Alexander Bogomolny65845762