PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] existence of $n$th root (Theorem)
Theorem   If $a \in \mathbb{R}$ with $a>0$ and $n$ is a positive integer, then there exists a unique positive real number $u$ such that $u^n=a$ .
Proof. The statement is clearly true for $n=1$ (let $u=a$ ). Thus, it will be assumed that $n>1$ .

Define $p \colon \mathbb{R} \to \mathbb{R}$ by $p(x)=x^n-a$ . Note that a positive real root of $p(x)$ corresponds to a positive real number $u$ such that $u^n=a$ .

If $a=1$ , then $p(1)=1^n-1=0$ , in which case the existence of $u$ has been established.

Note that $p(x)$ is a polynomial function and thus is continuous. If $a<1$ , then $p(1)=1^n-a>1-1=0$ . If $a>1$ , then $p(a)=a^n-a=a(a^{n-1}-1)>0$ . Note also that $p(0)=0^n-a=-a<0$ . Thus, if $a \neq 1$ , then the intermediate value theorem can be applied to yield the existence of $u$ .

For uniqueness, note that the function $p(x)$ is strictly increasing on the interval $(0, \infty)$ . It follows that $u$ as described in the statement of the theorem exists uniquely. $ \qedsymbol$




"existence of $n$th root" is owned by Wkbj79. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: existence of nth root


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: theorem, interval, strictly increasing, function, intermediate value theorem, continuous, polynomial function, root, real number, integer, positive
There is 1 reference to this entry.

This is version 18 of existence of $n$th root, born on 2006-04-25, modified 2007-04-21.
Object id is 7867, canonical name is ExistenceOfRoot.
Accessed 1925 times total.

Classification:
AMS MSC12D99 (Field theory and polynomials :: Real and complex fields :: Miscellaneous)
 26A06 (Real functions :: Functions of one variable :: One-variable calculus)
 26C10 (Real functions :: Polynomials, rational functions :: Polynomials: location of zeros)

Pending Errata and Addenda
None.
[ View all 8 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)