(设AD与EF相交于点G)
∵AD平分∠BAC
∴∠BAD=∠CAD
又∠AED=∠AFD=90°,AD=AD
∴△AED≌△AFD(AAS)
∴ED=FD,∠ADE=∠ADF
又DG=DG
∴△EDG≌△FDG(SAS)
∴∠EGD=∠FGD=90°,EG=FG
∴AD垂直平分EF
(设AD与EF相交于点G)
∵AD平分∠BAC
∴∠BAD=∠CAD
又∠AED=∠AFD=90°,AD=AD
∴△AED≌△AFD(AAS)
∴ED=FD,∠ADE=∠ADF
又DG=DG
∴△EDG≌△FDG(SAS)
∴∠EGD=∠FGD=90°,EG=FG
∴AD垂直平分EF