如图,在平面直角坐标系中,正方形AOFE的顶点A的坐标为(1,3),求E、F的坐标.