如图1，在矩形ABCD中，对角线AC与BD交于点O，将△OBC绕点C顺时针旋转，点B对应点为点E，点O对应点为点F．