Let B[n] denote a ball of radius one in E^n , Euclidean n -space. Let V[n] = V[n](1) denote the "volume" of B[n] . Show both empirically and theoretically that

V[n] = Pi^(n/2)/GAMMA(n/2+1) .

Note that

V[1] = Pi^(1/2)/GAMMA(1/2+1) = 2 ,

V[2] = Pi^(2/2)/GAMMA(2/2+1) = Pi ,

V[3] = Pi^(3/2)/GAMMA(3/2+1) = Pi^(3/2)/(3*GAMMA(1/2)/4) = 4*Pi/3 .

Here is an empirical solution estimate for V[2] to V[6] . To estimate the value of V[n] , simulate m sets of n random numbers and for each set, let Y[n] equal the number of n -tuplets such that

x[1]^2+x[2]^2 + . . . + x[n]^2 < 1 .

An estimate of V[n] is 2^n*Y[n]/m .

> randomize():
for n from 2 to 6 do
m := 10000: #This is the number of repetitions
Y[n] := 0: #Y will equal the number of "successes"
for k from 1 to m do
s := 0:
for j from 1 to n do
s := s + rng()^2: #sum of squares of n RNs
od:
if s < 1 then Y[n] := Y[n] + 1 fi:
od:
od:

> for n from 2 to 6 do
V[n] := 2^n*(Y[n]/m):
od:

> V[2] := evalf(V[2]);
V[3] := evalf(V[3]);
V[4] := evalf(V[4]);
V[5] := evalf(V[5]);
V[6] := evalf(V[6]);

V[2] := 3.152400000

V[3] := 4.079200000

V[4] := 4.894400000

V[5] := 5.414400000

V[6] := 5.260800000

The following procedure finds the "volume of a ball" of radius r in n -space. It finds the value of V[n](r) , a ball of radius r in n -space by integration using "volumes" of cross sections which are balls of radius sqrt(r^2-x^2) in ( n - 1)-space:

V[n](r) = int(V[n-1](sqrt(r^2-x^2)),x = -r .. r)

This procedure was written by John Krueger when he was a student at Hope College .

> Volume := proc(r, n:: integer)
local x;
options remember;
if n = 0 then
RETURN(1):
else
RETURN(int(Volume(sqrt(r^2 - x^2), n - 1), x = -r .. r)):
fi:
end;

Volume := proc (r, n::integer) local x; option reme...
Volume := proc (r, n::integer) local x; option reme...
Volume := proc (r, n::integer) local x; option reme...
Volume := proc (r, n::integer) local x; option reme...
Volume := proc (r, n::integer) local x; option reme...

Volume(1,0);

1

> Volume(1,1);

2

> Volume(1,2);

Pi

> Volume(1,3);

4/3*Pi

> Volume(1,4);

1/2*Pi^2

> Volume(1,5);

8/15*Pi^2

> Volume(1,6);

1/6*Pi^3

> Volume(1,7);

16/105*Pi^3

> Volume(1,8);

1/24*Pi^4

> Volume(1,9);

32/945*Pi^4

> Volume(1,10);

1/120*Pi^5

Note that when n is even, say n = 2 k , then


V[2*k] = Pi^k/k! .

Thus

sum(V[2*k],k = 0 .. infinity) = exp(Pi) .

Return to Menu