前>>814方針変更。
>>801
正四面体PABCから、
正四面体PABCのz=1より上の部分を取り除き、
x^2+y^2＜1の0≦z≦1の円柱を引き、
円柱のうち引きすぎた部分を足す。
正四面体PABC=(1/6)･3･2√2･2
=2√3
正四面体PABCのz=1より上の部分=2√3･(1/8)
=√3/4
x^2+y^2＜1の0≦z≦1の円柱=π
円柱のうち引きすぎた部分=(π/3-√3/4)･1･(1/2)･3
=(4π-3√3)/8
求める立体の体積=2√3-√3/4-π+(4π-3√3)/8
=(16√3-2√3-3√3-8π+4π)/8
=(11√3-4π)/8
=0.810773534……