Past exam of the mathematics course of the University of Cambridge / 2019 / ib / Paper 2 / 3E / b

At a point with $xy\ne 0$, the determinant of the derivative isThe inverse function theorem therefore supplies neighbourhoods on which $f$ has a continuously differentiable, hence differentiable, inverse. Concretely, if $(u,v)=f(x,y)$, the local inverse is the restriction ofwhich is continuously differentiable near the image whenever $y\ne 0$.