In a recent email Professor Diego Vaggione of the National University of Cordoba, Argentina kindly drew my attention to a note of his that appeared in *Colloquium Mathematicum* not long ago. The note that presents a short proof of the Fundamental Theorem of Algebra follows (in an HTML rendition) the message from Professor Vaggione.

Dear professor Bogomolny:

I have visited your web site on mathematics. I found it very interesting. I am enclosing a latex file of my paper "On the Fundamental Theorem of Algebra" (Colloquium Mathematicum, Vol. 73, No. 2 (1997), 193-194) in which I show that the clasical proof of the Fundamental Theorem of Algebra via Liouville can be substantialy simplified. Perhaps you can include this proof at your web site.

Best regards,

Diego Vaggione

## COLLOQUIUM MATHEMATICUM

VOL. 73 | 1997 | NO. 2 |

*ON THE FUNDAMENTAL THEOREM OF ALGEBRA*

BY

DIEGO VAGGIONE (CÓRDOBA)

In most traditional textbooks on complex variables, the Fundamental Theorem of Algebra is obtained as a corollary of Liouville's theorem using elementary topological arguments.

The difficulty presented by such a scheme is that the proofs of Liouville's theorem involve complex integration which makes the reader believe that a proof of the Fundamental Theorem of Algebra is too involved. even when topological arguments are used.

In this note we show that such a difficulty can be avoided by giving a simple proof of the Maximum Modulus Theorem for rational functions and then obtaining the Fundamental Theorem of Algebra as a corollary. The proof obtained in this way is intuitive and mnemotechnic in contrast to the usual elementary proofs of the Fundamental Theorem of Algebra.

As usual we use **C** to denote the set of complex numbers. By *D(a, ε)* we denote the set *z* ∈ **C**: *|z - a|* < ε}

LEMMA. *Let f be a function such that f(D(a,ε)) is contained in a half plane whose defining straight line contains *0*. Let k ≥ *

*.*

*Then if the limit lim*0.

_{z→a}f(z)/(z - a)^{k}exists, it isProof. Suppose *lim _{z → f(z)/(z - a)k = b≠}*0

*f(D(a, ε))*is contained in the half plane

*z*: Re

*(z)*≥ 0}

*f*with

*cf*for a suitable

*c*∈

**C**

*z*≥ 1} be a sequence such that

_{n}: n_{n→∞}

*z*=

_{n}*a*

*b*(

*z*

_{n}- a)^{k}*n*≥ 1.

1 | = lim_{n→ε} f(z)/b(z_{n} - a)^{k} |

= Re lim_{n→ε} f(z)/b(z_{n} - a)^{k} | |

= lim_{n→ε} Re f(z)/b(z ≤ 0,
_{n} - a)^{k} |

which is absurd. Q.E.D.

MAXIMUM MODULUS THEOREM FOR RATIONAL FUNCTIONS. *Let R(z) = p(z)/q(z), with p, q complex polynomials without common factors. Suppose there exists a ∈ *

**C**

*such that*q(a) ≠ 0 and |R(z)| ≤ |R(a)|, for every z ∈ D(a,ε), with ε > 0. Then R is a constant function.

Proof. Suppose that *R* is not constant. Since *p*_{1}(z) = *q(a)p(z) - p(a)q(z)**z = a**k* ≥ 1*c(z)* such that *p*_{1}*(z) = (z - a) ^{k}c(z)*

*c(a) ≠*0

*(R(z) - R(a))/(z - a) ^{k} = p*

_{1}

*(z)/[q(a)q(z)(z - a)*

^{k}] = c(z)/[q(a)q(z)]and therefore

lim* _{z→a} (R(z) - R(a))/(z - a)^{k} ≠ *0.

Since *|R(z)|≤|R(a)|* for every *z ∈ D(a, ε)*, *f(z) = R(z) - R(a)*

FUNDAMENTAL THEOREM OF ALGEBRA. *A polynomial with no zeros is constant*.

Proof. Suppose that *p(z)* is not constant and *p(z)* ≠ 0*z* ∈ **C**._{n → ∞} *|p(z)|* = ∞*a* ∈ **C***|p(a)|* ≤ *|p(z)|**z* ∈ **C**.*p(z)*, we arrive at a contradiction. Q.E.D.

**Acknowledgement**. I would like to thank María Elba Fasah for her assitance with the linguistic aspects of this note.

Facultad de Mathemática, Astronomía y Física (FAMAF)

Universidad Nacional de Córdoba

Ciudad Universitaria

Córdoba 5000, Argentina

*Received 8 August 1996*

- 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

|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny66005343