z=1-x^2-y^2去上側,计算积分