2017 AIME I Problems/Problem 9
Contents
Problem 9
Let , and for each positive integer
let
. Find the least positive
such that
is a multiple of
.
Solution 1
Writing out the recursive statement for and summing them gives
Which simplifies to
Therefore,
is divisible by 99 if and only if
is divisible by 99, so
needs to be divisible by 9 and 11. Assume that
is a multiple of 11. Writing out a few terms,
, we see that
is the smallest
that works in this case. Next, assume that
is a multiple of 11. Writing out a few terms,
, we see that
is the smallest
that works in this case. The smallest
is
.
Note that we can also construct the solution using CRT by assuming either divides
and
divides
, or
divides
and
divides
, and taking the smaller solution.
Solution 2
By looking at the first few terms, we can see that
This implies
Since
, we can rewrite the equivalence, and simplify
The only squares that are congruent to
are
and
, so
yields
as the smallest integer solution.
yields
as the smallest integer solution.
yields
as the smallest integer solution.
yields
as the smallest integer solution. However,
must be greater than
.
The smallest positive integer solution greater than is
.
Question
Is there an efficient way to notice that the only squares that are congruent to are
and
?
Answer: Yes.
We will solve the question by looking for solutions for . Let the square be
, thus satisfying
and
for some integer
. Checking the first factor,
, for factors of
yields:
In the first case, the product does divide , so
is a solution. For the others, since the first factor already divides
, the second factor must divide
(or
in the case of
, which already has a factor of
) in order for the product to divide
. Here, that is not the case, so
is the only possible solution.
Now we check the second factor, :
We immediately see that is a solution. Using a similar argument as above for the others, we notice that
is the only solution in this group. Using the property that
, it is clear that
is also a solution. As a result,
and
are the only solutions. (This process takes a much shorter time than it seems.)
~eevee9406
Solution 3
. Using the steps of the previous solution we get up to
. This gives away the fact that
so either
or
must be a multiple of 9.
Case 1 (): Say
and after simplification
.
Case 2: (): Say
and after simplification
.
As a result must be a divisor of
and after doing some testing in both cases the smallest value that works is
.
~First
Solution 4 (not good, risky)
We just notice that , so we are just trying to find
modulo
, or
modulo
. Also, the sum to
is divisible by
, and is the first one that is. Thus, if we sum to
the
is cut off and thus is just a sum to
.
Without checking whether there are other sums congruent to , we can just write the answer to be
.
Solution 5
Let . We can find a formula for
:
.
Notice that both can't have a factor of 3. Thus we can limit our search range of n to . Testing values for n in our search range (like 7,8,16,17,25,26...), we get that 35 is the least n. But, don't write that down! Remember,
, so, the 35th term in b corresponds to the 45th term in a. Thus our answer is
.
-AlexLikeMath
Solution 6 (bash, slower, but safer)
The first thing you should realize is that each term after the tenth is another two-digit number chained to the last number. . Now the fact that the sequence starts at
can be completely discarded for this solution. Just consider
then same as
, and we can add nine to the answer at the end.
The second step is to split as
and
and solve for divisibility rules individually. Let's start with
because it gives us the most information to continue.
In any number generated, if the numbers don't go beyond , then the highest number we can get is
, with every odd digit being
. This is a little risky because we are assuming that it doesn't exceed
. If someone wanted to be absolutely sure they could continue, but this is unnecessary later and a big hassle. Anyways, now we write an equation to check for divisibility by
. The expression being
.
The concept here is to add to the
term altogether, then subtract the number of ones in it, which is
. Simplify to
congruent to
. Now notice the divide by two can be discarded because one of
or
will be even. So if
or
is to be divisible by
, we can make a simple list.
Now we test each for divisibility by
.
This is done by making a list that ultimately calculates the sum of every digit in the large number.
to
has the first digit
.
to
has the first digit
, and so on.
The necessary thing to realize is that the sum of all digits
is divisible by
, so we only have to solve for the sum of the first digits, and then the short list of second digits.
For example, let's test .
So we know that include both
and
, so that's
right away.
contains
numbers that have the first digit
, so
. Then we add
together, which is
.
, which is not divisible by
, so it is not the answer.
Do this for just a minute you get that sums to
, a multiple of nine! So
is the answer, right? Don't forget we have to add
because we translated
to
at the very beginning!
Finally, after a short bash, we get
.
-jackshi2006
( by PureSwag)
Solution 7 (Bash Bash Bash)
We will work. The recursive formula now becomes
. Now, we will bash. For convenience, everything is taken
. The sequence is
Hence the least number
is
.
~typos fixed by lpieleanu
Solution 8
Taking the recurrence mod , we have
for
. Then, we have
Then, we simply can test these values of
to find that
produces a value that is also divisible by
.
-A1001
Note
By the way, if you're wondering, is the
-digit number
The prime factorization of
is
and
is the
-digit number
See also
2017 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 8 |
Followed by Problem 10 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.