AD是角ABC的角平分线,DE,DF分别是角ABD和角ACD的高.求AD垂直平分EF