Tenga en cuenta que 2+√3 es una raíz de x2−4x+1. Por lo tanto, las secuencias de (an) (bn) definido por
(2+√3)n=an+bn√3
ambos satisfacer
an=4an−1−an−2bn=4bn−1−bn−2
con los valores iniciales, por supuesto, dado por
(2+√3)0=1+0√3⟹a0=1,b0=0(2+√3)1=2+1√3⟹a1=2,b1=1
A usted se le dijo que
(2+√3)n=an+bn√3=5042+b√3
para algunos n, y pidió que encontrara a b. Para hacer esto, usted sólo tiene que encontrar el valor de n que an=5042, y, a continuación, calcular el correspondiente valor de bn.
Dada la recurrencia y los valores iniciales, por supuesto, usted puede ahora utilizar la fuerza bruta en la secuencia de an, la informática, la mayor y más altos valores
a0=1,a1=2,a2=7,a3=26,a4=97,…
hasta encontrar el n que le da 5042, momento en el que tendría que calcular bn que n, y será hecho.
Sin embargo, puede ser útil disponer de un enfoque alternativo, por ejemplo, si a usted le dijeron a encontrar el valor de n que an=19785515999613069781581367687
puede que prefieren prescindir de los tediosos cálculos.
Tenga en cuenta que la otra raíz de x2−4x+12−√3, por lo tanto (an) (bn) va a satisfacer
an=A0(2+√3)n+A1(2−√3)nbn=B0(2+√3)n+B1(2−√3)n
para algunos números de A0,A1,B0,B1, lo que se puede deducir usando los valores iniciales de a0,a1,b0,b1.
Tenga en cuenta que|2−√3|<1, por lo que la contribución de ese plazo para que el valor total de an es insignificante para un gran n. Por lo tanto, an≈A0(2+√3)n grandes n, por lo que
n≈log2+√3(an/A0)=log(an)−log(A0)log(2+√3)
Puede conectarse y comprobar el valor de an para los números enteros cerca de este valor para encontrar el exacto n.