Skip to main content

Section 6.1 Inverse Functions

Subsection 6.1.1 Before Class

https://mymedia.ou.edu/media/6.1-1/1_tbvhduz7
Figure 49. Pre-Class Video 1
https://mymedia.ou.edu/media/6.1-2/1_1c0ktjue
Figure 50. Pre-Class Video 2

Subsubsection 6.1.1.1 Inverse Functions & Properties

Example 6.1.1.
The table below gives the population \(P(t)\) of a bacterial culture, \(t\) hours after it is introduced to an agar-filled petri dish.
\(t\) hours 0 1 2 3 4 5 6 7 8
\(N=P(t)\) bacteria 150 165 182 200 220 243 267 294 324
The inverse function \(\inv{P}(N)\text{,}\) gives the time elapsed since a bacterial culture was introduced to an agar-filled petri dish, when the population is \(N\) bacteria. Use this information to fill out the table below.
\(N=P(t)\) bacteria
\(t=\inv{P}(N)\) hours
Solution.
\(N=P(t)\) bacteria 150 165 182 200 220 243 267 294 324
\(t=\inv{P}(N)\) hours 0 1 2 3 4 5 6 7 8
Definition 6.1.2. One-to-one Function.
A function \(f\) is said to be one-to-one if it never takes on the same value twice, or in notation, \(f(x_1) \neq f(x_2)\) when \(x_1\neq x_2\text{.}\)
Example 6.1.4.
Is \(f(x) = x^5\) one-to-one? Why or why not?
Solution.
Yes: if \(x_1\neq x_2\text{,}\) then \(f(x_1) = (x_1)^5\) and \(f(x_2) = (x_2)^5\text{,}\) which are distinct.
Example 6.1.5.
Is \(f(x) = x^2\) one-to-one? Why or why not?
Solution.
No: \(f(-1) = f(1) = 1\text{,}\) so two inputs produce the same output.
Question 6.1.6.
Let \(f(x) = x^k\text{,}\) where \(k\) is an even number. Using the previous exercise, do you think this function is one-to-one? Why or why not?
Solution.
Any even power function (in fact, any even function) is not one-to-one, as \(f(-a) = f(a)\) for any \(a\) in the domain of \(f\text{.}\)
Definition 6.1.7. Inverse Function.
Let \(f\) be a one-to-one function with domain \(A\) and range \(B\text{.}\) The inverse function is notated \(\inv{f}\text{,}\) with domain \(B\) and range \(A\text{.}\) The inverse function is defined by the equation \(\inv{f}(y) = x\iff f(x) = y\) for any \(y\in B\text{.}\)
Domain and Range of Inverse Functions.
  • The domain of \(\inv{f}\) is the range of \(f\)
  • The range of \(\inv{f}\) is the domain of \(f\)
Notation Alert!
\(\inv{f}\) is a special notation to indicate the function inverse; you should not confuse this with the notation for the multiplicative inverse (reciprocal), such as \(\inv{x}\text{.}\) That is,
  • \(\inv{f}(x)\) denotes the inverse of a function
  • \(\inv{x}\) denotes the multiplicative inverse of a variable, i.e. \(\inv{x} = \dfrac{1}{x}\)
Example 6.1.8.
Use the table below to answer the questions. If the answer does not exist, write DNE.
\(x\) \(f(x)\) \(g(x)\)
\(0\) \(5\) \(10\)
\(1\) \(8\) \(7\)
\(2\) \(-1\) \(3\)
\(3\) \(13\) \(1\)
\(4\) \(5\) \(9\)
\(5\) \(3\) \(-2\)
  1. \(\displaystyle \inv{g}(3)\)
  2. \(\displaystyle \inv{f}(5)\)
  3. \(\displaystyle \inv{f}(13)\)
  4. \(\displaystyle (\inv{g}\circ\inv{f})(8)\)
Solution.
  1. \(\displaystyle \inv{g}(3)=2\)
  2. \(\inv{f}(5)\) DNE (two inputs create the output of 5)
  3. \(\displaystyle \inv{f}(13)=3\)
  4. \(\displaystyle (\inv{g}\circ\inv{f})(8) = 3\)
Cancellation Property.
Let \(f\) be a function with domain \(A\) and range \(B\text{,}\) and let \(\inv{f}\) be its inverse function. Then, we have the following properties:
  • \(\inv{f}(f(x)) = x\) for all \(x\in A\)
  • \(f(\inv{f}(y)) = y\) for all \(y\in B\)
Example 6.1.9.
If \(f(x) = x^5\text{,}\) what is \(\inv{f}(x)\text{?}\) Use the cancellation properties to check your answer.
Solution.
\(\inv{f}(x) = x^{1/5}=\sqrt[5]{x}\text{;}\) we can check this using the cancellation properties:
\(f(\inv{f}(x)) = (x^{1/5})^5 = x\)
\(\inv{f}(f(x)) = (x^5)^{1/5} = x\)
Example 6.1.10.
Find the inverse function of \(g(y) = y^3-3\)
Solution.
\(\inv{g}(y) = \sqrt[3]{y+3}\)
There is a graphical interpretation of algebraically finding an inverse:
There is a picture drawn in the pre-class video that I can’t replicate right now.
The idea is that when algebraically finding an inverse function, you are finding the equation of the function that results when you reflect \(y=f(x)\) across the line \(y=x\)

Subsection 6.1.2 Pre-Class Activities

Example 6.1.11.

If \(f(x) = x^5 + x^3 + x\text{,}\) find \(\inv{f}(3)\) and \(f(\inv{f}(2))\text{.}\)
Solution.
\(\inv{f}(3) = 1\) and \(f(\inv{f}(2)) = 2\)

Example 6.1.12.

Find the inverse formula for the function \(f(x) = \dfrac{4x-1}{2x+3}\)
Solution.
\(\inv{f}(x) = \dfrac{-1-3x}{2x-4}\)

Example 6.1.13.

Find the inverse formula for the function \(f(x) = \dfrac{1-\sqrt{x}}{1+\sqrt{x}}\)
Solution.
\(\inv{f}(x) =\lrpar{\dfrac{1-x}{1+x}}^2\)

Subsection 6.1.3 In Class

Subsubsection 6.1.3.1 Calculus of Inverse Functions

Continuity of Inverses.
If \(f\) is a one-to-one continuous function defined on the interval \(I\text{,}\) then \(\inv{f}\) is also continuous on \(I\text{.}\)
Question 6.1.14.
If a one-to-one function \(f\) is differentiable on the interval \(I\text{,}\) is it necessarily true that \(\inv{f}\) is also differentiable?
Solution.
No; if \(f(x) = x^3\text{,}\) then its inverse is \(\inv{f}(x) = x^{1/3}\text{,}\) which is not differentiable at \(x=0\text{.}\)
Derivative of Inverses (at a Point).
If \(f\) is a one-to-one, differentiable function at \(x = a\) with inverse function \(\inv{f}\) and \(f'(\inv{f}(a))\neq 0\text{,}\) then the inverse function is differentiable at \(a\) and
\begin{equation*} (\inv{f})'(a) = \dfrac{1}{f'(\inv{f}(a))} \end{equation*}
If we replace \(a\) in the above formula with \(x\text{,}\) we get another formula for the derivative of the inverse:
Derivative of Inverses (as a Function).
\begin{equation*} (\inv{f})'(x) = \dfrac{1}{f'(\inv{f}(x))} \end{equation*}
Example 6.1.15.
Let \(f(x) = 3x - \sin x\text{.}\) Find \((\inv{f})'(0)\text{.}\)
Solution.
\((\inv{f})'(0) = \dfrac{1}{2}\)
Example 6.1.16.
Let \(g(x) = \sqrt{x-2}\) and \(a = 2\text{.}\)
  1. Show that \(g\) is one-to-one.
  2. Find \((\inv{g})'(a)\) using the formula above.
  3. Find \((\inv{g})'(x)\text{,}\) and give its domain and range.
Solution.
  1. \(g\) is increasing: \(g'(x) = \dfrac{1}{2}(x-2)^{-1/2}\text{,}\) which is always positive because \(\sqrt{x-2}>0\)
  2. \(\displaystyle (\inv{g})'(2) = 4\)
  3. \((\inv{g})'(x) = x^2+2\text{.}\) The domain is \([0,\infty)\) and the range is \([2,\infty)\)
Example 6.1.17.
Let \(h(x) = 2x^2-8x\text{.}\)
  1. \(h(x)\) is not one-to-one. Sketch it and determine an interval on which it can be made one-to-one. This is called the restricted domain.
  2. Complete the square on \(h(x)\) and use it to find the inverse function on your restricted domain.
  3. Find \((\inv{h})'(x)\) using your answer in (b).
  4. Find \((\inv{h})'(x)\) using formulas from this section. Compare the two answers.
Solution.
  1. Here is the graph of \(h(x)\text{:}\)
    A graph of the function \(h(x) = 2x^2-8x\) on the interval \([-2,6]\)
    We can choose two restricted domains: either \((-\infty,2]\) or \([2,\infty)\text{.}\) Generally, we’ll choose the positive portion of the domain for the restricted domain, so choose \([2,\infty)\text{.}\)
  2. \(\inv{h}(x) = 2 + \sqrt{\dfrac{x+8}{2}}\) on \([2,\infty)\)
  3. \(\displaystyle (\inv{h})'(x) = \dfrac{1}{4}\lrpar{\dfrac{x+8}{2}}^{-1/2}\)
  4. Same as above.
Example 6.1.18.
Find \((\inv{f})'(a)\) for the given functions:
  1. \(f(x) = 3x^3 + 4x^2 + 6x + 5\text{,}\) \(a = 5\)
  2. \(f(x) = \sqrt{x^3+4x+4}\text{,}\) \(a = 3\)
Solution.
  1. \(\displaystyle (\inv{f})'(5) = \dfrac{1}{6}\)
  2. \(\displaystyle (\inv{f})'(3) = \dfrac{7}{6}\)
Example 6.1.19.
Suppose \(\inv{f}\) is the inverse function of a differentiable function \(f\) with \(f(4) = 5\) and \(f'(4) = \dfrac{2}{3}\text{.}\) Find \((\inv{f})'(5)\text{.}\)
Solution.
\((\inv{f})'(5) = \dfrac{3}{2}\)

Subsection 6.1.4 After Class Activities

Example 6.1.20.

Find \((\inv{f})'(2)\) for \(f(x) = x^3 + 3\sin x + 2\cos x\)
Solution.
\((\inv{f})'(2) = \dfrac{1}{3}\)

Example 6.1.21.

Suppose \(\inv{f}\) is the inverse function of a differentiable function \(f\text{,}\) and let \(G(x) = \dfrac{1}{\inv{f}(x)}\text{.}\) If \(f(3) = 2\) and \(f'(3) = \dfrac{1}{9}\text{,}\) find \(G'(2)\text{.}\)
Solution.
\(G'(2) = -1\)

Example 6.1.22.

If \(f(x) = \ds \int_3^x \sqrt{1+t^3}\, dt\text{,}\) find \((\inv{f})'(0)\text{.}\)
Solution.
\((\inv{f})'(0) = \dfrac{1}{\sqrt{28}}\)