1. (2020八下·延平月考) 如图，四边形ABCD是矩形，对角线AC的垂直平分线EF交AC于O ， 分别交BC、AD于点E、F ．

1. （1） 求证：四边形AECF是菱形；
3. （2） 若AB=4，BC=8，求EC的长．