2020 AIME II 第 8 题

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

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

8.

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

Define a sequence recursively by f1(x)=∣x−1∣f_1(x) = |x - 1| and fn(x)=fn−1(∣x−n∣)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)=0f_n(x) = 0 当且仅当 ∣x−n∣|x - n| 是 fn−1f_{n-1} 的一个非负零点。计算前几个 nn 的零点集合

fn(x)=0f_n(x) = 0 exactly when ∣x−n∣|x - n| is a nonnegative zero of fn−1.f_{n-1}. Compute the zero sets for the first few n.n.

大提示:

令 Tk=k(k+1)2T_k = \frac{k(k+1)}{2},fnf_n 的零点是从 n−Tn−1n - T_{n-1} 到 TnT_n 每隔一个取出的整数,所以它们的和是 n(1+n(n−1)2)n\left(1 + \frac{n(n-1)}{2}\right)

With Tk=k(k+1)2,T_k = \frac{k(k+1)}{2}, the zeros of fnf_n are every other integer from n−Tn−1n - T_{n-1} up to Tn,T_n, so their sum is n(1+n(n−1)2)n\left(1 + \frac{n(n-1)}{2}\right)

解答:

因为 fn(x)=fn−1(∣x−n∣)f_n(x) = f_{n-1}(|x - n|),所以 fnf_n 的零点正好是 x=n±zx = n \pm z,其中 zz 遍历 fn−1f_{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 的零点是从 n−Tn−1n - T_{n-1} 到 TnT_n 每隔一个取出的整数。事实上,由归纳假设,fn−1f_{n-1} 的非负零点是从 00 或 11 到 Tn−1T_{n-1} 每隔一个取出的整数;套用 n±zn \pm z 后,就得到从 n−Tn−1n - T_{n-1} 到 n+Tn−1=Tnn + T_{n-1} = T_n 之间奇偶性相应的所有整数。

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

现在 S100=100⋅4951S_{100} = 100 \cdot 4951 =495,100≤500,000= 495{,}100 \le 500{,}000,而 S101=101⋅5051S_{101} = 101 \cdot 5051 =510,151>500,000= 510{,}151 \gt 500{,}000。最小的这样的 nn 是 101101。

Since fn(x)=fn−1(∣x−n∣),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 fn−1.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 n−Tn−1n - T_{n-1} through Tn.T_n. Indeed, by induction the nonnegative zeros of fn−1f_{n-1} are every other integer from 00 or 11 up to Tn−1,T_{n-1}, and applying n±zn \pm z yields every integer of the appropriate parity from n−Tn−1n - T_{n-1} through n+Tn−1=Tn.n + T_{n-1} = T_n.

This progression has Tn+Tn−1−n2+1=n(n−1)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 (n−Tn−1)+Tn=2n,(n - T_{n-1}) + T_n = 2n, so the sum of the zeros is Sn=n(n(n−1)2+1),S_n = n\left(\frac{n(n-1)}{2} + 1\right), which is increasing in n.n.

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

第 7 题#7
完整试卷

其他年份的第 8 题