灯下 登录
番外 · 题谱 · 2011 · P4

2011 APMO 第 4 题

数论 · P1/P4 · 起手题

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

APMO 2011 P4 number-theory

Let nn be a fixed positive odd integer. Take m+2m+2 **distinct** points P0,P1,,Pm+1P_0,P_1,\ldots ,P_{m+1} (where mm is a non-negative integer) on the coordinate plane in such a way that the following three conditions are satisfied:

1) P0=(0,1),Pm+1=(n+1,n)P_0=(0,1),P_{m+1}=(n+1,n) , and for each integer i,1imi,1\le i\le m , both xx - and yy - coordinates of PiP_i are integers lying in between 11 and nn ( 11 and nn inclusive).

2) For each integer i,0imi,0\le i\le m , PiPi+1P_iP_{i+1} is parallel to the xx -axis if ii is even, and is parallel to the yy -axis if ii is odd.

3) For each pair i,ji,j with 0i<jm0\le i<j\le m , line segments PiPi+1P_iP_{i+1} and PjPj+1P_jP_{j+1} share at most 11 point.

Determine the maximum possible value that mm can take.

nn 为固定的正奇整数。在坐标平面上取m+2m+2 **不同**点P0,P1,,Pm+1P_0,P_1,\ldots ,P_{m+1}(其中mm是非负整数),满足以下三个条件:

1) P0=(0,1),Pm+1=(n+1,n)P_0=(0,1),P_{m+1}=(n+1,n) ,对于每个整数 i,1imi,1\le i\le mPiP_ixx - 和 yy - 坐标都是位于 11nn 之间的整数(包括 11nn)。

2) 对于每个整数 i,0imi,0\le i\le m ,如果 ii 为偶数,则 PiPi+1P_iP_{i+1} 平行于 xx 轴,如果 ii 为奇数,则平行于 yy 轴。

3) 对于每对 i,ji,j0i<jm0\le i<j\le m ,线段 PiPi+1P_iP_{i+1}PjPj+1P_jP_{j+1} 最多共享 11 点。

确定 mm 可以取的最大可能值。

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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