在等边三角形ABCD中,点D是AC的中点,F是BC的中点,以BD为边做等边三角形BDE,求证:AB=EF,企鹅四边形AE