|
楼主 |
发表于 2024-2-10 20:40
来自手机浏览器
|
显示全部楼层
来自: 中国上海
证法一:
由垂径定理MN为直径,MN⊥BC,又IF//BC => IF⊥MN。又ME⊥NE,所以IFME四点共圆。
要证EDF共线,只要证明∠IFD=∠IFE,而∠IFE=∠IME=∠ANE。
只要证明∠IFD=∠ANE。
另一方面,ID/IA=IH/IA=sin(A/2), IF/NA=MI/MN=BM/MN=sin(A/2),
ID/IA=IF/NA,∠FID=∠NAI=RT∠ => ∠IFD=∠ANE。
证法二:
用三角可以暴力计算。不妨设c>b。
GD=(a+c-b)/2-a/2=(c-b)/2, tan∠IFD=ID/GD=2r/(c-b)。
IA=r/sin(A/2), NA=2R*sin∠NMA=2R*sin(90-1/2A-B)=2R*cos(1/2A+B)。
tan∠INA=IA/NA=r/(sin(A/2)*2R*cos(1/2A+B)) = 2r/(2R*(sin(A+B)-sinB)=2r/(c-b)。
所以∠IFE=∠IME=∠INA=∠IFD。
|
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有账号?注册
x
|