灯下 登录
番外 · 闲灯 / IMO Shortlist / G3 · geometry

2016 IMO Shortlist G3

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

IMO Shortlist 2016 G3 geometry

Let B=(1,0)B=(-1,0) and C=(1,0)C=(1,0) be fixed points on the coordinate plane. A nonempty, bounded subset SS of the plane is said to be nice if (i) there is a point TT in SS such that for every point QQ in SS, the segment TQT Q lies entirely in SS; and (ii) for any triangle P1P2P3P_{1} P_{2} P_{3}, there exists a unique point AA in SS and a permutation σ\sigma of the indices {1,2,3}\{1,2,3\} for which triangles ABCA B C and Pσ(1)Pσ(2)Pσ(3)P_{\sigma(1)} P_{\sigma(2)} P_{\sigma(3)} are similar. Prove that there exist two distinct nice subsets SS and SS^{\prime} of the set {(x,y):x0,y0}\{(x, y): x \geq 0, y \geq 0\} such that if ASA \in S and ASA^{\prime} \in S^{\prime} are the unique choices of points in (ii), then the product BABAB A \cdot B A^{\prime} is a constant independent of the triangle P1P2P3P_{1} P_{2} P_{3}.

B=(1,0)B=(-1,0)C=(1,0)C=(1,0) 为坐标平面上的固定点。平面的非空有界子集 SS 被认为是好的,如果 (i) SS 中有一个点 TT,使得对于 SS 中的每个点 QQ,线段 TQT Q 完全位于 SS 中; (ii) 对于任何三角形 P1P2P3P_{1} P_{2} P_{3}SS 中存在唯一点 AA 以及索引 {1,2,3}\{1,2,3\} 的排列 σ\sigma,其中三角形 ABCA B CPσ(1)Pσ(2)Pσ(3)P_{\sigma(1)} P_{\sigma(2)} P_{\sigma(3)} 相似。证明集合 {(x,y)存在两个不同的好子集\{(x, y) 存在两个不同的好子集SS^{\prime}:x0,y0}: x \geq 0, y \geq 0\} 使得如果 ASA \in SASA^{\prime} \in S^{\prime} 是 (ii) 中点的唯一选择,则乘积 BABAB A \cdot B A^{\prime} 是独立于三角形的常数P1P2P3P_{1} P_{2} P_{3}

提示 1

先标出固定点、动点、角、圆和长度关系。

提示 2

尝试角追、相似、圆幂、面积比、反演或坐标化中的一种。

提示 3

把关键等式还原成标准定理,或补出一个让结构闭合的辅助点。

完整解答

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

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