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 givesThe 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 , whereConsequentlyDirectly solving the two rational equations also gives on , consistent with the derivative calculation.
Articles by others on the same topic
There are currently no matching articles.