已知圆O:x^2+y^2=2交x轴于A、B两点