如图,点O为正方形ABCD的对角线的交点,点E,F分别在DA,CD的