Sucesiones de números - problemas y soluciones

Solución:
La ecuación característica de la relación de recurrencia es
[tex]r^2-(2+\sqrt{3})r+2\sqrt{3}[/tex]. Sus raíces son [tex]r_1=2[/tex] y [tex]r_2=\sqrt{3}[/tex]. Por lo tanto
[tex]a_n=c_1.2^n+c_2.\sqrt{3}^n[/tex]
[tex]\begin{array}{|l}a_1=c_1.2+c_2.\sqrt{3}=6+\sqrt{3}\\a_2=c_1.4+c_2.3=15 \end{array}[/tex]
[tex]\begin{array}{|l}c_1.4+c_2.2\sqrt{3}=12+2\sqrt{3}\\c_1.4+c_2.3=15 \end{array}[/tex], las restamos y obtenemos
[tex]4c_1+2\sqrt{3}.c_2-4c_1-3c_2=12+2\sqrt{3}-15[/tex], o [tex](2\sqrt{3}-3).c_2=2\sqrt{3}-3[/tex], por lo tanto [tex]c_2=1[/tex]. Entonces [tex]c_1=\frac{6+\sqrt{3}-c_2\sqrt{3}}{2}=\frac{6}{2}=3[/tex] y
[tex]a_n=3.2^n+\sqrt{3}^n[/tex]. Sustituyendo con [tex]n=8[/tex], obtenemos
[tex]a_8=3.2^8+\sqrt{3}^8=3.256+3^4=768+81=849[/tex]

Solución:
La ecuación característica de la relación de recurrencia es
[tex]r^2-4r+4=0[/tex], con la doble raíz [tex]r_{1,2}=2[/tex]. Por lo que [tex]a_n[/tex] tiene la forma
[tex]a_n=c_1.2^n+c_2.n.2^n=(c_1+c_2n).2^n[/tex]. Las calculamos para [tex]n=1;2[/tex]:
[tex]\begin{array}{|l}a_1=(c_1+c_2).2=3\\(c_1+2c_2).4=7 \end{array}[/tex]
[tex]\begin{array}{|l}c_1+c_2=\frac{6}{4}\\c_1+2c_2=\frac{7}{4}\end{array}[/tex]. Las restamos para obtener
[tex]c_2=\frac{7}{4}-\frac{6}{4}=\frac{1}{4}[/tex]. [tex]c_1=\frac{6}{4}-c_2=\frac{5}{4}[/tex] y
[tex]a_n=(\frac{1}{4}n+\frac{5}{4}).2^n=(n+5).2^{n-2}[/tex]. Sustituyendo n por 7, obtenemos
[tex]a_7=(7+5).2^{7-2}=12.2^5=12.32=384[/tex]

Solución:
[tex]a_{n+1}-a_n=3^{n+1}-5^{n+1}+\frac{1}{n+1}-(3^n-5^n+\frac{1}{n})=3.3^n-5.5^n+\frac{1}{n+1}-3^n+5^n-\frac{1}{n}=(2.3^n-4.5^n)+(\frac{1}{n+1}-\frac{1}{n})[/tex].
[tex]\frac{1}{n+1}-\frac{1}{n}=\frac{n-(n+1)}{n(n+1)}=-\frac{1}{n+1}<0[/tex].
[tex]2.3^n-4.5^n=2.3^n-2.5^n-2.5^n=2.(3^n-5^n)-5^n < 2.(3^n-5^n)<0[/tex], dado que para n positivo [tex]5^n>3^n[/tex].
La suma de estas dos expresiones negativas es la diferencia entre los miembros de la secuencia, por lo que es descendente.

Solución:
Reescribimos la relación de recurrencia como [tex]a_{n+2}-a_{n+1}=a_n[/tex]. Si [tex]a_n[/tex] fuera positiva para cualquier n, entonces [tex]a_{n+2}-a_{n+1}>0[/tex] - y es la diferencia entre dos miembros consecutivos de la secuencia. Probaremos que [tex]a_n>0[/tex] para toda n por (fuerte) inducción.
Para [tex]n=1[/tex]: [tex]a_1=1[/tex] y es positiva.
Para [tex]n=2[/tex]: [tex]a_2=1[/tex] y es positiva.
Asumamos que para [tex]n \le k[/tex], donde k es un entero positivo arbitrario, [tex]a_n[/tex] es positiva. [tex]a_{k+1}=a_k+a_{k-1}[/tex] y por la hipótesis de inducción tanto [tex]a_k[/tex] y [tex]a_{k-1}[/tex] son positivas. En consecuencia [tex]a_n>0[/tex] para cualquier n y dado que [tex]a_{n+2}-a_{n+1}=a_n>0[/tex], la secuencia es ascendente.