超球の体積

初等幾何学における球体は決められた点から決められた距離以内にある点の全体が空間において占める領域であった。同様のことを -次元ユークリッド空間で行って -次元超球体が定義される。
本項では-次元超球体の体積、および超球体の表面に相当する超球面の面積について述べる。
超球体の体積.
ここでformula_2はオイラーのガンマ函数（階乗函数の非整数引数への一般化）により定義される
であり、「!!」は二重階乗
である。
具体的な値はの偶奇によって異なる。
奇数の場合.
の場合は、
である事を用いると、
とも表記できる。
偶数の場合.
の場合、
漸近評価.
前述のの具体的な記述にスターリングの公式formula_17と
formula_18
を適用することで、以下が成立する事がわかる：
\left(\frac{2\pi e}{n}\right)^{n/2}R^n </math>
これは一辺の長さがの超立方体の体積対する超球体がのとき指数関数的に小さくなる事を意味する。
漸化式.
超球体の体積を漸化式で表すと、下記のとおりである： 
上述の漸化式はをと関係づけるが、をを関係づけると下記のようになる： 
ここで、 
具体的に書けば、
体積から半径を求める公式.
-次元球体の体積 をその半径 で表す代わりに、上記の公式を逆に解いて半径 を体積 の函数として表すこともできる：
超球面の面積.
ユークリッド空間formula_28における半径 の -次元超球面 
の面積とformula_28における半径 の -次元超球体
の体積には
という関係がある。これはがに対するの和集合である事から従う。の具体的表記から、以下が従う：
</math>
-->formula_34formula_35
よっての場合は、
の場合は、
とも表記できる。
証明.
上記の公式に関して多くの証明が存在する。
体積は半径の 乗に比例する.
-次元球の体積についてのいくつかの証明においての重要なステップであり、それ以外にも有用性のある一般的な事実は、半径 の -次元球の体積は に比例すること、つまり formula_43 である。このときの比例定数は単位球の体積に等しい。
上記の関係は帰納法による簡単な証明がある。基底段階は であり、比例することは自明である。帰納段階は、次元 で比例することが真であると仮定する。-次元球体と一つの超平面との交わりは -次元球体であることに注意する。-次元球体の体積を -次元球体の体積の積分 formula_44 として書く時、帰納法の仮定により -次元球体の半径から -倍の因子を括りだして formula_45 と書くことができる。変数変換 を施して導かれる formula_46
は次元 における比例関係を示すものになっている。帰納法によって、全ての次元で比例関係は真である。
2次元漸化式.
-次元球体と -次元球体の間の体積の漸化式の証明は、上記の比例式と円筒座標系における積分を用いて与えられる。球の中心を通る平面を固定する。 を球面の中心と平面上の点との距離とし、 を方位角とする。-次元球体と、半径と方位角を固定して定まる -次元平面とを交わらせれば、半径 の -次元球体が与えられる。球の体積は、従って -次元球体の体積の、取りうる半径および方位角に亘る逐次積分 formula_47 として書くことができ、この方位角座標に関する積分は直ちに計算できる。比例関係を適用することで、この体積が formula_48 に等しいことが示される。 と置換することによって積分を評価することができ、formula_49 を得る。これが2次元漸化式である。
体積公式の帰納法による証明に同じ手法を用いることができる。帰納法の基底段階は -次元球体と -次元球体であり、ここで と という事実を用いて簡単に直接確認できる。再帰段階は上記と同様であるが、-次元球体の体積に比例関係を適用する代わりに、帰納法の仮定が適用される。
1次元漸化式.
比例関係は -次元球体と -次元球体の体積の関係に関する漸化式の証明にも使われる。比例式の証明の際に見たように、-次元球の体積は -次元球体の体積の積分として書くことができる。置換の代わりに、比例関係を被積分関数に現れる -次元球体の体積に適用し、formula_50 を得る。被積分関数は偶関数であるため、対称性によって積分区間を に制限することができる。区間 上で なる置換を適用することができるから、式は formula_51 と書き換えられる。この積分はベータ関数 と呼ばれるよく知られた特殊関数のある値に等しく、求める体積はベータ関数を用いて formula_52 となる。階乗と二項係数との関係とほぼ同じ意味で、ベータ関数はガンマ関数を用いて表されるから、その関係式を適用して formula_53 が得られる。値 を用いて1次元漸化式 formula_54 が得られる。
2次元漸化式と同様に、体積公式の帰納法による証明を得るために同じ手法を使用することができる。
球座標における直接積分.
体積を球座標における体積要素の積分によって計算することができる。球面座標系は動径座標 と偏角座標 を持つ。ここで を除く各 の変域は であり、 の変域は である。球体積要素は formula_55 で与えられる。そして求める体積は、 は から までと、角は取りうるすべての値に亘って取った積分 formula_56 に等しい。被積分関数の各因子は一変数のみに依存するため、従ってこの逐次積分は積分の積 formula_57 として書くことができる。動径成分の積分は に等しく、また偏角成分の積分区間を対称性により と書き換えれば formula_58 を得る。残った各々の積分はいまやベータ関数の特定の値で、formula_59 となる。ベータ関数はガンマ関数に書き換えることができ、formula_60 を得るが、この積は連鎖的に約分して畳み込める。値 関数等式 を組み合わせて formula_61 が導かれる。
ガウス積分.
体積公式はガウス積分を用いることにより直接証明することができる。関数 formula_62 を考えると、この関数は回転不変かつ各々一変数の函数の積になっている。これが積に書けるという事実とガウス積分の公式を適用して formula_63 が得られる。ここで は -次元体積要素である。回転不変性を用いれば、同じ積分を球座標に関して formula_64 と計算できる。ここで は半径 の -次元球面であり、 は表面積要素（すなわち -次元体積要素）である。球面の表面積は、球体の体積に関するのと同様の比例関係を満足する。すなわち を半径 の-次元球面の表面積とすれば formula_65 が成り立つ。上記の積分にこれを適用すると formula_66 なる式を得る。置換 を適用すれば、この式は formula_67 と変形でき、これはガンマ関数の における値である。
二つの積分を併せれば formula_68 が示される。この式から半径 の -次元球体の体積を導出するには、半径 () の球面の表面積を積分し、関数等式 を適用すればよい。そうして formula_69 が得られる。
-ノルムに関する球体.
次が知られていることがディリクレの時代から知られている：
</math> 
よって特に次が成立する：
 の場合は通常のユークリッドノルムであり、それ以外の は情報理論、符号理論、などの様々な文脈において現れる。
特に および の場合の体積はそれぞれ
で与えられる。これらは正軸体および超立方体の体積に一致する。
formula_72は以下の漸化式 を満たす：
一部の例外的なを除き、-球面（-球体の境界）の表面積は、-球体の半径に関する微分として計算することはできないが、を用いて、体積を表面積上の積分として表すことができる。
余面積公式には、点から点へ -ノルムがどのくらい変化するかを考慮した相関係数が含まれる。 および に対してこの因子は だが、 ならば相関因子は である（半径 の -次元 -球面の表面積は 掛ける -球体の体積の における微分係数）。ほとんどの の値に対してこの定数は複雑な積分になる。