この計算ツールでできること
このツールは、n次元の球（超球とも呼ばれます）の体積（n次元的な「中身」の大きさ）と表面積（その境界となる球面の大きさ）を計算します。私たちが普段目にする円や球を、任意の次元のユークリッド空間へと一般化したものです。n = 2 のときは円（円板）の面積と円周、n = 3 のときは通常の球の体積と表面積が求められ、それより高い次元でも同様の高次元量を得ることができます。
使い方
次元 n（1、2、3、4 …といった正の整数）と半径 r（任意の長さの単位による 0 以上の実数）を入力してください。体積は（長さの単位）n、表面積は（長さの単位）n-1 の単位で表示されます。単位を選ぶプルダウンはなく、入力値はすべて無次元の実数として扱われます。
計算式の解説
厳密な公式には、階乗を連続的に拡張したガンマ関数を用います。体積は $$V_n(r) = \frac{\pi^{\,n/2}}{\Gamma\!\left(\frac{n}{2}+1\right)}\, r^{\,n}$$、表面積は $$S_n(r) = \frac{2\,\pi^{\,n/2}}{\Gamma\!\left(\frac{n}{2}\right)}\, r^{\,n-1}$$ です。両者は \(S_n(r) = n \cdot V_n(r) / r\)、言い換えれば \(V_n(r) = (r / n) \cdot S_n(r)\) という関係で結ばれており、表面積は体積を r で微分したものに等しくなります。大きな n でも数値的に安定して計算できるよう、本ツールではランチョス近似による log-Gamma を用いて、すべてを自然対数を通じて評価しています。
計算例
n = 3、r = 1 の場合を考えます。\(\Gamma(5/2) = (3/4)\times\sqrt{\pi} \approx 1.329340\)、\(\pi^{3/2} \approx 5.568328\) となるので、$$V = \frac{5.568328}{1.329340} = 4.18879$$ となり、\((4/3)\times\pi\) と一致します。表面積は \(\Gamma(3/2) = (1/2)\times\sqrt{\pi} \approx 0.886227\) を用いて、$$S = \frac{2\times 5.568328}{0.886227} = 12.56637$$ となり、\(4\times\pi\) と一致します。
よくある質問
n は整数以外でもよいですか？ 数学的には可能です。ガンマ関数はすべての正の実数で定義されているため、分数次元でも有効な値が得られます。ただし、本来想定している使い方は正の整数です。
なぜ高次元になると単位球の体積は小さくなるのですか？ 単位球の体積は n = 5 あたりで最大となり、その後は n が大きくなるにつれて 0 に近づいていきます。これは高次元の幾何学における有名で直感に反する性質です。
n = 1 のとき表面積は何を意味しますか？ 1次元の球は区間 [-r, r] であり、その「体積」は 2r です。境界はその両端の 2 点なので、表面の大きさ（測度）は 2 となります。
