矩形ABCD边长AB为3,BC为4,将矩形折叠,使C点与A点重合,求折痕EF长