Section 4.7 Inverse functions
Objectives
You should be able to:
- Determine whether a given function has an inverse.
- Relate the graph of a function and of its inverse.
- Relate the domain and the range of a function and of its inverse.
- Calculate explicitly the inverse of a function when possible.
- Calculate the derivative of an inverse function using implicit differentiation.
Subsection 4.7.1 Instructional video
Subsection 4.7.2 Key concepts
Concept 4.7.1. One-to-one functions.
A function is one-to-one (or injective) if it never takes on the same value twice; that is,
Given the graph of a function, it is easy to see whether it is one-to-one: a function is one-to-one if no horizontal line intersects its graph more than once. This is sometimes known as the horizontal line test.
Concept 4.7.2. Inverse functions.
Let ff be a one-to-one function with domain AA and range B.B. Then its inverse function fâ1fâ1 has domain BB and range AA and is defined by
The domain of ff is the range of fâ1,fâ1, while the range of ff is the domain of fâ1.fâ1.
Inverse functions satisfy:
The graph of y=fâ1(x)y=fâ1(x) can be obtained by reflecting the graph of y=f(x)y=f(x) about the line y=x.y=x.
Note that fâ1(x)fâ1(x) is not the same as the reciprocal [f(x)]â1=1f(x).[f(x)]â1=1f(x).
Concept 4.7.3. How to calculate fâ1fâ1 from ff.
- Calculate the domain and the range of ff (those will become the range and the domain of fâ1fâ1).
- Check that ff is a one-to-one function, or restrict its domain so that it is one-to-one on this restricted domain.
- Write y=f(x).y=f(x). Solve this equation for xx in terms of yy (if possible). This gives you the inverse function x=fâ1(y)x=fâ1(y) as a function of y.y.
- To express fâ1fâ1 as a function of x,x, interchange xx and y,y, so that you get y=fâ1(x).y=fâ1(x).
Concept 4.7.4. The derivative of an inverse function.
To calculate the derivative of an inverse function y=fâ1(x),y=fâ1(x), we use implicit differentiation. We know that:
We differentiate both sides of the relation x=f(y)x=f(y) with respect to x,x, treating yy as an unknown but differentiable function of x.x. We get:
We solve for yâ˛yⲠto get