正方形abcd的边长为6,EF为正方形ABCD的对称轴,