|
Author |
hbghlyj
Posted 2022-5-5 11:44
mathoe.com/dispbbs.asp?boardid=88&id=44699
设△ABC的外接圆为ω,圆Γ与AB 、AC、△ABC的外接圆ω分别相切于E、F、K。则E、F与△ABC的内心I共线。
这题是1993第34届国际数学奥林匹克IMO备选题(西班牙供题),也称曼海姆(Mannheim)定理。
下面这个另法证明用到了外心、内心之间的欧拉(Euler)心距公式OI=R^2-2Rr和斯特瓦特(Stewart)定理。
证明: 设 $\triangle A B C$ 的外心为 $O$, 外接圆半径为 $R$; 内心为 $I$, 内切圆半径为 $r ; \angle B A C$ 的伪内 切圆圆心为 $O_{A}$, 半径为 $\rho \circ \angle B A C=\alpha, \angle A B C=\beta, \angle B C A=\gamma$ a 则 $A I=\frac{r}{\sin \frac{\alpha}{2}}$, $A O_{A}=\frac{\rho}{\sin \frac{\alpha}{2}}, I O_{A}=A O_{A}-A I=\frac{\rho}{\sin \frac{\alpha}{2}}-\frac{r}{\sin \frac{\alpha}{2}}=\frac{\rho-r}{\sin \frac{\alpha}{2}} \cdot \therefore \frac{I O_{A}}{A O_{A}}=\frac{\rho-r}{\rho}(1)_{\mathrm{a}}$ 在 $\triangle A O O_{A}$ 中使用斯特瓦特 (Stewart) 定理: $A I \cdot O O_{A}^{2}+O_{A} I \cdot A O^{2}=A O_{A} \cdot O I^{2}+A I \cdot O_{A} I \cdot A O_{A}$, 代入数 据, $\frac{r}{\sin \frac{\alpha}{2}} \cdot(R-\rho)^{2}+\frac{\rho-r}{\sin \frac{\alpha}{2}} \cdot R^{2}=\frac{\rho}{\sin \frac{\alpha}{2}} \cdot{\sqrt{R^{2}-2 R r}}^{2}+\frac{r}{\sin \frac{\alpha}{2}} \cdot \frac{\rho-r}{\sin \frac{\alpha}{2}} \cdot \frac{\rho}{\sin \frac{\alpha}{2}}$, 整理, 得 $\left(\sin \frac{\alpha}{2}\right)^{2}=\frac{\rho-r}{\rho}(2)$, 由(1)(2)可得, $\frac{I O_{A}}{A O_{A}}=\frac{\rho-r}{\rho}=\left(\sin \frac{\alpha}{2}\right)^{2}=\left(\frac{\rho}{A O_{A}}\right)^{2}$, $\therefore O_{A} I \cdot O_{A} A=\rho^{2}=O_{A} F^{2}$, 而 $\angle A F O_{A}=90^{\circ}$, 由射影昰理逆昰理, 则 $A O_{A} \perp E F$, 又 $A E=$ $A F, \therefore A O_{A}$ 还平分 $E F$, 即 $I 、 E 、 F$ 三点共线, 且 $I$ 是 $E F$ 的中点。
注: 此证明中用到了外心、内心之间的欧拉 (Euler) 心距公式 $O I=\sqrt{R^{2}-2 R r}$ 和斯特瓦特 (Stewart) 定理。 |
|