已知：如图，在半径为2的半圆O中，半径OA垂直于直径BC，点E与点F分别在弦AB、AC上滑动并保持AE=CF，但点F不与A、C重合，点E不与A、B重合．