（设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
