2019 AIME II Problems/Problem 14
Contents
Problem
Find the sum of all positive integers such that, given an unlimited supply of stamps of denominations
and
cents,
cents is the greatest postage that cannot be formed.
Solution 1
By the Chicken McNugget theorem, the least possible value of such that
cents cannot be formed satisfies
, so
must be at least
.
For a value of to work, we should not be able to form the value
but we should be able to form the values from
to
. We can form any value after
by adding
cent stamps.
We need to form the values while also not forming the value
If we used a
cent stamp here, then we could just remove 1 to get down to
So we need to be able to form
only using denominations of
and $n + 1.
Now we can figure out the working$ (Error compiling LaTeX. Unknown error_msg)(n , n+1)96
\frac{96}{24}=4
na + (n + 1)b = 96,
a
n
b
n + 1
(a,b)
n
(a,b)$pair we find that the potential solutions are:
<cmath>(n, n + 1) \rightarrow (\xcancel{23}, \xcancel{24}), (24, 25), (31, 32), (32, 33), (47, 48), (48, 49), (95, 96), (96, 97)</cmath>.
The last two do not work because they are too large to form the values$ (Error compiling LaTeX. Unknown error_msg)9295
(24, 25)
(47, 48)
96
91,
n \in \{24, 47\}
24 + 47 = \boxed{071}$.
~Revision by [[User:emerald_block|emerald_block]] ~Minor Revision by [[Mathkiddie|Mathkiddie]], ~Revisions by [[User:grogg007]]
===Note on finding and testing potential pairs===
In order to find potential$ (Error compiling LaTeX. Unknown error_msg)(n,n+1)n
n+1
4n
n\ge24
n
96
96
1
2
3
4
n
n+1
2
3
4
\begin{array}{c|c|c}
\text{Combination} & \text{Sum} & n\text{-value} \\ \hline
n,n,n,n & 4n & 24 \\
n+1,n+1,n+1 & 3n+3 & 31 \\
n,n,n & 3n & 32 \\
n+1,n+1 & 2n+2 & 47 \\
n,n & 2n & 48 \\
n+1 & n+1 & 95 \\
n & n & 96 \\
\end{array}
5
91
92
93
94
95
5
96
2
3
4$$ (Error compiling LaTeX. Unknown error_msg)\pmod{5}
n
n+1
1
\begin{array}{c|c|c|c|c}
\text{Pair} & \text{Not }91 & 92 & 93 & 94 \\ \hline
24,25 & \checkmark & \checkmark & \checkmark & \checkmark \\
31,32 & \times & \checkmark & \checkmark & \checkmark \\
32,33 & \times & \checkmark & \checkmark & \checkmark \\
47,48 & \checkmark & \checkmark & \checkmark & \checkmark \\
48,49 & \checkmark & \times & \checkmark & \checkmark \\
\end{array}
$
(Note that if a pair is unable to fulfill a single requirement, there is no need to check the rest.)
Solution 2
Notice that once we hit all residues , we'd be able to get any number greater (since we can continually add
to each residue). Furthermore,
since otherwise
is obtainable (by repeatedly adding
to either
or
) Since the given numbers are
,
, and
, we consider two cases: when
and when
is not that.
When , we can only hit all residues
once we get to
(since
and
only contribute
more residue
). Looking at multiples of
greater than
with
, we get
. It's easy to check that this works. Furthermore, any
greater than this does not work since
isn't the largest unobtainable value (can be verified using Chicken McNugget Theorem).
Now, if , then we'd need to go up to
until we can hit all residues
since
and
create
distinct residues
. Checking for such
gives
and
. It's easy to check that
works, but
does not (since
is unobtainable). Furthermore, any
greater than this does not work since
isn't the largest unobtainable value in those cases (can be verified using Chicken McNugget Theorem). (Also note that in the
case, the residue
has will not be produced until
while the
case has already been produced, so the highest possible value that cannot be produced would not be a number equivalent to
)
Since we've checked all residues , we can be sure that these are all the possible values of
. Hence, the answer is
. - ktong
Solution 3
Obviously . We see that the problem's condition is equivalent to: 96 is the smallest number that can be formed which is 1 mod 5, and 92, 93, 94 can be formed (95 can always be formed). Now divide this up into cases. If
, then 91 can be formed by using
and some 5's, so there are no solutions for this case. If
, then 91 can be formed by using
and some 5's, so there are no solutions for this case either.
For ,
is the smallest value that can be formed which is 1 mod 5, so
and
. We see that
,
, and
, so
does work. If
, then the smallest value that can be formed which is 1 mod 5 is
, so
and
. We see that
and
, but 92 cannot be formed, so there are no solutions for this case. If
, then we can just ignore
since it is a multiple of 5, meaning that the Chicken McNugget theorem is a both necessary and sufficient condition, and it states that
meaning
and
.
Hence, the only two
that work are
and
, so our answer is
.
-Stormersyle
Solution 4 (standard)
Consider a postage that gives . We cannot use a
-stamp as otherwise simply removing it yields a postage that gives
. Additionally, there cannot be at least
of
-stamps or
-stamps, as else we can convert
of the same valued stamp into a positive number of
-stamps, then remove one to get a postage of
.
From here consider integers where
. The only pairs
that yield an integer value are
which generate the values
respectively. It is easy to find counterexamples of postages that evaluate to
besides
.
Now for clearly
is unobtainable since we need a
amount of
-stamps which exceeds a value of
. A similar result holds for
as any evaluation
can only be
. In both cases it is easy to construct a postage for
, to which repeatedly adding
-stamps makes all postages worth
possible. The requesteed sum is
.
- blueprimes
Video Solution
Video solution by Dr. Osman Nal: https://www.youtube.com/watch?v=fTZP2e-_rjA
See Also
2019 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 13 |
Followed by Problem 15 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
These problems are copyrighted © by the Mathematical Association of America, as part of the American Mathematics Competitions.