返回题库

AIME 2020 II · 第 8 题

AIME 2020 II — Problem 8

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

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>1n>1. Find the least value of nn such that the sum of the zeros of fnf_n exceeds 500,000500,000.

解析

Solution 1 (Official MAA)

First it will be shown by induction that the zeros of fnf_n are the integers a,a+2,a+4,,a+n(n1)a, {a+2,} {a+4,} \dots, {a + n(n-1)}, where a=nn(n1)2.a = n - \frac{n(n-1)}2.

This is certainly true for n=1n=1. Suppose that it is true for n=m11n = m-1 \ge 1, and note that the zeros of fmf_m are the solutions of xm=k|x - m| = k, where kk is a nonnegative zero of fm1f_{m-1}. Because the zeros of fm1f_{m-1} form an arithmetic sequence with common difference 2,2, so do the zeros of fmf_m. The greatest zero of fm1f_{m-1} is

m1+(m1)(m2)2=m(m1)2,m-1+\frac{(m-1)(m-2)}2 =\frac{m(m-1)}2, so the greatest zero of fmf_m is m+m(m1)2m+\frac{m(m-1)}2 and the least is mm(m1)2m-\frac{m(m-1)}2.

It follows that the number of zeros of fnf_n is n(n1)2+1=n2n+22\frac{n(n-1)}2+1=\frac{n^2-n+2}2, and their average value is nn. The sum of the zeros of fnf_n is

n3n2+2n2.\frac{n^3-n^2+2n}2. Let S(n)=n3n2+2nS(n)=n^3-n^2+2n, so the sum of the zeros exceeds 500,000500{,}000 if and only if S(n)>1,000,000=1003 ⁣.S(n) > 1{,}000{,}000 = 100^3\!. Because S(n)S(n) is increasing for n>2n > 2, the values S(100)=1,000,00010,000+200=990,200S(100) = 1{,}000{,}000 - 10{,}000 + 200 = 990{,}200 and S(101)=1,030,30110,201+202=1,020,302S(101)=1{,}030{,}301 - 10{,}201 + 202 = 1{,}020{,}302 show that the requested value of nn is 101\boxed{101}.

Solution 2 (Same idea, easier to see)

Starting from f1(x)=x1f_1(x)=|x-1|, we can track the solutions, the number of solutions, and their sum:

nSolutionsnumbersum111121,32430,2,4,641242,0,2...1072855,3,1...151155\begin{array}{c|c|c|c} n&Solutions&number&sum\\ 1&1&1&1\\ 2&1,3&2&4\\ 3&0,2,4,6&4&12\\ 4&-2,0,2...10&7&28\\ 5&-5,-3,-1...15&11&55\\ \end{array} It is clear that the solutions form arithmetic sequences with a difference of 2, and the negative solutions cancel out all but nn of the 1+n(n1)21+\frac{n(n-1)}{2} solutions. Thus, the sum of the solutions is n[1+n(n1)2]n \cdot [1+\frac{n(n-1)}{2}], which is a cubic function. (Side Note: Gergor-Newton Interpolation Formula is applicable here)

n[1+n(n1)2]>500,000n \cdot [1+\frac{n(n-1)}{2}]>500,000

Multiplying both sides by 22,

n[2+n(n1)]>1,000,000n \cdot [2+n(n-1)]>1,000,000

1 million is 106=100310^6=100^3, so the solution should be close to 100100.

100 is slightly too small, so 101\boxed{101} works.

~ dragnin

Video Solution

https://youtu.be/g13o0wgj4p0