16
$\begingroup$

Possible Duplicate:
On the sequence $x_{n+1} = \sqrt{c+x_n}$

Where does this sequence converge? $\sqrt{7},\sqrt{7+\sqrt{7}},\sqrt{7+\sqrt{7+\sqrt{7}}}$,...

  • 1
    @Marvis, it's a little weird to close a question from November 2010 as a duplicate of a question from March 2012, isn't it?2012-06-20
  • 0
    @GerryMyerson The other question was repurposed to cut down on duplicates.2012-06-20
  • 0
    @Marvis, maybe this question should have been repurposed, instead? Maybe the general issue should be taken up on meta, "retroactive closure".2012-06-20
  • 0
    @GerryMyerson Yes. I too think so. I also believe that there should be an option to merge questions and corresponding answers. This thread (http://meta.math.stackexchange.com/questions/3746/there-needs-to-be-a-clean-way-of-dealing-with-abstract-duplicates) is probably the right thread to voice our opinion on this issue.2012-06-20
  • 0
    If it was 'a' instead of 7 there, then the answer would be (1+sqrt(1+4*a))/2. Sometimes pattern in these problems start after a few entries,you need to just find the pattern and solve it separately and put it back into the the problem.2012-06-20

4 Answers 4

29

For a proof of convergence,

Define the sequence as

$\displaystyle x_{0} = 0$

$\displaystyle x_{n+1} =\sqrt{7 + x_n}$

Note that $\displaystyle x_n \geq 0 \ \ \forall n$.

Notice that $\displaystyle x^2 - x - 7 = (x-a)(x-b)$ where $\displaystyle a \lt 0$ and $\displaystyle b \gt 0$.

We claim the following:

i) $\displaystyle x_n \lt b \Longrightarrow x_{n+1} \lt b$
ii) $\displaystyle x_n \lt b \Longrightarrow x_{n+1} \gt x_n$

For a proof of i)

We have that

$\displaystyle x_n \lt b = b^2 - 7$ and so $x_n +7 \lt b^2$ and thus by taking square roots $x_{n+1} \lt b$

For a proof of ii)

We have that

$\displaystyle (x_{n+1})^2 - (x_n)^2 = -(x^2_n - x_n -7) = -(x_n-a)(x_n-b) \gt 0$ if $x_n \lt b$.

Thus $\displaystyle \{x_{n}\}$ is monotonically increasing and bounded above and so is convergent.

By setting $L = \sqrt{7+L}$, we can easily see that the limit is $\displaystyle b = \dfrac{1 + \sqrt{29}}{2}$


In fact, we can show that the convergence is linear.

$\displaystyle \dfrac{b-x_{n+1}}{b-x_n} = \dfrac{b^2 - (7+x_n)}{(b+\sqrt{7+x_n})(b-x_n)} = \dfrac{1}{b + x_{n+1}}$

Thus $\displaystyle \lim_{n\to \infty} \dfrac{b-x_{n+1}}{b-x_n} = \dfrac{1}{2b}$.

We can also show something a bit stronger:

Let $\displaystyle t_n = b - x_n$.

The we have shown above that $\displaystyle t_n \gt 0$ and $\displaystyle t_n \lt b^2$

We have that

$\displaystyle b - t_{n+1} = \sqrt{7 + b - t_n} = \sqrt{b^2 - t_n}$

Dividing by $\displaystyle b$ throughout we get

$\displaystyle 1 - \dfrac{t_{n+1}}{b} = \sqrt{1 - \dfrac{t_n}{b^2}}$

Using $\displaystyle 1 - \dfrac{x}{2} \gt \sqrt{1-x} \gt 1 - x \ \ 0 \lt x \lt 1$ we have that

$\displaystyle 1 - \dfrac{t_n}{2b^2} \geq 1 - \dfrac{t_{n+1}}{b} \geq 1 - \dfrac{t_n}{b^2}$

And so

$\displaystyle \dfrac{t_n}{2b} \leq t_{n+1} \leq \dfrac{t_n}{b}$

This gives us that $\displaystyle b - \dfrac{b}{b^n} \leq x_n \leq b - \dfrac{b}{(2b)^n}$

20

Hint: It morally converges to $\sqrt{7+\sqrt{7+\sqrt{7+.....}}}$. Call this limit $l$. Then, since the nested series of square roots extends indefinitely, $l=\sqrt{7+l}$

  • 1
    Superb. That's a beautiful argument. Thanks friend.2010-11-26
  • 19
    For this argument to work you need *first* to show that the sequence actually converges.2010-11-26
  • 9
    Agreed; this answer should not have been accepted.2010-11-26
  • 12
    @Qiaochu: It wasn't meant to be. I just intended it and marked it as hint. The OP just asked about the limit.2010-11-26
3

HINT: Suppose the sequence converges to $x$. Then solve for $x = \sqrt{7+x}$

0

HINT: I just attended the case $x=6$, and by using similar tackling ways, you may easily solve the case $x=7$. Here you may find a possible approaching style, and pretty fast. Of course, this problem may be approached in various ways.