2022 AIME II 第 8 题

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

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

8.

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

Find the number of positive integers n≤600n \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
小提示:

共享同一个向下取整三元组的整数形成一段连续整数,因此 nn 恰好在这段长度为 11 时被确定

The integers sharing a given triple of floor values form a block of consecutive integers, so nn is determined exactly when its block has size 11

大提示:

这段长度为 11 当且仅当 nn 和 n+1n + 1 中每一个都能被 4,5,64, 5, 6 中的至少一个整除。按模 6060 的一个周期计数这些 nn。

The block has size 11 exactly when each of nn and n+1n + 1 is divisible by at least one of 4,5,6.4, 5, 6. Count such nn in one period of 60.60.

解答:

共享给定三元组 (⌊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 被唯一确定,当且仅当 n−1n - 1 和 n+1n + 1 都不给出同一个三元组:在 n−1n - 1 处必须有某个向下取整值下降,这意味着 4,54, 5 或 66 整除 nn;在 n+1n + 1 处必须有某个向下取整值跳升,这意味着 4,54, 5 或 66 整除 n+1n + 1。

因为 nn 和 n+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 计算:44 整除 nn 且 55 整除 n+1n + 1 给出 n≡4,24,44n \equiv 4, 24, 44;55 整除 nn 且 44 整除 n+1n + 1 给出 n≡15,35,55n \equiv 15, 35, 55;55 整除 nn 且 66 整除 n+1n + 1 给出 n≡5,35n \equiv 5, 35;而 66 整除 nn 且 55 整除 n+1n + 1 给出 n≡24,54n \equiv 24, 54。并集是模 6060 的 88 个剩余类 {4,5,15,24,35,44,54,55}\{4, 5, 15, 24, 35, 44, 54, 55\}。

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

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 n−1n - 1 nor n+1n + 1 gives the same triple: some floor must drop at n−1,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: 44 dividing nn and 55 dividing n+1n + 1 gives n≡4,24,44;n \equiv 4, 24, 44; 55 dividing nn and 44 dividing n+1n + 1 gives n≡15,35,55;n \equiv 15, 35, 55; 55 dividing nn and 66 dividing n+1n + 1 gives n≡5,35;n \equiv 5, 35; and 66 dividing nn and 55 dividing n+1n + 1 gives n≡24,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 1≤n≤600,1 \le n \le 600, so the count is 8⋅10=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 题