2022 AIME II 第 8 题

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

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

8.

求满足 n600n \le 600 的正整数的个数,使得当 n4\left\lfloor \frac{n}{4} \right\rfloorn5\left\lfloor \frac{n}{5} \right\rfloorn6\left\lfloor \frac{n}{6} \right\rfloor 的值给定时,该正整数能在所有正整数中被唯一确定。这里 x\lfloor x \rfloor 表示不超过实数 xx 的最大整数。

Find the number of positive integers n600n \le 600 whose value can be uniquely determined among all positive integers when the values of n4,\left\lfloor \frac{n}{4} \right\rfloor, n5,\left\lfloor \frac{n}{5} \right\rfloor, and n6\left\lfloor \frac{n}{6} \right\rfloor are given, where x\lfloor x \rfloor denotes the greatest integer less than or equal to the real number x.x.

答案:80
知识点:取整函数整除性模运算
难度评级:2840
解答:

共享给定三元组 (n4,n5,n6)\left(\left\lfloor \frac{n}{4} \right\rfloor, \left\lfloor \frac{n}{5} \right\rfloor, \left\lfloor \frac{n}{6} \right\rfloor\right) 的正整数集合 是三个区间的交集,因此是一段连续整数。所以 nn 被唯一确定,当且仅当 n1n - 1n+1n + 1 都不给出同一个三元组:在 n1n - 1 处必须有某个向下取整值下降,这意味着 4,54, 5, 或 66 整除 nn,在 n+1n + 1 处必须有某个向下取整值跳升,这意味着 4,54, 5, 或 66 整除 n+1n + 1

因为 nnn+1n + 1 不可能同为偶数,(n,n+1)(n, n + 1) 的除数配对为 (4,5)(4, 5)(5,4)(5, 4)(5,6)(5, 6), 和 (6,5)(6, 5)。模 6060: 计算:4n,  5n+14 \mid n,\; 5 \mid n + 1 给出 n4,24,44n \equiv 4, 24, 445n,  4n+15 \mid n,\; 4 \mid n + 1 给出 n15,35,55n \equiv 15, 35, 555n,  6n+15 \mid n,\; 6 \mid n + 1 给出 n5,35n \equiv 5, 35;而 6n,  5n+16 \mid n,\; 5 \mid n + 1 给出 n24,54n \equiv 24, 54。并集是模 606088 个剩余类 {4,5,15,24,35,44,54,55}\{4, 5, 15, 24, 35, 44, 54, 55\}

1n6001 \le n \le 600 中,每个剩余类出现 1010 次,所以个数为 810=808 \cdot 10 = 80。 (注意 n=600n = 600 不满足:601601 不能被 4,5,64, 5, 6 中任何一个整除,所以 601,602,603601, 602, 603600600 共享同一个三元组。)

The set of positive integers sharing a given triple (n4,n5,n6)\left(\left\lfloor \frac{n}{4} \right\rfloor, \left\lfloor \frac{n}{5} \right\rfloor, \left\lfloor \frac{n}{6} \right\rfloor\right) is an intersection of three intervals, hence a block of consecutive integers. So nn is uniquely determined exactly when neither n1n - 1 nor n+1n + 1 gives the same triple: some floor must drop at n1,n - 1, meaning 4,5,4, 5, or 66 divides n,n, and some floor must jump at n+1,n + 1, meaning 4,5,4, 5, or 66 divides n+1.n + 1.

Since nn and n+1n + 1 cannot both be even, the divisor pairs for (n,n+1)(n, n + 1) are (4,5),(4, 5), (5,4),(5, 4), (5,6),(5, 6), and (6,5).(6, 5). Working modulo 60:60: 4n,  5n+14 \mid n,\; 5 \mid n + 1 gives n4,24,44;n \equiv 4, 24, 44; 5n,  4n+15 \mid n,\; 4 \mid n + 1 gives n15,35,55;n \equiv 15, 35, 55; 5n,  6n+15 \mid n,\; 6 \mid n + 1 gives n5,35;n \equiv 5, 35; and 6n,  5n+16 \mid n,\; 5 \mid n + 1 gives n24,54.n \equiv 24, 54. The union is the 88 residues {4,5,15,24,35,44,54,55}\{4, 5, 15, 24, 35, 44, 54, 55\} modulo 60.60.

Each residue occurs 1010 times among 1n600,1 \le n \le 600, so the count is 810=80.8 \cdot 10 = 80. (Note n=600n = 600 fails: 601601 is divisible by none of 4,5,6,4, 5, 6, so 601,602,603601, 602, 603 share 600600's triple.)

← 第 7 题#7
完整试卷

其他年份的第 8 题