2006 AMC 12B 第 25 题

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

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

25.

非负整数序列 a1,a2,a_1, a_2, \ldots 由规则 an+2=an+1ana_{n+2} = |a_{n+1} - a_n|n1n \ge 1)定义。若 a1=999a_1 = 999a2<999a_2 \lt 999,且 a2006=1a_{2006} = 1,那么 a2a_2 可能有多少个不同的值?

A sequence a1,a2,a_1, a_2, \ldots of non-negative integers is defined by the rule an+2=an+1ana_{n+2} = |a_{n+1} - a_n| for n1.n \ge 1. If a1=999,a_1 = 999, a2<999,a_2 \lt 999, and a2006=1,a_{2006} = 1, how many different values of a2a_2 are possible?

165165

324324

495495

499499

660660

答案:B
知识点:最大公约数奇偶性容斥原理
难度评级:2520
解答:

递推规则给出 anan+3(mod2),a_n \equiv a_{n+3} \pmod 2,所以 a2a_2a2006=1;a_{2006} = 1; 奇偶性相同,因此 a2a_2 是奇数。

每一项都是 gcd(a1,a2),\gcd(a_1, a_2), 的倍数,而 a2006=1a_{2006} = 1 迫使 gcd(999,a2)=1.\gcd(999, a_2) = 1. 因为 999=3337,999 = 3^3 \cdot 37,所以 a2a_2 不能被 3337.37. 整除。

区间 [1,998][1, 998] 中有 499;499; 个奇数;去掉 16616633 的倍数和 131337,37, 的倍数,再加回 44111,111, 的倍数,得到 49916613+4=324.499 - 166 - 13 + 4 = 324.

每个这样的 a2a_2 都可行。对连续正项 u,v,u,v,更新 (u,v)(v,vu)(u,v)\mapsto(v,|v-u|) 至多每两步就会减小两者的最大值。因为初始两项都不超过 999,999,所以某个 aN=0a_N=0 会在 N1999.N\le1999. 时出现。

每对连续项的最大公因数不变,所以零之前的两个相等项都等于 gcd(999,a2)=1.\gcd(999,a_2)=1. 此后序列循环经过 1,1,0.1,1,0. 最后,20062(mod3),2006\equiv2\pmod3,所以 a2006a_{2006}a2;a_2; 同为奇数;在这个循环中,它必定为 1.1.

所以正确答案是 B

The rule gives anan+3(mod2),a_n \equiv a_{n+3} \pmod 2, so a2a_2 has the same parity as a2006=1;a_{2006} = 1; thus a2a_2 is odd.

Every term is a multiple of gcd(a1,a2),\gcd(a_1, a_2), and a2006=1a_{2006} = 1 forces gcd(999,a2)=1.\gcd(999, a_2) = 1. Since 999=3337,999 = 3^3 \cdot 37, we need a2a_2 not divisible by 33 or 37.37.

Among the odd integers in [1,998][1, 998] there are 499;499; removing the 166166 multiples of 33 and 1313 multiples of 37,37, then adding back the 44 multiples of 111,111, leaves 49916613+4=324.499 - 166 - 13 + 4 = 324.

Each such a2a_2 works. For consecutive positive terms u,v,u,v, the update (u,v)(v,vu)(u,v)\mapsto(v,|v-u|) reduces their maximum within at most two steps. Since both initial terms are at most 999,999, some aN=0a_N=0 occurs by N1999.N\le1999.

The gcd of each consecutive pair is invariant, so the equal terms immediately before that zero both equal gcd(999,a2)=1.\gcd(999,a_2)=1. The sequence then cycles through 1,1,0.1,1,0. Finally, 20062(mod3),2006\equiv2\pmod3, so a2006a_{2006} has the same odd parity as a2;a_2; in this cycle it must therefore be 1.1.

Thus, the correct answer is B.

← 第 24 题#24
完整试卷

其他年份的第 25 题