下面是小明设计的“在一个矩形内作正方形”的尺规作图过程．

已知：如图，四边形ABCD是矩形．

求作：正方形ABEF（点E在BC上，点F在AD上）．

作法：①以A为圆心，AB长为半径作弧，交AD于点F；

②以B为圆心，AB长为半径作弧，交BC于点E；

③连接EF．

四边形ABEF就是所求作的正方形．

根据小明设计的尺规作图过程，