Solution

ID: past-exam-of-the-probability-course-of-the-university-of-oxford/2015/2/a/i/solution

The joint probability density of the two independent standard normal random variables is . The polar coordinates map has absolute Jacobian determinant , so the change of variables for probability densities gives
At the origin the angle may be assigned arbitrarily: that point has probability zero. The joint probability density factorizes as a Rayleigh distribution density and a continuous uniform distribution density . Hence and are independent.
For , substitute to find
Therefore , equivalently , and applying a measurable function to preserves its independence from . Explicitly, with ,
Thus and independently. This polar decomposition of a planar standard normal vector separates the uniformly distributed direction from its random squared distance.

New to topics? Read the docs here!