如图,已知矩形ABCD,点o为对角线AC的中点,过点o作直线EF交AD于E,交BC于F,(1)求证AE=CF;(2)过O