求平面截球体剩余部分的体积球体x^2+y^2+z^2≤r^2(r>0)被平面z=a(0≤a<r)截得的上一部分,即a≤z