18/10/21 23:07:24.17 fSpMiCT5.net
>>938
Pの座標を(a,b,c)として
U(0,b,1)
W(0,b,0)
t = ∠WUP とすれば
a = sin(t)
c = 1-cos(t)
t を固定した時
0 ≦ b ≦t sin(t)
求める立体の x = a における断面の面積S(a)は t sin(t) { 1 -cos(t)}
∫_{0≦a≦1} S(a) da = ∫_{0 ≦ t ≦ π/2} t sin(t)cos(t) { 1 -cos(t)} dt
= (π/8) -(2/9)
みたいな感じ
計算は合ってるかは知らん