解答：リノイドの体積

立方体の1辺の長さを2aとすると，線分KFの長さはa√6です．
上図のような，座標系で考えます：