Put . Differentiation of givesThe positive denominator also shows that the function and these derivatives are smooth throughout .
The derivative of the curve isIts image lies on the unit circle, so and . Meanwhileand multiplication by gives . This verifies the chain rule explicitly.
Because , we have ; similarly . Apply the one-variable mean value theorem on the horizontal and vertical segments joining to to . The triangle inequality givesThus the function is globally one-Lipschitz for the metric on the plane.
Articles by others on the same topic
There are currently no matching articles.