Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-4/2f/solution

For , and . Iterating this Gauss continued-fraction map on an irrational number never reaches zero, and its continued fraction is
The branches have inverse , for . The change of variables formula for a probability density function gives, almost everywhere,
The endpoints of these branches are a countable set of probability zero. Thus and have the same distribution; this Gauss measure is an invariant measure for the Gauss continued-fraction map.

New to topics? Read the docs here!