2.0
Algebra
Number Theory
Recurrence Relation: Closed Form and Parity
Let a sequence \( \{a_n\} \) be defined by \( a_1 = 1, a_2 = 8 \), and \( a_{n+2} = 8a_{n+1} - 15a_n \) for \( n \ge 1 \).
a) Prove by induction that \( a_n = 5^{n-1} + 3^{n-1} \) for all \( n \ge 1 \).
b) Using the closed form from part (a), or otherwise, prove that \( a_n \) is always an even number for all \( n \ge 1 \).