1. (2020九上·商河月考) 如图，已知AC是矩形ABCD的对角线，AC的垂直平分线EF分别交BC、AD于点E和F，EF交AC于点O．

1. （1） 求证：四边形AECF是菱形；
3. （2） 若AC＝8，EF＝6，求菱形的边长．