问题补充：
如图，矩形ABCD的对角线相交于点O，过点O的直线EF与AB、CD的延长线分别交于点E、F．
（1）探索线段OE和OF的大小关系并说明理由；
（2）当EF与AC满足什么条件时，四边形AECF是菱形？请说明理由．
答案：
解：（1）OE=OF．
理由：因为四边形ABCD是矩形，所以OB=OD，AB∥CD，
则∠E=∠F，∠EBO=∠FDO，
所以△BOE≌△DOF，则OE=OF；
（2）当EF⊥AC时，四边形AECF是菱形．
理由：因为四边形ABCD是矩形，所以OA=OC，
由（1）知OE=OF，则四边形AECF是平行四边形，
又EF⊥AC，所以四边形AECF是菱形．
解析分析：（1）根据四边形ABCD是矩形可证明△BOE≌△DOF，从而即可得出
如图 矩形ABCD的对角线相交于点O 过点O的直线EF与AB CD的延长线分别交于点E F．（1）探索线段OE和OF的大小关系并说明理由；（2）当EF与AC满足什么条
