Decidir si existen enteros positivos $a$ y $b$ tales que todos los términos de la sucesión $(X_n)$, definida como $X_1 =2010, X_2 = 2011$, $$X_{n+2} = X_n + X_{n+1} + a\sqrt{X_nX_{n+1} + b}$$ son números enteros.
Decidir si existen enteros positivos $a$ y $b$ tales que todos los términos de la sucesión $(X_n)$, definida como $X_1 =2010, X_2 = 2011$, $$X_{n+2} = X_n + X_{n+1} + a\sqrt{X_nX_{n+1} + b}$$ son números enteros.