证明:
过A点作AG//BC,交BD延长线于G
∵BD平分∠ABC
∴∠ABG=∠CBD
∵AG//BC
∴∠AGB=∠GBC
∴∠ABG=∠AGB
∴AB=AG
∵EF//BC
∴AG //EF
∴∠GAD=∠DEF,∠AGD =∠DFE
又∵AD=DE
∴⊿AGD≌⊿FED(AAS)
∴AG=EF
∵AG=AB
∴AB=EF
证明:
过A点作AG//BC,交BD延长线于G
∵BD平分∠ABC
∴∠ABG=∠CBD
∵AG//BC
∴∠AGB=∠GBC
∴∠ABG=∠AGB
∴AB=AG
∵EF//BC
∴AG //EF
∴∠GAD=∠DEF,∠AGD =∠DFE
又∵AD=DE
∴⊿AGD≌⊿FED(AAS)
∴AG=EF
∵AG=AB
∴AB=EF