已知圆O1:x² (y-2)²=1上一点