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

1. （1） 求证：四边形AECF是菱形；
3. （2） 若AC＝4，BE＝1，求菱形AECF的边长和面积.