# Details of the Proof by Cauchy

The task of wrestling this idea into a respectable proof has flustered a good many authors. For the sake of completeness, I paraphrase the best version I have yet found, from JMH Olmsted, *Advanced Calculus *Appleton Century Crofts, 1961, p 516:

Express the complex number -*b*_{0}/*b _{m}* in the form -

*b*

_{0}/

*b*= , and let . Let

_{m}*z*

_{1}= , where

*r*is yet to be determined. Then for the dominant term under conditions of small

*r*we have

.

We may thus rewrite *Q(z _{1} )* in the form

.

Taking absolute values, and applying the triangle inequality, we have

We now choose *r* so small that the quantity
[|*b*|* _{m+1}r* + ... + |

*b*|

_{n}*r*] < |

^{n-m}*b*

_{0}|/

*t*, and also so small that

*r*<

^{m}*t*(so that |

*t*-

*r*| =

^{m}*t*-

*r*). Then

^{m}

This contradicts the assumption that
= |*b*_{0}| is the
global minimum value for *Q(z)*, QED.

"But, that *s(z)* = |*P(z)*| assumes a global minimum value over **C, **we must prove thus**." **[I am here paraphrasing Euclid. The climactic conclusion of Euclid’s *Elements* is the construction of the five regular solids (tetrahedron, cube, octahedron, icosahedron and dodecahedron), and the demonstration that there can be no others (XIII. 18). There follows the anticlimactic proposition "But that *the angle of the equilateral and equiangular pentagon is a right angle and a fifth *we must prove thus." Apparently, in the age of papyrus (before word-processing software), it was not so easy to repair an error of omission by inserting the material back at a more natural location.]

It is *not* true in general that the absolute value of a continuous (or even
differentiable) function over **C** assumes a global minimum – in this regard, polynomials
are special. For example, the exponential function *e ^{z}* =

*e*=

^{x+iy}*e*(cos(

^{x}*y*) +

*i*sin(

*y*)), which, we have already observed, has no roots over

**C**, has magnitude |

*e*| =

^{x+iy}*e*, which is asymptotic to its greatest lower bound (0), but which never assumes 0 as a value.

^{x}In order to demonstrate that the absolute value of the polynomial *P(z)* assumes its minimal value, we examine its
behavior for large |*z*|, as well as invoke the *Extreme Value Theorem* as applied
to a real-valued function on a closed disk in **C**.

We have *P(z)* = *a _{n}z^{ n} + a_{n -1}z^{ n -1} + ... + a_{1}z^{1} + a_{0}*.
Factoring out

*z*, the highest power of

^{n}*z*, we have

*P(z)*=

*z*(

^{n}*a*). Taking absolute values, |

_{n}+ a_{n -1}z^{ -1}+ ... + a_{1}z^{1-n}+ a_{0}z^{-n}*P(z)*| = |

*z*||

^{n}*a*|. Now choose

_{n}+ a_{n -1}z^{ -1}+ ... + a_{1}z^{1-n}+ a_{0}z^{-n}*R*sufficiently large that for each

*j*<

*n*,

(*) |

whenever |*z*| > R.

Then for |*z*| > R, |*a _{n} + a_{n -1}z^{ -1} + ... + a_{1}z^{1-n} + a_{0}z^{-n}*|≥|

*a*|/2, and |

_{n}*P(z)*| >

*R*/2 (See Figure 6.)

^{n}a_{n}

**Figure 6**.

Behavior of |*a _{n} + a_{n-1}z^{-1} + ... + a_{0}z^{-n}*| for large |

*z*|.

*a*is shown as the purple vector drawn from the origin. The remaining terms form the red zig-zag, whose vector sum is drawn in blue. By taking |

_{n}*z*| suffciently large, this vector sum can be guaranteed to be smaller in magnitude than |

*a*|/2, the radius of the circle with center at

_{n}*a*, ensuring that |

_{n}*a*| for large |

_{n}+ a_{n-1}z^{-1}+ ... + a_{0}z^{-n}*z*| (the magnitude of the vector drawn in green) is at least |

*a*|/2.

_{n}Now choose any *z*_{2} such that |*P(z _{2})*| =

*u*> 0. Choose

*R*> 2(1 + u)/|a

_{n}|, or larger, so that (*) is simultaneously satisfied . Then for |

*z*| > R, we have |

*P(z)*| >

*u*.

Clearly, the minimal value, if any, of |*P(z)*| on the closed disc |*z*| ≤ R is the global minimum of |*P(z)*|, since |*P(z _{2})*| =

*u*, but |

*P(z)*| >

*u*outside this disc.

*Extreme Value Theorem*to conclude that |

*P(z)*| assumes a minimal value on the closed disc |

*z*| ≤ R, which is a compact set. Then this minimal value is the global minimal value for |

*P(z)*| over the entire complex plane, QED.

[an error occurred while processing this directive]

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

Copyright © 1996-2018 Alexander Bogomolny