第一步:先把矩形ABCD对折,折痕为MN,如图(1);
第二步:再把B点叠在折痕线MN上,折痕为AE,点B在MN上的对应点为B′,得Rt△AB′E,如图(2);
第三步:沿EB′线折叠得折痕EF,如图(3).
若AB= ,则EF的值是( )