極方程式 を境界とする領域を横軸(
軸)のまわりに回転させてできる立体の体積を考える際,
,
,
を頂点とする三角形を横軸(
軸)のまわりに回転させてできる微小立体の微小体積を求める必要がある.良くある方法は傘型を開いて錐で近似する手法だが,
にあるように,パップス・ギュルダンを利用(重心の 座標が
,面積が
となる)して
となり2次以上の微小量を無視すると
が成立することを利用しても良いが,立体角が
となるので
となると考えても良い.正確には
と2つの球扇形で挟むことによって体積評価をして極限をとれば良い.
(球欠を定める球の切り口を底面,頂点が球の中心Oである円錐と球欠を合わせた立体を球(面)扇形と呼ぶ)
なお,立体角の計算については,球の表面積が球冠の厚さに比例することを知っていれば,頂角 の錐の立体角が
となることは直ちにわかる.
この立体角を利用して公式を求める誘導は
2012年(平成24年)慶應義塾大学医学部-数学[4] - [別館]球面倶楽部零八式markIISR
参照.
この公式を使ってパスカルの蝸牛形(リマソン)を回転させて囲まれる部分の体積を求める問題は
https://spherical-harmonics.hateblo.jp/entry/Kyodai/2009/Rikei_5
参照.
この公式を使わない方が良い問題は
1998年(平成10年)京都大学後期-数学(理科)[6] - [別館]球面倶楽部零八式markIISR
参照.
2026.02.24追記
バームクーヘン積分を置換積分を使って求めることができることは有名だが,極方程式の回転体の体積を求める公式も普通の回転体の体積 の置換積分から導ける話を書いていたので書いてから数ヶ月たってしまった今頃リンクを貼っておく.