如图，AC是矩形ABCD的对角线，过AC的中点O作EF⊥AC，交BC于点E，交AD于点F，连结AE，CF。