如图,①绕点B将△EBC逆时针旋转90°得△ABM,
∴AM=CE,BE=BM,∠1=∠2.∠BAM=∠BCE.
∵四边形ABCD是正方形,
∴AB=BC=CD=AD,∠ABC=∠BCD=∠CDA=∠DAB=90°.AD∥BC.
∴∠BAM=∠BCE=90°,
∴∠MAF=180°,
∴点M、A、F在同一直线上.
∵AB=2CE=3AF,设AF=x,
∴AB=3x,CE=1.5x,
∴MF=1.5x+x=2.5x,FD=3x-x=2x,ED=1.5x.
在Rt△DFE中,由勾股定理得EF=2.5x,
∴EF=MF.
∵在△EFB和△MFB中,