如图,点EF分别是边长为4的正方形ABCd的边BCCD上的点