AD是△ABC的角平分线,DE,DF分制是△ABD和△AcD的高,求征:AD是EF的垂直平分线.