过D作DG垂直AI于G
因为 BF垂直AI,CE垂直AI,DG垂直AI
所以 BF//CE//DG
所以 GF/GE=DB/DC
因为 D是BC的中点
所以 GF/GE=DB/DC=1
所以 GF=GE
因为 DG垂直AI
所以 DG是EF的中垂线
所以 DF=DE
过D作DG垂直AI于G
因为 BF垂直AI,CE垂直AI,DG垂直AI
所以 BF//CE//DG
所以 GF/GE=DB/DC
因为 D是BC的中点
所以 GF/GE=DB/DC=1
所以 GF=GE
因为 DG垂直AI
所以 DG是EF的中垂线
所以 DF=DE