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