在平行四边形ABCD中,AC,BD交于点O,AE⊥BC于点E,EO的延长线交AD于点F,求证:四边形AECF是矩形