因为，AD为又因为，DE、DF分别是三角形ABD和三角形ACD的高。所以所以，△AED=△AFD. 所以，ED=FD EF与AD的交点标为M DM=DM（可不写）所以，△EDM=△FDM, 所以，EM=FM.因为在△EDM中，所以所以，AD为EF的垂直平分线
