如图,点D是AC的中点,F是BC的中点,△ABC和△BDE都是等边三角形,求证:AB=EF,且四边形AEBF为矩形.