已知:如图,在▱ABCD中,AC,BD交于点O,EF过点O,分别交CB,AD的延长线于点E,F,求证:AE=CF.