The map is differentiable at when there exists a linear map such that
The increments are taken sufficiently small to stay in the open domain; is the derivative. This is a joint approximation in all directions, not just the existence of coordinate partial derivatives.
At with , choose . If , neither coordinate changes sign, and
Thus the remainder in the differentiability definition is identically zero throughout that neighborhood. Consequently
which proves the requested differentiability directly.

Articles by others on the same topic (0)

There are currently no matching articles.