Solution

ID: past-exam-of-the-options-i-course-of-the-university-of-oxford/2010/f/f1/a/solution

The inverse function theorem states that a map on an open subset of has a local inverse near a point where its derivative is invertible; the inverse derivative at the image point is the inverse matrix of the original derivative.
Put . Quotient differentiation gives
The entries are smooth and the determinant is nonzero everywhere on the stated domain, so the theorem supplies the required local inverse at every point. The point is the image of , where
Consequently
Directly solving the two rational equations also gives on , consistent with the derivative calculation.

New to topics? Read the docs here!