1. (2020·昌吉模拟) 如图，矩形ABCD中，对角线AC的垂直平分线EF分别交BC，AD于点E、F.

1. （1） 求证：四边形AECF是菱形；
3. （2） 当BE=3，AF=5时，求AC的长.