（1）证明：∵四边形ABCD是矩形，
∴OB=OD（矩形的对角线互相平分），
AE∥CF（矩形的对边平行）．
∴∠E=∠F，∠OBE=∠ODF．
∴△BOE≌△DOF（AAS）．
（2）当EF⊥AC时，四边形AECF是菱形．
证明：∵四边形ABCD是矩形，
∴OA=OC（矩形的对角线互相平分）．
又∵由（1）△BOE≌△DOF得，OE=OF，
∴四边形AECF是平行四边形（对角线互相平分的四边形是平行四边形）
又∵EF⊥AC，
∴四边形AECF是菱形（对角线互相垂直的平行四边形是菱形）．