Skip to main content
Mathematics LibreTexts

1.4: Inverse Functions

  • Page ID
    139042
    • Gilbert Strang & Edwin “Jed” Herman
    • OpenStax

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives
    • Determine the conditions for when a function has an inverse.
    • Use the horizontal line test to recognize when a function is one-to-one.
    • Find the inverse of a given function.
    • Draw the graph of an inverse function.
    • Evaluate inverse trigonometric functions.

    An inverse function reverses the operation done by a particular function. In other words, whatever a function does, the inverse function undoes it. In this section, we define an inverse function formally and state the necessary conditions for an inverse function to exist. We examine how to find an inverse function and study the relationship between the graph of a function and the graph of its inverse. Then we apply these ideas to define and discuss properties of the inverse trigonometric functions.

    Existence of an Inverse Function

    We begin with an example. Given a function \(f\) and an output \(y=f(x)\), we are often interested in finding what value or values \(x\) were mapped to \(y\) by \(f\). For example, consider the function \(f(x)=x^3+4\). Since any output \(y=x^3+4\), we can solve this equation for \(x\) to find that the input is \(x=\sqrt[3]{y−4}\). This equation defines \(x\) as a function of \(y\). Denoting this function as \(f^{−1}\), and writing \(x=f^{−1}(y)=\sqrt[3]{y−4}\), we see that for any \(x\) in the domain of \(f,f^{−1}\)\(f(x))=f^{−1}(x^3+4)=x\). Thus, this new function, \(f^{−1}\), “undid” what the original function \(f\) did. A function with this property is called the inverse function of the original function.

    Definition: Inverse Functions

    Given a function \(f\) with domain \(D\) and range \(R\), its inverse function (if it exists) is the function \(f^{−1}\) with domain \(R\) and range \(D\) such that \(f^{−1}(y)=x\) if and only if \(f(x)=y\). In other words, for a function \(f\) and its inverse \(f^{−1}\),

    \[f^{−1}(f(x))=x \nonumber \]

    for all \(x\) in \(D\) and

    \[f(f^{−1}(y))=y \nonumber \]

    for all \(y\) in \(R\).

    Note that \(f^{−1}\) is read as “\(f\) inverse.” Here, the \(−1\) is not used as an exponent so

    \[f^{−1}(x)≠ \dfrac{1}{f(x)}. \nonumber \]

    Figure \(\PageIndex{1}\)shows the relationship between the domain and range of \(f\) and the domain and range of \(f^{−1}\).

    An image of two bubbles. The first bubble is orange and has two labels: the top label is “Domain of f” and the bottom label is “Range of f inverse”. Within this bubble is the variable “x”. An orange arrow with the label “f” points from this bubble to the second bubble. The second bubble is blue and has two labels: the top label is “range of f” and the bottom label is “domain of f inverse”. Within this bubble is the variable “y”. A blue arrow with the label “f inverse” points from this bubble to the first bubble.
    Figure \(\PageIndex{1}\): Given a function \(f\) and its inverse \(f^{−1},f^{−1}(y)=x\) if and only if \(f(x)=y\). The range of \(f\) becomes the domain of \(f^{−1}\) and the domain of \(f\) becomes the range of \(f^{−1}\).

    Recall that a function has exactly one output for each input. Therefore, to define an inverse function, we need to map each input to exactly one output. For example, let’s try to find the inverse function for \(f(x)=x^2\). Solving the equation \(y=x^2\) for \(x\), we arrive at the equation \(x=±\sqrt{y}\). This equation does not describe \(x\) as a function of \(y\) because there are two solutions to this equation for every \(y>0\). The problem with trying to find an inverse function for \(f(x)=x^2\) is that two inputs are sent to the same output for each output \(y>0\). The function \(f(x)=x^3+4\) discussed earlier did not have this problem. For that function, each input was sent to a different output. A function that sends each input to a different output is called a one-to-one function.

    Definition: One-to-One functions

    We say a function \(f\) is a one-to-one function if \(f(x_1)≠f(x_2)\) when \(x_1≠x_2\).

    One way to determine whether a function is one-to-one is by looking at its graph. If a function is one-to-one, then no two inputs can be sent to the same output. Therefore, if we draw a horizontal line anywhere in the \(xy\)-plane, according to the horizontal line test, it cannot intersect the graph more than once. We note that the horizontal line test is different from the vertical line test. The vertical line test determines whether a graph is the graph of a function. The horizontal line test determines whether a function is one-to-one (Figure \(\PageIndex{2}\)).

    Horizontal Line Test

    A function \(f\) is one-to-one if and only if every horizontal line intersects the graph of \(f\) no more than once.

    An image of two graphs. Both graphs have an x axis that runs from -3 to 3 and a y axis that runs from -3 to 4. The first graph is of the function “f(x) = x squared”, which is a parabola. The function decreases until it hits the origin, where it begins to increase. The x intercept and y intercept are both at the origin. There are two orange horizontal lines also plotted on the graph, both of which run through the function at two points each. The second graph is of the function “f(x) = x cubed”, which is an increasing curved function. The x intercept and y intercept are both at the origin. There are three orange lines also plotted on the graph, each of which only intersects the function at one point.
    Figure \(\PageIndex{2}\): (a) The function \(f(x)=x^2\) is not one-to-one because it fails the horizontal line test. (b) The function \(f(x)=x^3\) is one-to-one because it passes the horizontal line test.
    Example \(\PageIndex{1}\): Determining Whether a Function Is One-to-One

    For each of the following functions, use the horizontal line test to determine whether it is one-to-one.

    a)

    An image of a graph. The x axis runs from -3 to 11 and the y axis runs from -3 to 11. The graph is of a step function which contains 10 horizontal steps. Each steps starts with a closed circle and ends with an open circle. The first step starts at the origin and ends at the point (1, 0). The second step starts at the point (1, 1) and ends at the point (1, 2). Each of the following 8 steps starts 1 unit higher in the y direction than where the previous step ended. The tenth and final step starts at the point (9, 9) and ends at the point (10, 9)

    b)

    An image of a graph. The x axis runs from -3 to 6 and the y axis runs from -3 to 6. The graph is of the function “f(x) = (1/x)”, a curved decreasing function. The graph of the function starts right below the x axis in the 4th quadrant and begins to decreases until it comes close to the y axis. The graph keeps decreasing as it gets closer and closer to the y axis, but never touches it due to the vertical asymptote. In the first quadrant, the graph of the function starts close to the y axis and keeps decreasing until it gets close to the x axis. As the function continues to decreases it gets closer and closer to the x axis without touching it, where there is a horizontal asymptote.

    Solution

    a) Since the horizontal line \(y=n\) for any integer \(n≥0\) intersects the graph more than once, this function is not one-to-one.

    An image of a graph. The x axis runs from -3 to 11 and the y axis runs from -3 to 11. The graph is of a step function which contains 10 horizontal steps. Each steps starts with a closed circle and ends with an open circle. The first step starts at the origin and ends at the point (1, 0). The second step starts at the point (1, 1) and ends at the point (1, 2). Each of the following 8 steps starts 1 unit higher in the y direction than where the previous step ended. The tenth and final step starts at the point (9, 9) and ends at the point (10, 9). There are also two horizontal orange lines plotted on the graph, each of which run through an entire step of the function.

    b) Since every horizontal line intersects the graph once (at most), this function is one-to-one.

    An image of a graph. The x axis runs from -3 to 6 and the y axis runs from -3 to 6. The graph is of the function “f(x) = (1/x)”, a curved decreasing function. The graph of the function starts right below the x axis in the 4th quadrant and begins to decreases until it comes close to the y axis. The graph keeps decreasing as it gets closer and closer to the y axis, but never touches it due to the vertical asymptote. In the first quadrant, the graph of the function starts close to the y axis and keeps decreasing until it gets close to the x axis. As the function continues to decreases it gets closer and closer to the x axis without touching it, where there is a horizontal asymptote. There are also three horizontal orange lines plotted on the graph, each of which only runs through the function at one point.

    Exercise \(\PageIndex{1}\)

    Is the function \(f\) graphed in the following image one-to-one?

    An image of a graph. The x axis runs from -3 to 4 and the y axis runs from -3 to 5. The graph is of the function “f(x) = (x cubed) - x” which is a curved function. The function increases, decreases, then increases again. The x intercepts are at the points (-1, 0), (0,0), and (1, 0). The y intercept is at the origin.

    Solution

    Use the horizontal line test.

    Answer

    No

    Finding a Function’s Inverse

    We can now consider one-to-one functions and show how to find their inverses. Recall that a function maps elements in the domain of \(f\) to elements in the range of \(f\). The inverse function maps each element from the range of \(f\) back to its corresponding element from the domain of \(f\). Therefore, to find the inverse function of a one-to-one function \(f\), given any \(y\) in the range of \(f\), we need to determine which \(x\) in the domain of \(f\) satisfies \(f(x)=y\). Since \(f\) is one-to-one, there is exactly one such value \(x\). We can find that value \(x\) by solving the equation \(f(x)=y\) for \(x\). Doing so, we are able to write \(x\) as a function of \(y\) where the domain of this function is the range of \(f\) and the range of this new function is the domain of \(f\). Consequently, this function is the inverse of \(f\), and we write \(x=f^{−1}(y)\). Since we typically use the variable \(x\) to denote the independent variable and y to denote the dependent variable, we often interchange the roles of \(x\) and \(y\), and write \(y=f^{−1}(x)\). Representing the inverse function in this way is also helpful later when we graph a function \(f\) and its inverse \(f^{−1}\) on the same axes.

    Problem-Solving Strategy: Finding an Inverse Function
    1. Solve the equation \(y=f(x)\) for \(x\).
    2. Interchange the variables \(x\) and \(y\) and write \(y=f^{−1}(x)\).
    Example \(\PageIndex{2}\): Finding an Inverse Function

    Find the inverse for the function \(f(x)=3x−4.\) State the domain and range of the inverse function. Verify that \(f^{−1}(f(x))=x.\)

    Solution

    Follow the steps outlined in the strategy.

    Step 1. If \(y=3x−4,\) then \(3x=y+4\) and \(x=\frac{1}{3}y+\frac{4}{3}.\)

    Step 2. Rewrite as \(y=\frac{1}{3}x+\frac{4}{3}\) and let \(y=f^{−1}(x)\).Therefore, \(f^{−1}(x)=\frac{1}{3}x+\frac{4}{3}\).

    Since the domain of \(f\) is \((−∞,∞)\), the range of \(f^{−1}\) is \((−∞,∞)\). Since the range of \(f\) is \((−∞,∞)\), the domain of \(f^{−1}\) is \((−∞,∞)\).

    You can verify that \(f^{−1}(f(x))=x\) by writing

    \(f^{−1}(f(x))=f^{−1}(3x−4)=\frac{1}{3}(3x−4)+\frac{4}{3}=x−\frac{4}{3}+\frac{4}{3}=x.\)

    Note that for \(f^{−1}(x)\) to be the inverse of \(f(x)\), both \(f^{−1}(f(x))=x\) and \(f(f^{−1}(x))=x\) for all \(x\) in the domain of the inside function.

    Exercise \(\PageIndex{2}\)

    Find the inverse of the function \(f(x)=3x/(x−2)\). State the domain and range of the inverse function.

    Hint

    Use the Problem-Solving Strategy for finding inverse functions.

    Answer

    \(f^{−1}(x)=\dfrac{2x}{x−3}\). The domain of \(f^{−1}\) is \(\{x\,|\,x≠3\}\). The range of \(f^{−1}\) is \(\{y\,|\,y≠2\}\).

    Graphing Inverse Functions

    Let’s consider the relationship between the graph of a function \(f\) and the graph of its inverse. Consider the graph of \(f\) shown in Figure \(\PageIndex{3}\) and a point \((a,b)\) on the graph. Since \(b=f(a)\), then \(f^{−1}(b)=a\). Therefore, when we graph \(f^{−1}\), the point \((b,a)\) is on the graph. As a result, the graph of \(f^{−1}\) is a reflection of the graph of \(f\) about the line \(y=x\).

    An image of two graphs. The first graph is of “y = f(x)”, which is a curved increasing function, that increases at a faster rate as x increases. The point (a, b) is on the graph of the function in the first quadrant. The second graph also graphs “y = f(x)” with the point (a, b), but also graphs the function “y = f inverse (x)”, an increasing curved function, that increases at a slower rate as x increases. This function includes the point (b, a). In addition to the two functions, there is a diagonal dotted line potted with the equation “y =x”, which shows that “f(x)” and “f inverse (x)” are mirror images about the line “y =x”.
    Figure \(\PageIndex{3}\): (a) The graph of this function \(f\) shows point \((a,b)\) on the graph of \(f\). (b) Since \((a,b)\) is on the graph of \(f\), the point \((b,a)\) is on the graph of \(f^{−1}\). The graph of \(f^{−1}\) is a reflection of the graph of \(f\) about the line \(y=x\).
    Example \(\PageIndex{3}\): Sketching Graphs of Inverse Functions

    For the graph of \(f\) in the following image, sketch a graph of \(f^{−1}\) by sketching the line \(y=x\) and using symmetry. Identify the domain and range of \(f^{−1}\).

    An image of a graph. The x axis runs from -2 to 2 and the y axis runs from 0 to 2. The graph is of the function “f(x) = square root of (x +2)”, an increasing curved function. The function starts at the point (-2, 0). The x intercept is at (-2, 0) and the y intercept is at the approximate point (0, 1.4).

    Solution

    Reflect the graph about the line \(y=x\). The domain of \(f^{−1}\) is \([0,∞)\). The range of \(f^{−1}\) is \([−2,∞)\). By using the preceding strategy for finding inverse functions, we can verify that the inverse function is \(f^{−1}(x)=x^2−2\), as shown in the graph.

    An image of a graph. The x axis runs from -2 to 2 and the y axis runs from -2 to 2. The graph is of two functions. The first function is “f(x) = square root of (x +2)”, an increasing curved function. The function starts at the point (-2, 0). The x intercept is at (-2, 0) and the y intercept is at the approximate point (0, 1.4). The second function is “f inverse (x) = (x squared) -2”, an increasing curved function that starts at the point (0, -2). The x intercept is at the approximate point (1.4, 0) and the y intercept is at the point (0, -2). In addition to the two functions, there is a diagonal dotted line potted with the equation “y =x”, which shows that “f(x)” and “f inverse (x)” are mirror images about the line “y =x”.

    Exercise \(\PageIndex{3}\)

    Sketch the graph of \(f(x)=2x+3\) and the graph of its inverse using the symmetry property of inverse functions.

    Hint

    The graphs are symmetric about the line \(y=x\)

    Answer

    An image of a graph. The x axis runs from -3 to 4 and the y axis runs from -3 to 5. The graph is of two functions. The first function is “f(x) = 2x +3”, an increasing straight line function. The function has an x intercept at (-1.5, 0) and a y intercept at (0, 3). The second function is “f inverse (x) = (x - 3)/2”, an increasing straight line function, which increases at a slower rate than the first function. The function has an x intercept at (3, 0) and a y intercept at (0, -1.5). In addition to the two functions, there is a diagonal dotted line potted with the equation “y =x”, which shows that “f(x)” and “f inverse (x)” are mirror images about the line “y =x”.

    Restricting Domains

    As we have seen, \(f(x)=x^2\) does not have an inverse function because it is not one-to-one. However, we can choose a subset of the domain of \(f\) such that the function is one-to-one. This subset is called a restricted domain. By restricting the domain of \(f\), we can define a new function \(g\) such that the domain of \(g\) is the restricted domain of \(f\) and \(g(x)=f(x)\) for all \(x\) in the domain of \(g\). Then we can define an inverse function for \(g\) on that domain. For example, since \(f(x)=x^2\) is one-to-one on the interval \([0,∞)\), we can define a new function \(g\) such that the domain of \(g\) is \([0,∞)\) and \(g(x)=x^2\) for all \(x\) in its domain. Since \(g\) is a one-to-one function, it has an inverse function, given by the formula \(g^{−1}(x)=\sqrt{x}\). On the other hand, the function \(f(x)=x^2\) is also one-to-one on the domain \((−∞,0]\). Therefore, we could also define a new function \(h\) such that the domain of \(h\) is \((−∞,0]\) and \(h(x)=x^2\) for all \(x\) in the domain of \(h\). Then \(h\) is a one-to-one function and must also have an inverse. Its inverse is given by the formula \(h^{−1}(x)=−\sqrt{x}\) (Figure \(\PageIndex{4}\)).

    An image of two graphs. Both graphs have an x axis that runs from -2 to 5 and a y axis that runs from -2 to 5. The first graph is of two functions. The first function is “g(x) = x squared”, an increasing curved function that starts at the point (0, 0). This function increases at a faster rate for larger values of x. The second function is “g inverse (x) = square root of x”, an increasing curved function that starts at the point (0, 0). This function increases at a slower rate for larger values of x. The first function is “h(x) = x squared”, a decreasing curved function that ends at the point (0, 0). This function decreases at a slower rate for larger values of x. The second function is “h inverse (x) = -(square root of x)”, an increasing curved function that starts at the point (0, 0). This function decreases at a slower rate for larger values of x. In addition to the two functions, there is a diagonal dotted line potted with the equation “y =x”, which shows that “f(x)” and “f inverse (x)” are mirror images about the line “y =x”.
    Figure \(\PageIndex{4}\): (a) For \(g(x)=x^2\) restricted to \([0,∞)\), \(g^{−1}(x)=\sqrt{x}\). (b) For \(h(x)=x^2\) restricted to \((−∞,0]\), \(h^{−1}(x)=−\sqrt{x}\).
    Example \(\PageIndex{4}\): Restricting the Domain

    Consider the function \(f(x)=(x+1)^2\).

    1. Sketch the graph of \(f\) and use the horizontal line test to show that \(f\) is not one-to-one.
    2. Show that \(f\) is one-to-one on the restricted domain \([−1,∞)\). Determine the domain and range for the inverse of \(f\) on this restricted domain and find a formula for \(f^{−1}\).
    Solution

    a) The graph of \(f\) is the graph of \(y=x^2\) shifted left \(1\) unit. Since there exists a horizontal line intersecting the graph more than once, \(f\) is not one-to-one.

    An image of a graph. The x axis runs from -6 to 6 and the y axis runs from -2 to 10. The graph is of the function “f(x) = (x+ 1) squared”, which is a parabola. The function decreases until the point (-1, 0), where it begins it increases. The x intercept is at the point (-1, 0) and the y intercept is at the point (0, 1). There is also a horizontal dotted line plotted on the graph, which crosses through the function at two points.

    b) On the interval \([−1,∞),\;f\) is one-to-one.

    An image of a graph. The x axis runs from -6 to 6 and the y axis runs from -2 to 10. The graph is of the function “f(x) = (x+ 1) squared”, on the interval [1, infinity). The function starts from the point (-1, 0) and increases. The x intercept is at the point (-1, 0) and the y intercept is at the point (0, 1).

    The domain and range of \(f^{−1}\) are given by the range and domain of \(f\), respectively. Therefore, the domain of \(f^{−1}\) is \([0,∞)\) and the range of \(f^{−1}\) is \([−1,∞)\). To find a formula for \(f^{−1}\), solve the equation \(y=(x+1)^2\) for \(x.\) If \(y=(x+1)^2\), then \(x=−1±\sqrt{y}\). Since we are restricting the domain to the interval where \(x≥−1\), we need \(±\sqrt{y}≥0\). Therefore, \(x=−1+\sqrt{y}\). Interchanging \(x\) and \(y\), we write \(y=−1+\sqrt{x}\) and conclude that \(f^{−1}(x)=−1+\sqrt{x}\).

    Exercise \(\PageIndex{4}\)

    Consider \(f(x)=1/x^2\) restricted to the domain \((−∞,0)\). Verify that \(f\) is one-to-one on this domain. Determine the domain and range of the inverse of \(f\) and find a formula for \(f^{−1}\).

    Hint

    The domain and range of \(f^{−1}\) is given by the range and domain of \(f\), respectively. To find \(f^{−1}\), solve \(y=1/x^2\) for \(x\).

    Answer

    The domain of \(f^{−1}\) is \((0,∞)\). The range of \(f^{−1}\) is \((−∞,0)\). The inverse function is given by the formula \(f^{−1}(x)=−1/\sqrt{x}\).

    Inverse Trigonometric Functions

    The six basic trigonometric functions are periodic, and therefore they are not one-to-one. However, if we restrict the domain of a trigonometric function to an interval where it is one-to-one, we can define its inverse. Consider the sine function. The sine function is one-to-one on an infinite number of intervals, but the standard convention is to restrict the domain to the interval \(\left[−\frac{π}{2},\frac{π}{2}\right]\). By doing so, we define the inverse sine function on the domain \([−1,1]\) such that for any \(x\) in the interval \([−1,1]\), the inverse sine function tells us which angle \(θ\) in the interval \(\left[−\frac{π}{2},\frac{π}{2}\right]\) satisfies \(\sin θ=x\). Similarly, we can restrict the domains of the other trigonometric functions to define inverse trigonometric functions, which are functions that tell us which angle in a certain interval has a specified trigonometric value.

    Definition: inverse trigonometric functions

    The inverse sine function, denoted \(\sin^{−1}\) or \(\arcsin\), and the inverse cosine function, denoted \(\cos^{−1}\) or \(\arccos\), are defined on the domain \(D=\{x|−1≤x≤1\}\) as follows:

    \(\sin^{−1}(x)=y\)

    • if and only if \(\sin(y)=x\) and \(−\frac{π}{2}≤y≤\frac{π}{2}\);

    \(\cos^{−1}(x)=y\)

    • if and only if \(\cos(y)=x\) and \(0≤y≤π\).

    The inverse tangent function, denoted \(\tan^{−1}\) or \(\arctan\), and inverse cotangent function, denoted \(\cot^{−1}\) or \(\operatorname{arccot}\), are defined on the domain \(D=\{x|−∞<x<∞\}\) as follows:

    \(\tan^{−1}(x)=y\)

    • if and only if \(\tan(y)=x\) and \(−\frac{π}{2}<y<\frac{π}{2}\);

    \(\cot^{−1}(x)=y\)

    • if and only if \(\cot(y)=x\) and \(0<y<π\).

    The inverse cosecant function, denoted \(\csc^{−1}\) or \(\operatorname{arccsc}\), and inverse secant function, denoted \(\sec^{−1}\) or \(\operatorname{arcsec}\), are defined on the domain \(D=\{x\,|\,|x|≥1\}\) as follows:

    \(\csc^{−1}(x)=y\)

    • if and only if \(\csc(y)=x\) and \(−\frac{π}{2}≤y≤\frac{π}{2}, \, y≠0\);

    \(\sec^{−1}(x)=y\)

    • if and only if \(\sec(y)=x\) and\(0≤y≤π, \, y≠π/2\).

    To graph the inverse trigonometric functions, we use the graphs of the trigonometric functions restricted to the domains defined earlier and reflect the graphs about the line \(y=x\) (Figure \(\PageIndex{5}\)).

    An image of six graphs. The first graph is of the function “f(x) = sin inverse(x)”, which is an increasing curve function. The function starts at the point (-1, -(pi/2)) and increases until it ends at the point (1, (pi/2)). The x intercept and y intercept are at the origin. The second graph is of the function “f(x) = cos inverse (x)”, which is a decreasing curved function. The function starts at the point (-1, pi) and decreases until it ends at the point (1, 0). The x intercept is at the point (1, 0). The y intercept is at the point (0, (pi/2)). The third graph is of the function f(x) = tan inverse (x)”, which is an increasing curve function. The function starts close to the horizontal line “y = -(pi/2)” and increases until it comes close the “y = (pi/2)”. The function never intersects either of these lines, it always stays between them - they are horizontal asymptotes. The x intercept and y intercept are both at the origin. The fourth graph is of the function “f(x) = cot inverse (x)”, which is a decreasing curved function. The function starts slightly below the horizontal line “y = pi” and decreases until it gets close the x axis. The function never intersects either of these lines, it always stays between them - they are horizontal asymptotes. The fifth graph is of the function “f(x) = csc inverse (x)”, a decreasing curved function. The function starts slightly below the x axis, then decreases until it hits a closed circle point at (-1, -(pi/2)). The function then picks up again at the point (1, (pi/2)), where is begins to decrease and approach the x axis, without ever touching the x axis. There is a horizontal asymptote at the x axis. The sixth graph is of the function “f(x) = sec inverse (x)”, an increasing curved function. The function starts slightly above the horizontal line “y = (pi/2)”, then increases until it hits a closed circle point at (-1, pi). The function then picks up again at the point (1, 0), where is begins to increase and approach the horizontal line “y = (pi/2)”, without ever touching the line. There is a horizontal asymptote at the “y = (pi/2)”.
    Figure \(\PageIndex{5}\): The graph of each of the inverse trigonometric functions is a reflection about the line \(y=x\) of the corresponding restricted trigonometric function.

    When evaluating an inverse trigonometric function, the output is an angle. For example, to evaluate \(\cos^{−1}\left(\frac{1}{2}\right)\), we need to find an angle \(θ\) such that \(\cos θ=\frac{1}{2}\). Clearly, many angles have this property. However, given the definition of \(\cos^{−1}\), we need the angle \(θ\) that not only solves this equation, but also lies in the interval \([0,π]\). We conclude that \(\cos^{−1}\left(\frac{1}{2}\right)=\frac{π}{3}\).

    We now consider a composition of a trigonometric function and its inverse. For example, consider the two expressions \(\sin\left(\sin^{−1}\left(\frac{\sqrt{2}}{2}\right)\right)\) and \(\sin^{−1}(\sin(π)).\)

    For the first one, we simplify as follows:

    \[\sin\left(\sin^{−1}\left(\frac{\sqrt{2}}{2}\right)\right)=\sin\left(\frac{π}{4}\right)=\frac{\sqrt{2}}{2}.\nonumber \]

    For the second one, we have

    \[\sin^{−1}(\sin(π))=\sin^{−1}(0)=0.\nonumber \]

    The inverse function is supposed to “undo” the original function, so why isn’t \(\sin^{−1}(\sin(π))=π?\) Recalling our definition of inverse functions, a function \(f\) and its inverse \(f^{−1}\) satisfy the conditions \(f(f^{−1}(y))=y\) for all \(y\) in the domain of \(f^{−1}\) and \(f^{−1}(f(x))=x\) for all \(x\) in the domain of \(f\), so what happened here? The issue is that the inverse sine function, \(\sin^{−1}\), is the inverse of the restricted sine function defined on the domain \(\left[−\frac{π}{2},\frac{π}{2}\right]\). Therefore, for \(x\) in the interval \([−\frac{π}{2},\frac{π}{2}]\), it is true that \(\sin^{−1}(\sin x)=x\). However, for values of \(x\) outside this interval, the equation does not hold, even though \(\sin^{−1}(\sin x)\) is defined for all real numbers \(x\).

    What about \(\sin(\sin^{−1}y)?\) Does that have a similar issue? The answer is no. Since the domain of \(\sin^{−1}\) is the interval \([−1,1]\), we conclude that \(\sin\left(\sin^{−1}y\right)=y\) if \(−1≤y≤1\) and the expression is not defined for other values of \(y\). To summarize,

    \(\sin(\sin^{−1}y)=y\) if \(−1≤y≤1\)

    and

    \(\sin^{−1}(\sin x)=x\) if \(−\frac{π}{2}≤x≤\frac{π}{2}.\)

    Similarly, for the cosine function,

    \(\cos(\cos^{−1}y)=y\) if \(−1≤y≤1\)

    and

    \(\cos^{−1}(\cos x)=x\) if \(0≤x≤π.\)

    Similar properties hold for the other trigonometric functions and their inverses.

    Example \(\PageIndex{5}\): Evaluating Expressions Involving Inverse Trigonometric Functions

    Evaluate each of the following expressions.

    1. \(\sin^{−1}\left(−\frac{\sqrt{3}}{2}\right)\)
    2. \(\tan\left(\tan^{−1}\left(−\frac{1}{\sqrt{3}}\right)\right)\)
    3. \(\cos^{−1}\left(\cos\left(\frac{5π}{4}\right)\right)\)
    4. \(\sin^{−1}\left(\cos\left(\frac{2π}{3}\right)\right)\)
    Solution
    1. Evaluating \(\sin^{−1}(−\sqrt{3}/2)\) is equivalent to finding the angle \(θ\) such that \(\sin θ=−\sqrt{3}/2\) and \(−π/2≤θ≤π/2\). The angle \(θ=−π/3\) satisfies these two conditions. Therefore, \(\sin^{−1}(−\sqrt{3}/2)=−π/3\).
    2. First we use the fact that \(\tan^{−1}(−1/\sqrt{3})=−π/6.\) Then \(\tan(-π/6)=−1/\sqrt{3}\). Therefore, \(\tan(\tan^{−1}(−1/\sqrt{3}))=−1/\sqrt{3}\).
    3. To evaluate \(\cos^{−1}(\cos(5π/4))\),first use the fact that \(\cos(5π/4)=−\sqrt{2}/2\). Then we need to find the angle \(θ\) such that \(\cos(θ)=−\sqrt{2}/2\) and \(0≤θ≤π\). Since \(3π/4\) satisfies both these conditions, we have \(\cos^{-1}(\cos(5π/4))=\cos^{−1}(−\sqrt{2}/2))=3π/4\).
    4. Since \(\cos(2π/3)=−1/2\), we need to evaluate \(\sin^{−1}(−1/2)\). That is, we need to find the angle \(θ\) such that \(\sin(θ)=−1/2\) and \(−π/2≤θ≤π/2\). Since \(−π/6\) satisfies both these conditions, we can conclude that \(\sin^{−1}(\cos(2π/3))=\sin^{−1}(−1/2)=−π/6.\)
    The Maximum Value of a Function

    In many areas of science, engineering, and mathematics, it is useful to know the maximum value a function can obtain, even if we don’t know its exact value at a given instant. For instance, if we have a function describing the strength of a roof beam, we would want to know the maximum weight the beam can support without breaking. If we have a function that describes the speed of a train, we would want to know its maximum speed before it jumps off the rails. Safe design often depends on knowing maximum values.

    This project describes a simple example of a function with a maximum value that depends on two equation coefficients. We will see that maximum values can depend on several factors other than the independent variable \(x\).

    1. Consider the graph in Figure \(\PageIndex{6}\) of the function \(y=\sin x+\cos x.\) Describe its overall shape. Is it periodic? How do you know?

    An image of a graph. The x axis runs from -4 to 4 and the y axis runs from -4 to 4. The graph is of the function “y = sin(x) + cos(x)”, a curved wave function. The graph of the function decreases until it hits the approximate point (-(3pi/4), -1.4), where it increases until the approximate point ((pi/4), 1.4), where it begins to decrease again. The x intercepts shown on this graph of the function are at (-(5pi/4), 0), (-(pi/4), 0), and ((3pi/4), 0). The y intercept is at (0, 1).
    Figure \(\PageIndex{6}\): The graph of \(y=\sin x+\cos x\).

    Using a graphing calculator or other graphing device, estimate the \(x\)- and \(y\)-values of the maximum point for the graph (the first such point where \(x > 0\)). It may be helpful to express the \(x\)-value as a multiple of \(π.\)

    2. Now consider other graphs of the form \(y=A\sin x+B\cos x\) for various values of \(A\) and \(B.\) Sketch the graph when \(A = 2\) and \(B = 1,\) and find the \(x\)- and \(y\)-values for the maximum point. (Remember to express the \(x\)-value as a multiple of \(π\), if possible.) Has it moved?

    3. Repeat for \(A = 1, \,B = 2.\) Is there any relationship to what you found in part (2)?

    4. Complete the following table, adding a few choices of your own for \(A\) and \(B:\)

    \(A\) \(B\) \(x\) \(y\) \(A\) \(B\) \(x\) \(y\)
    0 1     3 4    
    1 0     4 3    
    1 1     \(\sqrt{3}\) 1    
    1 2     1 \(\sqrt{3}\)    
    2 1     12 5    
    2 2     5 12    

    5. Try to figure out the formula for the \(y\)-values.

    6. The formula for the \(x\)-values is a little harder. The most helpful points from the table are \((1,1),\, (1,\sqrt{3}),\, (\sqrt{3},1).\) (Hint: Consider inverse trigonometric functions.)

    7. If you found formulas for parts (5) and (6), show that they work together. That is, substitute the \(x\)-value formula you found into \(y=A\sin x+B\cos x\) and simplify it to arrive at the \(y\)-value formula you found.

    Key Concepts

    • For a function to have an inverse, the function must be one-to-one. Given the graph of a function, we can determine whether the function is one-to-one by using the horizontal line test.
    • If a function is not one-to-one, we can restrict the domain to a smaller domain where the function is one-to-one and then define the inverse of the function on the smaller domain.
    • For a function \(f\) and its inverse \(f^{−1},\, f(f^{−1}(x))=x\) for all \(x\) in the domain of \(f^{−1}\) and \(f^{−1}(f(x))=x\) for all \(x\) in the domain of \(f\).
    • Since the trigonometric functions are periodic, we need to restrict their domains to define the inverse trigonometric functions.
    • The graph of a function \(f\) and its inverse \(f^{−1}\) are symmetric about the line \(y=x.\)

    Key Equations

    • Inverse function

    \(f^{−1}(f(x))=x\) for all \(x\) in \(D,\) and \(f(f^{−1}(y))=y\) for all \(y\) in \(R\).

    Glossary

    horizontal line test
    a function \(f\) is one-to-one if and only if every horizontal line intersects the graph of \(f\), at most, once
    inverse function
    for a function \(f\), the inverse function \(f^{−1}\) satisfies \(f^{−1}(y)=x\) if \(f(x)=y\)
    inverse trigonometric functions
    the inverses of the trigonometric functions are defined on restricted domains where they are one-to-one functions
    one-to-one function
    a function \(f\) is one-to-one if \(f(x_1)≠f(x_2)\) if \(x_1≠x_2\)
    restricted domain
    a subset of the domain of a function \(f\)

    This page titled 1.4: Inverse Functions is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Gilbert Strang & Edwin “Jed” Herman (OpenStax) via source content that was edited to the style and standards of the LibreTexts platform.