因為E在以A和B為圓心，1為半徑的圓上。
所以AE=BE=AB=1。
因此△ABE是壹個等邊三角形，∠EAM=60。
AE=BE，則E在AB中垂線上；同理，CF=DF，則f在CD中垂線上。
因為ABCD是正方形，EF⊥AB
在RT△AEM中，AE=1，∠EAM=60。所以EM=√3/2
同理可得FN=EM=√3/2。
MN⊥AB線，所以MN=1。
17.如圖，已知正方形ABCD的邊長為1，以頂點A和B為圓心，以1為半徑的兩條圓弧相交於E點，以頂點C和D為圓心，以1為半徑的兩條圓弧相交於F點，則EF的長度為
EF=EM+FN-MN=√3-1