1 Una sucesión de enteros está definida por \[{ a_n = 2 a_{n-1} + a_{n-2}}, \quad (n > 1), \quad a_0 = 0, a_1 = 1.\] Demuestre que $2^k$ divide a $a_n$ si y solo si $2^k$ divide a $n$ .