EF平行BC,BF平行AC,四边形ACBF为平行四边形,AF=BC
同理四边形ABCE为平行四边形AE=BC 所以AE=AF
又因为AD垂直BC.EF平行BC,所以AD垂直EF,即AD为 EF垂直平分线
所以DE=DF(垂直平分线上任意一点到两端距离相等)
EF平行BC,BF平行AC,四边形ACBF为平行四边形,AF=BC
同理四边形ABCE为平行四边形AE=BC 所以AE=AF
又因为AD垂直BC.EF平行BC,所以AD垂直EF,即AD为 EF垂直平分线
所以DE=DF(垂直平分线上任意一点到两端距离相等)