证明：∵四边形ABCD是正方形，
∴OD=OB，OA=OC，BD⊥AC，
∵BE=DF，
∴DE=BF，
∴OE=OF，
∴四边形AECF是平行四边形，
∴四边形AECF为菱形．