∵AD是三角形ABC的角平分线,DE,DF分别是三角形ABD和三角形ACD的高,∴DE=DF在直角三角形ADE和ADF中,AD=AD,DE=DF,所以△ADE≌△ADF(HL)∴AE=AF,又∵AD是三角形ABC的角平分线,所以AD⊥EF,AD平分EF(等腰三角形AEF中三线合一),即AD垂直平分EF
∵ AD是三角形ABC的角平分线 ∴∠BAD=∠DAC又∵∠DEA=∠DFA=90° ∴∠ADE=∠ADF AD=AD∴△AED≌△AFD∴AE=AF∴AD垂直平分EF