为何n维球体积公式为$\int_{0}^{R} S_nr^{n-1}dr = {S_nR^n \over n}$？是否仅为模式推广？

先手动验证n=1、2、3的情况 #

咱们先把低维度的情况一个个算一遍，看看公式准不准：

• n=1（1维球，即一条线段）：1维的“超球面”其实是线段两端的两个点，单位半径下的“面积”（这里对应长度）$S_1=2$。代入公式得体积$V_1=\frac{2 \cdot R^1}{1}=2R$，这正好是从$-R$到$R$的线段长度，完全正确。
• n=2（2维球，即圆盘）：单位半径的2维超球面（圆）的“面积”其实是周长，$S_2=2\pi$。代入公式得$V_2=\frac{2\pi \cdot R^2}{2}=\pi R^2$，这就是圆盘的面积，没错。
• n=3（3维球）：单位半径的3维超球面（球面）面积$S_3=4\pi$。代入公式得$V_3=\frac{4\pi \cdot R^3}{3}=\frac{4}{3}\pi R^3$，完美对应咱们熟悉的3维球体积公式，完全正确。

公式的理论依据：不是模式推广，是严谨推导的结果 #

其实这个公式可不是靠观察低维情况瞎推广出来的，背后有实打实的理论支撑：

1. 薄壳积分（切片法的高维延伸） #

高维体积的计算可以用“薄壳堆叠”的思路：n维球可以看作是无数个厚度为$dr$的$(n-1)$维超球面薄壳，从$r=0$到$r=R$堆叠而成。每个薄壳的体积近似等于该半径$r$处的超球面面积乘以厚度$dr$。
而n维超球面的面积和半径的$(n-1)$次方成正比——单位半径的超球面面积是$S_n$，那么半径$r$的超球面面积就是$S_n \cdot r^{n-1}$（因为面积是$(n-1)$次齐次函数）。所以整个n维球的体积就是对所有薄壳体积积分：
Vₙ(R) = ∫₀ᴿ Sₙ * rⁿ⁻¹ dr
计算这个积分的结果就是$\frac{S_n R^n}{n}$，也就是你看到的公式。

2. 齐次函数的导数性质 #

n维球的体积是n次齐次函数，意思是如果把半径扩大$k$倍，体积就扩大$k^n$倍，即Vₙ(kR) = kⁿ Vₙ(R)。对$k$求导后令$k=1$，就能得到体积和超球面面积的关系：
dVₙ(R)/dR = n * Vₙ(R)/R
而另一方面，半径增加$dR$时，球体积的增量正好是超球面面积乘以$dR$（薄壳体积），也就是dVₙ(R) = Sₙ(R) * dR，所以Sₙ(R) = dVₙ(R)/dR。
把这两个式子结合起来，就能推出Vₙ(R) = Sₙ(R)*R/n，再代入$S_n(R)=S_n \cdot R^{n-1}$（$S_n$为单位半径超球面面积），就得到了$\frac{S_n R^n}{n}$，和积分结果完全一致。

另外，通过多重积分的球坐标变换也能推导这个公式——球坐标的雅可比行列式里天然带有$r^{n-1}$项，积分后自然会得到这个结果，本质和薄壳积分是同一套逻辑。

内容的提问来源于stack exchange，提问作者the_firehawk