## You are here

Homeproof of fundamental theorem of algebra (argument principle)

## Primary tabs

# proof of fundamental theorem of algebra (argument principle)

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

*Proof.* Consider the rational function

$g(z)={zf^{{\prime}}(z)\over f(z)}.$ |

Denote the degree of the polynomial $f$ by $n$. Then we can write

$g(z)={nz^{n}+\hbox{lower degree terms}\over z^{n}+\hbox{lower degree terms}}.$ |

This makes it clear that $\lim_{{z\to\infty}}g(z)=n$. Hence there exists a real constant $R$ such that $|g(z)-n|<1/2$ whenever $|z|\geq R$.

Consider the integral

$I=\oint_{{|z|=R}}{f^{{\prime}}(z)\over f(z)}dz.$ |

This can be rewritten as

$I=\oint_{{|z|=R}}{g(z)\over z}dz.$ |

Split the integral into two parts, writing $I=I_{1}+I_{2}$ where

$I_{1}=\oint_{{|z|=R}}{n\over z}dz,\qquad I_{2}=\oint_{{|z|=R}}{g(z)-n\over z}|% dz|.$ |

The integral $I_{1}$ is easy: $I_{1}=2\pi in$. As for $I_{2}$, we shall bound it using our bound for $|g(z)-n|$.

$|I_{2}|\leq\oint_{{|z|=R}}{|g(z)-n|\over|z|}dz\leq{1\over 2}\oint{|dz|\over|z|% }=\pi.$ |

Since polynomials are analytic functions in the whole complex plane, $f$ is an analytic function of $z$ when $|z|\leq R$, so the argument principle applies and we conclude that $I/2\pi i$ must equal the number of zeros of $f$, counted with multiplicity. Among other things, this means that $I/2\pi i$ must be an integer. By explicit computation, we already know that $I_{1}/2\pi i$ is also an integer. Hence $|I/(2\pi i)-I_{1}/(2\pi i)|$ is an integer. But

$\left|{I\over(2\pi i)}-{I_{1}\over(2\pi i)}\right|=\left|{I_{2}\over(2\pi i)}% \right|\leq{1\over 2}.$ |

Now, the only integer smaller that $1/2$ in absolute value is $0$, so we must have $I=I_{1}$. This implies that $f$ has $n$ zeros (counting with multiplicity) when $|z|<R$. (By the way we chose $R$, $f(z)\neq 0$ whenever $z\geq R$, so $f$ has exactly n zeros in the whole 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: 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

Sep 26

new question: Latent variable by adam_reith