Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-4/2g/solution

A contraction satisfies for some . Starting from , define . The geometric bound on successive distances makes Cauchy, so completeness gives a limit . Continuity of gives . If , then , hence . This is the contraction mapping theorem.
If is a contraction, it has a unique fixed point . Since , the point is also fixed by , so uniqueness gives . Every fixed point of is fixed by , so it too must equal . Thus has exactly one fixed point.

New to topics? Read the docs here!