大数1988年3月号p.62-63 の記事でなるほどと思ったやつ.
平面 上の図形 を 直線 のまわりに回転した体積 , を直線 (の正射影) のまわりに回転した体積 とするとき,(ただし は と のなす角)
証明は本誌よりも丁寧に書いておくと,
を 平面, を 軸, を原点を通り方向ベクトルが の直線とするとき, の平面 による切り口と との距離の最大を ,最小を とすると
である.一方 上の点 を通り に垂直な直線
,
つまり による の切り口は の平面 による切り口と一致するので, とおくと であるから,
となる.