1. (2021九上·铁西月考) 如图，在▱ABCD中，EF是对角线AC的垂直平分线，分别与AD，BC交于点E，F．

1. （1） 求证：四边形AECF是菱形；
3. （2） 若AC＝6，AE＝5，求菱形AECF的面积．