Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2005/m/3/solution

Independence means for all Borel sets . For variables with a joint density this is equivalent to factorization of that density into the two marginal densities almost everywhere.
The inverse transformation is , , on , . Its absolute Jacobian determinant is . Multiplying the independent gamma densities by it gives
The density is zero outside that support. Integrating in with the gamma integral gives
It is a beta density. Its normalization also proves the beta integral . The joint density consequently factors as this normalized beta density times
Thus is gamma with shape and rate , and are independent.
Finally . All relevant first moments are finite, and independence gives , while . Hence
This identity follows from the particular beta-gamma independence here; a general ratio of random variables would not permit moving expectation through division.

New to topics? Read the docs here!