2015 AIME I 第 14 题

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

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

14.

对每个整数 n2n \ge 2,令 A(n)A(n) 为坐标平面中由不等式 1x<n1 \le x \lt n0yxx0 \le y \le x\lfloor\sqrt{x}\rfloor 所定义区域的面积,其中 x\lfloor\sqrt{x}\rfloor 是不超过 x\sqrt{x} 的最大整数。求满足 2n10002 \le n \le 1000A(n)A(n) 为整数的 nn 的个数。

For each integer n2,n \ge 2, let A(n)A(n) be the area of the region in the coordinate plane defined by the inequalities 1x<n1 \le x \lt n and 0yxx,0 \le y \le x\lfloor\sqrt{x}\rfloor, where x\lfloor\sqrt{x}\rfloor is the greatest integer not exceeding x.\sqrt{x}. Find the number of values of nn with 2n10002 \le n \le 1000 for which A(n)A(n) is an integer.

答案:483
知识点:取整函数梯形分类讨论找规律
难度评级:3500
解答:

在条带 mx<m+1m \le x \lt m + 1 上,有 x=k=m\lfloor\sqrt{x}\rfloor = k = \lfloor\sqrt{m}\rfloor, 所以其上方区域是直线 y=kxy = kx 下方的梯形,面积为 A(m+1)A(m)=(2m+1)k2A(m+1) - A(m) = \frac{(2m+1)k}{2}:当 kk 为偶数时是整数,当 kk 为奇数时是半整数。 因此当 nn 增加 11 时,kk 为偶数则 A(n)A(n) 的整数性不变,kk 为奇数则每一步翻转。

考虑包含 2k+12k + 1 个值的区间 k2<n(k+1)2k^2 \lt n \le (k+1)^2。从 A(1)=0A(1) = 0 开始,A(k2)A(k^2) 的状态以 44 为周期循环:当 k0,1k \equiv 0, 1 时为整数,当 k2,3(mod4)k \equiv 2, 3 \pmod 4 时为非整数(奇数区间会翻转奇数次,偶数区间保持状态)。数出每个区间内使 A(n)A(n) 为整数的值:若 k=4j3k = 4j - 3,区间交替,首尾为非整数,贡献 4j34j - 3;若 k=4j2k = 4j - 2,每个值都是非整数,贡献 00;若 k=4j1k = 4j - 1,区间交替,首尾为整数,贡献 4j4j;若 k=4jk = 4j,全部 8j+18j + 1 个值都是整数。

j=1,,7j = 1, \ldots, 7,覆盖 2n2922 \le n \le 29^2,四个区间贡献 (4j3)+0+4j(4j - 3) + 0 + 4j +(8j+1)=16j2+ (8j + 1) = 16j - 2 个整数,总计 j=17(16j2)=434\sum_{j=1}^{7}(16j - 2) = 434。然后 k=29k = 29 的区间在 841<n900841 \lt n \le 900 中贡献 2929 个整数,k=30k = 30 的区间没有贡献;而 k=31k = 31 时,在 961<n1000961 \lt n \le 1000 的交替从 n=962n = 962 为整数开始,又给出 2020 个。总数为 434+29+20=483434 + 29 + 20 = 483

On the strip mx<m+1m \le x \lt m + 1 we have x=k=m,\lfloor\sqrt{x}\rfloor = k = \lfloor\sqrt{m}\rfloor, so the region above it is a trapezoid under y=kxy = kx with area A(m+1)A(m)=(2m+1)k2:A(m+1) - A(m) = \frac{(2m+1)k}{2}: an integer when kk is even, a half-integer when kk is odd. Hence as nn grows by 1,1, the integrality of A(n)A(n) is unchanged while kk is even and flips at every step while kk is odd.

Consider the block of 2k+12k + 1 values k2<n(k+1)2.k^2 \lt n \le (k+1)^2. Starting from A(1)=0,A(1) = 0, the statuses of A(k2)A(k^2) cycle with period 4:4: integer for k0,1k \equiv 0, 1 and non-integer for k2,3(mod4)k \equiv 2, 3 \pmod 4 (an odd block flips the status an odd number of times, an even block preserves it). Counting integer values of A(n)A(n) inside each block: for k=4j3k = 4j - 3 the block alternates, beginning and ending with non-integers, giving 4j3;4j - 3; for k=4j2k = 4j - 2 every value is a non-integer, giving 0;0; for k=4j1k = 4j - 1 it alternates, beginning and ending with integers, giving 4j;4j; for k=4jk = 4j all 8j+18j + 1 values are integers.

For j=1,,7,j = 1, \ldots, 7, covering 2n292,2 \le n \le 29^2, the four blocks contribute (4j3)+0+4j(4j - 3) + 0 + 4j +(8j+1)=16j2+ (8j + 1) = 16j - 2 integers, totaling j=17(16j2)=434.\sum_{j=1}^{7}(16j - 2) = 434. Then the block k=29k = 29 contributes 2929 integers for 841<n900,841 \lt n \le 900, the block k=30k = 30 contributes none, and for k=31k = 31 the alternation over 961<n1000961 \lt n \le 1000 begins with an integer at n=962n = 962 and gives 2020 more. The total is 434+29+20=483.434 + 29 + 20 = 483.

← 第 13 题#13
完整试卷

其他年份的第 14 题