Difference between revisions of "Mock AIME 6 2006-2007 Problems/Problem 15"
m |
(solution) |
||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
− | { | + | We perform casework backwards, inverting <math>f(A)</math> once at a time. Beginning at the sequence <math>(1)</math>, we can create a multitude of sequences: |
+ | <cmath>(1,2);(2,3);(3,4);\ldots;(17,18)</cmath> | ||
+ | If the first term is <math>9</math> or greater, then we cannot continue to invert, so we only consider the lesser cases. From <math>(8,9)</math>, we can create <math>1</math> case, namely <math>(1,9,18)</math>. From <math>(7,8)</math>, we can create <math>3</math> cases. Thus we conjecture that <math>(k,k+1)</math> results in <math>17-2k</math> additional cases. As a result, there are a total of <math>1+3+5+\cdots+13+15=64</math> cases of length <math>3</math>. There are clearly also <math>17</math> cases of length <math>2</math>. | ||
+ | |||
+ | Next, we consider length <math>4</math>. From <math>(4,5)</math>, we can create <math>(1,5,10)</math>, among others, which results in <math>(1,2,7,17)</math>, and we can shift <math>1</math> greater again, so there are <math>2</math> cases. | ||
+ | |||
+ | From <math>(3,4)</math>, we can create <math>(1,4,8)</math> and <math>(2,5,9)</math>, among others, which each create <math>(1,2,6,14)</math> and <math>(1,3,8,17)</math> respectively when inverted. We can shift again, so there are <math>5</math> and <math>2</math> more cases respectively. | ||
+ | |||
+ | From <math>(2,3)</math>, we can create a total of <math>8+5+2=15</math> cases (left as an exercise to the reader). Finally, we tackle <math>(1,2)</math>, which by the same token should produce <math>11+8+5+2=26</math> cases of length <math>4</math>. | ||
+ | |||
+ | Consider length <math>5</math>. From the case <math>(1,2,4,8)</math>, we generate <math>(1,2,4,8,16)</math>, which can be shifted to produce <math>3</math> cases. There are no other strings that can generate a length <math>5</math> sequence inside the bounds, so we are done. | ||
+ | |||
+ | 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, it is easier for the reader to attempt this casework themselves; it is actually much easier than it appears to be. | ||
+ | |||
+ | ~ [https://artofproblemsolving.com/wiki/index.php/User:Eevee9406 eevee9406] |
Revision as of 20:57, 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, it is easier for the reader to attempt this casework themselves; it is actually much easier than it appears to be.