Skip to main content
K12 LibreTexts

2.2.6: Inverse Trig Functions using Algebra

  • Page ID
  • \( \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}\)

    "Undo" a function by switching \(x\) and \(y\) values and solving for \(y\).

    If you were given a function, such as \(f(x)=\dfrac{2x}{x+7}\), can you tell if the function has an inverse? Is there a way that you could find its inverse through algebraic manipulation?

    Finding the Inverse of a Function

    An "inverse" is something that undoes a function, giving back the original argument. For example, a function such as \(y=\dfrac{1}{3}x\) has an inverse function of \(y=3x\), since any value placed into the first function will be returned as what it originally was if it is input into the second function. In this case, it is easy to see that to "undo" multiplication by \(\dfrac{1}{3}\), you should multiply by 3. However, in many cases it may not be easy to infer by examination what the inverse of a function is.

    To start, let's examine what is required for a function to have an inverse. It is important to remember that each function has an inverse relation and that this inverse relation is a function only if the original function is one-to-one. A function is one-to-one when its graph passes both the vertical and the horizontal line test. This means that every vertical and horizontal line will intersect the graph in exactly one place.

    Figure \(\PageIndex{1}\)

    This is the graph of \(f(x)=\dfrac{x}{x+1}\). The graph suggests that \(f\) is one-to-one because it passes both the vertical and the horizontal line tests. To find the inverse of \(f\), switch the \(x\) and \(y\) and solve for \(y\).

    First, switch \(x\) and \(y\).


    Next, multiply both sides by \((y+1)\).

    \(\begin{aligned} (y+1)x&=\dfrac{y}{y+1}(y+1) \\ x(y+1)&=y \end{aligned}\)

    Then, apply the distributive property and put all the y terms on one side so you can pull out the y.

    \(\begin{aligned} xy+x=y \\ xy−y=−x \\ y(x−1)=−x \end{aligned}\)

    Divide by \((x−1)\) to get \(y\) by itself.


    Finally, multiply the right side by \(\dfrac{−1}{−1}\).


    Therefore the inverse of f is \(f^{−1}(x)=\dfrac{x}{1−x}\).

    The symbol \(f^{−1}\) is read “f inverse” and is not the reciprocal of f.

    Finding the Inverse of a Function

    1. Find the inverse of \(f(x)=\dfrac{1}{x−5}\) algebraically.

    To find the inverse algebraically, switch \(f(x)\) to \(y\) and then switch \(x\) and \(y\).

    \(\begin{aligned} y&=1x−5\\ x&=1y−5 \\ x(y−5)&=1 \\ xy−5x&=1 \\ xy&=5x+1 \\ y&=\dfrac{5x+1}{x}\end{aligned}\)

    2. Find the inverse of \(f(x)=5 \sin^{−1} (\dfrac{2}{x−3})\)

    f(x) &=5 \sin ^{-1}\left(\dfrac{2}{x-3}\right) \\
    x &=5 \sin ^{-1}\left(\dfrac{2}{y-3}\right) \\
    \dfrac{x}{5} &=\sin ^{-1}\left(\dfrac{2}{y-3}\right) \\
    \sin \dfrac{x}{5} &=\left(\dfrac{2}{y-3}\right) \\
    (y-3) \sin \dfrac{x}{5} &=2 \\
    (y-3) &=\dfrac{2}{\sin \dfrac{x}{5}} \\
    y &=\dfrac{2}{\sin \dfrac{x}{5}}+3

    3. Find the inverse of the trigonometric function \(f(x)=4 \tan^{−1} (3x+4)\)

    x &=4 \tan ^{-1}(3 y+4) \\
    \dfrac{x}{4} &=\tan ^{-1}(3 y+4) \\
    \tan \dfrac{x}{4} &=3 y+4 \\
    \tan \dfrac{x}{4}-4 &=3 y \\
    \dfrac{\tan \dfrac{x}{4}-4}{3} &=y \\
    f^{-1}(x) &=\dfrac{\tan \dfrac{x}{4}-4}{3}

    Example \(\PageIndex{1}\)

    Earlier, you were asked to find the inverse of a function.


    Since the original function is:


    You can first switch all of the "\(x\)" and "\(y\)" values:


    You can then rearrange the equation and isolate "y":

    x(y+7)=2 y \\
    x y+7 x=2 y \\
    x y-2 y=-7 x \\
    y(x-2)=-7 x \\
    y=\dfrac{-7 x}{x-2}

    The inverse function is written as \(f^{−1}(x)=\dfrac{−7x}{x−2}\)

    Example \(\PageIndex{2}\)

    Find the inverse of \(f(x)=2x^3−5\)


    f(x) &=2 x^{3}-5 \\
    y &=2 x^{3}-5 \\
    x &=2 y^{3}-5 \\
    x+5 &=2 y^{3} \\
    \dfrac{x+5}{2} &=y^{3} \\
    \sqrt[3]{\dfrac{x+5}{2}} &=y

    Example \(\PageIndex{3}\)

    Find the inverse of \(y=\dfrac{1}{3} \tan^{−1}(\dfrac{3}{4} x−5)\)


    y &=\dfrac{1}{3} \tan ^{-1}\left(\dfrac{3}{4} x-5\right) \\
    x &=\dfrac{1}{3} \tan ^{-1}\left(\dfrac{3}{4} y-5\right) \\
    3 x &=\tan ^{-1}\left(\dfrac{3}{4} y-5\right) \\
    \tan (3 x) &=\dfrac{3}{4} y-5 \\
    \tan (3 x)+5 &=\dfrac{3}{4} y \\
    \dfrac{4(\tan (3 x)+5)}{3} &=y

    Example \(\PageIndex{4}\)

    Find the inverse of \(g(x)=2 \sin(x−1)+4\)


    g(x) &=2 \sin (x-1)+4 \\
    y &=2 \sin (x-1)+4 \\
    x &=2 \sin (y-1)+4 \\
    x-4 &=2 \sin (y-1) \\
    \dfrac{x-4}{2} &=\sin (y-1) \\
    1+\sin ^{-1}\left(\dfrac{x-4}{2}\right) &=y


    Find the inverse of each function.

    1. \(f(x)=3x+5\)
    2. \(g(x)=0.2x−7\)
    3. \(h(x)=0.1x^2\)
    4. \(k(x)=5x+6\)
    5. \(f(x)=\sqrt{x−4}\)
    6. \(g(x)=(x)^{\dfrac{1}{3}}+1\)
    7. \(h(x)=(x+1)^3\)
    8. \(k(x)=\dfrac{x^2}{3}\)
    9. \(f(x)=−2+4 \sin^{−1} (x+7)\)
    10. \(g(x)=1+3 \tan^{−1}(2x+1)\)
    11. \(h(x)=4 \cos^{−1}(3x)\)
    12. \(k(x)=−1 \tan^{−1} (6x)\)
    13. \(j(x)=5+2 \sin^{−1}(x+5)\)
    14. \(m(x)=−2 \tan (3x+1)\)
    15. \(p(x)=5−6 \sin(\dfrac{x}{2})\)

    Review (Answers)

    To see the Review answers, open this PDF file and look for section 4.3.


    Term Definition
    Horizontal Line Test The horizontal line test says that if a horizontal line drawn anywhere through the graph of a function intersects the function in more than one location, then the function is not one-to-one and not invertible.
    One to One Function A function is one to one if its inverse is also a function. A one-to-one function passes both the horizontal and vertical line tests.
    Vertical Line Test The vertical line test says that if a vertical line drawn anywhere through the graph of a relation intersects the relation in more than one location, then the relation is not a function.

    Additional Resources

    Video: Inverse Functions

    Practice: Inverse Trig Functions using Algebra

    This page titled 2.2.6: Inverse Trig Functions using Algebra is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.

    CK-12 Foundation
    CK-12 Foundation is licensed under CK-12 Curriculum Materials License