在矩形ABCD中,延长BC至点E,使BE=BD,F为DE中点,连结AF,CF,BD与AC相交于点O.求证:AF垂直CF