灯下 登录
番外 · 闲灯 / IMO Shortlist / N1 · number-theory

2009 IMO Shortlist N1

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

IMO Shortlist 2009 N1 number-theory

AUS A social club has nn members. They have the membership numbers 1,2,,n1,2, \ldots, n, respectively. From time to time members send presents to other members, including items they have already received as presents from other members. In order to avoid the embarrassing situation that a member might receive a present that he or she has sent to other members, the club adds the following rule to its statutes at one of its annual general meetings: "A member with membership number aa is permitted to send a present to a member with membership number bb if and only if a(b1)a(b-1) is a multiple of nn." Prove that, if each member follows this rule, none will receive a present from another member that he or she has already sent to other members. Alternative formulation: Let GG be a directed graph with nn vertices v1,v2,,vnv_{1}, v_{2}, \ldots, v_{n}, such that there is an edge going from vav_{a} to vbv_{b} if and only if aa and bb are distinct and a(b1)a(b-1) is a multiple of nn. Prove that this graph does not contain a directed cycle.

澳大利亚 某社交俱乐部拥有 nn 名会员。他们的会员编号分别为 1,2n1,2、\ldots、n。成员有时会向其他成员发送礼物,包括他们已经从其他成员那里收到的礼物。为了避免出现会员可能收到自己送给其他会员的礼物的尴尬情况,俱乐部在一次年度会员大会上在章程中增加了以下规则:“当且仅当a(b1)a(b-1)nn的倍数时,会员号为aa的会员才可以向会员号为bb的会员发送礼物。”证明,如果每个成员都遵循此规则,则没有人会收到另一个成员发送给其他成员的礼物。替代表述:设 GG 为具有 nn 个顶点 v1v2vnv_{1}、v_{2}、\ldots、v_{n} 的有向图,这样当且仅当 aabb 不同且 a(b1)a(b-1)nn 的倍数时,存在从 vav_{a}vbv_{b} 的边。证明该图不包含有向环。

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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