Autor Tema: Limite de una sucesion 04

0 Usuarios y 1 Visitante están viendo este tema.

27 Febrero, 2024, 06:38 pm
Leído 1063 veces

zorropardo

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 900
  • País: br
  • Karma: +0/-0
Sea $$k \in \mathbb{N}$$ fijado y $$(a_{n})$$ una sucesion definida por:

$$a_{n}=\sqrt{ k+\sqrt{k+....+\sqrt{k}}}$$ con exactamente n raices cuadradas.

(a)  Muestre que $$(a_{n})$$ es convergente.

(b) Muestre que cuando $$k$$  es impar, el limite de la sucesion es un numero irracional.

(c) Encuentre todos los valores naturales de $$k$$  para los cuales el limite de la sucesion sea un numero entero.

Mi intento para la (a)

Notemos que $$a_{1}=\sqrt{k} $$ y $$a_{2}=\sqrt{k+\sqrt{k}}.$$ Ahora como $$\sqrt{k} >0 \Rightarrow{   k+\sqrt{k} >k }  \Rightarrow{ \sqrt{k+\sqrt{k}} >\sqrt{k}   } \Rightarrow{ a_{2} >a_{1}}.$$ Probemos por induccion que la sucesion es creciente.
 Para $$n=1  \Rightarrow{ a_{1} < a_{2}}$$
Supongamos que vale para $$n$$ osea $$ a_{n}<a_{n+1} .......(H.I.)$$
Segun la hipotesis inductiva $$a_{n}<a_{n+1}   \Rightarrow{  k+a_{n}<k+a_{n+1} } \Rightarrow{  \sqrt{k+a_{n}}<\sqrt{k+a_{n+1}}  } \Rightarrow{ a_{n+1}<a_{n+2}}$$
Portanto $$a_{n}$$ es monotona creciente.
Como puedo probar que la sucesion es acotada    :banghead: :banghead:


 



27 Febrero, 2024, 07:44 pm
Respuesta #1

Juan Pablo Sancho

  • Moderador Global
  • Mensajes: 6,561
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Tenemos:
\( a_1 = \sqrt{k}  \) si \( n \geq 2 \) tenemos \(  a_n = \sqrt{k + a_{n-1}}  \).
Sea \(  A = max(2,k)  \) entonces:
\( a_1 = k \leq A  \) suponemos cierto que para \( n \geq 1 \) se tiene \( a_n \leq A  \) entonces para \( n+1 \):
\( a_{n+1} = \sqrt{k+a_n} \leq \sqrt{k+A} \leq \sqrt{A+A} = \sqrt{2A} \leq \sqrt{A \cdot A} = A  \).

Tenemos que es convergente, sea \( \displaystyle \tau = \lim_{n \to +\infty} a_n  \) luego:
\( \tau = \sqrt{k + 4 \cdot \tau}  \) entonces \( \tau = \dfrac{1+\sqrt{1+4K}}{2}  \)
Sea \( \tau  \) entero:
Spoiler
\( 2 \cdot m = 1 + \sqrt{1+4k}  \) entonces \( k=m^2-m \) queda que \( k \) es par y será de esa forma para ser natural.
[cerrar]

27 Febrero, 2024, 08:10 pm
Respuesta #2

ani_pascual

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,061
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • שמע ישראל יהוה אלהינו יהוה אחד
    • Kepler_Ck
Hola:
Como puedo probar que la sucesion es acotada    :banghead: :banghead:
Otra  sugerencia  :):
\( -4\sqrt{k}<0\Longrightarrow 1+4k-4\sqrt{k}<1+4k\Longrightarrow (2\sqrt{k}-1)^2<1+4k\Longrightarrow 2\sqrt{k}-1<\sqrt{1+4k}\Longrightarrow \sqrt{k}<\dfrac{1+\sqrt{1+4k}}{2}\Longleftrightarrow a_1<\dfrac{1+\sqrt{1+4k}}{2} \). Veamos que si  se cumple \( a_n<\dfrac{1+\sqrt{1+4k}}{2} \) entonces \( a_{n+1}<\dfrac{1+\sqrt{1+4k}}{2} \); en efecto, \( a_{n+1}^2=k+a_n<k+\dfrac{1+\sqrt{1+4k}}{2}=\dfrac{2k+1+\sqrt{1+4k}}{2}=\dfrac{4k+2+2\sqrt{1+4k}}{4}=\left(\dfrac{1+\sqrt{1+4k}}{2}\right)^2\Longrightarrow a_{n+1}<\dfrac{1+\sqrt{1+4k}}{2} \).
Además, si \( L=\lim\limits_{n\to\infty}a_n \) se tiene que \( L^2=k+L\Longrightarrow L=\dfrac{1+\sqrt{1+4k}}{2} \)
Saludos


27 Febrero, 2024, 08:16 pm
Respuesta #3

Juan Pablo Sancho

  • Moderador Global
  • Mensajes: 6,561
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
También:
Si \( a_n \leq k  \) para todo natural lo tenemos.
Supongamos que para cierto \( n \in \mathbb{N} \) tenemos \( a_n > k \) entonces por ser creciente:
\( a_{n+1}^2 = k + a_n < a_n + a_n = 2a_n < 2a_{n+1} \) luego \( a_{n+1} < 2 \)

Segun la hipotesis inductiva $$a_{n}<a_{n+1}   \Rightarrow{  k+a_{n}<k+a_{n+1} } \Rightarrow{  \sqrt{k+a_{n}}<\sqrt{k+a_{n+1}}  } \Rightarrow{ \color{red} a_{n+1} <a_{n+2} \color{black}}$$
Portanto $$a_{n}$$ es monotona creciente.
Como puedo probar que la sucesion es acotada    :banghead: :banghead:

27 Febrero, 2024, 08:41 pm
Respuesta #4

ani_pascual

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 4,061
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
  • שמע ישראל יהוה אלהינו יהוה אחד
    • Kepler_Ck
Hola:
Respecto al apartado c), son válidos los valores ...
Spoiler
\( k=p(p-1),\,\,p\in\mathbb{N} \) ya que entonces
\( L=\dfrac{1+\sqrt{1+4K}}{2}=\dfrac{1+\sqrt{1+4p^2-4p}}{2}=\dfrac{1+\sqrt{(2p-1)^2}}{2}=\dfrac{2p}{2}=p\in\mathbb{N}
 \)
El  apartado b) se resiste:
Supongo que hay que probar que si \( k=2m+1 \) con \( m\in\mathbb{N} \) entonces \( \sqrt{8m+5}\in\mathbb{I} \) pero de momento  :banghead:
[cerrar]
Saludos

27 Febrero, 2024, 08:43 pm
Respuesta #5

zorropardo

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 900
  • País: br
  • Karma: +0/-0
Gracias por la observacion, ya lo corregi.

Por otro lado , para mostrar  que la sucesion es limitada ,  tambien podria ser asi :

Como $$a_{n}^2 = k+a_{n-1}< k+a_{n} \Longrightarrow{    a_{n}^2 -a_{n}  -k <0} $$ que es una ecuacion cuadratica con raizes $$r_{1}$$ y $$r_{2}$$
luego $$(a_{n}-r_{1})(a_{n}-r_{2}) <0  \Rightarrow{   a_{n}  \in (r_{1}, r_{2})}$$ asi tenemos $$0<a_{n} <r_{2}=\frac{1+\sqrt{1+4k}}{2}; \forall n \in \mathbb{N} .$$ Portanto $$a_{n}$$ esta acotada.

Estaria correcto tambien no  :-\ :-\ :-\

27 Febrero, 2024, 09:01 pm
Respuesta #6

Juan Pablo Sancho

  • Moderador Global
  • Mensajes: 6,561
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Si lo veo bien.
Seguro te sirve esta página:
https://fernandorevilla.es/2014/02/03/concepto-de-sucesion/



Hola:
Respecto al apartado c), son válidos los valores ...
Spoiler
\( k=p(p-1),\,\,p\in\mathbb{N} \) ya que entonces
\( L=\dfrac{1+\sqrt{1+4K}}{2}=\dfrac{1+\sqrt{1+4p^2-4p}}{2}=\dfrac{1+\sqrt{(2p-1)^2}}{2}=\dfrac{2p}{2}=p\in\mathbb{N}
 \)
El  apartado b) se resiste:
Supongo que hay que probar que si \( k=2m+1 \) con \( m\in\mathbb{N} \) entonces \( \sqrt{8m+5}\in\mathbb{I} \) pero de momento  :banghead:
[cerrar]
Saludos

Lo tienes :
Spoiler
Si \( \sqrt{8m+5} = \dfrac{p}{q}  \) con \( (p,q)=1 \) entonces \( q^2 \cdot (8m+5) = p^2  \) luego \( q \) debe ser uno y \( 8m+5 = p^2 \) un cuadrado perfecto, pero esto es imposible:
Si \( p = 8s + r \) su cuadrado nunca puede tener resto 5.
\(  r = 0 \) entonces \( r^2 = 0 \)
\(  r = 1 \) entonces \( r^2 = 1 \)
\(  r = 2 \) entonces \( r^2 = 4 \)
\(  r = 3 \) entonces \( r^2 = 8+1 \)
\(  r = 4 \) entonces \( r^2 = 8 \cdot 2 \)
\(  r = 5 \) entonces \( r^2 = 8 \cdot 3 + 1 \)
\( r = 6 \) entonces \( r^2 = 8 \cdot 4 + 6 \)
\(  r = 7 \) entonces \( r^2 = 8 \cdot 6 + 1 \)
Con congruencias sale antes.
[cerrar]