Difference between revisions of "2023 AIME I Problems/Problem 10"
m (→Solution 5 (Quick and nonrigorous)) |
(→Solution 4 (Calculus)) |
||
(17 intermediate revisions by 9 users not shown) | |||
Line 1: | Line 1: | ||
− | ==Problem | + | ==Problem== |
There exists a unique positive integer <math>a</math> for which the sum <cmath>U=\sum_{n=1}^{2023}\left\lfloor\dfrac{n^{2}-na}{5}\right\rfloor</cmath> is an integer strictly between <math>-1000</math> and <math>1000</math>. For that unique <math>a</math>, find <math>a+U</math>. | There exists a unique positive integer <math>a</math> for which the sum <cmath>U=\sum_{n=1}^{2023}\left\lfloor\dfrac{n^{2}-na}{5}\right\rfloor</cmath> is an integer strictly between <math>-1000</math> and <math>1000</math>. For that unique <math>a</math>, find <math>a+U</math>. | ||
(Note that <math>\lfloor x\rfloor</math> denotes the greatest integer that is less than or equal to <math>x</math>.) | (Note that <math>\lfloor x\rfloor</math> denotes the greatest integer that is less than or equal to <math>x</math>.) | ||
− | ==Solution (Bounds and Decimal Part Analysis)== | + | ==Solution (Bounds and Decimal Part Analysis, Rigorous)== |
Define <math>\left\{ x \right\} = x - \left\lfloor x \right\rfloor</math>. | Define <math>\left\{ x \right\} = x - \left\lfloor x \right\rfloor</math>. | ||
Line 87: | Line 87: | ||
</cmath> | </cmath> | ||
− | + | Therefore, <math>a + U = 1349 - 405 = \boxed{\textbf{944}}</math>. | |
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com) | ||
− | + | ~minor edits by [https://artofproblemsolving.com/wiki/index.php/User:Kevinchen_yay KevinChen_Yay] | |
− | https:// | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | ==Solution 2== | |
− | |||
− | ==Solution | ||
We define <math>U' = \sum^{2023}_{n=1} {\frac{n^2-na}{5}}</math>. Since for any real number <math>x</math>, <math>\lfloor x \rfloor \le x \le \lfloor x \rfloor + 1</math>, we have <math>U \le U' \le U + 2023</math>. Now, since <math>-1000 \le U \le 1000</math>, we have <math>-1000 \le U' \le 3023</math>. | We define <math>U' = \sum^{2023}_{n=1} {\frac{n^2-na}{5}}</math>. Since for any real number <math>x</math>, <math>\lfloor x \rfloor \le x \le \lfloor x \rfloor + 1</math>, we have <math>U \le U' \le U + 2023</math>. Now, since <math>-1000 \le U \le 1000</math>, we have <math>-1000 \le U' \le 3023</math>. | ||
Line 139: | Line 130: | ||
~ genius_007 | ~ genius_007 | ||
− | ==Solution | + | ==Solution 3 (Quick)== |
Line 151: | Line 142: | ||
<math>U \approx \frac {\left( \frac {n(n+1)(2n+1)}{6} - \frac{(a)(n)(n+1)}{2} -404s \right)}{5}</math> | <math>U \approx \frac {\left( \frac {n(n+1)(2n+1)}{6} - \frac{(a)(n)(n+1)}{2} -404s \right)}{5}</math> | ||
− | Where <math>n=2023</math>. Note that since <math>5 \cdot 404=2020</math>, this is an approximation for <math>U</math> because the equation disregards the remainder (mod <math>5</math>) when <math>n=</math> | + | Where <math>n=2023</math>. Note that since <math>5 \cdot 404=2020</math>, this is an approximation for <math>U</math> because the equation disregards the remainder (mod <math>5</math>) when <math>n=2021, 2022</math>, and <math>2023</math> so we must subtract the first 3 terms of our set of congruences one extra time to get the exact value of <math>U</math> (*). However, we will find that this is a negligible error when it comes to the inequality <math>-1000<U<1000</math>, so we can proceed with this approximation to solve for <math>a</math>. |
Factoring our approximation gives <math>U \approx \frac {\frac{(n)(n+1)(2n+1 - 3a)}{6}-404s}{5}</math> | Factoring our approximation gives <math>U \approx \frac {\frac{(n)(n+1)(2n+1 - 3a)}{6}-404s}{5}</math> | ||
Line 160: | Line 151: | ||
If <math>a</math> increases or decreases by <math>1</math>, then <math>U</math> changes by <math>\frac {(n)(n+1)}{2 \cdot 5} = \frac {2023 \cdot 2024}{10}</math> | If <math>a</math> increases or decreases by <math>1</math>, then <math>U</math> changes by <math>\frac {(n)(n+1)}{2 \cdot 5} = \frac {2023 \cdot 2024}{10}</math> | ||
− | which clearly breaks the inequality on <math>U</math>. Therefore <math>a=1349 \equiv 4</math> (mod <math>5</math>) giving the set of remainders <math>(2,1,2,0,0)</math>, so <math>s=5</math> and our approximation yields <math>U \approx -404</math>. However, we must subtract 2, 1, and 2 (*) giving us <math>U = - 404 - \frac{(2+1+2)}{5} = - 405</math>, giving an answer of <math>1349-405= \boxed{ | + | which clearly breaks the inequality on <math>U</math>. Therefore <math>a=1349 \equiv 4</math> (mod <math>5</math>) giving the set of remainders <math>(2,1,2,0,0)</math>, so <math>s=5</math> and our approximation yields <math>U \approx -404</math>. However, we must subtract 2, 1, and 2 (*) giving us <math>U = - 404 - \frac{(2+1+2)}{5} = - 405</math>, giving an answer of <math>1349-405= \boxed{944}</math> |
~Spencer Danese | ~Spencer Danese | ||
+ | |||
+ | ==Solution 4 (Calculus)== | ||
+ | Consider the integral | ||
+ | <cmath> \int_{0}^{2023} \dfrac{n^2-na}{5} \, dn. </cmath> | ||
+ | We hope this will give a good enough appoximation of <math>U</math> to find <math>a.</math> However, this integral can be easily evaluated to be | ||
+ | <cmath>\dfrac{1}{15}2023^3-\dfrac{a}{10}2023^2=2023^2\left(\dfrac{2023}{15}-\dfrac{a}{10}\right).</cmath> | ||
+ | Because we want this to be as close to <math>0</math> as possible, we find that <math>a</math> should equal <math>1349.</math> Then, evaluating the sum becomes trivial. Set | ||
+ | <cmath>U'=\sum_{n=1}^{2023}\dfrac{n^2-1349n}{5}</cmath> | ||
+ | and | ||
+ | <cmath>U''=\sum_{n=1}^{2023}\{\dfrac{n^2-1349n}{5}\}.</cmath> | ||
+ | Then <math>U=U'-U''.</math> We can evaluate <math>U'</math> to be <math>0</math> and <math>U''</math> to be <math>-405</math> (using some basic number theory). Thus, <math>U=-405</math> and the answer is | ||
+ | <cmath>1349+(-405)=\boxed{944}.</cmath> | ||
+ | ~[[BS2012]] | ||
+ | |||
+ | ==Video Solution by Punxsutawney Phil== | ||
+ | |||
+ | https://youtu.be/jQVbNJr0tX8 | ||
+ | |||
+ | ==Video Solution by Steven Chen== | ||
+ | |||
+ | https://youtu.be/fxsPmL6wuW4 | ||
+ | |||
+ | ==Video Solution by Mathematical Dexterity== | ||
+ | |||
+ | https://www.youtube.com/watch?v=49XIe2jx9zg | ||
==See also== | ==See also== |
Latest revision as of 20:24, 13 June 2024
Contents
Problem
There exists a unique positive integer for which the sum
is an integer strictly between
and
. For that unique
, find
.
(Note that denotes the greatest integer that is less than or equal to
.)
Solution (Bounds and Decimal Part Analysis, Rigorous)
Define .
First, we bound .
We establish an upper bound of . We have
We establish a lower bound of . We have
We notice that if , then
.
Thus,
Because and
, we must have either
or
.
For , we get a unique
.
For
, there is no feasible
.
Therefore, . Thus
.
Next, we compute .
Let , where
.
We have
Therefore,
Therefore, .
~Steven Chen (Professor Chen Education Palace, www.professorchenedu.com)
~minor edits by KevinChen_Yay
Solution 2
We define . Since for any real number
,
, we have
. Now, since
, we have
.
Now, we can solve for in terms of
. We have:
So, we have
, and
, so we have
, or
. Now,
is much bigger than
or
, and since
is an integer, to satsify the inequalities, we must have
, or
, and
.
Now, we can find . We have:
Now, if
, then
, and if
, then
, and so on. Testing with
, we get
respectively. From 1 to 2023, there are 405 numbers congruent to 1 mod 5, 405 numbers congruent to 2 mod 5, 405 numbers congruent to 3 mod 5, 404 numbers congruent to 4 mod 5, and 404 numbers congruent to 0 mod 5. So, solving for
, we get:
Since
, this gives
, and we have
.
~ genius_007
Solution 3 (Quick)
We can view the floor function in this problem as simply subtracting the remainder of (mod
) from the numerator of
. For example,
.
Note that the congruence of (mod
) loops every time
increases by 5. Also, note that the congruence of
(mod
) determines the set of congruences of
for each congruence of
(mod
).
For example, if (mod
), the set of remainders is
for
(mod
). Let the sum of these elements be
. Note that for each “loop” of the numerator (mod
), each element of the set will be subtracted exactly once, meaning
is subtracted once for each loop. The value of the numerator will loop
times (mod
) throughout the sum, as
. Then
Where . Note that since
, this is an approximation for
because the equation disregards the remainder (mod
) when
, and
so we must subtract the first 3 terms of our set of congruences one extra time to get the exact value of
(*). However, we will find that this is a negligible error when it comes to the inequality
, so we can proceed with this approximation to solve for
.
Factoring our approximation gives
We set to make
, accordingly minimizing
, yielding
If increases or decreases by
, then
changes by
which clearly breaks the inequality on
. Therefore
(mod
) giving the set of remainders
, so
and our approximation yields
. However, we must subtract 2, 1, and 2 (*) giving us
, giving an answer of
~Spencer Danese
Solution 4 (Calculus)
Consider the integral
We hope this will give a good enough appoximation of
to find
However, this integral can be easily evaluated to be
Because we want this to be as close to
as possible, we find that
should equal
Then, evaluating the sum becomes trivial. Set
and
Then
We can evaluate
to be
and
to be
(using some basic number theory). Thus,
and the answer is
~BS2012
Video Solution by Punxsutawney Phil
Video Solution by Steven Chen
Video Solution by Mathematical Dexterity
https://www.youtube.com/watch?v=49XIe2jx9zg
See also
2023 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 9 |
Followed by Problem 11 | |
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.