灯下 登录

2004 APMO 第 3 题

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

APMO 2004 P3 algebra

Let a set SS of 2004 points in the plane be given, no three of which are collinear. Let L\mathcal{L} denote the set of all lines (extended indefinitely in both directions) determined by pairs of points from the set. Show that it is possible to colour the points of SS with at most two colours, such that for any points p,qp, q of SS, the number of lines in L\mathcal{L} which separate pp from qq is odd if and only if pp and qq have the same colour.

Note: A line \ell separates two points pp and qq if pp and qq lie on opposite sides of \ell with neither point on \ell.

给定平面上 2004 个点的集合 SS,其中没有三个点共线。令 L\mathcal{L} 表示由该集合中的点对确定的所有线的集合(在两个方向上无限延伸)。证明可以用至多两种颜色对 SS 的点进行着色,使得对于 SS 的任何点 p,qp, q,当且仅当 ppqq 具有相同颜色时,L\mathcal{L} 中将 ppqq 分开的线数为奇数。

注意:如果 ppqq 位于 \ell 的相对两侧且两个点都不在 \ell 上,则线 \ell 分隔两个点 ppqq

提示 1

先把题面里的关系改写成一个干净的代数对象。

提示 2

寻找不变量、对称式或一个可以降次数的替换。

提示 3

最后用判别式、因式分解、单调性或构造把所有可能排完。

完整解答

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

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