如图7,在矩形ABCD中,BC=8,CD=4,将△BCD沿对角线BD翻折,点E为点C的对应点,BE与AD交于点F,则EF