矩形ABCD,点A 与点C 对折得折痕EF,点E在AB 上,点F 在CD,若AB =8,BC=4.求EF 之长