已知正三角形的两个顶点是O(0,0),A(4,0),则以OA为边的正三角形的外接圆方程是?