Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2017/paper-2/6/b/solution

Take the centre of the ball as the origin. An orthogonal change of variables leaves both this domain and its volume measure invariant. Consequently its Cartesian moment integrals are isotropic tensors. Equivalently, inversion immediately makes every odd moment zero.
There is no nonzero invariant rank-one vector, so
An isotropic tensor of rank two is a scalar multiple of the Kronecker delta, giving . Contract the indices and use spherical coordinates:
Thus the Cartesian moments of a three-dimensional ball give
For the last identity, one may also use the general rotation-invariant rank-three tensor : the moment is fully symmetric in its indices, whereas the Levi-Civita symbol is antisymmetric, forcing .
The origin convention is necessary. For a ball centred at a nonzero vector , its first moment would instead be , so the displayed claims implicitly refer to coordinates measured from its centre.

New to topics? Read the docs here!