Derivatives of Inverse Functions
The formula comes from the chain rule. Since , differentiating both sides gives
Divide by . The theorem is what guarantees that is differentiable, so the chain rule applies.
The graph of is the graph of reflected across . The reflection swaps rise and run, so a tangent of slope at becomes a tangent of slope at . Where , the reflection of a horizontal tangent is a vertical one, and isn't differentiable at .
From a formula
The value is an output of . To use the rule, first find the input with , usually by inspection. If is given by an equation in and , find the point on its graph. Then is evaluated at , and the inverse passes through .