返回题库

AIME 2020 II · 第 10 题

AIME 2020 II — Problem 10

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Find the sum of all positive integers nn such that when 13+23+33++n31^3+2^3+3^3+\cdots +n^3 is divided by n+5n+5, the remainder is 1717.

解析

Solution 1

The formula for the sum of cubes, also known as Nicomachus's Theorem, is as follows:

13+23+33++k3=(1+2+3++k)2=(k(k+1)2)21^3+2^3+3^3+\dots+k^3=(1+2+3+\dots+k)^2=\left(\frac{k(k+1)}{2}\right)^2 for any positive integer kk.

So let's apply this to this problem.

Let m=n+5m=n+5. Then we have

13+23+33++(m5)317modm((m5)(m4)2)217modm(m(m9)+202)217modm(m(m9)+20)2417modm(20)268modm3320modm\begin{aligned} 1^3+2^3+3^3+\dots+(m-5)^3&\equiv 17 \mod m \\ \left(\frac{(m-5)(m-4)}{2}\right)^2&\equiv 17 \mod m \\ \left(\dfrac{m(m-9)+20}2\right)^2&\equiv 17\mod m \\ \left(m(m-9)+20\right)^2&\equiv 4\cdot 17\mod m \\ \left(20\right)^2&\equiv 68\mod m \\ 332 &\equiv 0 \mod m \\ \end{aligned} So, m{83,166,332}m\in\{83,166,332\}. Testing the cases, only 332332 fails. This leaves 78+161=23978+161=\boxed{239}.

LaTeX\LaTeX and formatting adjustments and intermediate steps for clarification by Technodoggo.

Solution 2 (Official MAA 1)

The sum of the cubes from 1 to nn is

13+23++n3=n2(n+1)24.1^3+2^3+\cdots+n^3=\frac{n^2(n+1)^2}{4}. For this to be equal to (n+5)q+17(n+5)q+17 for some integer qq, it must be that

n2(n+1)2=4(n+5)q+417,n^2(n+1)^2=4(n+5)q+4\cdot 17, so

n2(n+1)2417=68(modn+5).n^2(n+1)^2 \equiv 4 \cdot 17= 68\hskip-.2cm \pmod{n+5}. But n2(n+1)2(5)2(4)2=400(modn+5).n^2(n+1)^2 \equiv (-5)^2(-4)^2 = 400 \pmod{n+5}. Thus n2(n+1)2n^2(n+1)^2 is congruent to both 6868 and 400,400, which implies that n+5n+5 divides 40068=332=2283400-68 = 332=2^2 \cdot 83. Because n+5>17n+5 > 17, the only choices for n+5n+5 are 83,166,83, 166, and 332.332. Checking all three cases verifies that n=78n=78 and n=161n=161 work, but n=327n=327 does not. The requested sum is 78+161=23978+161 = 239.

Solution 3 (Official MAA 2)

The sum of the cubes of the integers from 11 through nn is

13+23++n3=n2(n+1)24,1^3+2^3+\cdots+n^3=\frac{n^2(n+1)^2}{4}, which, when divided by n+5n+5, has quotient

Q=14n334n2+4n20=n2(n3)4+4n20Q=\frac14n^3 -\frac34n^2+4n-20 = \frac{n^2(n-3)}4+4n-20 with remainder 100.100. If nn is not congruent to 1(mod4)1\pmod4, then QQ is an integer, and

n2(n+1)24=(n+5)Q+10017(modn+5),\frac{n^2(n+1)^2}{4} = (n+5)Q + 100 \equiv 17\pmod{n+5}, so n+5n+5 divides 10017=83100 - 17 =83, and n=78n = 78. If n1(mod4)n \equiv 1 \pmod4, then QQ is half of an integer, and letting n=4k+1n = 4k+1 for some integer kk gives

n2(n+1)24=2(2k+3)Q+10017(modn+5).\frac{n^2(n+1)^2}{4} = 2(2k+3)Q + 100 \equiv 17\pmod{n+5}. Thus 2k+32k+3 divides 10017=83100-17 = 83. It follows that k=40k=40, and n=161n = 161. The requested sum is 161+78=239161 + 78 = 239.

Solution 4

Using the formula for k=1nk3\sum_{k=1}^n k^3,

13+23+33+...+n3=n2(n+1)241^3 + 2^3 + 3^3 + ... + n^3 = \frac{n^2(n+1)^2}{4} Since 13+23+33+...+n31^3 + 2^3 + 3^3 + ... + n^3 divided by n+5n + 5 has a remainder of 1717,

n2(n+1)2417(modn+5)\frac{n^2(n+1)^2}{4} \equiv 17\pmod {n + 5} Using the rules of modular arithmetic,

n2(n+1)268(modn+5)n^2(n+1)^2 \equiv 68\pmod {n + 5} n2(n+1)2680(modn+5)n^2(n+1)^2 - 68\equiv 0\pmod {n + 5} Expanding the left hand side,

n4+2n3+n2680(modn+5)n^4 + 2 n^3 + n^2 - 68\equiv 0\pmod {n + 5} This means that n4+2n3+n268n^4 + 2 n^3 + n^2 - 68 is divisible by n+5{n + 5}.

(n+5)(n4+2n3+n268)(n + 5) | (n^4 + 2 n^3 + n^2 - 68) Dividing polynomials,

n4+2n3+n268n+5\frac{n^4 + 2 n^3 + n^2 - 68}{n + 5} =n33n2+16n80+332(n+5)= n^3 - 3 n^2 + 16n - 80 + \frac{332}{(n + 5)} (n+5)(n + 5) | (n4+2n3+n268)(n^4 + 2 n^3 + n^2 - 68)     \iff 332(n+5)\frac{332}{(n + 5)} \in Z\mathbb{Z} 332(n+5)\frac{332}{(n + 5)} \in Z\mathbb{Z}     \iff (n+5)=±1,±2,±4,±83,±166,±332(n + 5) = \pm 1, \pm 2, \pm 4, \pm 83, \pm 166, \pm 332 Note that nn \in N\mathbb{N} and n+5>17n + 5 > 17 (because the remainder when dividing by n+5n + 5 is 1717, so n+5n + 5 must be greater than 1717), so all options 17\leq 17 can be eliminated.

(n+5)=83,166,332(n + 5) = 83, 166, 332 n=78,161,327n = 78, 161, 327 Checking all 3 cases, n=78n = 78 and n=161n = 161 work; n=327n = 327 fails. Therefore, the answer is 78+161=23978 + 161 = \boxed{239}. ~ {TSun} ~

Solution 5 (similar ideas to Solution 1, but faster)

As before, we note that (5+a)3+(na)3(5+a)3(n+5(na))30(modn+5).(5+a)^3 + (n-a)^3 \equiv (5+a)^3 - (n+5 - (n-a))^3 \equiv 0 \pmod {n+5}. Thus, we can pair up the terms from 535^3 to n3n^3 and cancel them. We have to deal with two cases:

If nn is even, then 53+63++n30(modn+5),5^3+6^3 + \cdots + n^3 \equiv 0 \pmod {n+5}, as there are an even number of terms and they pair and cancel. We thus get 12+23+33+43=10017(modn+5),1^2+2^3+3^3+4^3 = 100 \equiv 17 \pmod {n+5}, or (n+5)83,(n+5) | 83, which yields n=78.n=78.

If nn is odd, then 13+23++n313+23+33+43+(n+52)317(modn+5).1^3+2^3+\cdots + n^3 \equiv 1^3+2^3+3^3+4^3+\left( \frac{n+5}{2} \right)^3 \equiv 17 \pmod {n+5}. Letting k=n+52k = \frac{n+5}{2} yields k2+830(mod2k).k^2 + 83 \equiv 0 \pmod {2k}. However, this means that 8383 is divisible by k,k, so k=1,83.k=1,83. Plugging this back into nn yields n=2(83)5=161n=2(83)-5 = 161 in the latter case.

Thus, the sum of all possible nn is just 78+161=239.78+161 = \boxed{239}.

- ccx09

Video Solution by OmegaLearn

There was a link to alcumus instead of a link to a video solution by OmegaLearn here. I tried to search up his video but I couldn't find it. Please find it and insert it here.

~ pi_is_3.14

Video solution

https://www.youtube.com/watch?v=87Mp0cdUtCU ~ North America Math Contest Go Go Go

Video Solution

https://youtu.be/bz5N-jI2e0U?t=201