题面据 IMO 可核档案整理;中文题意为本站自译或改写,正式公式请以原始来源为准。PDF:https://www.imo-official.org/problems/1997/eng.pdf。本站于 2026-05-13 将 IMO 题谱生成范围校验至 2025 年。
For each finite set of nonzero vectors in the plane we define to be the length of the vector that is the sum of all vectors in . Given a finite set of nonzero vectors in the plane, a subset of is said to be maximal if is greater than or equal to for each nonempty subset of . (a) Construct sets of 4 and 5 vectors that have 8 and 10 maximal subsets respectively. (b) Show that for any set consisting of vectors, the number of maximal subsets is less than or equal to .
对于平面中每个非零向量的有限集 ,我们将 定义为向量的长度,该向量是 中所有向量的总和。给定平面中非零向量的有限集 ,如果 的每个非空子集 的 大于或等于 ,则 的子集 被称为最大。 (a) 构造分别具有 8 和 10 个最大子集的 4 和 5 个向量集。 (b) 证明对于任何由 向量组成的集合 ,最大子集的数量小于或等于 。
提示 1
先标出所有固定量和会变化的点。
提示 2
尝试角追、相似、圆幂、面积比或坐标化中的一种。
提示 3
把关键等式还原成一个标准定理或一个可构造的辅助点。
完整解答
题面来自可核来源,本站补原创提示和解法骨架。 先把 1997 年第 3 题归入 geometry:几何结构题:先画出关键点线圆,寻找相似、角追、幂、面积或仿射变换中最稳定的量。 完整解答的主线是先翻译题设,提取一个不变量或标准构型;第二步用提示阶梯里的入口建立关键等式;第三步把剩余情形分完,并回到题目要求检查边界和等号。P3 的题位也给出节奏提示:P1/P4 多半从直接观察起步,P2/P5 需要一个中间引理,P3/P6 则要把两个看似分开的条件接到同一个结构上。
这题适合拿来练“先不看解答”的耐心:不要急着套大定理,先把题位、主题和题设中最硬的限制写成一行。1990 年以后的 P3/P6 在闲灯中单列为 extremely-hard,复盘时重点看关键引理从哪里冒出来。