2002 AIME I 第 14 题

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

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

14.

一个由不同正整数组成的集合 S\mathcal{S} 具有如下性质:对 S\mathcal{S} 中的每个整数 xx,从 S\mathcal{S} 中删去 xx 后,所得集合的算术平均数都是整数。已知 11 属于 S\mathcal{S},且 20022002S\mathcal{S} 的最大元素。集合 S\mathcal{S} 最多可以有多少个元素?

A set S\mathcal{S} of distinct positive integers has the following property: for every integer xx in S,\mathcal{S}, the arithmetic mean of the set of values obtained by deleting xx from S\mathcal{S} is an integer. Given that 11 belongs to S\mathcal{S} and that 20022002 is the largest element of S,\mathcal{S}, what is the greatest number of elements that S\mathcal{S} can have?

答案:30
知识点:模运算平均数极端原理
难度评级:2920
解答:

S\mathcal{S}nn 个元素,总和为 SS。条件说明对每个 xSx \in \mathcal{S}Sxn1\frac{S - x}{n - 1} 都是整数,这意味着每个元素都与 SSn1n - 1 同余。特别地,所有元素彼此同余;又因为 1S1 \in \mathcal{S},每个元素都比 n1n - 1 的某个倍数多 11

于是 20021(modn1)2002 \equiv 1 \pmod{n - 1},所以 n1n - 1 整除 2001=323292001 = 3 \cdot 23 \cdot 29。此外,nn 个不同元素从 1120022002 之间, 彼此间距是 n1n - 1 的倍数,所以 20021+(n1)22002 \ge 1 + (n - 1)^2,从而 n144n - 1 \le 4420012001 中不超过 4444 的最大因数是 2929,所以 n30n \le 30

3030 个元素可以达到:取 2929 个数 1,30,59,,8131, 30, 59, \ldots, 813,再加上 20022002。它们全都 1(mod29)\equiv 1 \pmod{29},且 3030 个数的总和 301(mod29)\equiv 30 \equiv 1 \pmod{29},所以删去任一元素后的平均数都是整数。答案是三十。

Let S\mathcal{S} have nn elements with sum S.S. The condition says Sxn1\frac{S - x}{n - 1} is an integer for every xS,x \in \mathcal{S}, which means every element is congruent to SS modulo n1.n - 1. In particular all elements are congruent to each other, and since 1S,1 \in \mathcal{S}, every element is 11 more than a multiple of n1.n - 1.

Then 20021(modn1),2002 \equiv 1 \pmod{n - 1}, so n1n - 1 divides 2001=32329.2001 = 3 \cdot 23 \cdot 29. Moreover the nn distinct elements run from 11 up to 20022002 in steps that are multiples of n1,n - 1, so 20021+(n1)2,2002 \ge 1 + (n - 1)^2, forcing n144.n - 1 \le 44. The largest divisor of 20012001 that is at most 4444 is 29,29, so n30.n \le 30.

Thirty is attainable: take the 2929 numbers 1,30,59,,8131, 30, 59, \ldots, 813 together with 2002.2002. All are 1(mod29),\equiv 1 \pmod{29}, and the sum of all 3030 is 301(mod29),\equiv 30 \equiv 1 \pmod{29}, so every deleted mean is an integer. The answer is 30.30.

← 第 13 题#13
完整试卷

其他年份的第 14 题