A reversible heat pump is a climate-control system that is an air conditioner and a heater in a single device. Operated in one direction, it pumps heat out of a house to provide cooling. Operating in reverse, it pumps heat into the building from the outside, even in cool weather, to provide heating. As a heater, a heat pump is several times more efficient than conventional electrical resistance heating.

If some physical machines can run in two directions, we might ask whether some of the function “machines” we have been studying can also run backwards. Figure 1 provides a visual representation of this question. In this section, we will consider the reverse nature of functions.

Figure 1. Can a function “machine” operate in reverse?

Verifying That Two Functions Are Inverse Functions

Suppose a fashion designer traveling to Milan for a fashion show wants to know what the temperature will be. He is not familiar with the Celsius scale. To get an idea of how temperature measurements are related, he asks his assistant, Betty, to convert 75 degrees Fahrenheit to degrees Celsius. She finds the formula

and substitutes 75 for [latex]F[/latex] to calculate

Figure 2

Knowing that a comfortable 75 degrees Fahrenheit is about 24 degrees Celsius, he sends his assistant the week’s weather forecast for Milan, and asks her to convert all of the temperatures to degrees Fahrenheit.

At first, Betty considers using the formula she has already found to complete the conversions. After all, she knows her algebra, and can easily solve the equation for [latex]F[/latex] after substituting a value for [latex]C[/latex]. For example, to convert 26 degrees Celsius, she could write

After considering this option for a moment, however, she realizes that solving the equation for each of the temperatures will be awfully tedious. She realizes that since evaluation is easier than solving, it would be much more convenient to have a different formula, one that takes the Celsius temperature and outputs the Fahrenheit temperature.

The formula for which Betty is searching corresponds to the idea of an inverse function, which is a function for which the input of the original function becomes the output of the inverse function and the output of the original function becomes the input of the inverse function.

Given a function [latex]f\left(x\right)[/latex], we represent its inverse as [latex]{f}^{-1}\left(x\right)[/latex], read as [latex]"f[/latex] inverse of [latex]x.\text{"}[/latex] The raised [latex]-1[/latex] is part of the notation. It is not an exponent; it does not imply a power of [latex]-1[/latex] . In other words, [latex]{f}^{-1}\left(x\right)[/latex] does not mean [latex]\frac{1}{f\left(x\right)}[/latex] because [latex]\frac{1}{f\left(x\right)}[/latex] is the reciprocal of [latex]f[/latex] and not the inverse.

The “exponent-like” notation comes from an analogy between function composition and multiplication: just as [latex]{a}^{-1}a=1[/latex] (1 is the identity element for multiplication) for any nonzero number [latex]a[/latex], so [latex]{f}^{-1}\circ f[/latex] equals the identity function, that is,

This holds for all [latex]x[/latex] in the domain of [latex]f[/latex]. Informally, this means that inverse functions “undo” each other. However, just as zero does not have a reciprocal, some functions do not have inverses.

Given a function [latex]f\left(x\right)[/latex], we can verify whether some other function [latex]g\left(x\right)[/latex] is the inverse of [latex]f\left(x\right)[/latex] by checking whether either [latex]g\left(f\left(x\right)\right)=x[/latex] or [latex]f\left(g\left(x\right)\right)=x[/latex] is true. We can test whichever equation is more convenient to work with because they are logically equivalent (that is, if one is true, then so is the other.)

For example, [latex]y=4x[/latex] and [latex]y=\frac{1}{4}x[/latex] are inverse functions.

and

A few coordinate pairs from the graph of the function [latex]y=4x[/latex] are (−2, −8), (0, 0), and (2, 8). A few coordinate pairs from the graph of the function [latex]y=\frac{1}{4}x[/latex] are (−8, −2), (0, 0), and (8, 2). If we interchange the input and output of each coordinate pair of a function, the interchanged coordinate pairs would appear on the graph of the inverse function.

Finding Domain and Range of Inverse Functions

The outputs of the function [latex]f[/latex] are the inputs to [latex]{f}^{-1}[/latex], so the range of [latex]f[/latex] is also the domain of [latex]{f}^{-1}[/latex]. Likewise, because the inputs to [latex]f[/latex] are the outputs of [latex]{f}^{-1}[/latex], the domain of [latex]f[/latex] is the range of [latex]{f}^{-1}[/latex]. We can visualize the situation.

Figure 3. Domain and range of a function and its inverse

When a function has no inverse function, it is possible to create a new function where that new function on a limited domain does have an inverse function. For example, the inverse of [latex]f\left(x\right)=\sqrt[\leftroot{-1}\uproot{2}]{x}[/latex] is [latex]{f}^{-1}\left(x\right)={x}^{2}[/latex], because a square “undoes” a square root; but the square is only the inverse of the square root on the domain [latex]\left[0,\infty \right)[/latex], since that is the range of [latex]f\left(x\right)=\sqrt[\leftroot{-1}\uproot{2}]{x}[/latex].

We can look at this problem from the other side, starting with the square (toolkit quadratic) function [latex]f\left(x\right)={x}^{2}[/latex]. If we want to construct an inverse to this function, we run into a problem, because for every given output of the quadratic function, there are two corresponding inputs (except when the input is 0). For example, the output 9 from the quadratic function corresponds to the inputs 3 and –3. But an output from a function is an input to its inverse; if this inverse input corresponds to more than one inverse output (input of the original function), then the “inverse” is not a function at all! To put it differently, the quadratic function is not a one-to-one function; it fails the horizontal line test, so it does not have an inverse function. In order for a function to have an inverse, it must be a one-to-one function.

In many cases, if a function is not one-to-one, we can still restrict the function to a part of its domain on which it is one-to-one. For example, we can make a restricted version of the square function [latex]f\left(x\right)={x}^{2}[/latex] with its range limited to [latex]\left[0,\infty \right)[/latex], which is a one-to-one function (it passes the horizontal line test) and which has an inverse (the square-root function).

If [latex]f\left(x\right)={\left(x - 1\right)}^{2}[/latex] on [latex]\left[1,\infty \right)[/latex], then the inverse function is [latex]{f}^{-1}\left(x\right)=\sqrt[\leftroot{-1}\uproot{2}]{x}+1[/latex].

• The domain of [latex]f[/latex] = range of [latex]{f}^{-1}[/latex] = [latex]\left[1,\infty \right)[/latex].
• The domain of [latex]{f}^{-1}[/latex] = range of [latex]f[/latex] = [latex]\left[0,\infty \right)[/latex].

Example 4: Finding the Inverses of Toolkit Functions

Identify which of the toolkit functions besides the quadratic function are not one-to-one, and find a restricted domain on which each function is one-to-one, if any. The toolkit functions are reviewed below. We restrict the domain in such a fashion that the function assumes all y-values exactly once.

Constant	Identity	Quadratic	Cubic	Reciprocal
[latex]f\left(x\right)=c[/latex]	[latex]f\left(x\right)=x[/latex]	[latex]f\left(x\right)={x}^{2}[/latex]	[latex]f\left(x\right)={x}^{3}[/latex]	[latex]f\left(x\right)=\frac{1}{x}[/latex]
Reciprocal squared	Cube root	Square root	Absolute value
[latex]f\left(x\right)=\frac{1}{{x}^{2}}[/latex]	[latex]f\left(x\right)=\sqrt[\leftroot{-1}\uproot{2}3]{x}[/latex]	[latex]f\left(x\right)=\sqrt[\leftroot{-1}\uproot{2}]{x}[/latex]	[latex]f\left(x\right)=|x|[/latex]

Show Solution

The constant function is not one-to-one, and there is no domain (except a single point) on which it could be one-to-one, so the constant function has no meaningful inverse.

The absolute value function can be restricted to the domain [latex]\left[0,\infty \right)[/latex], where it is equal to the identity function.

The reciprocal-squared function can be restricted to the domain [latex]\left(0,\infty \right)[/latex].

We can see that these functions (if unrestricted) are not one-to-one by looking at their graphs. They both would fail the horizontal line test. However, if a function is restricted to a certain domain so that it passes the horizontal line test, then in that restricted domain, it can have an inverse.

Figure 4. (a) Absolute value (b) Reciprocal squared

Finding and Evaluating Inverse Functions

Once we have a one-to-one function, we can evaluate its inverse at specific inverse function inputs or construct a complete representation of the inverse function in many cases.

Evaluating the Inverse of a Function, Given a Graph of the Original Function

We saw in Functions and Function Notation that the domain of a function can be read by observing the horizontal extent of its graph. We find the domain of the inverse function by observing the vertical extent of the graph of the original function, because this corresponds to the horizontal extent of the inverse function. Similarly, we find the range of the inverse function by observing the horizontal extent of the graph of the original function, as this is the vertical extent of the inverse function. If we want to evaluate an inverse function, we find its input within its domain, which is all or part of the vertical axis of the original function’s graph.

How To: Given the graph of a function, evaluate its inverse at specific points.

1. Find the desired input on the y-axis of the given graph.
2. Read the inverse function’s output from the x-axis of the given graph.

Example 6: Evaluating a Function and Its Inverse from a Graph at Specific Points

A function [latex]g\left(x\right)[/latex] is given in Figure 5. Find [latex]g\left(3\right)[/latex] and [latex]{g}^{-1}\left(3\right)[/latex].

Figure 5

Show Solution

To evaluate [latex]g\left(3\right)[/latex], we find 3 on the x-axis and find the corresponding output value on the y-axis. The point [latex]\left(3,1\right)[/latex] tells us that [latex]g\left(3\right)=1[/latex].

To evaluate [latex]{g}^{-1}\left(3\right)[/latex], recall that by definition [latex]{g}^{-1}\left(3\right)[/latex] means the value of x for which [latex]g\left(x\right)=3[/latex]. By looking for the output value 3 on the vertical axis, we find the point [latex]\left(5,3\right)[/latex] on the graph, which means [latex]g\left(5\right)=3[/latex], so by definition, [latex]{g}^{-1}\left(3\right)=5[/latex].

Figure 6

Try It

Using the graph in Example 6, (a) find [latex]{g}^{-1}\left(1\right)[/latex], and (b) estimate [latex]{g}^{-1}\left(4\right)[/latex].

Show Solution

a. 3; b. 5.6

Finding Inverses of Functions Represented by Formulas

Sometimes we will need to know an inverse function for all elements of its domain, not just a few. If the original function is given as a formula— for example, [latex]y[/latex] as a function of [latex]x\text{-\hspace{0.17em}}[/latex] we can often find the inverse function by solving to obtain [latex]x[/latex] as a function of [latex]y[/latex].

How To: Given a function represented by a formula, find the inverse.

1. Make sure [latex]f[/latex] is a one-to-one function.
2. Solve for [latex]x[/latex].
3. Interchange [latex]x[/latex] and [latex]y[/latex].

Example 7: Inverting the Fahrenheit-to-Celsius Function

Find a formula for the inverse function that gives Fahrenheit temperature as a function of Celsius temperature.

[latex]C=\frac{5}{9}\left(F - 32\right)[/latex]

Show Solution

[latex]\begin{gathered} C =\frac{5}{9}\left(F - 32\right) \\ C\cdot \frac{9}{5}=F - 32 \\ F=\frac{9}{5}C+32 \end{gathered}[/latex]

By solving in general, we have uncovered the inverse function. If

[latex]C=h\left(F\right)=\frac{5}{9}\left(F - 32\right)[/latex],

then

[latex]F={h}^{-1}\left(C\right)=\frac{9}{5}C+32[/latex].

In this case, we introduced a function [latex]h[/latex] to represent the conversion because the input and output variables are descriptive, and writing [latex]{C}^{-1}[/latex] could get confusing.

Try It

Solve for [latex]x[/latex] in terms of [latex]y[/latex] given [latex]y=\frac{1}{3}\left(x - 5\right)[/latex]

Show Solution

[latex]x=3y+5[/latex]

Example 8: Solving to Find an Inverse Function

Find the inverse of the function [latex]f\left(x\right)=\frac{2}{x - 3}+4[/latex].

Show Solution

[latex]\begin{align}&y=\frac{2}{x - 3}+4 && \text{Set up an equation}. \\ &y - 4=\frac{2}{x - 3} && \text{Subtract 4 from both sides}. \\ &x - 3=\frac{2}{y - 4} && \text{Multiply both sides by }x - 3\text{ and divide by }y - 4. \\ &x=\frac{2}{y - 4}+3 && \text{Add 3 to both sides}. \end{align}[/latex]

So [latex]{f}^{-1}\left(y\right)=\frac{2}{y - 4}+3[/latex] or [latex]{f}^{-1}\left(x\right)=\frac{2}{x - 4}+3[/latex].

Analysis of the Solution

The domain and range of [latex]f[/latex] exclude the values 3 and 4, respectively. [latex]f[/latex] and [latex]{f}^{-1}[/latex] are equal at two points but are not the same function, as we can see by creating the table below.

[latex]x[/latex]	1	2	5	[latex]{f}^{-1}\left(y\right)[/latex]
[latex]f\left(x\right)[/latex]	3	2	5	[latex]y[/latex]

Example 9: Solving to Find an Inverse with Radicals

Find the inverse of the function [latex]f\left(x\right)=2+\sqrt[\leftroot{-1}\uproot{2}]{x - 4}[/latex].

Show Solution

[latex]\begin{align}&y=2+\sqrt{x - 4} \\ &{\left(y - 2\right)}^{2}=x - 4 \\ &x={\left(y - 2\right)}^{2}+4 \end{align}[/latex]

So [latex]{f}^{-1}\left(x\right)={\left(x - 2\right)}^{2}+4[/latex].

The domain of [latex]f[/latex] is [latex]\left[4,\infty \right)[/latex]. Notice that the range of [latex]f[/latex] is [latex]\left[2,\infty \right)[/latex], so this means that the domain of the inverse function [latex]{f}^{-1}[/latex] is also [latex]\left[2,\infty \right)[/latex].

Analysis of the Solution

The formula we found for [latex]{f}^{-1}\left(x\right)[/latex] looks like it would be valid for all real [latex]x[/latex]. However, [latex]{f}^{-1}[/latex] itself must have an inverse (namely, [latex]f[/latex] ) so we have to restrict the domain of [latex]{f}^{-1}[/latex] to [latex]\left[2,\infty \right)[/latex] in order to make [latex]{f}^{-1}[/latex] a one-to-one function. This domain of [latex]{f}^{-1}[/latex] is exactly the range of [latex]f[/latex].

Try It

What is the inverse of the function [latex]f\left(x\right)=2-\sqrt[\leftroot{-1}\uproot{2}]{x}?[/latex] State the domains of both the function and the inverse function.

Show Solution

[latex]{f}^{-1}\left(x\right)={\left(2-x\right)}^{2}[/latex]; domain of [latex]f:\left[0,\infty \right)[/latex]; domain of [latex]{f}^{-1}:\left(-\infty ,2\right][/latex]

Try It

 

Now that we can find the inverse of a function, we will explore the graphs of functions and their inverses. Let us return to the quadratic function [latex]f\left(x\right)={x}^{2}[/latex] restricted to the domain [latex]\left[0,\infty \right)[/latex], on which this function is one-to-one, and graph it as in Figure 7.

Figure 7. Quadratic function with domain restricted to [0, ∞).

Restricting the domain to [latex]\left[0,\infty \right)[/latex] makes the function one-to-one (it will obviously pass the horizontal line test), so it has an inverse on this restricted domain.

We already know that the inverse of the toolkit quadratic function is the square root function, that is, [latex]{f}^{-1}\left(x\right)=\sqrt[\leftroot{-1}\uproot{2}]{x}[/latex]. What happens if we graph both [latex]f\text{ }[/latex] and [latex]{f}^{-1}[/latex] on the same set of axes, using the [latex]x\text{-}[/latex] axis for the input to both [latex]f\text{ and }{f}^{-1}?[/latex]

We notice a distinct relationship: The graph of [latex]{f}^{-1}\left(x\right)[/latex] is the graph of [latex]f\left(x\right)[/latex] reflected about the diagonal line [latex]y=x[/latex], which we will call the identity line, shown in Figure 8.

Figure 8. Square and square-root functions on the non-negative domain

This relationship will be observed for all one-to-one functions, because it is a result of the function and its inverse swapping inputs and outputs. This is equivalent to interchanging the roles of the vertical and horizontal axes.

Example 10: Finding the Inverse of a Function Using Reflection about the Identity Line

Given the graph of [latex]f\left(x\right)[/latex], sketch a graph of [latex]{f}^{-1}\left(x\right)[/latex].

Figure 9

Show Solution

This is a one-to-one function, so we will be able to sketch an inverse. Note that the graph shown has an apparent domain of [latex]\left(0,\infty \right)[/latex] and range of [latex]\left(-\infty ,\infty \right)[/latex], so the inverse will have a domain of [latex]\left(-\infty ,\infty \right)[/latex] and range of [latex]\left(0,\infty \right)[/latex].

If we reflect this graph over the line [latex]y=x[/latex], the point [latex]\left(1,0\right)[/latex] reflects to [latex]\left(0,1\right)[/latex] and the point [latex]\left(4,2\right)[/latex] reflects to [latex]\left(2,4\right)[/latex]. Sketching the inverse on the same axes as the original graph gives us the result in Figure 10.

Figure 10. The function and its inverse, showing reflection about the identity line

Try It

Q & A

Is there any function that is equal to its own inverse?

Yes. If [latex]f={f}^{-1}[/latex], then [latex]f\left(f\left(x\right)\right)=x[/latex], and we can think of several functions that have this property. The identity function does, and so does the reciprocal function, because

[latex]\frac{1}{1/x}=x[/latex]

Any function [latex]f\left(x\right)=c-x[/latex], where [latex]c[/latex] is a constant, is also equal to its own inverse.

Key Concepts

• If [latex]g\left(x\right)[/latex] is the inverse of [latex]f\left(x\right)[/latex], then
• [latex]g\left(f\left(x\right)\right)=f\left(g\left(x\right)\right)=x[/latex].
• Each of the toolkit functions has an inverse.
• For a function to have an inverse, it must be one-to-one (pass the horizontal line test).
• A function that is not one-to-one over its entire domain may be one-to-one on part of its domain.
• For a tabular function, exchange the input and output rows to obtain the inverse.
• The inverse of a function can be determined at specific points on its graph.
• To find the inverse of a formula, solve the equation [latex]y=f\left(x\right)[/latex] for [latex]x[/latex] as a function of [latex]y[/latex]. Then exchange the labels [latex]x[/latex] and [latex]y[/latex].
• The graph of an inverse function is the reflection of the graph of the original function across the line [latex]y=x[/latex].

Glossary

inverse function

for any one-to-one function [latex]f\left(x\right)[/latex], the inverse is a function [latex]{f}^{-1}\left(x\right)[/latex] such that [latex]{f}^{-1}\left(f\left(x\right)\right)=x[/latex] for all [latex]x[/latex] in the domain of [latex]f[/latex]; this also implies that [latex]f\left({f}^{-1}\left(x\right)\right)=x[/latex] for all [latex]x[/latex] in the domain of [latex]{f}^{-1}[/latex]