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