|
本帖最后由 hbghlyj 于 2023-4-17 21:55 编辑
搬运搬运⋯
6.已知⊙O、⊙I分别是△ABC的外接圆和内切圆;证明:过⊙O上的任意一点D,都可作一个三角形DEF,使得⊙O、⊙I分别是的外接圆和内切圆.
(陶平生供题)
证:如图,设OI=d,R,r分别是△ABC的外接圆和内切圆半径,延长AI交于⊙O于K,则$K I=K B=2 R \sin \frac{A}{2}$,$A I=\frac{r}{\sin \frac{A}{2}}$,延长OI交⊙O于M,N;则$(R+d)(R-d)=I M \times I N=A I \times K I=2 R r$,即$R^{2}-d^{2}=2 R r$;
过D分别作⊙I的切线DE,DF,E,F在⊙O上,连EF,则DI平分∠EDF,只要证,EF也与⊙I相切;
设DI∩⊙O=P,则P是$\overparen{EF}$的中点,连PE,则$P E=2 R \sin \frac{D}{2}$,$D I=\frac{r}{\sin \frac{D}{2}}$,$I D \cdot I P=I M \cdot I N=(R+d)(R-d)=R^{2}-d^{2}$,
所以$P I=\frac{R^{2}-d^{2}}{D I}=\frac{R^{2}-d^{2}}{r} \cdot \sin \frac{D}{2}=2 R \sin \frac{D}{2}=P E$,
由于I在角D的平分线上,因此点I是△DEF的内心,
(这是由于,$\angle P E I=\angle P I E=\frac{1}{2}\left(180^{\circ}-\angle P\right)=\frac{1}{2}\left(180^{\circ}-\angle F\right)=\frac{D+E}{2}$,而$\angle P E F=\frac{D}{2}$,所以$\angle F E I=\frac{E}{2}$,点I是△DEF的内心).
即弦EF与⊙I相切. |
|