# Let $x_1=a>0$ and $x_{n+1}=x_n+\frac{1}{x_n} \forall n\in \mathbb N$. Check whether the following sequnce converges or diverges.

Let $x_1=a>0$ and $x_{n+1}=x_n+\frac{1}{x_n} \forall n\in \mathbb N$. Check whether the following sequnce converges or diverges.

When I was in UG my teacher used derivative test for monotonicity. $f(x)=x+\frac{1}{x}, f'(x)=1-\frac{1}{x^2}>0(x>1).$ So, $f(x)$ is increasing. How to prove the sequence is monotonic? Differentiation is coming after the sequences and series. By AM-GM inequality sequence is bounded below. $x_{n+1}=x_n+\frac{1}{x_n}\ge 2\sqrt{x_n.\frac{1}{x_n}}=2 \forall n\in \mathbb N$.How can I judge whether the sequence bounded above or not? please help me.

## 3 Answers

The sequence is increasing indeed. Since $$x_{n+1} - x_n = \frac{1}{x_n} > 0$$ We can show that it is not bounded. Otherwise, it converges, say to $l$. Then we have $$l = l + 1/l$$ ,which is a contradiction.

Hint: Assume for the sake of contradiction that the sequence is bounded above by some threshold $\lambda$. What can we say about the differences $x_{n+1}-x_n$? On one hand, $x_{n+1}-x_n = 1/x_n \geq 1/\lambda$, but...

• How do we assume this? – Unknown x Apr 29 '18 at 5:24
• @ManeeshNarayanan For the sake of contradiction. – spaceisdarkgreen Apr 29 '18 at 5:27
• How do we get contradiction here?From this, we can prove that sequence is increasing. and assume it is bounded. but it is not Cauchy. I think this might be the argument. am I right? – Unknown x Apr 29 '18 at 5:30
• @ManeeshNarayanan Y.Hu's answer (which I see you have now accepted) shows how to apply this exact argument to give a contradiction. – Carl Schildkraut Apr 29 '18 at 5:33

Rearranging we have $x_{n+1}-x_n=\frac{1}{x_n}$. Multiplying by $x_{n+1}+x_n$ we get $$x^2_{n+1}-x^2_n=1+\frac{x_{n+1}}{x_n} \geq 1$$ Telescoping the sum we obtain that, $$x^2_{n+1}-x_1^2\geq n$$ Hence $x_n$ is unbounded.