灯下 登录
番外 · 题谱 · 2017 · P26

2017 IMO Shortlist N2

数论 · P3/P6 · 压轴题

题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。

IMO Shortlist 2017 N2 number-theory

Let p2p \geq 2 be a prime number. Eduardo and Fernando play the following game making moves alternately: in each move, the current player chooses an index ii in the set {0,1,,p1}\{0,1, \ldots, p-1\} that was not chosen before by either of the two players and then chooses an element aia_{i} of the set {0,1,2,3,4,5,6,7,8,9}\{0,1,2,3,4,5,6,7,8,9\}. Eduardo has the first move. The game ends after all the indices i{0,1,,p1}i \in\{0,1, \ldots, p-1\} have been chosen. Then the following number is computed: M=a0+10a1++10p1ap1=j=0p1aj10jM=a_{0}+10 \cdot a_{1}+\cdots+10^{p-1} \cdot a_{p-1}=\sum_{j=0}^{p-1} a_{j} \cdot 10^{j} The goal of Eduardo is to make the number MM divisible by pp, and the goal of Fernando is to prevent this. Prove that Eduardo has a winning strategy. (Morocco)

p2p \geq 2 为素数。 Eduardo 和 Fernando 交替进行以下游戏:在每一步中,当前玩家在集合 {0,1,,p1}\{0,1, \ldots, p-1\} 中选择两个玩家之前未选择的索引 ii,然后选择集合 {0,1,2,3,4,5,6,7,8,9}\{0,1,2,3,4,5,6,7,8,9\} 中的元素 aia_{i}。爱德华多率先行动。在选择了所有索引 i{0,1,,p1}i \in\{0,1, \ldots, p-1\} 后游戏结束。然后计算以下数字: M=a0+10a1++10p1ap1=j=0p1aj10jM=a_{0}+10 \cdot a_{1}+\cdots+10^{p-1} \cdot a_{p-1}=\sum_{j=0}^{p-1} a_{j} \cdot 10^{j} Eduardo 的目标是使数字 MM 能被 pp 整除,而 Fernando 的目标是防止这个。证明爱德华多有制胜策略。 (摩洛哥)

提示 1

先看同余、整除、最大公因数和 p 进赋值。

提示 2

把整数条件转成同余方程、指数比较或下降过程。

提示 3

若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。

完整解答

这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2017 年 IMO Shortlist N2 可先归入数论:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。

这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?