正方形ABCD的边长为4，以B为原点建立如图1平面直角坐标系中，E是边CD上的一个动点，F是线段AE上一点，将线段EF绕点E顺时针旋转90°得到EF'.