如图,正方形ABCD的面积为1,则以相邻两边中点连线EF为边正方形EFGH的周长为( )
①OA=OD;
②AD⊥EF;
③当∠A=90°时,四边形AEDF是正方形;
④AE2+DF2=AF2+DE2.其中正确的是( )
已知:如图,四边形ABCD中,AD∥BC,AD=CD,E是对角线BD上一点,且EA=EC.