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.

Articles by others on the same topic (0)

There are currently no matching articles.