旋转抛物面z=x^2 y^2位于平面z=4下方部分的面积