## You are here

Homeproof of fundamental theorem of algebra (Rouch\'e's theorem)

## Primary tabs

# proof of fundamental theorem of algebra (Rouché’s theorem)

The fundamental theorem of algebra can be proven using Rouché’s theorem. Not only is this proof interesting because it demonstrates an important result, it also serves to provide an example of how to use Rouché’s theorem. Since it is quite simple, it can be thought of as a “toy model” (see toy theorem) for theorems on the zeroes of analytic functions. For a variant of this proof in terms of the argument principle (of which Rouché’s theorem is a consequence), please see the proof of the fundamental theorem of algebra (argument principle).

###### Proof.

Let $n$ denote the degree of $f$. Without loss of generality, the assumption can be made that the leading coefficient of $f$ is $1$. Thus, $\displaystyle f(z)=z^{n}+\sum_{{m=0}}^{{n-1}}c_{m}z^{m}$.

Let $\displaystyle R=1+\sum_{{m=0}}^{{n-1}}|c_{m}|$. Note that, by choice of $R$, whenever $|z|>R$, $f(z)\neq 0$. Suppose that $|z|\geq R$. Since $R\geq 1$, $|z^{a}|\leq|z^{b}|$ whenever $0<a<b$. Hence, we have the following string of inequalities:

$\left|\sum_{{m=0}}^{{n-1}}c_{m}z^{m}\right|\leq 1+\sum_{{m=0}}^{{n-1}}|c_{m}||% z^{m}|\leq|z^{{n-1}}|+\sum_{{m=0}}^{{n-1}}|c_{m}||z^{{n-1}}|\leq R|z^{{n-1}}|% \leq|z^{n}|$ |

Since polynomials in $z$ are entire, they are certainly analytic functions in the disk $|z|\leq R$. Thus, Rouché’s theorem can be applied to them. Since $\displaystyle\left|\sum_{{m=0}}^{{n-1}}c_{m}z^{m}\right|\leq|z^{n}|$ for $|z|\geq R$, Rouché’s theorem yields that $z^{n}$ and $f(z)$ have the same number of zeroes in the disk $|z|\leq R$. Since $z^{n}$ has a single zero of multiplicity $n$ at $z=0$, which counts as $n$ zeroes, $f(z)$ must also have $n$ zeroes counted according to multiplicity in the disk $|z|\leq R$. By choice of $R$, it follows that $f$ has exactly $n$ zeroes in the complex plane. ∎

## Mathematics Subject Classification

30A99*no label found*12D99

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prime numbers out of sequence by Rubens373

Oct 7

new question: Lorenz system by David Bankom

Oct 19

new correction: examples and OEIS sequences by fizzie

Oct 13

new correction: Define Galois correspondence by porton

Oct 7

new correction: Closure properties on languages: DCFL not closed under reversal by babou

new correction: DCFLs are not closed under reversal by petey

Oct 2

new correction: Many corrections by Smarandache

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag

## Corrections

Minor Suggestion by Poly ✓

degree instead of order by Mathprof ✓

order by Mathprof ✓

n by Mathprof ✓