如图，平面直角坐标系的原点O是正方形ABCD的中心，顶点A，B的坐标分别为（1,1）（-1,1），把正方形ABCD绕原点O逆时针旋转45°得到正方形A′B′C′D′则正方形ABCD与正方形A′B′C′D′重叠部分形成的正八边形的边长为                     ．

科目 数学   题型 填空题   难度 中等

知识点： 圆内接四边形的性质 对称式和轮换对称式 坐标与图形变化-旋转