1. (2019九上·简阳期末) 如图，E，F是正方形ABCD的对角线AC上的两点，且AE=CF．

1. （1） 求证：四边形BEDF是菱形；
3. （2） 若正方形ABCD的边长为4，AE= ，求菱形BEDF的面积．