以o为圆心,2为半径,上半圆弧的方程是什么?