2020 AIME II 第 14 题

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

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

14.

对实数 xx,令 x\lfloor x \rfloor 为小于或等于 xx 的最大整数,并定义 {x}=xx\{x\} = x - \lfloor x \rfloorxx 的小数部分。例如,{3}=0\{3\} = 0,且 {4.56}=0.56\{4.56\} = 0.56。定义 f(x)=x{x}f(x) = x\{x\},令 NN 为方程 f(f(f(x)))=17f(f(f(x))) = 170x20200 \le x \le 2020 上的实数解个数。求 NN 除以 10001000 的余数。

For real number xx let x\lfloor x \rfloor be the greatest integer less than or equal to x,x, and define {x}=xx\{x\} = x - \lfloor x \rfloor to be the fractional part of x.x. For example, {3}=0\{3\} = 0 and {4.56}=0.56.\{4.56\} = 0.56. Define f(x)=x{x},f(x) = x\{x\}, and let NN be the number of real-valued solutions to the equation f(f(f(x)))=17f(f(f(x))) = 17 for 0x2020.0 \le x \le 2020. Find the remainder when NN is divided by 1000.1000.

答案:10
知识点:取整函数函数杨辉三角
难度评级:3160
解答:

[k,k+1)[k, k+1) 上,其中 k0k \ge 0 为整数,写 x=k+tx = k + t;则 f(x)=(k+t)tf(x) = (k + t)t00 严格递增并趋近于 k+1k + 1,所以 ff[k,k+1)[k, k+1) 双射到 [0,k+1)[0, k+1)。因此对任何满足 n<c<n+1n \lt c \lt n + 1cc, 方程 f(w)=cf(w) = c 在每个整数 knk \ge n, 对应的 [k,k+1)[k, k+1) 中恰有一个解,且没有其他解。

方程 f(z)=17f(z) = 17 对每个 n17n \ge 17 有一个解 zn(n,n+1)z_n \in (n, n+1)。接着,对每个 knk \ge n,方程 f(w)=znf(w) = z_n(k,k+1)(k, k+1) 中有一个解。最后,对 x[j,j+1)x \in [j, j+1),其中 0j20190 \le j \le 2019ff[j,j+1)[j, j+1) 双射到 [0,j+1)[0, j+1),所以在该区间内 f(f(f(x)))=17f(f(f(x))) = 17 的解数等于满足 w<j+1w \lt j + 1 的这类 ww 的个数,也就是满足 17nkj17 \le n \le k \le j 的数对 (n,k)(n, k) 的个数,即 (j152)\binom{j - 15}{2}。(端点 x=2020x = 2020 给出 f(x)=0f(x) = 0,不是解。)

由冰球杆恒等式, N=j=172019(j152)=a=22004(a2)=(20053)=2005200420036=1,341,349,010, \begin{aligned} N &= \sum_{j=17}^{2019} \binom{j - 15}{2} \\ &= \sum_{a=2}^{2004} \binom{a}{2} \\ &= \binom{2005}{3} \\ &= \frac{2005 \cdot 2004 \cdot 2003}{6} \\ &= 1{,}341{,}349{,}010, \end{aligned} 所以 NN 除以 10001000 的余数是 1010

On [k,k+1)[k, k+1) with k0k \ge 0 an integer, write x=k+t;x = k + t; then f(x)=(k+t)tf(x) = (k + t)t is strictly increasing from 00 toward k+1,k + 1, so ff maps [k,k+1)[k, k+1) bijectively onto [0,k+1).[0, k+1). Hence for any cc with n<c<n+1,n \lt c \lt n + 1, the equation f(w)=cf(w) = c has exactly one solution in [k,k+1)[k, k+1) for each integer kn,k \ge n, and no others.

The equation f(z)=17f(z) = 17 has one solution zn(n,n+1)z_n \in (n, n+1) for each n17.n \ge 17. In turn, f(w)=znf(w) = z_n has one solution in (k,k+1)(k, k+1) for each kn.k \ge n. Finally, for x[j,j+1)x \in [j, j+1) with 0j2019,0 \le j \le 2019, ff maps [j,j+1)[j, j+1) bijectively onto [0,j+1),[0, j+1), so the number of solutions of f(f(f(x)))=17f(f(f(x))) = 17 there equals the number of such ww with w<j+1,w \lt j + 1, namely the number of pairs (n,k)(n, k) with 17nkj,17 \le n \le k \le j, which is (j152).\binom{j - 15}{2}. (The endpoint x=2020x = 2020 gives f(x)=0f(x) = 0 and is not a solution.)

By the hockey stick identity, N=j=172019(j152)=a=22004(a2)=(20053)=2005200420036=1,341,349,010, \begin{aligned} N &= \sum_{j=17}^{2019} \binom{j - 15}{2} \\ &= \sum_{a=2}^{2004} \binom{a}{2} \\ &= \binom{2005}{3} \\ &= \frac{2005 \cdot 2004 \cdot 2003}{6} \\ &= 1{,}341{,}349{,}010, \end{aligned} so the remainder when NN is divided by 10001000 is 10.10.

← 第 13 题#13
完整试卷

其他年份的第 14 题