若正方形的边长为a,则其对角线长( ),若正方形ACEF的边是正方形ABCD的对角线,则正方形ACEF与正方形