如图,已知AD是∠BAC的平分线,DE,DF分别是△ABD和△ACD的高,求证:AD垂直平分EF.