Problem:
Find the number of strictly increasing sequences of nonnegative integers with the following properties:
- The first term is and the last term is . In particular, the sequence has at least two terms.
- Among any two consecutive terms, exactly one of them is even.
, 2014
Solution
Solution:
Answer:
For a natural number , let be a set containing all sequences which satisfy the problem conditions but with replaced by . Also, let be the size of .
We first consider and . We get , as the only sequence satisfying the problem conditions is . We also get , as the only possible sequence is .
Next, we show that for all natural numbers . We consider the second-to-last terms of each sequence in .
Case 1. The second-to-last term is . When we leave out the last term, the remaining sequence will still satisfy the problem conditions, and hence is in . Conversely, for a sequence in , we could add at the end of that sequence, and since and have different parities, the resulting sequence will be in . Therefore, there is a one-to-one correspondence between the sequences in this case and the sequences in . So the number of sequences in this case is .
Case 2. The second-to-last term is less than or equal to . But and have the same parity, so the second-to-last term cannot exceed . When we substitute the last term with , the resulting sequence will satisfy the problem conditions and will be in . Conversely, for a sequence in , we could substitute its last term with . As and have the same parity, the resulting sequence will be in . Hence, in this case, the number of sequences is .
Now, since for all natural numbers , we can recursively compute that the number of all possible sequences having their last terms as is . Note that the resulting sequence is none other than the Fibonacci numbers.