问题:如图1,点E、F分别在正方形ABCD的边BC、CD上,∠EAF=45°,试判断BE、EF、FD之间的数量关系.
小聪把△ABE绕点A逆时针旋转90°至△ADG,从而发现EF=BE+FD,请你利用图1证明上述结论.
如图2,四边形ABCD中∠BAD≠90°,AB=AD,∠B+∠D=180°,点E、F分别在边BC、CD上,则当∠EAF与∠BAD满足什么关系时,仍有EF=BE+FD
①四边相等的四边形一定是菱形
②顺次连接矩形各边中点形成的四边形一定是正方形
③对角线相等的四边形一定是矩形
④经过平行四边形对角线交点的直线,一定能把平行四边形分成面积相等的两部分
其中正确的有( )个.