An Inequality Lemma for the Cauchy Bound of Real Roots

The following result is used my proof of Cauchy's Bound for real roots.

Lemma 1: abs(c)ⁿ = abs(cⁿ)

Proof:

(1) Assume that c is nonnegative

(2) Then, cⁿ is nonnegative

(3) Then, abs(cⁿ) = cⁿ

(4) Since abs(c) = c, it follows that: cⁿ = abs(c)ⁿ

(5) Assume that c is negative

(6) We can assume that n is odd

[Otherwise, cⁿ = (-c)ⁿ = abs(c)ⁿ = abs(cⁿ) ]

(8) abs(cⁿ) = -cⁿ = (-1)ⁿ*cⁿ = (-c)ⁿ = abs(c)ⁿ

QED

Lemma 2:

Let:

a_ncⁿ = -a_n-1c^n-1 + .... + -a₀

Then:

abs(a_n)*abs(c)ⁿ ≤ abs(a_n-1)*abs(c)^n-1 + ... + abs(a₀)

Proof:

(1) Using the Triangle Inequality (see Lemma 4, here), we know that:

abs(-a_n-1c^n-1 + .... + -a₀) ≤ abs(-a_n-1c^n-1) + ... + abs(-a₀)

so that:

abs(a_ncⁿ) ≤ abs(-a_n-1c^n-1) + ... + abs(-a₀)

(2) Using a basic property of inequalities (see Lemma 1, here):

abs(a_n)*abs(cⁿ) = abs(a_ncⁿ)

and likewise:

abs(-a_n-1)*abs(c^n-1) = abs(-a_n-1c^n-1)

...

(3) So we have:

abs(a_n)*abs(cⁿ) ≤ abs(-a_n-1)*abs(c^n-1) + ... + abs(-a₀)

(4) Using Lemma 1 above, we have:

abs(a_n)*abs(c)ⁿ ≤ abs(a_n-1)*abs(c)^n-1 + ... + abs(a₀)

QED