题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Let and be fixed points on the coordinate plane. A nonempty, bounded subset of the plane is said to be nice if (i) there is a point in such that for every point in , the segment lies entirely in ; and (ii) for any triangle , there exists a unique point in and a permutation of the indices for which triangles and are similar. Prove that there exist two distinct nice subsets and of the set such that if and are the unique choices of points in (ii), then the product is a constant independent of the triangle .
令 和 为坐标平面上的固定点。平面的非空有界子集 被认为是好的,如果 (i) 中有一个点 ,使得对于 中的每个点 ,线段 完全位于 中; (ii) 对于任何三角形 , 中存在唯一点 以及索引 的排列 ,其中三角形 和 相似。证明集合 SS^{\prime} 使得如果 和 是 (ii) 中点的唯一选择,则乘积 是独立于三角形的常数。
提示 1
先标出固定点、动点、角、圆和长度关系。
提示 2
尝试角追、相似、圆幂、面积比、反演或坐标化中的一种。
提示 3
把关键等式还原成标准定理,或补出一个让结构闭合的辅助点。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2016 年 IMO Shortlist G3 可先归入几何:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?