Maths Olympiad Prep

Library / /604 of 740

, 2014

Combinatorics Difficulty 5.3 AIME, harder Prove it United States

Problem:
Find the number of strictly increasing sequences of nonnegative integers with the following properties:
- The first term is 00 and the last term is 1212. In particular, the sequence has at least two terms.
- Among any two consecutive terms, exactly one of them is even.

Solution

Solution:
Answer: 144144

For a natural number nn, let AnA_{n} be a set containing all sequences which satisfy the problem conditions but with 1212 replaced by nn. Also, let ana_{n} be the size of AnA_{n}.

We first consider a1a_{1} and a2a_{2}. We get a1=1a_{1}=1, as the only sequence satisfying the problem conditions is 0,10,1. We also get a2=1a_{2}=1, as the only possible sequence is 0,1,20,1,2.

Next, we show that an+2=an+1+ana_{n+2}=a_{n+1}+a_{n} for all natural numbers nn. We consider the second-to-last terms of each sequence in An+2A_{n+2}.

Case 1. The second-to-last term is n+1n+1. When we leave out the last term, the remaining sequence will still satisfy the problem conditions, and hence is in An+1A_{n+1}. Conversely, for a sequence in An+1A_{n+1}, we could add n+2n+2 at the end of that sequence, and since n+1n+1 and n+2n+2 have different parities, the resulting sequence will be in An+2A_{n+2}. Therefore, there is a one-to-one correspondence between the sequences in this case and the sequences in An+1A_{n+1}. So the number of sequences in this case is an+1a_{n+1}.

Case 2. The second-to-last term is less than or equal to nn. But nn and n+2n+2 have the same parity, so the second-to-last term cannot exceed n1n-1. When we substitute the last term (n+2)(n+2) with nn, the resulting sequence will satisfy the problem conditions and will be in AnA_{n}. Conversely, for a sequence in AnA_{n}, we could substitute its last term nn with n+2n+2. As nn and n+2n+2 have the same parity, the resulting sequence will be in An+2A_{n+2}. Hence, in this case, the number of sequences is ana_{n}.

Now, since an+2=an+1+ana_{n+2}=a_{n+1}+a_{n} for all natural numbers nn, we can recursively compute that the number of all possible sequences having their last terms as 1212 is a12=144a_{12}=144. Note that the resulting sequence (an)(a_{n}) is none other than the Fibonacci numbers.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.