Mock AIME 6 2006-2007 Problems/Problem 15
Problem
For any finite sequence of positive integers , let
be the sequence of the differences between consecutive terms of
. i.e.
. Let
denote
applied
times to
. If all of the sequences
are strictly increasing and the only term of
is
, we call the sequence
. How many sequences
with at least two terms and no terms exceeding
are
?
Solution
We perform casework backwards, inverting once at a time. Beginning at the sequence
, we can create a multitude of sequences:
If the first term is
or greater, then we cannot continue to invert, so we only consider the lesser cases. From
, we can create
case, namely
. From
, we can create
cases. Thus we conjecture that
results in
additional cases. As a result, there are a total of
cases of length
. There are clearly also
cases of length
.
Next, we consider length . From
, we can create
, among others, which results in
, and we can shift
greater again, so there are
cases.
From , we can create
and
, among others, which each create
and
respectively when inverted. We can shift again, so there are
and
more cases respectively.
From , we can create a total of
cases (left as an exercise to the reader). Finally, we tackle
, which by the same token should produce
cases of length
.
Consider length . From the case
, we generate
, which can be shifted to produce
cases. There are no other strings that can generate a length
sequence inside the bounds, so we are done.
Thus the answer is such sequences.
Note: Although this casework may seem complicated, the reader should attempt this casework themselves; it is actually much easier than it appears to be.