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

2010 IMO Shortlist G7

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

IMO Shortlist 2010 G7 geometry

Three circular arcs γ1,γ2\gamma_{1}, \gamma_{2}, and γ3\gamma_{3} connect the points AA and CC. These arcs lie in the same half-plane defined by line ACA C in such a way that arc γ2\gamma_{2} lies between the arcs γ1\gamma_{1} and γ3\gamma_{3}. Point BB lies on the segment ACA C. Let h1,h2h_{1}, h_{2}, and h3h_{3} be three rays starting at BB, lying in the same half-plane, h2h_{2} being between h1h_{1} and h3h_{3}. For i,j=1,2,3i, j=1,2,3, denote by VijV_{i j} the point of intersection of hih_{i} and γj\gamma_{j} (see the Figure below). Denote by VijVkj^VkVi^\widehat{V_{i j} V_{k j}} \widehat{V_{k \ell} V_{i \ell}} the curved quadrilateral, whose sides are the segments VijVi,VkjVkV_{i j} V_{i \ell}, V_{k j} V_{k \ell} and arcsVijVkj\operatorname{arcs} V_{i j} V_{k j} and ViVkV_{i \ell} V_{k \ell}. We say that this quadrilateral is circumscribed if there exists a circle touching these two segments and two arcs. Prove that if the curved quadrilaterals V11V2122V12,V12V2223V13,V21V31V32V22\sqrt{V_{11} V_{21}} \sqrt{22} V_{12}, \sqrt{V_{12} V_{22}} \sqrt{23} V_{13}, \sqrt{V_{21} V_{31}} \sqrt{V_{32} V_{22}} are circumscribed, then the curved quadrilateral V22V3233V23\sqrt{V_{22} V_{32}} \sqrt{33} V_{23} is circumscribed, too. Fig. 1 (Hungary)

三个圆弧 γ1γ2\gamma_{1}、\gamma_{2}γ3\gamma_{3} 连接点 AACC。这些弧位于由线 ACA C 定义的同一半平面中,使得弧 γ2\gamma_{2} 位于弧 γ1\gamma_{1}γ3\gamma_{3} 之间。点 BB 位于线段 ACA C 上。令 h1h2h_{1}、h_{2}h3h_{3} 为从 BB 开始、位于同一半平面内的三条射线,h2h_{2} 位于 h1h_{1}h3h_{3} 之间。对于i,j=1,2,3i, j=1,2,3,用VijV_{i j}表示hih_{i}γj\gamma_{j}的交点(见下图)。 VijVkj^VkVi^\widehat{V_{i j} V_{k j}} \widehat{V_{k \ell} V_{i \ell}} 表示弯曲四边形,其边是线段 VijViVkjVkV_{i j} V_{i \ell}、V_{k j} V_{k \ell}arcsVijVkj\operatorname{arcs} V_{i j} V_{k j}ViVkV_{i \ell} V_{k \ell}。如果存在一个圆接触这两个线段和两条弧,我们就说这个四边形是外接四边形。证明如果弯曲四边形 V11V2122V12,V12V2223V13,V21V31V32V22\sqrt{V_{11} V_{21}} \sqrt{22} V_{12}, \sqrt{V_{12} V_{22}} \sqrt{23} V_{13}, \sqrt{V_{21} V_{31}} \sqrt{V_{32} V_{22}} 为外接,则弯曲四边形 V22V3233V23\sqrt{V_{22} V_{32}} \sqrt{33} V_{23} 也是外接的。图1(匈牙利)

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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