难题,在等边△ABC中,点D是AC的中点,F是BC的中点,以BD为边作等边△BDE,求证:AB=EF,且四边形AEBF为