It is wellknown that the volume of the unit ball in nspace is $\pi^{n/2}/\Gamma(n/2+1)$. Do you know of a proof which explains this formula? Any proof which does not treat the cases $n$ even and $n$ odd separately (like using an explicit expression for $\Gamma(n/2+1)$ in terms of factorials) should be fine.
It is easier to take the derivative, and consider the volume of the $(n1)$sphere (i.e., the "surface area" of the boundary of the ball). Start with the integral $\int_{\mathbb{R}^n} e^{x_1^2  \cdots  x_n^2} dx_1 \cdots dx_n$. Fubini's theorem lets you decompose this into a product of $1$dimensional integrals, and you get $\pi^{n/2}$. Since the integrand is spherically symmetric, you can change to the integral $\int_0^\infty \mathrm{vol}(S^{n1}(r)) \, e^{r^2} dr$, where $S^{n1}(r)$ is the unit $(n1)$sphere of radius $r$. The volume of this sphere is $r^{n1}$ times the volume of the unit sphere, so solving for that, you get $\frac{\pi^{n/2}}{\int_0^\infty r^{n1} e^{r^2} dr}$. A change of coordinates ($u = r^2$) in the denominator yields the integral defining $\Gamma(n/2)$. 


I like to write it as $\omega_n = \frac{\pi^\frac{n}{2}}{\frac{n}{2}!}$ (I've seen $\omega_n$ used both for the measure of the unit ball and for that of its boundary, but eh, I had to attach some name to it for below). I guess using the factorial notation for nonintegers isn't too popular, though. Alternatively, induction. It's true for $n=1$ (since $\Gamma(\frac{3}{2})=\frac{\sqrt{\pi}}{2}$) and $n=2$. So then: $\omega_{n+2} = \int_{x_1^2 + \dots + x_{n+2}^2 \leq 1}dx = \int_{x_{n+1}^2+x_{n+2}^2 \leq 1}\int_{x_1^2 + \dots + x_n^2 \leq 1  (x_{n+1}^2+x_{n+2}^2)}d(x_1,\dots,x_n)d(x_1,x_2).$ Polar coordinates in the plane give us $\omega_{n+2} = \int_0^{2\pi}\int_0^1\sqrt{1r^2}^n\omega_n r dr d\phi = 2\pi\omega_n \int_0^1(1r^2)^{\frac{n}{2}}rdr = \pi\omega_n \int_0^1(1r^2)^{\frac{n}{2}}2rdr.$ Substitute $s=1r^2$ and get $\omega_{n+2} = \pi\omega_n\int_0^1s^\frac{n}{2}ds = \omega_n \frac{2\pi}{n+2} = \frac{\pi^\frac{n}{2}}{\frac{n}{2}!}\frac{2\pi}{n+2} = \frac{\pi^\frac{n+2}{2}}{\frac{n+2}{2}!}.$ 


Adding to what Jakob Katz wrote, where the volume of the unit ball $B_{2n}$ in $\mathbb{C}^n$ is $\pi^n/n!$, the $\pi^n$ calls to mind the volume of a polydisc $B_2^n \subset (\mathbb{C}^1)^n = \mathbb{C}^n$, on which the symmetric group $S_n$ acts by permuting coordinates. The permutation action is volumepreserving, and so $\pi^n/n!$ is naturally interpreted as the volume of the orbit space $B_2^n/S_n$. Can this be somehow related to the volume of the $n$ball? Andreas Blass and Stephen Schanuel cooked up such an explanation: Theorem: (BlassSchanuel) Given $(z_1, \ldots, z_n) \in \mathbb{C}^n$, write coordinates $z_j$ in polar coordinate form $z_j = r_j e^{i \theta_j}$, and define an $S_n$invariant map $\phi \colon B_2^n \to B_{2 n}$ by first permuting the $z_j$ so that $r_1 \geq r_2 \geq \ldots \geq r_n$ and then mapping $(z_1, \ldots, z_n)$ to $$(\sqrt{r_1^2  r_2^2}e^{i\theta_1}, \sqrt{r_2^2  r_3^2}e^{i(\theta_1 + \theta_2)}, \ldots, \sqrt{r_{n1}^2r_n^2}e^{i(\theta_1 + \theta_2 + \ldots + \theta_{n1})}, r_n e^{i(\theta_1 + \theta_2 + \ldots + \theta_n)})$$ Then $\phi$ induces a continuous welldefined map $B_2^n/S_n \to B_{2 n}$. Furthermore, when restricted to the set $P_n$ of $(z_1, \ldots, z_n)$ for which the $r_j$ are all distinct, $\phi$ induces a smooth symplectic isomorphism mapping $P_n/S_n$ onto the set $Q_n$ of $(w_1, \ldots, w_n) \in B_{2 n}$ for which $w_j \neq 0$ for $1 \leq j \leq n1$. In other words, writing $z_j = x_j + i y_j$ the symplectic 2form $$\sum_{j=1}^n d x_j \wedge d y_j = \sum_{j=1}^n r_j d r_j \wedge d\theta_j$$ is preserved by pulling back along $\phi \colon P_n/S_n \to Q_n$. Since symplectic maps are locally volumepreserving, and since $P_n$ and $Q_n$ are almost all of $B_2^n$ and $B_{2 n}$ respectively, this gives a proof that the volume of $B_{2 n}$ is $\pi^n/n!$ (alternate to standard purely computational proofs). Reference:



The direct way to do this is to integrate $1$ using the spherical volume element $$ d^nV = r^{n1} \sin^{n2}(\phi_1) \, \sin^{n3}(\phi_2) \, \cdots \sin(\phi_{n2}) \, dr \, d\phi_1 \, \cdots \, d\phi_{n1}. $$ Here, for $\phi_k$ goes from $0$ to $\pi$ for $k = 1, \dots, n2$, and $\phi_{n1}$ goes from $0$ to $2 \, \pi$. Since $$ \int_0^\pi \sin^k \phi \, d\phi = B\left(\frac12, \frac{k+1}{2} \right) =\frac{ \Gamma\left(\frac{1}{2} \right) \Gamma\left(\frac{k+1}{2}\right) } { \Gamma\left(\frac{k+2}{2} \right) }, $$ where $B(p,q)$ is the beta function, we get $$ \begin{align} \int d^nV &= \int_0^1 r^{n1} \, dr \, \frac{ \Gamma\left(\frac{1}{2} \right) \Gamma\left(\frac{n1}{2}\right) } { \Gamma\left(\frac{n}{2} \right) } \frac{ \Gamma\left(\frac{1}{2} \right) \Gamma\left(\frac{n2}{2}\right) } { \Gamma\left(\frac{n1}{2} \right) } \cdots \frac{ 2 \, \Gamma\left(\frac{1}{2} \right) \Gamma\left(\frac{1}{2}\right) } { \Gamma\left(\frac{2}{2} \right) } \\ &= \frac{2}{n} \frac{ \left[ \Gamma\left(\frac{1}{2} \right)\right]^n } { \Gamma\left(\frac{n}{2} \right) } = \frac{ {\sqrt\pi}^n } { \Gamma\left(\frac{n}{2} + 1\right) }. \end{align} $$ Another way is to use the formula for the Fourier transform of a spherical function $$ \tilde f(k) = \int f(r) \, e^{i\mathbf k \cdot \mathbf r} \, d\mathbf r = \frac{(2\pi)^{n/2}} { k^{n/2  1} } \int_0^\infty f(r) J_{n/21}(k\,r)\, r^{n/2} \, dr, $$ where $J_{n/21}(k \, r)$ is the Bessel function. In our case $f(r) = \Theta(1r)$ is the step function. Then, by using the recurrence relation $$ \frac{d}{dx} \left[ r^{\nu} J_{\nu}(x) \right] = r^{\nu} J_{\nu1}(x), $$ with $\nu = n/2$, we get $$ \tilde f(k) = \frac{(2\pi)^{n/2}} { k^{n/2} } J_{n/2}(k). $$ For the limit of $k\rightarrow 0$, we get the volume $$ \lim_{k \rightarrow 0} \tilde f(k) = \frac{(2\pi)^{n/2}} { k^{n/2} } \frac{(k/2)^{n/2}}{\Gamma(\frac{n}{2}+1)} = \frac{\pi^{n/2}} {\Gamma(\frac{n}{2}+1)}. $$ 


softquestion
tag for stuff without formulas :) – Ilya Nikokoshev Nov 19 '09 at 20:26