题面据 APMO 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Let be a fixed positive odd integer. Take **distinct** points (where is a non-negative integer) on the coordinate plane in such a way that the following three conditions are satisfied:
1) , and for each integer , both - and - coordinates of are integers lying in between and ( and inclusive).
2) For each integer , is parallel to the -axis if is even, and is parallel to the -axis if is odd.
3) For each pair with , line segments and share at most point.
Determine the maximum possible value that can take.
令 为固定的正奇整数。在坐标平面上取 **不同**点(其中是非负整数),满足以下三个条件:
1) ,对于每个整数 , 的 - 和 - 坐标都是位于 和 之间的整数(包括 和 )。
2) 对于每个整数 ,如果 为偶数,则 平行于 轴,如果 为奇数,则平行于 轴。
3) 对于每对 且 ,线段 和 最多共享 点。
确定 可以取的最大可能值。
提示 1
先看同余、整除、最大公因数和 p 进赋值。
提示 2
把整数条件转成同余方程、指数比较或下降过程。
提示 3
若要存在性,用构造;若要唯一性,用最小反例、无限下降或模限制。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2011 年 APMO P4 可先归入数论:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?