Skip to main content
K12 LibreTexts

2.4.3: Composition of Trig Functions and Their Inverses

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

    Application of sine, cosine, tangent, or their inverses and then another function.

    You've considered trigonometric functions, and you've considered inverse functions, and now it's time consider how to compose trig functions and their inverses. If someone were to ask you to apply the inverse of a trig function to a different trig function, would you be able to do this? For example, can you find \(\sin^{−1}\left(\cos\left(\dfrac{3 \pi}{2}\right)\right)\)?

    Trigonometric Functions and Their Inverses

    In other sections, you learned that for a function \(f(f^{−1}(x))=x\) for all values of \(x\) for which \(f^{−1}(x)\) is defined. If this property is applied to the trigonometric functions, the following equations will be true whenever they are defined:

    \(\sin(\sin^{−1}(x))=x \qquad \cos(\cos^{−1}(x))=x \qquad \tan(\tan^{−1}(x))=x\)

    As well, you learned that \(f^{−1} (f(x))=x\) for all values of \(x\) for which \(f(x)\) is defined. If this property is applied to the trigonometric functions, the following equations that deal with finding an inverse trig function of a trig function, will only be true for values of \(x\) within the restricted domains.

    \(\sin^{−1}(\sin(x))=x \qquad \cos^{−1}\left(\cos(x)\right)=x \qquad \tan^{−1}\left(\tan(x)\right)=x\)

    These equations are better known as composite functions. However, it is not necessary to only have a function and its inverse acting on each other. In fact, it is possible to have composite function that are composed of one trigonometric function in conjunction with another different trigonometric function. The composite functions will become algebraic functions and will not display any trigonometry. Let’s investigate this phenomenon.

    When solving these types of problems, start with the function that is composed inside of the other and work your way out. Use the following problems as a guideline.

    1. Find \(\sin\left(\sin^{−1}\dfrac{\sqrt{2}}{2}\right)\).

    We know that \(\sin^{−1}\dfrac{\sqrt{2}}{2}=\dfrac{\pi}{4}\), within the defined restricted domain. Then, we need to find \(\sin \dfrac{\pi}{4}\), which is \(\dfrac{\sqrt{2}}{2}\). So, the above properties allow for a short cut. \(\sin\left(\sin^{−1}\dfrac{\sqrt{2}}{2}\right)=\dfrac{\sqrt{2}}{2}\), think of it like the sine and sine inverse cancel each other out and all that is left is the \(\dfrac{\sqrt{2}}{2}\).

    2. Without using technology, find the exact value of each of the following:

    a. \(\cos \left(\tan^{−1}\sqrt{3}\right)\)

    \(\cos\left(\tan^{−1}\sqrt{3}\right)\): First find \(\tan^{−1}\sqrt{3}\), which is \(\dfrac{\pi}{3}\). Then find \(\cos\dfrac{\pi}{3}\). Your final answer is \(\dfrac{1}{2}\). Therefore, \(\cos\left(\tan^{−1}\sqrt{3}\right)=\dfrac{1}{2}\).

    b. \(\tan \left(\sin^{−1}\left(−\dfrac{1}{2}\right)\right)\)

    \(\tan\left(\sin^{−1}\left(−\dfrac{1}{2}\right)\right)=\tan\left(−\dfrac{\pi}{6}\right)=−\sqrt{3}{3}\)

    c. \(\cos\left(\tan^{−1}(−1)\right)\)

    \(\cos\left(\tan^{−1}(−1)\right)=\cos^{−1}\left(−\dfrac{\pi}{4}\right)=\dfrac{\sqrt{2}}{2}\).

    d. \(\sin\left(\cos^{−1}\dfrac{\sqrt{2}}{2}\right)\)

    \(\sin\left(\cos^{−1}\dfrac{\sqrt{2}}{2}\right)=\sin \dfrac{\pi}{4}=\dfrac{\sqrt{2}}{2}\)

    Example \(\PageIndex{1}\)

    Earlier, you were asked to solve \(\sin^{−1}\left(\cos\left(\dfrac{3 \pi}{2}\right)\right)\).

    Solution

    To solve this problem: \(\sin^{−1}\left(\cos\left(\dfrac{3 \pi}{2}\right)\right)\), you can work outward.

    First find:

    \(\cos\left(\dfrac{3 \pi}{2}\right)=0\)

    Then find:

    \(\sin^{−1} 0=0\)

    or

    \(\sin^{−1} 0=\pi\)

    Example \(\PageIndex{2}\)

    Find the exact value of \(\cos^{−1}\dfrac{\sqrt{3}}{2}\), without a calculator, over its restricted domain.

    Solution

    \(\dfrac{\pi}{6}\)

    Example \(\PageIndex{3}\)

    Evaluate: \(\sin \left(\cos^{−1} \dfrac{5}{13}\right)\)

    Solution

    \(\begin{aligned} \cos \theta &=\dfrac{5}{13} \\ \sin\left(\cos^{−1}\left(\dfrac{5}{13}\right)\right) &=\sin \theta \\ \sin \theta & =\dfrac{12}{13} \end{aligned}\)

    Example \(\PageIndex{4}\)

    Evaluate: \(\tan \left(\sin^{−1}\left(−\dfrac{6}{11}\right)\right)\)

    Solution

    \(\tan\left(\sin^{−1}\left(−\dfrac{6}{11}\right)\right) \rightarrow \sin \theta =−\dfrac{6}{11}\).

    The third side is \(b=\sqrt{121−36}=\sqrt{85}\).

    \(\tan \theta =−\dfrac{6}{\sqrt{85}}=−\dfrac{6\sqrt{85}}{85}\)

    Review

    Without using technology, find the exact value of each of the following.

    1. \(\sin\left(\sin^{−1} \dfrac{1}{2}\right)\)
    2. \(\cos\left(\cos^{−1}\dfrac{\sqrt{3}}{2}\right)\)
    3. \(\tan\left(\tan^{−1}\sqrt{3}\right)\)
    4. \(\cos\left(\sin^{−1} \dfrac{1}{2}\right)\)
    5. \(\tan\left(\cos^{−1}1\right)\)
    6. \(\sin\left(\cos^{−1}\dfrac{\sqrt{2}}{2}\right)\)
    7. \(\sin^{−1}\left(\sin \dfrac{\pi}{2}\right)\)
    8. \(\cos^{−1}\left(\tan \dfrac{\pi}{4}\right)\)
    9. \(\tan^{−1}\left(\sin\pi \right)\)
    10. \(\sin^{−1}\left(\cos \dfrac{\pi}{3}\right)\)
    11. \(\cos^{−1}\left(\sin−\dfrac{\pi }{4}\right)\)
    12. \(\tan\left(\sin^{−1}0\right)\)
    13. \(\sin\left(\cos^{−1}\dfrac{\sqrt{3}}{2}\right)\)
    14. \(\tan^{−1}\left(cos \dfrac{\pi}{ 2}\right)\)
    15. \(\cos\left(\sin^{−1}\dfrac{\sqrt{2}}{2}\right)\)

    Review (Answers)

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

    Vocabulary

    Term Definition
    composite function A composite function is a function \(h(x)\) formed by using the output of one function \(g(x)\) as the input of another function f(x). Composite functions are written in the form \(h(x)=f(g(x))\) or \(h=f\circ g\).

    This page titled 2.4.3: Composition of Trig Functions and Their Inverses 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
    LICENSED UNDER
    CK-12 Foundation is licensed under CK-12 Curriculum Materials License
    • Was this article helpful?