## Cauchy’s Bound for the Roots of a Polynomial

#### Preamble

This post serves a number of purposes, the first to demonstrate the use of LaTeX in WordPress, the second to provide a convenient location for the proof of this result which while elementary seems difficult to find clearly stated and proven on-line.

#### Background

When searching for the roots of a polynomial it is advantageous to have some idea of the part of the real line or complex plane in which they lie. Once the roots are localised in this manner numerical techniques can be employed to find them.

There are a number of ways of localizing roots, particularly real roots, from the rational roots theorem that provides a list a candidates for the rational roots of a polynomial, through Descartes’ rule of signs which provides bounds on the number of positive and negative roots, through various bounds on the roots, of which the Cauchy bound is an example, through to Sturm sequences. All of these methods have their uses, but here I want to give the Cauchy bound.

#### Cauchy’s Bound on the Roots of a Polynomial

Let:

be a monic polynomial of degree , then if is a root of , that is a solution of :

**Proof**

We will start by assuming that is a solution of that has absolute value greater than , since if it were otherwise the bound would hold trivially. Now rewrite as:

Now if we write then since:

as and for real we have we get:

hence the expression inside the square brackets is a finite geometric series so:

Therefore as :

.

Then:

.

and so , which proves what was to be proven.

#### Example

Consider , the Cauchy bound for its the roots is , and the roots are (approximately) , and as expected.

[Conclusions on LaTeX on wordpress: the results look OK, but the system is temperamental, at least twice now having stripped out the back slashes from the LaTeX, also on occasion it fails to parse LaTeX code that it parsed earlier.]

There has been some interest in similar bounds on the roots of polynomials in the recent Mathematical Gazette which arrived yesterday (18th March 2009, Note 93.02, Volume 93 Issue 526, Pages 87-88) where the bound:

is obtained by Alan Cohen, but this uses the bound on the largest eigen value of the companion matrix of the polynomial of Gerschgorin. For proof of this we are refered to the classic; Golub and Van Loan’s “Matrix Computations”.

This bound is slightly better, but the proof is not as accessible as that of the Cauchy bound.

I submitted a note based on this Cauchy Bound post to The Mathematics Gazette some time ago as a comment on Alan Cohen’s note and it should be published in the next edition. Interestingly enough the typography of the proof copy is not as nice as that in this post. (CB 19-Jan-2010)

CB

CaptainBlackMarch 19, 2009 at 07:59

[…] 1. https://captainblack.wordpress.com/2009/03/08/cauchys-upper-bound-for-the-roots-of-a-polynomial/ […]

More on Bounds on the Roots of Polynomials « Just StuffApril 27, 2009 at 08:44

shouldn’t the Cauchy bound on the example be 4 instead of 15? (max_{I=0 to n-1} not max_{I=0 to n}

bruinSeptember 2, 2016 at 04:45

No, It would not matter as

CaptainBlackSeptember 2, 2016 at 15:47