Difference between revisions of "Mock AIME 6 2006-2007 Problems/Problem 15"
(solution) |
m |
||
Line 17: | Line 17: | ||
Thus the answer is <math>17+64+2+7+15+26+3=\boxed{134}</math> such sequences. | Thus the answer is <math>17+64+2+7+15+26+3=\boxed{134}</math> such sequences. | ||
− | <i>Note:</i> Although this casework may seem complicated, | + | <i>Note:</i> Although this casework may seem complicated, the reader should attempt this casework themselves; it is actually much easier than it appears to be. |
~ [https://artofproblemsolving.com/wiki/index.php/User:Eevee9406 eevee9406] | ~ [https://artofproblemsolving.com/wiki/index.php/User:Eevee9406 eevee9406] |
Latest revision as of 20:58, 29 April 2025
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.