半圆O绕着垂直于直径AB的直线旋转一周所得的几何体