点EF在正方形ABCD的对角线AC上,且AE=CF,求证:四边形BEDF是菱形