如图,过矩形ABCD的对角线AC的中点O作EF⊥AC交AD于E,交BC于F,连接AF、EC,