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}\)
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\)
Find the exact value of \(\cos^{−1}\dfrac{\sqrt{3}}{2}\), without a calculator, over its restricted domain.
Solution
\(\dfrac{\pi}{6}\)
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}\)
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.
- \(\sin\left(\sin^{−1} \dfrac{1}{2}\right)\)
- \(\cos\left(\cos^{−1}\dfrac{\sqrt{3}}{2}\right)\)
- \(\tan\left(\tan^{−1}\sqrt{3}\right)\)
- \(\cos\left(\sin^{−1} \dfrac{1}{2}\right)\)
- \(\tan\left(\cos^{−1}1\right)\)
- \(\sin\left(\cos^{−1}\dfrac{\sqrt{2}}{2}\right)\)
- \(\sin^{−1}\left(\sin \dfrac{\pi}{2}\right)\)
- \(\cos^{−1}\left(\tan \dfrac{\pi}{4}\right)\)
- \(\tan^{−1}\left(\sin\pi \right)\)
- \(\sin^{−1}\left(\cos \dfrac{\pi}{3}\right)\)
- \(\cos^{−1}\left(\sin−\dfrac{\pi }{4}\right)\)
- \(\tan\left(\sin^{−1}0\right)\)
- \(\sin\left(\cos^{−1}\dfrac{\sqrt{3}}{2}\right)\)
- \(\tan^{−1}\left(cos \dfrac{\pi}{ 2}\right)\)
- \(\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\). |