求函数(9-x^2)^(1/2) 的积分