Sucesiones y cuadrado perfecto

Publicado por ^DiAmOnD^ | 22 marzo, 2011 | Juegos | 6 |

Hoy martes os dejo el problema de esta semana. Ahí va su enunciado:

Sean las sucesiones definidas por recurrencia como:

$a_{n+1}=7a_n+6b_n-3$
$b_{n+1}=8a_n+7b_n-4$

con $n\geq 0$ y $a_0=1$ , $b_0=0$ . Probar que $a_n$ es cuadrado perfecto para todo $n\geq 0$ .

Que se os dé bien.

1 1 vote

Article Rating

¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉

Sobre el Autor

^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook. También tengo un blog dedicado a las "escape rooms", por si te apetece pasarte: XRooMers.

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$ .

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

6 Comments

más antiguo

más reciente más votado

Inline Feedbacks

View all comments

Bitacoras.com

22/03/2011 13:30

Información Bitacoras.com…

Valora en Bitacoras.com: Hoy martes os dejo el problema de esta semana. Ahí va su enunciado: Sean las sucesiones definidas por recurrencia como: con y , . Probar que es cuadrado perfecto para todo . Que se os dé bien. Entra en Gaussianos si quieres……

Responde

22/03/2011 14:25

Yo no voy a demostrar nada, pero mirando los primeros números de la sucesión, a simple vista puede verse que:

$a_{n+1}=c_{n+1}^2 = (4c_n-c_{n-1})^2$

con $c_0=1$ y $c_1=2$

que evidentemente son todos cuadrados perfectos.

Quedaría demostrar que ambas definiciones de $a_{n+1}$ son equivalentes 😉

Responde

pcrdeg

22/03/2011 16:41

Como a(n+1)=7•a(n)+6•b(n)-3 tenemos que a(n+2)=7•a(n+1)+6•b(n+1)-3 (*) Como b(n+1)=8•a(n)+7•b(n)-4, sustituyendo b(n+1) en (*) se obtiene a(n+2)=14•a(n+1)-a(n)-6 Esta ecuación en diferencias finitas tiene por solución a(n)={[(2+raíz(3))^n+(2-raíz(3))^n]^2}/4 (que es la solución puede probarse por inducción, por ejemplo) Quedaría por probar que (2+raíz(3))^n+(2-raíz(3))^n es un número entero y par para que el resultado de a(n) fuese un cuadrado perfecto. Pero es fácil observar que desarrollando por el binomio de Newton los términos en que aparece la raíz cuadrada se cancelan y los otros son pares. Espero no haber sido demasiado escueto pero es que es la hora de comer y me hacía ilusión ser… Lee más »

Responde

A.M.

22/03/2011 22:24

Curioso. Voy a reescribir la solución de pcrdeg para que las fórmulas se vean mejor, aunque hay un paso que no entiendo muy bien, pero engancha perfectamente con mi «solución» intuitiva: pcrdeg dijo: Como tenemos que (*) Como , sustituyendo en (*) se obtiene Esta ecuación en diferencias finitas tiene por solución (que es la solución puede probarse por inducción, por ejemplo) Ese paso último es el que no veo, aunque estoy de acuerdo en que esa es la solución. Yo llego a esa misma solución partiendo de la secuencia . Partiendo de Resolvemos el polinomio característico de y tenemos… Lee más »

Responde

pcrdeg

22/03/2011 22:58

Intento aclarar ese paso aunque reconozco que hay una parte que la he hecho de una manera poco académica. Tenemos que resolver la ecuación a(n+2)=14•a(n+1)-a(n)-6 Resolvemos primero una auxiliar: x(n+2)=14•x(n+1)-x(n) La ecuación característica es r^2=14•r-1 que tiene dos soluciones, a saber: 7+4•raíz(3) y 7-raíz(3) La solución de x(n+2)=14•x(n+1)-x(n) es de la forma X(n)=A•( 7+4•raíz(3))^n + B•(7-4•raíz(3))^n donde A y B están por determinar. Ahora bien, si ponemos a(n)=x(n)+C, donde C es un número también por determinar vemos que x(n+2)+C=14•(x(n+1)+C)-(x(n)+C)-6, es decir, x(n+2)+C=14•x(n+1)+14•C-x(n)-C-6 y como x(n+2)=14•x(n+1)-x(n) concluimos que C=1/2. Por tanto a(n)=1/2+A•( 7+4•raíz(3))^n + B•(7-4•raíz(3))^n donde A y B están por… Lee más »

Responde

A.M.

22/03/2011 23:31

Muchas gracias por la aclaración!
A partir de ese punto se puede continuar sacando la raiz cuadrada y tomando el resultado como la solución de la ecuación característica de otra sucesión. Al final llegamos a la $c_n$ que ponía al principio.