在三角形ABC中,BD=DC,E是AC上一点,BE,AD相交于点F.若AE=EF,求证BF=AC.