sjce

解题思路： 当EF⊥AC时，四边形AECF是菱形．根据已知条件可证明四边形AECF是平行四边形，当EF⊥AC，可根据对角线互相垂直的平行四边形是菱形判定．
解题过程：
当EF⊥AC时，四边形AECF是菱形．
证明：∵四边形ABCD是矩形
∴OA=OC（矩形的对角线互相平分）
又∵△BOE≌△DOF
∴OE=OF
∴四边形AECF是平行四边形（对角线互相平分的四边形是平行四边形）
∵EF⊥AC，
∴四边形AECF是菱形（对角线互相垂直的平行四边形是菱形）．