Insisto en la pregunta en la configuración general.
PREGUNTA
Deje $\{x_n\}$ ser la secuencia dada por la siguiente fórmula:
$$
x_{n+1}=\frac{x_n}{2}+\frac{2}{x_n} (n\in\mathbb{N}, n\geq 1)
$$
con $x_1\ne 0$. Demostrar que $\{x_n\}$ converge.
SOLUCIÓN.
Se consideran dos casos de $x_1$.
Caso 1. $x_1> 0$
Por inducción tenemos $x_n> 0$ para todos los $n\in\mathbb{N}$. El uso de AM-GM desigualdad obtenemos $x_n\geq 2$ para todos los $n\in\mathbb{N}, n>1$. Por otra parte,
$$
x_{n+1}-x_n=\frac{2}{x_n}-\frac{x_n}{2}=\frac{4-x_n^2}{2x_n}\leq 0.
$$
Desde $\{x_n\}$ es una disminución de la secuencia inferior y limitada por $0$, converge.
Caso 2. $x_1< 0$
Por inducción tenemos $x_n< 0$ para todos los $n\in\mathbb{N}$. El uso de AM-GM desigualdad obtenemos $x_n\leq -2$ para todos los $n\in\mathbb{N}, n>1$. Por otra parte,
$$
x_{n+1}-x_n=\frac{2}{x_n}-\frac{x_n}{2}=\frac{4-x_n^2}{2x_n}\geq 0.
$$
Desde $\{x_n\}$ es un aumento de la secuencia y la parte superior delimitada por $0$, converge.
NOTA que se desprende cómo usar AM-GM de la desigualdad en ambos casos:
$$
x_{n+1}^2=\left(\frac{x_n}{2}+\frac{2}{x_n}\right)^2=\frac{x_n^2}{4}+\frac{4}{x_n^2}+2\geq 2\sqrt{\frac{x_n^2}{4}.\frac{4}{x_n^2}}+2=4.
$$
Por lo tanto, $|x_{n+1}|\geq 2$ para todos los $n\in\mathbb{N}, n>1$.