如图，已知正方形ABCD的边长为1，以顶点A、B为圆心，1为半径的两弧交于点E，以顶点C、D为圆心，1为半径的两弧交于点F，则EF的长为   ▲  ．

科目 数学   题型 填空题   难度 较难

知识点： 圆内接四边形的性质