AD平分∠BAC，DE⊥AB，DF⊥AC，∴DE=DF（角平分线的性质定理），在Rt△AED和Rt△AFD中， AD＝AD DE＝DF ，∴Rt△AED≌Rt△AFD（HL），∴AE=AF，又∵AD平分∠BAC，∴AD⊥EF（等腰三角形的三线合一）．
