在空间直角坐标系中,以O为圆心的圆与直线:根号3乘X-Y-4=0相切求圆方程