在三角形ABC中,已知AB=AC,AD垂直BC于D,DE垂直AB于点E,DF垂直AC于点F,求证:AD是EF的垂直平分线