The existence of nth roots

1. Introduction

We have seen the completeness axiom for the reals, the idea of a monotonic sequence, and we have seen why every bounded monotonic sequence converges to a limit. These are important ideas and essential for much mathematics, including a proper understanding of why square roots (and also cube roots, fourth roots, and solutions of other algebraic equations) exist and how and why we can define and use numbers such as and . Therefore I consider it essential for this course that you have seen and appreciate at least some of this sort of material, and that's what this web page starts to do.

Some of this material is more difficult than much of the rest of the course. You should at a minimum read and appreciate the main theorem here, in particular noting that it follows in an essential way from the Completeness Axiom for the reals.

2. Roots

We aim to prove that th roots exist of all positive , for all . First we need a lemma related to Bernoulli's Inequality.

Lemma.

Suppose 0<<12 where 1 is a natural number. Then (1+) <1+2 .

Proof.

This is proved by induction on . For =1 we have (1+) 1=1+<1+2 for all >0, so this case is clear.

Now suppose 2 and that the statement of the lemma holds for -1. Let satisfy 0<<12 . Then certainly <12 -2 so we have

(1+) -1<1+2(-1)

by the induction hypothesis. Thus

(1+) <(1+2(-1) ) (1+)=1+(2-1) +2(-1) 2

and as <12 <12(-1) we have >2(-1) 2 and

(1+) <1+2

as required.

We now prove

Theorem on roots.

Let 2,3,4, and >0. Then there is some such that = .

Proof.

The idea is to mimic the proof that any real number has a rational sequence converging to it but instead of devising our sequence to converge to we try to arrange that converges to . Then will converge to some with = .

Define ( ) by induction as follows. We let 0=1=0. Now, supposing is defined with both 0 and < , let 0,1,2,3, be the greatest integer such that + < and let +1 be + .

Such a exists by the Archimedean Property and the least number principle: in the case when >1 we clearly have + as 0 , so by the Archimedean Property there is some integer with + . If 0 is the least such , then our is 0-1 . If 1 it is easier: again, since 0 the number = has + so we take the least such 0 and = 0-1 again.

This construction of the values is performed for all , and the result is clearly a monotonic nondecreasing sequence (since we only ever added nonnegative numbers, never subtracted them) which is bounded above by 1 (if 1 ) or by (if >1) and hence converges to some limit by the Monotone Convergence Theorem.

We claim that = , and we shall prove this by showing that > and < are both impossible.

First:

Subproof.

Assume > .

Then let = - 1 -1 . As ( ) converges to there is some with - <. Then

- = - -1 + -2 ++ -2 + -1 < -1 < - ,

so - < - . This is impossible as it would mean that >; but by construction < for all .

Also:

Subproof.

Assume < .

Then choose such that

1 < 2 , - 2 -1 .

Then

+1 = 1+1 1+2

as 1 <12 , using the lemma. So

+1 +2 -1 <.

This last inequality is by choice of such that 1< - 2 -1 .

This gives a contradiction, for < and , and so +1 < . By construction +1= + where is largest possible giving +1 < . But + and + +1 +1 so

+ +1 +1 <

contradicting our choice of .

Therefore the limit of ( ) satisfies = , as required.

This was nice, but quite hard work. As a reward, we get a definition of for positive and integer , . (Define to be the th root of .) This idea of rational powers has a couple of nice properties that will be useful later.

Proposition.

If 0<< and then 0< 1 < 1 .

Proof.

If not, 1 1 , so by a result on ordered fields, raising to the th power gives ( 1 ) = ( 1 ) = .