已知正三角形的两个顶点是O(0,0)和A(0,6),求他的外接圆方程