Solution

ID: past-exam-of-the-probability-statistics-and-options-i-course-of-the-university-of-oxford/2007/m/1/solution

Uniform area distribution on the unit disk gives
The Jacobian determinant has absolute determinant , so
Integrating out the other coordinate gives
The joint probability density function factors into these two marginal distribution, proving independence of and . Finally
The angle at can be defined arbitrarily, since that event has probability zero.

New to topics? Read the docs here!