如图,AD是三角形ABC的角平分线,DE,DF分别是△ABD和△ACD的高 求证AD垂直平分EF