已知在三角形ABC中,AD为角A的角平分线,并且交BC于点D,DE和DF分别是AB和AC的高,求证:AD垂直平分EF