MathCastle
Proof WritingHardInduction

Induction · Hard problem

Let a1=a2=1a_1 = a_2 = 1 and an=an−1+6an−2a_n = a_{n-1} + 6a_{n-2} for n≥3n \ge 3. Strong induction (with two base cases) proves an=3n−(−2)n5a_n = \dfrac{3^n - (-2)^n}{5}. What is a12a_{12}?