在直角坐标系xoy中,以原点O为圆心的圆与直线x-√3y=4相切,求圆O的方程