求积分 sqrt(a ^ 2-x^2)