Uniform area distribution on the unit disk givesThe Jacobian determinant has absolute determinant , soIntegrating out the other coordinate givesThe joint probability density function factors into these two marginal distribution, proving independence of and . FinallyThe angle at can be defined arbitrarily, since that event has probability zero.
Articles by others on the same topic
There are currently no matching articles.