这题用全等三角形来证明AD=DE(已知),EF∥AB,又得到∠ABD=∠F,∠A=∠AEF,那么根据角角边定理,证得三角ABD≌三角EFD,推出BD=DF,即D是BF中点
因为Adb =edf ad=de 所以bd=df d为bf中点