如图所示,矩形ABCD中,E、F分别是AB、 CD的中点,点O 1 、O 2 在线段EF上,圆O 1 与矩形ABCD的边