I know there are some questions on this site about how to find a recursive formula, but I've already found the formula. I'm doing an assignment (http://mathstat.dal.ca/~svenjah/math2112/Assign6.pdf) where we have to find and then prove a recursive formula for a sequence. The sequence is defined as such:
"Consider a row of n squares. You want to fill this row with round tokens (taking up one square) and dominoes (taking up two adjacent squares). Let an be the number of ways to do this."
So, I have a recursive formula an = an-1 + an-2. Now, I have to "[prove] that my recursion is true."
How is this possible? Should I use a contradictory supposition (eg., that there is a lowest an for which the formula does not hold)? Is it even possible to prove a recursive formula?
Also, I shouldn't be proving it with an explicit formula, because I'm not yet supposed to have found the explicit formula.
You can prove it thus: The first square is either covered by a round token or by a domino. If it's covered by a round token, the remaining $n-1$ squares can be covered in $a_{n-1}$ ways. If it's covered by a domino, the remaining $n-2$ squares can be covered in $a_{n-2}$ ways. Together, that yields $a_n=a_{n-1}+a_{n-2}$.