2020 AIME II 第 8 题

先试着解答 2020 AIME II 第 8 题,然后核对你的答案与精心整理的解答,解答来自 LIVE by Po-Shen Loh。你也可以参加完整限时模拟考试、查看全部 2020 AIME II 解答,或核对答案

所有题目均经美国数学协会(MAA)官方合法授权使用。

8.

递归定义函数列:f1(x)=x1f_1(x) = |x - 1|,且对整数 n>1n \gt 1fn(x)=fn1(xn)f_n(x) = f_{n-1}(|x - n|)。求最小的 nn,使得 fnf_n 的所有零点之和超过 500,000500{,}000

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.

答案:101
知识点:绝对值递推三角形数数学归纳法
难度评级:2920
解答:

因为 fn(x)=fn1(xn)f_n(x) = f_{n-1}(|x - n|),所以 fnf_n 的零点正好是 x=n±zx = n \pm z,其中 zz 遍历 fn1f_{n-1} 的非负零点。前几个零点集合为 {1}\{1\}{1,3}\{1, 3\}{0,2,4,6}\{0, 2, 4, 6\}{2,0,2,,10}\{-2, 0, 2, \ldots, 10\}。记 Tk=k(k+1)2T_k = \frac{k(k+1)}{2},我们断言 fnf_n 的零点是从 nTn1n - T_{n-1}TnT_n 每隔一个取出的整数。事实上,由归纳假设,fn1f_{n-1} 的非负零点是从 0011Tn1T_{n-1} 每隔一个取出的整数;套用 n±zn \pm z 后,就得到从 nTn1n - T_{n-1}n+Tn1=Tnn + T_{n-1} = T_n 之间奇偶性相应的所有整数。

这个等差数列有 Tn+Tn1n2+1=n(n1)2+1\frac{T_n + T_{n-1} - n}{2} + 1 = \frac{n(n-1)}{2} + 1 项,首末两项之和为 (nTn1)+Tn=2n(n - T_{n-1}) + T_n = 2n,所以零点之和为 Sn=n(n(n1)2+1),S_n = n\left(\frac{n(n-1)}{2} + 1\right),它随 nn 增大而增大。

现在 S100=1004951S_{100} = 100 \cdot 4951 =495,100500,000= 495{,}100 \le 500{,}000,而 S101=1015051S_{101} = 101 \cdot 5051 =510,151>500,000= 510{,}151 \gt 500{,}000。最小的这样的 nn101101

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=1004951S_{100} = 100 \cdot 4951 =495,100500,000,= 495{,}100 \le 500{,}000, while S101=1015051S_{101} = 101 \cdot 5051 =510,151>500,000.= 510{,}151 \gt 500{,}000. The least such nn is 101.101.

← 第 7 题#7
完整试卷

其他年份的第 8 题