2017 AIME II 第 8 题

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

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

8.

求小于 20172017 的正整数 nn 的个数,使得 1+n+n22!+n33!+n44!+n55!+n66! \begin{aligned} &1 + n + \frac{n^2}{2!} + \frac{n^3}{3!} + \frac{n^4}{4!} \\ &{}+ \frac{n^5}{5!} + \frac{n^6}{6!} \end{aligned} 是整数。

Find the number of positive integers nn less than 20172017 such that 1+n+n22!+n33!+n44!+n55!+n66! \begin{aligned} &1 + n + \frac{n^2}{2!} + \frac{n^3}{3!} + \frac{n^4}{4!} \\ &{}+ \frac{n^5}{5!} + \frac{n^6}{6!} \end{aligned} is an integer.

答案:134
知识点:整除性模运算阶乘分类讨论
难度评级:2840
小提示:

乘以 6!=7206! = 720:原和为整数当且仅当 720720 整除 n6+6n5+30n4n^6 + 6n^5 + 30n^4 +120n3+360n2+ 120n^3 + 360n^2 成立

Multiply by 6!=720:6! = 720: the sum is an integer exactly when 720720 divides n6+6n5+30n4n^6 + 6n^5 + 30n^4 +120n3+360n2+ 120n^3 + 360n^2

大提示:

22 和模 33 检查会迫使 nn66 的倍数;写成 n=6kn = 6k 后,只剩下 55 整除 k(k+1)k(k + 1) 这个条件

Checking mod 22 and mod 33 forces nn to be a multiple of 6;6; write n=6k,n = 6k, and only the condition that 55 divides k(k+1)k(k + 1) survives

解答:

乘以 6!=7206! = 720 后,原和为整数当且仅当 n6+6n5+30n4+120n3+360n2是 720 的倍数 \begin{aligned} &n^6 + 6n^5 + 30n^4 \\ &{}+ 120n^3 + 360n^2 \\ &\text{是 } 720 \text{ 的倍数} \end{aligned}\text{。}如果 nn 是奇数,除 n6n^6 外每一项都是偶数,总和为奇数。若 nn 不是 33 的倍数,则模 33 时除 n6n^6 外每一项都为零,而 n61(mod3)n^6 \equiv 1 \pmod 3。所以 nn 必须是 66 的倍数。

n=6kn = 6k。此时 30n4=72054k430n^4 = 720 \cdot 54k^4120n3=72036k3120n^3 = 720 \cdot 36k^3,且 360n2=72018k2360n^2 = 720 \cdot 18k^2 都能被 720720 整除;而 n6+6n5=66k5(k+1)n^6 + 6n^5 = 6^6 k^5(k + 1)。由于 66=26366^6 = 2^6 3^6 已经提供了 720=24325720 = 2^4 \cdot 3^2 \cdot 5 中的 242^4323^2,条件化为 k(k+1)k(k + 1)55 的倍数,即 k0k \equiv 04(mod5)4 \pmod 5

n=6k<2017n = 6k \lt 2017,需要 1k3361 \le k \le 336。这个范围内有 676755 的倍数,也有 6767 个满足 k4(mod5)k \equiv 4 \pmod 5 的数,所以这样的 nn 共有 67+67=13467 + 67 = 134 个。

Multiplying by 6!=720,6! = 720, the sum is an integer exactly when n6+6n5+30n4+120n3+360n2is divisible by 720. \begin{aligned} &n^6 + 6n^5 + 30n^4 \\ &{}+ 120n^3 + 360n^2 \\ &\text{is divisible by } 720. \end{aligned} If nn were odd, every term except n6n^6 would be even, making the total odd. If nn is not divisible by 3,3, then modulo 33 every term except n6n^6 vanishes while n61(mod3).n^6 \equiv 1 \pmod 3. So nn must be a multiple of 6.6.

Write n=6k.n = 6k. Then 30n4=72054k4,30n^4 = 720 \cdot 54k^4, 120n3=72036k3,120n^3 = 720 \cdot 36k^3, and 360n2=72018k2360n^2 = 720 \cdot 18k^2 are all divisible by 720,720, while n6+6n5=66k5(k+1).n^6 + 6n^5 = 6^6 k^5(k + 1). Since 66=26366^6 = 2^6 3^6 supplies the factors 242^4 and 323^2 of 720=24325,720 = 2^4 \cdot 3^2 \cdot 5, the condition reduces to k(k+1)k(k + 1) being divisible by 5,5, that is, k0k \equiv 0 or 4(mod5).4 \pmod 5.

For n=6k<2017n = 6k \lt 2017 we need 1k336.1 \le k \le 336. That range contains 6767 multiples of 55 and 6767 values with k4(mod5),k \equiv 4 \pmod 5, so there are 67+67=13467 + 67 = 134 such n.n.

第 7 题#7
完整试卷

其他年份的第 8 题