1. (2019八下·确山期末) 如图，正方形ABCD的对角线AC，BD相交于点O，将BD向两个方向延长，分别至点E和点F，且使BE=DF.

1. （1） 求证：四边形AECF是菱形；
3. （2） 若AC=4，BE=1，直接写出菱形AECF的边长.