Fundamental theorem of algebra

From TCS Wiki
Jump to navigation Jump to search

The fundamental theorem of algebra is a proven fact about polynomials, sums of multiples of integer powers of one variable. It is based on mathematical analysis, the study of real numbers and limits. It was first proven by German mathematician Carl Friedrich Gauss. It says that for any polynomial [math]\displaystyle{ f(x) }[/math] with the degree [math]\displaystyle{ n }[/math], where [math]\displaystyle{ n\gt 0 }[/math], the polynomial equation [math]\displaystyle{ f(x)=0 }[/math] must have at least one root [math]\displaystyle{ x }[/math], and not more than [math]\displaystyle{ n }[/math] roots altogether.

Some remarks:

  • the degree [math]\displaystyle{ n }[/math] of a polynomial is the highest power of [math]\displaystyle{ x }[/math] that occurs in it
  • some of the roots may be complex numbers
  • it is possible to 'count' a root [math]\displaystyle{ r }[/math] twice, if [math]\displaystyle{ r }[/math] is still a root of the polynomial [math]\displaystyle{ g(x) = f(x)/(x-r) }[/math]; if you will 'count' the roots in this way, then the polynomial [math]\displaystyle{ f(x) }[/math] with degree [math]\displaystyle{ n }[/math] has exactly [math]\displaystyle{ n }[/math] roots
  • it is not a theorem of pure algebra. It is not possible to prove this theorem without an element of analysis. This element has been reduced to the observation that, firstly, for polynomial functions [math]\displaystyle{ y=f(x) }[/math] of odd degree the pair of values [math]\displaystyle{ f(x) }[/math] and [math]\displaystyle{ f(-x) }[/math] has opposite positive and negative signs when [math]\displaystyle{ x }[/math] is large enough. And secondly, that any polynomial function [math]\displaystyle{ y=f(x) }[/math] on the real line that takes positive and negative values for [math]\displaystyle{ y }[/math] has to cross [math]\displaystyle{ x }[/math] axis.


Template:Math-stub