1. (2021·北部湾模拟) 如图，四边形ABCD为矩形，O是对角线AC的中点，过点O的直线分别交边BC，AD于点E，F，连接AE，CF.

1. （1） 求证：△AOF≌△COE；
3. （2） 当CE＝5，AO＝4，OF＝3时，求证：四边形AFCE是菱形.