∵AD是角平分线
∴∠BAD=∠CAD
∵DE⊥AB,DF⊥AC
∴∠DEA=∠DFA=90° ∠ADE=∠ADF
∵AD=AD
∴△ADE≌△ADF(AAS)
∴ED=DF
∵∠ADE=∠ADF OD=DO(暂时称点O)
∴△ODE≌△ODF(SAS)
∴OE=OF ∠DOE=∠DOF
∴AD是EF的中垂线
∵AD是角平分线
∴∠BAD=∠CAD
∵DE⊥AB,DF⊥AC
∴∠DEA=∠DFA=90° ∠ADE=∠ADF
∵AD=AD
∴△ADE≌△ADF(AAS)
∴ED=DF
∵∠ADE=∠ADF OD=DO(暂时称点O)
∴△ODE≌△ODF(SAS)
∴OE=OF ∠DOE=∠DOF
∴AD是EF的中垂线