2020 AIME II Problem 8

Below is the professionally curated solution for Problem 8 of the 2020 AIME II, from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2020 AIME II solutions, or check the answer key.

All of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Concepts:absolute valuerecursiontriangular numberinduction

Difficulty rating: 2920

8.

Define a sequence recursively by f1(x)=x1f_1(x) = |x - 1| and fn(x)=fn1(xn)f_n(x) = f_{n-1}(|x - n|) for integers n>1.n \gt 1. Find the least value of nn such that the sum of the zeros of fnf_n exceeds 500,000.500{,}000.

Solution:

Since fn(x)=fn1(xn),f_n(x) = f_{n-1}(|x - n|), the zeros of fnf_n are exactly x=n±zx = n \pm z as zz runs over the nonnegative zeros of fn1.f_{n-1}. The first few zero sets are {1},\{1\}, {1,3},\{1, 3\}, {0,2,4,6},\{0, 2, 4, 6\}, {2,0,2,,10}.\{-2, 0, 2, \ldots, 10\}. Writing Tk=k(k+1)2,T_k = \frac{k(k+1)}{2}, we claim the zeros of fnf_n are every other integer from nTn1n - T_{n-1} through Tn.T_n. Indeed, by induction the nonnegative zeros of fn1f_{n-1} are every other integer from 00 or 11 up to Tn1,T_{n-1}, and applying n±zn \pm z yields every integer of the appropriate parity from nTn1n - T_{n-1} through n+Tn1=Tn.n + T_{n-1} = T_n.

This progression has Tn+Tn1n2+1=n(n1)2+1\frac{T_n + T_{n-1} - n}{2} + 1 = \frac{n(n-1)}{2} + 1 terms, and its first and last terms sum to (nTn1)+Tn=2n,(n - T_{n-1}) + T_n = 2n, so the sum of the zeros is Sn=n(n(n1)2+1),S_n = n\left(\frac{n(n-1)}{2} + 1\right), which is increasing in n.n.

Now S100=1004951=495,100500,000,S_{100} = 100 \cdot 4951 = 495{,}100 \le 500{,}000, while S101=1015051=510,151>500,000.S_{101} = 101 \cdot 5051 = 510{,}151 \gt 500{,}000. The least such nn is 101.101.

← Problem 7Full ExamProblem 9

Problem 8 in Other Years