This is to differentiate inverse functions.
Let , and suppose that has inverse function , so that If and are differentiable, then
Note that the derivatives here are evaluated at different points.
Geometrical interpretation. The tangent to the graph of at has gradient ; so the reflection of this tangent in the line has gradient . But the graph of is the reflection of the graph of in the line , so the tangent to the graph of at has gradient .
At the end of a calculation for the derivative of an inverse function, we need to express the answer as a function of by substituting The inverse function rule is really a special case of the chain rule.
Let , so , and differentiate to get
so and