1.6: Inverse Functions
 Page ID
 13832
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{\!\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
A fashion designer is travelling to Milan for a fashion show. He asks his assistant, Betty, what 75 degrees Fahrenheit is in Celsius, and after a quick search on Google, she finds the formula \(C=\frac{5}{9} (F32)\). Using this formula, she calculates \(\frac{5}{9} (7532)\approx 24\)degrees Celsius. The next day, the designer sends his assistant the week’s weather forecast for Milan, and asks her to convert the temperatures to Fahrenheit.
At first, Betty might consider using the formula she has already found to do the conversions. After all, she knows her algebra, and can easily solve the equation for F after substituting a value for C. For example, to convert 26 degrees Celsius, she could write: \[\begin{array}{l} {26=\frac{5}{9} (F32)} \\ {26\cdot \frac{9}{5} =F32} \\ {F=26\cdot \frac{9}{5} +32\approx 79} \end{array}\]
After considering this option for a moment, she realizes that solving the equation for each of the temperatures would get awfully tedious, and realizes that since evaluation is easier than solving, it would be much more convenient to have a different formula, one which takes the Celsius temperature and outputs the Fahrenheit temperature. This is the idea of an inverse function, where the input becomes the output and the output becomes the input.
Inverse Function
If \(f(a)=b\), then a function g(x) is an inverseInverse of a FunctionFunction:Inverse of a Function of f if \(g(b)=a\).
The inverse of f(x) is typically notated \(f^{1} (x)\), which is read “f inverse of x”, so equivalently, if \(f(a)=b\) then \(f^{1} (b)=a\).
Important: The raised 1 used in the notation for inverse functions is simply a notation, and does not designate an exponent or power of 1.
Example \(\PageIndex{1}\):
1
If for a particular function, \(f\eqref{GrindEQ__2_}=4\), what do we know about the inverse?
The inverse function reverses which quantity is input and which quantity is output, so if \(f\eqref{GrindEQ__2_}=4\), then \(f^{1} \eqref{GrindEQ__4_}=2\).
Alternatively, if you want to rename the inverse function g(x), then g[GrindEQ__4_] = 2
Try it Now
1. Given that \(h^{1} \eqref{GrindEQ__6_}=2\), what do we know about the original function h(x)?
Notice that original function and the inverse function undo each other. If \(f(a)=b\), then \(f^{1} (b)=a\), returning us to the original input. More simply put, if you compose these functions together you get the original input as your answer.
\(f^{1} \left(f(a)\right)=a\) and \(f\left(f^{1} (b)\right)=b\) \[f^{1} (x)f(x)f^{1} (x)f(x)\]
Since the outputs of the function f are the inputs to \(f^{1}\), the range of f is also the domain of \(f^{1}\). Likewise, since the inputs to f are the outputs of \(f^{1}\), the domain of f is the range of \(f^{1}\).
Basically, like how the input and output values switch, the domain & ranges switch as well. But be careful, because sometimes a function doesn’t even have an inverse function, or only has an inverse on a limited domain. For example, the inverse of \(f(x)=\sqrt{x}\) is \(f^{1} (x)=x^{2}\), since a square “undoes” a square root, but it is only the inverse of f(x) on the domain [0, \(\mathrm{\infty}\)), since that is the range of \(f(x)=\sqrt{x}\).
Example \(\PageIndex{1}\):
2
The function \(f(x)=2^{x}\) has domain \((\infty ,\infty )\) and range \((0,\infty )\), what would we expect the domain and range of \(f^{1}\) to be?
We would expect \(f^{1}\) to swap the domain and range of f, so \(f^{1}\) would have domain \((0,\infty )\) and range \((\infty ,\infty )\).
Example \(\PageIndex{1}\):
3
A function f(t) is given as a table below, showing distance in miles that a car has traveled in t minutes. Find and interpret \(f^{1} \eqref{GrindEQ__70_}\)
The inverse function takes an output of f and returns an input for f. So in the expression \(f^{1} \eqref{GrindEQ__70_}\), the 70 is an output value of the original function, representing 70 miles. The inverse will return the corresponding input of the original function f, 90 minutes, so \(f^{1} \eqref{GrindEQ__70_}=90\). Interpreting this, it means that to drive 70 miles, it took 90 minutes.
Alternatively, recall the definition of the inverse was that if \(f(a)=b\) then \(f^{1} (b)=a\). By this definition, if you are given \(f^{1} \eqref{GrindEQ__70_}=a\) then you are looking for a value a so that \(f(a)=70\). In this case, we are looking for a t so that \(f(t)=70\), which is when t = 90.
Try it Now
2. Using the table below
Find and interpret the following
a. \(f\eqref{GrindEQ__60_}\)
b. \(f^{1} \eqref{GrindEQ__60_}\)
Example \(\PageIndex{1}\):
4
A function g(x) is given as a graph below. Find \(g\eqref{GrindEQ__3_}\) and \(g^{1} \eqref{GrindEQ__3_}\)
To evaluate \(g\eqref{GrindEQ__3_}\), we find 3 on the horizontal axis and find the corresponding output value on the vertical axis. The point (3, 1) tells us that \(g\eqref{GrindEQ__3_}=1\)
To evaluate \(g^{1} \eqref{GrindEQ__3_}\), recall that by definition \(g^{1} \eqref{GrindEQ__3_}\)means g(x) = 3. By looking for the output value 3 on the vertical axis we find the point (5, 3) on the graph, which means g[GrindEQ__5_] = 3, so by definition \(g^{1} \eqref{GrindEQ__3_}=5\).
Try it Now
3. Using the graph in Example 4 above
a. find \(g^{1} \eqref{GrindEQ__1_}\)
b. estimate \(g^{1} \eqref{GrindEQ__4_}\)
Example \(\PageIndex{1}\):
5
Returning to our designer’s assistant, find a formula for the inverse function that gives Fahrenheit temperature given a Celsius temperature.
A quick Google search would find the inverse function, but alternatively, Betty might look back at how she solved for the Fahrenheit temperature for a specific Celsius value, and repeat the process in general \[\begin{array}{l} {C=\frac{5}{9} (F32)} \\ {C\cdot \frac{9}{5} =F32} \\ {F=\frac{9}{5} C+32} \end{array}\]
By solving in general, we have uncovered the inverse function. If \[C=h(F)=\frac{5}{9} (F32)\] Then \[F=h^{1} (C)=\frac{9}{5} C+32\] In this case, we introduced a function h to represent the conversion since the input and output variables are descriptive, and writing \(C^{1}\)could get confusing.
It is important to note that not all functions will have an inverse function. Since the inverse \(f^{1} (x)\) takes an output of f and returns an input of f, in order for \(f^{1}\) to itself be a function, then each output of f (input to \(f^{1}\)) must correspond to exactly one input of f (output of \(f^{1}\)) in order for \(f^{1}\) to be a function. You might recall that this is the definition of a onetoone function.
Properties of Inverses
In order for a function to have an inverseInverse of a Function:Properties of Inverses, it must be a onetoone function.
In some cases, it is desirable to have an inverse for a function even though the function is not onetoone. In those cases, we can often limit the domain of the original function to an interval on which the function is onetoone, then find an inverse only on that interval.
If you have not already done so, go back to the toolkit functions that were not onetoone and limit or restrict the domain of the original function so that it is onetoone. If you are not sure how to do this, proceed to Example 6.
Example \(\PageIndex{1}\):
6
The quadratic function \(h(x)=x^{2}\) is not onetoone. Find a domain on which this function is onetoone, and find the inverse on that domain.
We can limit the domain to \([0,\infty )\)to restrict the graph to a portion that is onetoone, and find an inverse on this limited domain.
You may have already guessed that since we undo a square with a square root, the inverse of \(h(x)=x^{2}\) on this domain is \(h^{1} (x)=\sqrt{x}\).
You can also solve for the inverse function algebraically. If \(h(x)=x^{2}\), we can introduce the variable y to represent the output values, allowing us to write \(y=x^{2}\). To find the inverse we solve for the input variable
To solve for x we take the square root of each side. \(\sqrt{y} =\sqrt{x^{2} }\) and get \(\sqrt{y} =\leftx\right\), so \(x=\pm \sqrt{y}\). We have restricted x to being nonnegative, so we’ll use the positive square root, \(x=\sqrt{y}\) or \(h^{1} (y)=\sqrt{y}\). In cases like this where the variables are not descriptive, it is common to see the inverse function rewritten with the variable x: \(h^{1} (x)=\sqrt{x}\). Rewriting the inverse using the variable x is often required for graphing inverse functions using calculators or computers.
Note that the domain and range of the square root function do correspond with the range and domain of the quadratic function on the limited domain. In fact, if we graph h(x) on the restricted domain and \(h^{1} (x)\) on the same axes, we can notice symmetry: the graph of \(h^{1} (x)\) is the graph of h(x) reflected over the line y = x.
Example \(\PageIndex{1}\):
7
Given the graph of f(x) shown, sketch a graph of \(f^{1} (x)\).
This is a onetoone function, so we will be able to sketch an inverse. Note that the graph shown has an apparent domain of (0, \(\mathrm{\infty}\)) and range of ( \(\mathrm{\infty}\), \(\mathrm{\infty}\)), so the inverse will have a domain of ( \(\mathrm{\infty}\), \(\mathrm{\infty}\)) and range of (0, \(\mathrm{\infty}\)).
Reflecting this graph of the line y = x, the point (1, 0) reflects to (0, 1), and the point (4, 2) reflects to (2, 4). Sketching the inverse on the same axes as the original graph:
Important Topics of this Section
Definition of an inverse function
Composition of inverse functions yield the original input value
Not every function has an inverse function
To have an inverse a function must be onetoone
Restricting the domain of functions that are not onetoone.
Try it Now Answers \[1. g(2)=6\] 2.a. \(f\eqref{GrindEQ__60_}=50\). In 60 minutes, 50 miles are traveled.
b. \(f^{1} \eqref{GrindEQ__60_}=70\). To travel 60 miles, it will take 70 minutes.
3. a. \(g^{1} \eqref{GrindEQ__1_}=3\)
b. \(g^{1} \eqref{GrindEQ__4_}=5.5\) (this is an approximation – answers may vary slightly) \[101\]
Section 1.6 Inverse Functions
Section 1.6 Exercises
Assume that the function f is a onetoone function.
1. If \(f\eqref{GrindEQ__6_}=7\) , find \(f^{1} \eqref{GrindEQ__7_}\) 2. If \(f\eqref{GrindEQ__3_}=2\) , find \(f^{1} \eqref{GrindEQ__2_}\)
3. If \(f^{1} \left(4\right)=8\), find \(f(8)\) 4. If \(f^{1} \left(2\right)=1\), find \(f(1)\)5. If \(f\left(5\right)=2\), find \(\left(f\left(5\right)\right)^{1}\) 6. If \(f\left(1\right)=4\), find \(\left(f\left(1\right)\right)^{1}\)
7. Using the graph of \(f(x)\) shown


Find \(f\left(0\right)\)

Solve \(f(x)=0\)

Find \(f^{1} \left(0\right)\)

Solve \(f^{1} \left(x\right)=0\)

8. Using the graph shown

Find \(g\eqref{GrindEQ__1_}\)

Solve \(g(x)=1\)

Find \(g^{1} \eqref{GrindEQ__1_}\)

Solve \(g^{1} \left(x\right)=1\)
9. Use the table below to find the indicated quantities.
x  0  1  2  3  4  5  6  7  8  9 

f(x)  8  0  7  4  2  6  5  3  9  1 

Find \(f\left(1\right)\)

Solve \(f(x)=3\)

Find \(f^{1} \left(0\right)\)

Solve \(f^{1} \left(x\right)=7\)
10. Use the table below to fill in the missing values.
t  0  1  2  3  4  5  6  7  8 

h(t)  6  0  1  7  2  3  5  4  9 

Find \(h\left(6\right)\)

Solve \(h(t)=0\)

Find \(h^{1} \left(5\right)\)

Solve \(h^{1} \left(t\right)=1\)
For each table below, create a table for \(f^{1} \left(x\right).\)
11.  x 3 6 9 13 14 f(x) 1 4 7 12 16  12.  x 3 5 7 13 15 f(x) 2 6 9 11 16 

For each function below, find \(f^{1} (x)\) \[13. f\left(x\right)=x+3 14. f\left(x\right)=x+5\] \[15. f\left(x\right)=\; 2\;  \; x 16. f\left(x\right)=3x\] \[17. f\left(x\right)=11x+7 18. f\left(x\right)=9+10x\]
For each function, find a domain on which f is onetoone and nondecreasing, then find the inverse of f restricted to that domain. \[19. f\left(x\right)=\; \left(x\; +7\right)^{2} 20. f\left(x\right)=\left(x6\right)^{2}\] \[21. f\left(x\right)=x^{2} 5~ 22. f\left(x\right)=x^{2} +1\]
23. If \(f\left(x\right)=x^{3} 5\) and \(g(x)=\sqrt[{3}]{x+5}\), find

\(\; f(g(x))\)

\(g(f(x))\)

What does this tell us about the relationship between \(f(x)\) and \(g(x)\)?
24. If \(f(x)=\frac{x}{2+x}\) and \(g(x)=\frac{2x}{1x}\), find

\(\; f(g(x))\)

\(g(f(x))\)

What does this tell us about the relationship between \(f(x)\) and \(g(x)\)?

\(\)http://en.wikipedia.org/wiki/Tree, retrieved July 19, 2010↩

https://pe.usps.com/text/dmm300/Notice123.htm, retrieved August 6, 2018↩

\(\)http://commons.wikimedia.org/wiki/Fi...Production.PNG, CCBYSA, July 19, 2010↩

\(\)https://www.pierce.ctc.edu/dist/tuit...ition_rate.pdf, retrieved August 6, 2010↩