前>>303補足。
>>285
z=tで水平に切った切り口の正方形の面積は、
ピタゴラスの定理より、
t^2+(a-t)^2=2t^2-2at+a^2
これをt=0からa/2まで足し集めて2倍すると、
通過部分全体の体積が出る。