La cuestión planteada por Vishal es interesante, por lo que he decidido aportar mi contribución respondiendo de forma detallada a una ligera generalización de la misma. Precisamente, quiero mostrar cómo aproximar con números racionales la raíz cuadrada de cada número racional positivo $a$ demostrando que la secuencia $\langle x_n \rangle_{n\in\mathbb{N}}$ definido como $$ x_{n+1}= \begin{cases} x_1 & n=0\\ \\ \dfrac{1}{2}\left(x_n+\dfrac{a}{x_n}\right) & n\geq 1 \end{cases} $$ es tal que $x_n^2\to a$ como $n \to +\infty$ para cualquier elección del número racional positivo $x_1$ es decir, para cualquier $x_1>0$ , $x_1\in\mathbb{Q}$ .
En primer lugar, elevando al cuadrado ambos lados de la ecuación definitoria de $x_{n+1}$ para todos $n\geq 1$ obtenemos $$ x_{n+1}^2 = \frac{x_n^2}{4} + \frac{a}{2} + \frac{a^2}{4x_n^2}$$ Restando $a$ de sus dos lados, obtenemos $$ \begin{split} x_{n+1}^2 - a & = \frac{x_n^2}{4} - \frac{a}{2} + \frac{a^2}{4x_n^2}\\ & = \frac{1}{4}\left(x_n^2 - 2a + \frac{a^2}{x_n^2}\right)\\ & = \frac{1}{4}\left(x_n - \frac{a}{x_n} \right)^2 = \frac{(x_n^2 - a)^2}{4x_n^2}\geq 0 \end{split} $$ Especialización de la ecuación para $n=1, 2$ obtenemos $$ x_2^2 - a = \frac{(x_1^2 - a)^2}{4x_1^2} $$ y $$ \begin{split} x_3^2 - a & = \frac{(x_2^2 - a)^2}{4x_2^2} = \frac{(x_2^2 - a)}{4x_2^2}(x_2^2-a)\\ & = \frac{1}{4}\frac{(x_1^2 - a)^2}{4x_2^2x_1^2}(x_2^2-a) = \frac{1}{4}\frac{(x_1^2 - a)^2}{(x_1^2+a)^2}(x_2^2-a) \\ & \leq \frac{1}{4}(x_2^2-a) = \frac{1}{16}\frac{(x_1^2 - a)^2}{x_1^2} \end{split} $$
A partir de los cálculos anteriores, parece plausible suponer que se mantiene la siguiente estimación: $$ 0 \leq x_n^2 - a \leq \frac{1}{2^{2(n-1)}} \frac{(x_1^2 - a)^2}{x_1^2}\quad \forall n\geq 2 $$ Esto es cierto, como se puede demostrar fácilmente por inducción generalizada. Para ello, primero observamos que para $n=2$ la estimación se mantiene como ya hemos demostrado anteriormente: entonces, suponiendo que sea cierto para $n$ obtenemos $$ \begin{split} x_{n+1}^2 - a & = \frac{(x_n^2 - a)^2}{4x_n^2} = \frac{(x_n^2 - a)}{4x_n^2}(x_n^2-a)\\ & = \frac{1}{4}\frac{(x_{n-1}^2 - a)^2}{4x_n^2x_{n-1}^2}(x_n^2-a) = \frac{1}{4}\frac{(x_{n-1}^2 - a)^2}{(x_{n-1}^2+a)^2}(x_n^2-a) \\ & \leq \frac{1}{4}(x_n^2-a) \leq \frac{1}{4\cdot 2^{2(n-1)}}\frac{(x_1^2 - a)^2}{x_1^2} =\frac{1}{2^{2(n+1-1)}}\frac{(x_1^2 - a)^2}{x_1^2} \end{split} $$ Por lo tanto, las estimaciones son válidas para cada $n\geq2$ y esto, por el teorema del sándwich, implica $x_n^2\to a$ para cualquier elección del racional positivo $x_1$ .
Unas cuantas notas:
- La prueba sólo utiliza desigualdades elementales y el resultado de cada paso está en $\mathbb{Q}$ ya que este campo es cerrado respecto a las cuatro operaciones aritméticas básicas. Si tomamos $a=2$ tenemos la respuesta directa a la pregunta de Vishal.
- Sin embargo, a pesar de ser necesario por los objetivos didácticos de Vishal, la hipótesis $a, x_1\in\mathbb{Q}$ no es necesario por la estructura lógica del razonamiento: todo funciona perfectamente para cualquier $a,x_1\in\mathbb{R}_+$ . Esto es exactamente lo que pide Emanuel Fisher en su hermoso (aunque defectuoso por muchas erratas) "Intermediate Real Analysis" (1983, Springer Verlag, ejercicio III.8.8 página 139). Sin embargo, dado que en ese libro de texto los reales se han introducido antes como cortes de Dedekind, el desarrollo formal necesario para resolver el ejercicio es ligeramente más sencillo debido a que no es necesario elevar al cuadrado los términos de la secuencia para trabajar dentro de $\mathbb{Q}$ .
- Una observación desde el punto de vista del "teórico de la aproximación": el error de aproximación se reduce a la mitad en cada iteración sea cual sea el valor del valor inicial $x_1>0$ es.
