Defina una secuencia $<f_0 (x), f_1 (x), f_2 (x), \dots>$ de funciones por $$f_0 (x) = 1$$ $$f_1(x)=x$$ $$(f_n(x))^2 - 1 = f_{n+1}(x) f_{n-1}(x)$$ para $n \ge 1$. Demuestre que cada $f_n (x)$ es un polinomio con coeficientes enteros.