当O运动到AC中点时，四边形AECF是矩形，理由如下：∵EF∥BC，∴∠OEC=∠ECB，又∵∠ACE=∠ECB，∴∠OEC=∠OCE，∴OC=OE，同理OC=OF，又∵OA=OC，∴四边形AECF是平行四边形，AC=EF，∴平行四边形AECF是矩形。
