1. (2019·青海模拟) 如图，AC是平行四边形ABCD的对角线.

1. （1） 利用尺规作出AC的垂直平分线（要求保留作图痕迹，不写作法）；
3. （2） 设AC的垂直平分线分别与AB，AC，CD交于点E，O，F，求证：以A、E、C、F为顶点的四边形为菱形.