Cómo evaluar esta expresión de raíz cuadrada infinitamente anidada

Hace unos días, estaba leyendo sobre la misma pregunta en el libro Ecuaciones funcionales y cómo resolverlas por Christopher G Small …
Esta pregunta fue propuesta realmente por Ramanujan. Él mismo no tenía la solución cuando propuso esta pregunta. Pocos años después, él mismo dio la solución:
x + n + a =
(a * x + (n + a) ^ 2 + x * (a * (x + n) + (n + a) ^ 2 + (x + n) * (…) ^ 0.5) ^ 0.5) ^ 0.5
El radical anidado propuesto anteriormente por Ramanujan fue un caso especial con x = 2, a = 0 yn = 1
3 = 9 ^ 0.5
3 = (1 + 2 * 4) ^ 0.5
3 = (1 + 2 * (16) ^ 0.5) ^ 0.5
3 = (1 + 2 * (1 + 3 * 5) ^ 0.5) ^ 0.5
3 = (1 + 2 * (1 + 3 * (25) ^ 0.5) ^ 0.5) ^ 0.5
………
Mientras escribimos la expresión dada, en realidad estamos explotando la siguiente propiedad:
n ^ 2 = 1 + (n-1) * ((n + 1) ^ 2) ^ 0.5 {Nota: Esto no es más que el uso de esta propiedad simple: n ^ 2 – 1 = (n-1) * ( n + 1)} …… .. (1)
pon ‘n + 1’ en lugar de ‘n’ en la expresión anterior, obtienes
(n + 1) ^ 2 = 1 + (n) * ((n + 2) ^ 2) ^ 0.5
Ahora, sustituye esto en la ecuación (1), obtienes
n ^ 2 = 1 + (n-1) * (1 + n * ((n + 2) ^ 2) ^ 0.5) ^ 0.5
Continúe este proceso hasta el infinito, saque la raíz y sustituya n con 3 y obtendrá su respuesta. 🙂

Esto se explica en el artículo de Wikipedia Anidado radical [1,2]. Ajuste

[matemáticas]
F (x) = \ sqrt {1 + x \ sqrt {1+ (x + 1) \ sqrt {\ dots}}}
[/matemáticas]

uno puede derivar la ecuación

[matemáticas]
F (x) ^ 2 = 1 + x F (x + 1)
[/matemáticas]

que tiene solución

[matemáticas]
F (x) = x + 1
[/matemáticas]

establecer [matemáticas] x = 2 [/ matemáticas] da 3.

[1] El artículo en realidad da una generalización de dos parámetros de lo que resumí aquí.

[2] Además, eche un vistazo a esta página de artículo agradable en isibang.ac.in vinculada por David Joyce en los comentarios.

Considera la identidad,
[matemáticas] (x + n) ^ 2 = n ^ 2 + 2nx + x ^ 2 = [/ matemáticas] [matemáticas] n ^ 2 + x ((x + n) + n) [/ matemáticas]
Toma raíces cuadradas para obtener,
[matemáticas] (x + n) = \ sqrt {n ^ 2 + x ((x + n) + n)} [/ matemáticas]
Ahora dentro de los corchetes tienes algo + n, por lo que puedes sustituir
en la misma ecuación con x + n reemplazando x para obtener,
[matemáticas] x + n = \ sqrt {n ^ 2 + x \ sqrt {n ^ 2 + (x + n) ((x + 2n) + n)}} [/ matemáticas]
y repite el proceso para obtener,
[matemáticas] (x + n) = \ sqrt {n ^ 2 + x \ sqrt {n ^ 2 + (x + n) \ sqrt {\ cdots}}} [/ matemáticas]
Si ahora configura [matemática] n = 1 [/ matemática], [matemática] x = 2 [/ matemática]
usted obtiene,
[matemáticas] 3 = \ sqrt {1 + 2 \ sqrt {1 + 3 \ sqrt {1 + 4 \ sqrt {\ ldots}}}} [/ matemáticas]
Espero que ya lo hayas entendido !! 🙂

More Interesting

Cómo usar la tecla de raíz cuadrada en una calculadora ordinaria para encontrar la raíz cúbica de un número con cualquier grado de precisión

¿Cuál es el valor de la serie convergente [matemáticas] \ sum_ {n = 1} ^ \ infty \ frac {1} {(6n-1) ^ 2} [/ matemáticas]?

Dado que x, y son números reales positivos, ¿cómo puedo mostrar que [matemáticas] \ sqrt {x} (1+ \ frac {1} {y}) + \ sqrt {y} (1+ \ frac {1} { x}) \ geq4 [/ math]?

¿Cuál es la respuesta de [matemáticas] \ lim _ {\ tau \ omega \ to + \ infty} \ arctan \ left (\ frac {-2 \ xi \ tau \ omega} {1 – (\ tau \ omega) ^ 2} \ right) [/ math]?

Cómo verificar si el grupo [math] S_4 [/ math] generado con [math] a = (1, 2, 3, 4) [/ math] y [math] b = (3, 2, 1) [/ math ]

¿Qué función generalizada [matemática] f (x) [/ matemática] para [matemática] \ alpha> 0 [/ matemática] satisface [matemática] \ int ^ \ infty_0 f (x) \ sin (\ alpha x) ~ \ mathrm { d} x = 1 – \ alpha [/ math] para [math] \ alpha \ in (0,1] [/ math] y = 0 para [math] \ alpha> 1 [/ math]?

¿Cuál es el valor de d / dx de mod x, d / dx del mayor entero de x y d / dx de x factorial?

¿Cómo evaluaría la integral [matemáticas] \ displaystyle \ int _ {- a} ^ {La} \ frac {{\ lambda} b} {4 {\ pi} {\ varepsilon} (x ^ 2 + b ^ 2) ^ {3/2}} \, dx [/ math]?

Deje que [math] f: X \ rightarrow Y [/ math] sea un mapa. Sea [math] p [/ math] la relación de equivalencia con el dominio [math] X [/ math] definido por [math] x_1 p x_2 [/ math] iff [math] f (x_1) = f (x_2) [/ matemáticas]. Sea [math] j: X \ rightarrow X / p [/ math] con [math] j (x) = [x] [/ math], y sea [math] g: X / p \ rightarrow f [X] [ / math] con [math] g ([x]) = f (x) [/ math]. [matemáticas] i: f [X] \ rightarrow Y [/ matemáticas] con [matemáticas] i (y) = y [/ matemáticas]. ¿Cómo mostrarías que [math] g [/ math] es uno a uno y sobre y que [math] f = i \ circ g \ circ j [/ math]?

¿Por qué soy bueno aprendiendo matemáticas, pre-álgebra y álgebra, pero no soy bueno usándolo?