如图，四边形ABCD是正方形，BM=DF，AF垂直AM，M，B，C在一条直线上，且△AEM与△AEF恰好关于AE所在直线成轴对称，已知EF=x，正方形边长为y．