如图,DE,DF分别是三角形ABD和三角形ACD的高,且DE=DF.求证:AD垂直平分EF