EF是BC的垂直平分线,AF,BE交于D,AB=AF,求证AD=DF