求旋转抛物面z=x2+y2被平面z=1所截下的有限部分的面积