Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ib/paper-2/10f/solution

The inverse function theorem says that a map with invertible derivative at restricts to a diffeomorphism between neighbourhoods of and . It makes every zero isolated. Compactness of , together with separation from zero on the boundary, then makes the zero set finite and interior. Continuity of gives the displayed radii. Choose disjoint balls around the zeros and a positive lower bound for on their complement and boundary. A sufficiently small perturbation has no zeros outside, while the quoted local lemma gives exactly one zero in each ball with the same determinant sign. Summing proves .

New to topics? Read the docs here!