证明:DE垂直AB,DF垂直AC,AD平分角BAC,则:DE=DF.(角平分线的性质)
又AD=AD,则Rt⊿ADE≌RtΔAFD(HL),得:AE=AF.
所以,AD垂直平分EF.(等腰三角形顶角的平分线也是底边的高和中线)