Derivative of an Inverse Function

The relation (f⁻¹)′(y)=1/f′(x) connects quantities in Differential calculus. It answers this practical question: Analyze slopes of inverse response curves, inverse trigonometric functions and variable changes. Read every symbol with its definition in the variable list; the same letter can mean something different in another topic. The equation alone does not specify how a quantity was measured or which model assumptions apply. First list the inputs, the unknown and their units. Then check whether the relationship described by the formula matches the situation. This prevents a numerically plausible value from being inserted into the wrong physical, geometric or calculus setting.

The derivation starts from this subject-specific idea: differentiate the identity f(f⁻¹(y))=y. The chain rule gives f′(f⁻¹(y))(f⁻¹)′(y)=1; isolating the second factor yields the reciprocal, provided f′ is nonzero. It leads to (f⁻¹)′(y)=1/f′(x). In a solution, first separate the definitions of the quantities from the model assumptions; then perform the required geometric, algebraic or physical step. This makes clear why the formula holds and which condition matters. After rearranging, check that the unknown is isolated, the units are consistent and the original domain of validity has been preserved.

The worked example uses concrete, compatible quantities: For f(x)=x³+x at x=1, y=2 and f′(1)=3·1²+1=4. Therefore (f⁻¹)′(2)=1/4. Check: a small change Δy≈0.04 corresponds locally to Δx≈0.01, so Δx/Δy≈0.25. A number is meaningful only when its units and reference points are carried through. Convert inputs to a common unit before substituting them into the stated relation. The check in the example tests an independent consequence, rather than repeating the same arithmetic. Changing an input should also produce the expected trend. If the result conflicts with that trend, check conversions, signs and the mapping between variables before reporting extra decimal places. This makes the calculation auditable instead of merely calculator-generated.

Before applying the formula, check this limit: the function must be invertible in the neighborhood and f′(x) must not be zero. At a horizontal tangent the reciprocal diverges, warning that a regular inverse derivative does not exist there. This is not a formal footnote; it determines whether the relationship describes the problem at all. Compare the given information with the variable definitions and state any idealizations explicitly. An order-of-magnitude estimate or limiting case can then test plausibility. If the condition fails, use a broader model or restrict the claim to the valid domain; adding decimal places cannot repair a wrong model choice.

A common error is to substitute visible numbers without checking what the variables mean. In this case, pay particular attention to: The inverse derivative has units x/y, matching the reciprocal of f′ with units y/x. A geometrically or algebraically correct result is still wrong if, for example, a perpendicular height is replaced by a slanted side, a magnitude by a directed quantity, or an approximation by an exact equality. Use a sketch or sign convention when the relationship needs one. As a final check, substitute the result into the original relation and inspect dimensions, a limiting case and the expected trend.