>>469
球の中心から　a/2 だけ離れた平面で切った場合の小さい方の体積。
円の回転体の一部として計算できるだろ。