2015 AIME I 第 9 题

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

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

9.

SS 为所有满足 1a1,a2,a3101 \le a_1, a_2, a_3 \le 10 的有序整数三元组 (a1,a2,a3)(a_1, a_2, a_3) 的集合。SS 中的每个有序三元组按规则 an=an1an2an3a_n = a_{n-1} \cdot |a_{n-2} - a_{n-3}|n4n \ge 4)生成一个数列。求有多少个这样的数列满足对某个 nnan=0a_n = 0

Let SS be the set of all ordered triples of integers (a1,a2,a3)(a_1, a_2, a_3) with 1a1,a2,a310.1 \le a_1, a_2, a_3 \le 10. Each ordered triple in SS generates a sequence according to the rule an=an1an2an3a_n = a_{n-1} \cdot |a_{n-2} - a_{n-3}| for n4.n \ge 4. Find the number of such sequences for which an=0a_n = 0 for some n.n.

答案:494
知识点:递推分类讨论容斥原理
难度评级:2990
解答:

如果 ak1=aka_{k-1} = a_k,则 ak+2=ak+1akak1=0a_{k+2} = a_{k+1}|a_k - a_{k-1}| = 0;如果 akak1=1|a_k - a_{k-1}| = 1,则 ak+2=ak+1a_{k+2} = a_{k+1},所以 ak+4=0a_{k+4} = 0。因此所有形如 (j,j,k)(j,j,k)(j,k,k)(j,k,k)(j,j±1,k)(j,j\pm1,k)(j,k,k±1)(j,k,k\pm1) 的三元组都会产生 00。这些形式共有 100+100+490=560100 + 100 + 4 \cdot 90 = 560 个三元组,但符合两种形式的三元组被重复计算:形如 (j,j,j)(j,j,j) 的有 1010 个;六个族 (j,j,j±1)(j,j,j\pm1)(j,j±1,j)(j,j\pm1,j)(j,j±1,j±1)(j,j\pm1,j\pm1)(同号)各有 99 个;而 (j,j+1,j+2)(j,j+1,j+2)(j,j1,j2)(j,j-1,j-2) 各有 88 个。剩下 560105416=480560 - 10 - 54 - 16 = 480 个三元组。

还有少数其他三元组也可行:如果 (a1,a2,a3)=(j,j±2,1)(a_1, a_2, a_3) = (j, j\pm2, 1),则 a4=2a_4 = 2,且 a4a3=1|a_4 - a_3| = 1,所以 a8=0a_8 = 0。这 1616 个三元组中,(3,1,1)(3,1,1)(4,2,1)(4,2,1), 已经被计入,所以新增 1414 个,总数为 480+14=494480 + 14 = 494

没有其他三元组会达到 00:如果两个相邻差都至少为 22,且 a32a_3 \ge 2,则 a4=a3a2a12a3>a3a_4 = a_3|a_2 - a_1| \ge 2a_3 \gt a_3,并且 a4a3a32|a_4 - a_3| \ge a_3 \ge 2,所以可归纳出各项一直增长,没有因子会为零。如果 a3=1a_3 = 1a2a13|a_2 - a_1| \ge 3,则 a43a_4 \ge 3a4a32|a_4 - a_3| \ge 2,同样进入增长情形。总数为 494494

If ak1=aka_{k-1} = a_k then ak+2=ak+1akak1=0,a_{k+2} = a_{k+1}|a_k - a_{k-1}| = 0, and if akak1=1|a_k - a_{k-1}| = 1 then ak+2=ak+1,a_{k+2} = a_{k+1}, so ak+4=0.a_{k+4} = 0. Hence every triple of one of the forms (j,j,k),(j,j,k), (j,k,k),(j,k,k), (j,j±1,k),(j,j\pm1,k), (j,k,k±1)(j,k,k\pm1) produces a 0.0. These forms contain 100+100+490=560100 + 100 + 4 \cdot 90 = 560 triples, but triples fitting two forms are counted twice: the 1010 of the form (j,j,j),(j,j,j), the 99 in each of the six families (j,j,j±1),(j,j,j\pm1), (j,j±1,j),(j,j\pm1,j), (j,j±1,j±1)(j,j\pm1,j\pm1) (matching signs), and the 88 in each of (j,j+1,j+2)(j,j+1,j+2) and (j,j1,j2).(j,j-1,j-2). That leaves 560105416=480560 - 10 - 54 - 16 = 480 triples.

A few other triples also work: if (a1,a2,a3)=(j,j±2,1),(a_1, a_2, a_3) = (j, j\pm2, 1), then a4=2a_4 = 2 and a4a3=1,|a_4 - a_3| = 1, so a8=0.a_8 = 0. These 1616 triples include (3,1,1)(3,1,1) and (4,2,1),(4,2,1), which were already counted, so they add 1414 new ones, for 480+14=494.480 + 14 = 494.

No other triple reaches 0:0: if both consecutive differences are at least 22 and a32,a_3 \ge 2, then a4=a3a2a12a3>a3a_4 = a_3|a_2 - a_1| \ge 2a_3 \gt a_3 and a4a3a32,|a_4 - a_3| \ge a_3 \ge 2, so inductively the terms grow forever and no factor ever vanishes. If instead a3=1a_3 = 1 with a2a13,|a_2 - a_1| \ge 3, then a43a_4 \ge 3 and a4a32,|a_4 - a_3| \ge 2, and the same growth takes over. The count is 494.494.

← 第 8 题#8
完整试卷

其他年份的第 9 题