如图,已知正方形边长为根号2+1,⊙o1过正方形的顶点A和中心O,分别交AD,AB于点E,F,⊙的半径为√3/2,