2
$\begingroup$

$(x_n)_{n\geqslant1}$ and $(y_n)_{n\geqslant1}$ are two real sequences such that $x_1 > 0$, $y_1 > 0 $, $x_{n+1} = \frac{1}{2}(x_n + y_n)$ and $\dfrac{2}{y_{n+1}} = \dfrac{1}{x_n} + \dfrac{1}{y_n}$.

Do these two sequences converge to the same limit? If yes, what is their limit?

3 Answers 3

1

This is a simplified version of robjohn's answer.

By the AM-Hm inequality we have $y_n \leq x_n$. Moreover

$$x_n = \frac{x_{n-1}+y_{n-1}}{2} \leq \frac{ x_{n-1}+x_{n-1}}{2}=x_{n-1}$$ and

$$y_n=\frac{2}{\frac{1}{x_{n-1}}+\frac{1}{y_{n-1}}}\geq\frac{2}{\frac{1}{y_{n-1}}+\frac{1}{y_{n-1}}}=y_{n-1}$$

This shows that $y_1 \leq y_2 \leq ..\leq y_n \leq ..\leq x_n \leq x_{n-1} \leq ... \leq x_1$$

Hence both sequences are monotonic and bounded thus convergent. Let

$$\lim x_n=l \,;\, \lim y_n =m \,.$$

Then taking the limit in $x_{n+1}=\frac{x_n+y_n}{2}$ we get $l=m$.

  • 0
    In the first two inequalities, we need $n>2$ since it is possible that $x_1.2012-11-13
  • 0
    It is true, that $(2)$ and $(3)$ in my answer are mostly unnecessary and $(1)$ simply justifies the AM-HM inequality. However, I do like the result in $(7)$ saying that $$ \lim_{n\to\infty}x_n=\lim_{n\to\infty}y_n=\sqrt{x_1y_1} $$2012-11-13
  • 0
    @robjohn Yes, I really like that part.. I realized while I was typing that I kinda re-say what you were saying, tried to give you credit for that; and to be honest I didn't see how to get the limit :)2012-11-13
3

if we divide 1st one by x_n

$$\frac{x_{n+1}}{x_n}=\frac{1}{2}\left(1+\frac{y_n}{x_n}\right)$$

then 2nd one multiply by y_n

$$\frac{y_n}{y_{n+1}} =\frac{1}{2}\left(1+\frac{y_n}{x_n}\right)$$

  • 0
    it seems like they are different not converging to the same limit2012-11-13
  • 0
    There is a mistake in second equation2012-11-13
  • 0
    @Norbert: I think that I fixed it.2012-11-13
  • 0
    It appears that $x_{n+1}y_{n+1}=x_ny_n$, so the product of the limits would be $x_1y_1$.2012-11-13
3

$$ \begin{align} x_{n+1}-y_{n+1} &=\frac12\left(x_n+y_n\right)-\frac{2x_ny_n}{x_n+y_n}\\ &=\frac12\frac{(x_n-y_n)^2}{x_n+y_n}\tag{1} \end{align} $$ If $x_n,y_n>0$, $\left|\frac{x_n-y_n}{x_n+y_n}\right|<1$, so $\frac12\frac{(x_n-y_n)^2}{x_n+y_n}<\frac12|x_n-y_n|$. Therefore, $$ 0\le x_{n+1}-y_{n+1}\le\frac12|x_n-y_n|\tag{2} $$ Thus, $$ |x_n-y_n|\le\frac1{2^{n-1}}|x_1-y_1|\tag{3} $$ Therefore, $\displaystyle\lim_{n\to\infty}x_n-y_n=0$. For $n>1$, $(1)$ guarantees that $x_{n}\ge y_n$. Furthermore, since $x_{n+1}$ and $y_{n+1}$ are means of $x_n$ and $y_n$, we have $$ y_n\le y_{n+1}\le x_{n+1}\le x_n\tag{4} $$ Therefore, $x_n$ is monotonically decreasing and $y_n$ is monotonically decreasing, and both are bounded. Thus, $$ \lim_{n\to\infty}x_n=\lim_{n\to\infty}y_n\tag{5} $$ Furthermore, as I noted in a comment to Jonas Kgomo's answer, $$ x_{n+1}y_{n+1}=\frac12(x_n+y_n)\frac{2x_ny_n}{x_n+y_n}=x_ny_n\tag{6} $$ This easily leads to the conclusion that $$ \lim_{n\to\infty}x_n=\lim_{n\to\infty}y_n=\sqrt{x_1y_1}\tag{7} $$