AP Calculus AB: Derivatives of Inverse Functions

Understanding derivatives is about measuring change, but what happens when you reverse the function's relationship? The derivatives of inverse functions reveal an elegant and powerful reciprocal relationship, connecting the slope of a function to the slope of its inverse at corresponding points. This concept is a cornerstone of calculus, essential for tackling advanced problems involving inverse trigonometric functions and implicit differentiation, and it provides a deeper geometric intuition for how functions and their inverses interact.

The Foundational Derivative Rule for Inverse Functions

If two functions, $f$ and $g$, are inverses of each other, this means $f(g(x))=x$ and $g(f(x))=x$ for all $x$ in their respective domains. This intimate relationship extends to their rates of change. The core theorem states: If $f$ is differentiable and has an inverse function $g$, and if $f^{\prime }(g(a))\ne 0$, then $g$ is differentiable at $a$ and its derivative is given by:

$$g^{\prime }(a)=\frac{1}{f^{\prime }(g(a))}$$

In a more general variable form, this is written as $g^{\prime }(x)=\frac{1}{f^{\prime }(g(x))}$. The logic comes directly from implicit differentiation. Starting with the identity $f(g(x))=x$, we differentiate both sides with respect to $x$. The left side requires the Chain Rule: the derivative of $f(g(x))$ is $f^{\prime }(g(x))\cdot g^{\prime }(x)$. The derivative of the right side, $x$, is simply 1. This gives us the equation $f^{\prime }(g(x))\cdot g^{\prime }(x)=1$. Solving for $g^{\prime }(x)$ yields the famous reciprocal formula. The critical condition $f^{\prime }(g(x))\ne 0$ makes perfect sense: if the original function has a slope of zero (a horizontal tangent line), its inverse would have an undefined slope (a vertical tangent line).

Applying the Formula at a Specific Point

The most common exam question asks you to find the derivative of an inverse function at a single point, often without a known algebraic formula for the inverse. The workflow is methodical. First, identify the function $f$ (the original function) and the point $a$ where you need $g^{\prime }(a)$. Second, find the corresponding input for $f$ by calculating $g(a)$, which often involves solving a simple equation or using given information. Third, compute the derivative $f^{\prime }$ and evaluate it at that found input: $f^{\prime }(g(a))$. Finally, take the reciprocal: $g^{\prime }(a)=1/f^{\prime }(g(a))$.

Example: Let $f(x)=x^3+2x+1$, and let $g=f^{-1}$. Given that $f(1)=4$, find $g^{\prime }(4)$.

1. We want $g^{\prime }(4)$, so our $a$ is 4.
2. Find $g(4)$. Since $f$ and $g$ are inverses, $f(1)=4$ directly tells us that $g(4)=1$.
3. Compute $f^{\prime }(x)=3x^2+2$. Evaluate it at $x=g(4)=1$: $f^{\prime }(1)=3(1{)}^2+2=5$.
4. Apply the formula: $g^{\prime }(4)=1/f^{\prime }(1)=1/5$.

This process bypasses the need to find the messy algebraic expression for $g(x)$, demonstrating the formula's practical power.

Graphical Interpretation and Slope Relationships

The derivative rule has a beautiful geometric interpretation that can serve as a reliable check for your work. The points $(a,b)$ on the graph of $f$ and $(b,a)$ on the graph of its inverse $g$ are reflections of each other across the line $y=x$. This reflection property extends to tangent lines. The slope of the tangent line to $f$ at $(b,a)$ is $f^{\prime }(b)$. The slope of the tangent line to $g$ at the corresponding point $(a,b)$ is $g^{\prime }(a)$.

Because these points are reflections, their tangent lines are also reflections across $y=x$. Reflecting a line swaps its "rise" and "run," which means the slopes are reciprocals. If the tangent line to $f$ has a slope of $m$, the tangent line to $g$ at the reflected point has a slope of $1/m$. This visual confirms our formula: $g^{\prime }(a)=1/f^{\prime }(b)=1/f^{\prime }(g(a))$. For instance, if $f$ has a steep tangent with slope 5 at a point, its inverse will have a shallow tangent with slope 1/5 at the reflected point. If $f$ has a horizontal tangent (slope 0), the inverse's tangent becomes vertical, corresponding to an undefined derivative.

Derivatives of Inverse Trigonometric Functions

The inverse derivative rule is the primary tool for deriving the essential formulas for inverse trigonometric derivatives, such as $\frac{d}{dx}[\arcsin (x)]$ and $\frac{d}{dx}[\arctan (x)]$. Let's derive the derivative of $y=\arctan (x)$. By definition, this is equivalent to $\tan (y)=x$, where $-\pi /2<y<\pi /2$. We differentiate both sides of $\tan (y)=x$ implicitly with respect to $x$:

$$\frac{d}{dx}[\tan (y)]=\frac{d}{dx}[x]$$

The derivative of $\tan (y)$ is ${\sec }^2(y)\cdot \frac{dy}{dx}$ (Chain Rule). The derivative of $x$ is 1. So we have:

$${\sec }^2(y)\cdot \frac{dy}{dx}=1$$

Solving for $\frac{dy}{dx}$ gives $\frac{dy}{dx}=\frac{1}{{\sec }^2(y)}={\cos }^2(y)$. This is a correct but inconvenient form, as we need the answer in terms of $x$. Since $\tan (y)=x$, we can construct a right triangle where the opposite side is $x$ and the adjacent side is 1, so the hypotenuse is $\sqrt{1+x^2}$. In this triangle, $\cos (y)=\frac{1}{\sqrt{1+x^2}}$. Therefore:

$$\frac{dy}{dx}={\cos }^2(y)={\left(\frac{1}{\sqrt{1+x^2}}\right)}^2=\frac{1}{1+x^2}$$

Thus, $\frac{d}{dx}[\arctan (x)]=\frac{1}{1+x^2}$. This process—using implicit differentiation on the inverse definition and then using a right-triangle identity to express the result in terms of $x$—is the standard method for deriving all inverse trig derivatives.

Common Pitfalls

1. Algebraic Misapplication: The most frequent error is misplacing the composition. The formula is $g^{\prime }(x)=\frac{1}{f^{\prime }(g(x))}$, not $g^{\prime }(x)=\frac{1}{f^{\prime }(x)}$. You must evaluate the derivative of the original function at the output of the inverse function. Always ask: "What did I plug into the inverse to get here?" That value is what you plug into $f^{\prime }$.

1. Ignoring Domain and the "Not Zero" Condition: The theorem requires $f^{\prime }(g(x))\ne 0$. If you find this derivative is zero, the derivative of the inverse does not exist at that point (it has a vertical tangent). For inverse trig functions, you must also remember their restricted domains. Forgetting that $\arcsin (x)$ only outputs angles between $-\pi /2$ and $\pi /2$ can lead to incorrect sign errors when simplifying using triangles or identities.

1. Confusing Derivative Notation: When working with a function defined as $y=f^{-1}(x)$, students sometimes confuse $\frac{d}{dx}[f^{-1}(x)]$ with the derivative of $1/f(x)$. The $-1$ in $f^{-1}$ denotes the inverse function, not the exponent $-1$. The derivative of the inverse function is not the reciprocal of the function's derivative evaluated at $x$; it is evaluated at $f^{-1}(x)$.

1. Overcomplicating with the Quotient Rule: When applying the formula $g^{\prime }(x)=1/f^{\prime }(g(x))$, remember $f^{\prime }(g(x))$ is just a number or expression. You are taking its reciprocal. If you then need to find the second derivative $g^{\prime \prime }(x)$, you would use the Chain Rule and possibly the Quotient Rule on this expression. Don't prematurely introduce the Quotient Rule for the first derivative.

Summary

• The derivative of an inverse function is given by the reciprocal formula: if $g=f^{-1}$, then $g^{\prime }(x)=\frac{1}{f^{\prime }(g(x))}$, provided $f^{\prime }(g(x))\ne 0$.
• To find $g^{\prime }(a)$, first determine $g(a)$ (the corresponding input to $f$), then compute $f^{\prime }(g(a))$ and take its reciprocal. This often works without an explicit formula for $g(x)$.
• Graphically, at reflected points $(a,b)$ on $f$ and $(b,a)$ on $g$, the slopes of the tangent lines are reciprocal: $m_{\text{inverse}}=1/m_{\text{original}}$.
• The derivatives of inverse trigonometric functions, such as $\frac{d}{dx}[\arctan (x)]=\frac{1}{1+x^2}$, are derived using implicit differentiation on the defining relation and then using trigonometric identities or right triangles to express the result in terms of $x$.
• Always verify the condition $f^{\prime }(g(x))\ne 0$ and pay close attention to the correct order of composition in the formula to avoid common algebraic errors.