1. (2023·南京模拟) 如图，在 ▱ ABCD中，AC的垂直平分线分别交BC、AD于点E、F，垂足为O，连接AE、CF.

1. （1） 求证：四边形AECF为菱形；
3. （2） 若AB＝5，BC＝7，则AC＝时，四边形AECF为正方形.