已知点E、F在正方形ABCD的对角线AC上,AE等于CF,求证四边形BFDE是菱形