已知点A(0.根3)和圆O1