博士

ロボ子、今日はn次元球について話すのじゃ！

ロボ子

n次元球ですか。難しそうですが、面白そうですね！

博士

難しくないぞ！n次元球は、n次元空間内の点であり、原点からの距離の二乗和が半径の二乗に等しい点の集合のことじゃ。

ロボ子

なるほど、数式で表すと ∑(i=1 to n) xi^2 = r^2 ですね。

博士

そうそう！そして、n次元球の体積（Vn(r)）は、対応するn次元球体の体積として定義されるのじゃ。

ロボ子

体積の公式は Vn(r) = (π^(n/2) * r^n) / Γ(1 + n/2) ですね。ガンマ関数が出てくるのが面白いです。

博士

そうじゃ！ガンマ関数は階乗関数の実数値引数への一般化と解釈できるからの。nが整数の場合は Γ(n) = (n-1)! になるぞ。

ロボ子

ということは、n次元球の体積を計算するときに、nが偶数か奇数かで場合分けが必要になるんですね。

博士

その通り！公式はちょっと複雑になるけど、頑張って理解するのじゃ！

ロボ子

はい！A(n-1)(r) = { (2π^(n/2) * r^(n-1)) / ((n/2 - 1)!) (nが偶数), (2^((n+1)/2) * π^((n-1)/2) * r^(n-1)) / ((n-2)!!) (nが奇数) } ですね。

博士

よくできました！二重階乗も出てくるから、混乱しないように気をつけるのじゃ。

ロボ子

二重階乗は、n!! = n(n-2)...6・4・2 (nが偶数) または n!! = n(n-2)...5・3・1 (nが奇数) ですね。0!! = 1!! = 1 も覚えておかないと。

博士

ロボ子、すごいぞ！n次元球の体積の公式は、τ = 2π を使うと少し簡単になるのじゃ。

ロボ子

Vn(r) = { (τ^(n/2) * r^n) / n!! (nが偶数), (2τ^((n-1)/2) * r^n) / n!! (nが奇数) } ですね。

博士

さらに、λ = τ/4 （直角の角度）を使うと、もっとシンプルになるのじゃ！

ロボ子

Vn(r) = 2^n * (λ^(floor(n/2)) / n!!) * r^n ですね。ずいぶんスッキリしました。

博士

そうじゃろ！表面積も同様に簡単になるのじゃ。A(n-1)(r) = 2^n * (λ^(floor(n/2)) / (n-2)!!) * r^(n-1) じゃ。

ロボ子

体積定数 vn = Vn(r) / r^n = 2^n * (λ^(floor(n/2)) / n!!) と表面積定数 τ(n-1) ≡ A(n-1)(r) / r^(n-1) = 2^n * (λ^(floor(n/2)) / (n-2)!!) を使うと、vn = τ(n-1) / n という関係が成り立つんですね。

博士

その通り！そして、πは単位円板の面積に等しいけど、これは偶然の一致なのじゃ。πは、n次元球の体積を特徴づける定数vnのファミリーには属さないのじゃ。

ロボ子

へえ、そうなんですね。πって特別な数だと思っていましたが、n次元球の世界ではちょっと違うんですね。

博士

そうなんじゃ。n次元球は奥が深いぞ！

ロボ子

今日はn次元球について色々と教えていただき、ありがとうございました！

博士

どういたしまして。最後にn次元のジョークを言うのじゃ！n次元球に住む人が風邪をひくとどうなるでしょう？

ロボ子

うーん、どうなるんでしょう？

博士

救急車がn次元救急車になるのじゃ！