MathCastle
Proof WritingChallengeInduction

Induction · Challenge problem

Let a1=1a_1 = 1, a2=3a_2 = 3 and an=2an−1−an−2+2a_n = 2a_{n-1} - a_{n-2} + 2 for n≥3n \ge 3. Guess a formula and prove it by strong induction. What is a50a_{50}?