8
$\begingroup$

I remember I saw this question somewhere in Lang's undergraduate real analysis.

Given any real number $\ge0$, show that it has a square root.

$\endgroup$

closed as off-topic by user21820, Did, Jendrik Stelzner, user91500, Holo Sep 9 '18 at 11:22

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user21820, Did, Jendrik Stelzner, user91500, Holo
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 2
    $\begingroup$ You can give an iteration sequence for it and show that it is Cauchy. Then use the completeness of $\mathbb R$. $\endgroup$ – AlexR Sep 24 '13 at 8:21
18
$\begingroup$

It depends on how you define a real number. If you use Dedekind cuts, then you should show that the set $\{ x \in \mathbb{Q}^+: x^2<2\}$ is a Dedekind cut. If you use Cauchy sequences to define a real number, you can prove that the the sequence that is obtained from Newton's method is Cauchy:

$$ a_{n+1} = \frac{a_n}{2} + \frac{1}{a_n}$$

$\endgroup$
16
$\begingroup$

This means to show that for $a\geq 0$, the Polynomial $x^2-a$ has at least one real root. Chose $x_0 := 1$ and use Newton's method with $$x_{n+1} = x_n - \frac{x_n^2 - a}{2x_n}$$ Then since $(x_n)$ is cauchy and $a \geq 0$ is a fixpoint of the iteration $$\lim_{n\to\infty} x_n^2 = a$$ $x_n \to \sqrt{a}$ and since $\mathbb R$ is complete, $\sqrt{a} \in \mathbb R$.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.