将三角形ABF绕点B顺时针旋转90°得到三角形F’CB
因为∠EBF=45°所以∠ABF+∠EBC=45°
所以经过旋转后∠EBF'=45°
又因为FB=F'B,EB=EB
根据边角边可证三角形F'EB全等于三角形FEB
所以AE=EF
所以EF=AF+CE