Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/ib/paper-4/8f/solution

Multiplying numerator and denominator by the same nonzero constant does not change a Möbius transformation. Since , divide by and relabel the coefficients so that . On , preservation of the circle gives
Equating the constant and first Fourier coefficients yields
If , the second equality forces , contradicting the nonzero determinant. Hence . With , the first equality becomes
The root would imply , making the numerator and denominator proportional. It is excluded by nondegeneracy. Thus and . Writing gives
Here is the normalized coefficient after division by the original . The inequality is again the determinant condition. For the map preserves the disc; for it interchanges its inside and outside. Circle preservation alone does not justify restricting to automorphisms of the unit disk.

New to topics? Read the docs here!