Problem

Source: 2012 Indonesia Round 2.5 TST 3 Problem 1

Tags: induction, algebra proposed, algebra, binary representation, Sequence, recurrence relation



The sequence $a_i$ is defined as $a_1 = 2, a_2 = 3$, and $a_{n+1} = 2a_{n-1}$ or $a_{n+1} = 3a_n - 2a_{n-1}$ for all integers $n \ge 2$. Prove that no term in $a_i$ is in the range $[1612, 2012]$.