已知圆O的方程是x^2+y^2=4等边三角形ABC内接于圆O