将 y = cos x 在 [0, pi/2] 上绕x轴旋转。