正确的有( )个.
求证:AD垂直平分EF.
①若 , 求的值;
②若 , 直接写出线段与的数量关系.
如图,已知正方形ABCD边长为1,∠EAF=45°,AE=AF,则有下列结论:
①∠1=∠2=22.5°;
②点C到EF的距离是 -1;
③△ECF的周长为2;
④BE+DF>EF.
其中正确的结论是.(写出所有正确结论的序号)