# Real analysis

• Jun 28th 2013, 01:02 AM
Mondella
Real analysis
P/s i need help to prove that every positive real no has a unigue positive square root
• Jun 28th 2013, 07:01 AM
Plato
Re: Real analysis
Quote:

Originally Posted by Mondella
P/s i need help to prove that every positive real no has a unigue positive square root

Any proof of this depends upon the set of definitions and axioms with the sequence of theorems you have.

Here is a general approach. If $c\in\mathbb{R}^+$ prove that if $0 then there is at most one such $t$.
Let $E=\{x\in\mathbb{R}^+:x^2. You want to show that $E\ne\emptyset$ and $E$ is bounded above.
If you can show those then use the completeness property.

Hint: let $t=\frac{c}{1+c}$. Is it true that $t\in E~?$

What can you do with that?
• Jun 28th 2013, 12:50 PM
Lord Voldemort
Re: Real analysis
Plato, can you explain why this doesn't work? Given distinct real numbers x and y in R, suppose they have the same square root z. By definition, z = sqrt(x) and z=sqrt(y), so we have z^2=x=y which is a contradiction, so two distinct real numbers can not have the same square root.
• Jun 28th 2013, 02:11 PM
Plato
Re: Real analysis
Quote:

Originally Posted by Lord Voldemort
Plato, can you explain why this doesn't work? Given distinct real numbers x and y in R, suppose they have the same square root z. By definition, z = sqrt(x) and z=sqrt(y), so we have z^2=x=y which is a contradiction, so two distinct real numbers can not have the same square root.

How do does that prove that if $x\in\mathbb{R}^+$ that $\sqrt{x}$ exists at all?