2019年IMO第6题

patrickpdx

已于 2025-01-10 12:46:06 修改

阅读量975

点赞数 14

分类专栏：其他文章标签：数学

于 2025-01-07 12:43:54 首次发布

本文链接：https://blog.csdn.net/Jinyindao243052/article/details/144983027

版权

其他专栏收录该内容

120 篇文章

订阅专栏

在 $\triangle ABC$ 中, 内心为点 $I$ , 内切圆分别切 $BC$ , $A C$ , $A B$ 于点 $D$ , $E$ , $F$ . $\bot EF$ 交内切圆于 $K$ , 直线 $A K$ 交内切圆于 $K$ , $U$ . $(U BF)$ 与 $(U CE)$ 交于 $U$ , $V$ , $U V$ 交 $D I$ 于点 $R$ . 求证: $\bot AI$ .

在这里插入图片描述

证明:
在这里插入图片描述

设弧 $B A C$ 的中点为 $N$ , 弧 $BC$ 的中点为 $S$ . 设射线 $N I$ 交 $(A BC)$ 于点 $P$ . 设 $I D$ 交 $N A$ 于点 $R^{'}$ . 设 $\angle BAC$ 内的旁切圆为 $\bigodot J_a$ . 设 $\triangle ABC$ 的外心为 $O$ .
易知以下结论: $N$ , $O$ , $S$ 共线且 $NS$ 垂直平分 $BC$ . $B$ , $I$ , $C$ , $J_a$ 共圆, 圆心为 $S$ . $A$ , $I$ , $S$ , $J_a$ 共线. $\bot AI$ . $\triangle AEF \sim \triangle NBC$ , $\triangle KEF \sim \triangle ICB$ , $\triangle J_aBC\sim \triangle DEF$ .
在这里插入图片描述
设 $D^{'}$ 为 $BC$ 上的旁切圆切点, 延长 $I D$ 交 $(I BC)$ 于 $J_a'$ , 则 $J_aD'//NS//J_a'D$ , 此外, 易知 $D$ , $D^{'}$ 关于 $NS$ 对称, $(I BC)$ 关于 $NS$ 对称, 综上可知 $J_a'$ 与 $J_a$ 关于 $BC$ 的中垂线对称.
延长 $NP$ 交 $(I BC)$ 于点 $X$ .
$\angle IXJ_a'=\angle IXJ_a+\angle J_a'XJ_a=\pi/2+\angle J_aIJ_a'=\pi/2+(\pi/2-B-A/2)=A/2+C$
$\angle NR'J_a'=\pi-\angle AR'I=C+A/2=\angle IXJ_a'$ , 所以 $J_a'$ , $X$ , $R^{'}$ , $N$ 共圆.
$\angle DUK=\angle FUK+\angle FUD=C/2+\pi-B/2$
$\angle AR'I=\angle ANO=B+A/2$
$\angle DUK+\angle AR'I=\pi$ , 因此 $R^{'}$ , $A$ , $U$ , $D$ 四点共圆.
在这里插入图片描述

由 $\triangle AEF\sim \triangle NBC$ , $\triangle KEF \sim \triangle ICB$ 可知: $\triangle AEF$ 和 $(K EF)$ ( $\bigodot I$ ) 构成的图形 $\phi_1$ 与 $\triangle NBC$ 和 $(I CB)$ 构成的图形 $\phi_2$ 之间存在一个相似关系, 使得 $A$ 和 $N$ 对应, $E$ 和 $C$ 对应, $F$ 和 $B$ 对应, $D$ 和 $J_a'$ 对应, $U$ 和 $X$ 对应, $K$ 和 $I$ 对应, $I$ 和 $S$ 对应. 易知 $\triangle J_a'BC \sim \triangle DFE$ , 进而 $D$ 和 $J_a'$ 对应. (前面的点为 $\phi_1$ 的点, 后面的点为 $\phi_2$ 的点)

在这里插入图片描述
进而有: $\triangle BXC \sim \triangle FUE$ , $\angle J_a'NX=\angle DAU$ .
$\angle J_a'R'X=\angle J_a'NX=\angle DAU=\angle DR'U$ , 所以 $R^{'}$ , $U$ , $X$ 共线.
设 $V^{'}$ 为 $R^{'} X$ 与 $(I BC)$ 除 $X$ 外的另一个交点, $\angle BV'U=\angle BCX=\angle UEF$ , $\angle CV'U=\angle CBX=\angle UFE$ , 由相切易知 $\angle UEF=\angle BFU$ , $\angle UFE=\angle UEC$ , 进而 $\angle BV'U=\angle BFU$ , $\angle CV'U=\angle CEU$
因此 $V^{'}$ 在 $(BF U)$ , $(CE U)$ 上, $V^{'}$ 即 $V$ , 进而 $R^{'}$ 即为 $R$ .
所以 $R$ 在 $N A$ 上, 进而易知 $\bot AI$ .
证毕.

2025年1月7日