如图1,点E,F分别在正方形ABCD的边BC,CD上,∠EAF=45°,试判断BE,EF,FD之间的数量关系.
小聪把△ABE绕点A逆时针旋转90°至△ADG,通过证明△AEF≌△AGF;从而发现并证明了EF=BE+FD.
①在图2中依题意补全图形,并求∠ADB的度数;
②若∠BCD的平分线CE交BD于点F,交DA的延长线于点E,连结BE.用等式表示线段AD、CE、BE之间的数量关系,并证明.
①;②;③;④.其中正确结论的个数为( )