如图，在矩形ABCD中，AD＝4，∠BAC＝30°，点O为对角线AC上的动点（不与A、C重合），以点O为圆心在AC下方作半径为2的半圆O，交AC于点E、F．