Skip to main content
Mathematics LibreTexts

10.7: Trigonometric Equations and Inequalities

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

    In Sections 10.2, 10.3 and most recently 10.6, we solved some basic equations involving the trigonometric functions. Below we summarize the techniques we’ve employed thus far. Note that we use the neutral letter ‘\(u\)’ as the argument1 of each circular function for generality.

    Strategies for Solving Basic Equations Involving Trigonometric Functions

    • To solve \(\cos(u) = c\) or \(\sin(u) = c\) for \(-1 \leq c \leq 1\), first solve for \(u\) in the interval \([0,2\pi)\) and add integer multiples of the period \(2\pi\). If \(c < -1\) or of \(c > 1\), there are no real solutions.
    • To solve \(\sec(u) = c\) or \(\csc(u) = c\) for \(c \leq -1\) or \(c \geq 1\), convert to cosine or sine, respectively, and solve as above. If \(-1 < c < 1\), there are no real solutions.
    • To solve \(\tan(u) = c\) for any real number \(c\), first solve for \(u\) in the interval \(\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)\) and add integer multiples of the period \(\pi\).
    • To solve \(\cot(u) = c\) for \(c \neq 0\), convert to tangent and solve as above. If \(c = 0\), the solution to \(\cot(u) = 0\) is \(u = \frac{\pi}{2} + \pi k\) for integers \(k\).

    Using the above guidelines, we can comfortably solve \(\sin(x) = \frac{1}{2}\) and find the solution \(x = \frac{\pi}{6} + 2\pi k\) or \(x = \frac{5\pi}{6} + 2\pi k\) for integers \(k\). How do we solve something like \(\sin(3x) = \frac{1}{2}\)? Since this equation has the form \(\sin(u) = \frac{1}{2}\), we know the solutions take the form \(u= \frac{\pi}{6} + 2\pi k\) or \(u = \frac{5\pi}{6} + 2\pi k\) for integers \(k\). Since the argument of sine here is \(3x\), we have \(3x= \frac{\pi}{6} + 2\pi k\) or \(3x = \frac{5\pi}{6} + 2\pi k\) for integers \(k\). To solve for \(x\), we divide both sides2 of these equations by \(3\), and obtain \(x = \frac{\pi}{18} + \frac{2\pi}{3} k\) or \(x = \frac{5\pi}{18} + \frac{2\pi}{3}k\) for integers \(k\). This is the technique employed in the example below.

    Example 10.7.1

    Solve the following equations and check your answers analytically. List the solutions which lie in the interval \([0,2\pi)\) and verify them using a graphing utility.

    1. \(\cos(2x) = -\frac{\sqrt{3}}{2}\)
    2. \(\csc\left(\frac{1}{3}x-\pi \right) = \sqrt{2}\)
    3. \(\cot\left(3x \right) = 0\)
    4. \(\sec^{2}(x) = 4\)
    5. \(\tan\left(\frac{x}{2}\right) = -3\)
    6. \(\sin(2x) = 0.87\)

    Solution

    1. The solutions to \(\cos(u) =-\frac{\sqrt{3}}{2}\) are \(u = \frac{5\pi}{6} + 2\pi k\) or \(u = \frac{7\pi}{6} + 2\pi k\) for integers \(k\). Since the argument of cosine here is \(2x\), this means \(2x = \frac{5\pi}{6} + 2\pi k\) or \(2x = \frac{7\pi}{6} + 2\pi k\) for integers \(k\). Solving for \(x\) gives \(x = \frac{5\pi}{12} + \pi k\) or \(x = \frac{7\pi}{12} + \pi k\) for integers \(k\). To check these answers analytically, we substitute them into the original equation. For any integer \(k\) we have

      \[\begin{array}{rclr} \cos\left( 2\left[\frac{5\pi}{12} + \pi k\right]\right) & = & \cos\left(\frac{5\pi}{6} + 2\pi k\right) & \\[4pt] & = & \cos\left(\frac{5\pi}{6}\right) & \text{(the period of cosine is $2\pi$)} \\[4pt] & = & -\frac{\sqrt{3}}{2} & \\ \end{array}\nonumber\]

      Similarly, we find \(\cos\left( 2\left[\frac{7\pi}{12} + \pi k\right]\right) = \cos\left(\frac{7\pi}{6} + 2\pi k\right) = \cos\left(\frac{7\pi}{6}\right) = -\frac{\sqrt{3}}{2}\). To determine which of our solutions lie in \([0,2\pi)\), we substitute integer values for \(k\). The solutions we keep come from the values of \(k = 0\) and \(k =1\) and are \(x = \frac{5\pi}{12}\), \(\frac{7\pi}{12}\), \(\frac{17\pi}{12}\) and \(\frac{19\pi}{12}\). Using a calculator, we graph \(y = \cos(2x)\) and \(y = -\frac{\sqrt{3}}{2}\) over \([0,2\pi)\) and examine where these two graphs intersect. We see that the \(x\)-coordinates of the intersection points correspond to the decimal representations of our exact answers.

    2. Since this equation has the form \(\csc(u) = \sqrt{2}\), we rewrite this as \(\sin(u) = \frac{\sqrt{2}}{2}\) and find \(u = \frac{\pi}{4} + 2\pi k\) or \(u = \frac{3\pi}{4} + 2\pi k\) for integers \(k\). Since the argument of cosecant here is \(\left(\frac{1}{3}x-\pi \right)\),

      \[\frac{1}{3}x-\pi = \frac{\pi}{4} + 2\pi k \quad \text{or} \quad \frac{1}{3}x-\pi = \frac{3\pi}{4} + 2\pi k\nonumber\]

      To solve \(\frac{1}{3}x-\pi = \frac{\pi}{4} + 2\pi k\), we first add \(\pi\) to both sides

      \[\frac{1}{3} x = \frac{\pi}{4} + 2\pi k + \pi\nonumber\]

      A common error is to treat the ‘\(2\pi k\)’ and ‘\(\pi\)’ terms as ‘like’ terms and try to combine them when they are not.3 We can, however, combine the ‘\(\pi\)’ and ‘\(\frac{\pi}{4}\)’ terms to get

      \[\frac{1}{3} x = \frac{5\pi}{4} + 2\pi k\nonumber\]

      We now finish by multiplying both sides by \(3\) to get

      \[x = 3 \left( \frac{5\pi}{4} + 2\pi k \right) = \frac{15 \pi}{4} + 6\pi k\nonumber\]

      Solving the other equation, \(\frac{1}{3}x-\pi = \frac{3\pi}{4} + 2\pi k\) produces \(x = \frac{21\pi}{4} + 6 \pi k\) for integers \(k\). To check the first family of answers, we substitute, combine line terms, and simplify.

      \[\begin{array}{rclr} \csc\left(\frac{1}{3} \left[ \frac{15\pi}{4} + 6 \pi k \right] - \pi \right) & = & \csc\left(\frac{5\pi}{4} + 2\pi k - \pi \right) & \\[4pt] & = & \csc\left(\frac{\pi}{4} + 2\pi k\right) & \\[4pt] & = & \csc\left(\frac{\pi}{4}\right) & \text{(the period of cosecant is $2\pi$)} \\ & = & \sqrt{2} & \\ \end{array}\nonumber\]

      The family \(x= \frac{21\pi}{4} + 6 \pi k\) checks similarly. Despite having infinitely many solutions, we find that none of them lie in \([0,2\pi)\). To verify this graphically, we use a reciprocal identity to rewrite the cosecant as a sine and we find that \(y = \frac{1}{\sin\left(\frac{1}{3}x-\pi\right)}\) and \(y =\sqrt{2}\) do not intersect at all over the interval \([0,2\pi)\).

      Screen Shot 2022-05-16 at 11.58.24 PM.png
    3. Since \(\cot(3x) = 0\) has the form \(\cot(u) = 0\), we know \(u = \frac{\pi}{2} + \pi k\), so, in this case, \(3x = \frac{\pi}{2} + \pi k\) for integers \(k\). Solving for \(x\) yields \(x = \frac{\pi}{6} + \frac{\pi}{3} k\). Checking our answers, we get

      \[\begin{array}{rclr} \cot\left(3\left[ \frac{\pi}{6} + \frac{\pi}{3} k\right]\right) & = & \cot\left(\frac{\pi}{2} + \pi k\right) & \\[4pt] & = & \cot\left(\frac{\pi}{2}\right) & \text{(the period of cotangent is $\pi$)} \\[4pt] & = & 0 & \\ \end{array}\nonumber\]

      As \(k\) runs through the integers, we obtain six answers, corresponding to \(k=0\) through \(k=5\), which lie in \([0, 2\pi)\): \(x = \frac{\pi}{6}\), \(\frac{\pi}{2}\), \(\frac{5\pi}{6}\), \(\frac{7\pi}{6}\), \(\frac{3\pi}{2}\) and \(\frac{11\pi}{6}\). To confirm these graphically, we must be careful. On many calculators, there is no function button for cotangent. We choose4 to use the quotient identity \(\cot(3x) = \frac{\cos(3x)}{\sin(3x)}\). Graphing \(y = \frac{\cos(3x)}{\sin(3x)}\) and \(y = 0\) (the \(x\)-axis), we see that the \(x\)-coordinates of the intersection points approximately match our solutions.

    4. The complication in solving an equation like \(\sec^{2}(x) = 4\) comes not from the argument of secant, which is just \(x\), but rather, the fact the secant is being squared. To get this equation to look like one of the forms listed on page 857, we extract square roots to get \(\sec(x) = \pm 2\). Converting to cosines, we have \(\cos(x) = \pm \frac{1}{2}\). For \(\cos(x) = \frac{1}{2}\), we get \(x = \frac{\pi}{3} + 2\pi k\) or \(x = \frac{5\pi}{3} + 2\pi k\) for integers \(k\). For \(\cos(x) = -\frac{1}{2}\), we get \(x = \frac{2\pi}{3} + 2\pi k\) or \(x = \frac{4\pi}{3} + 2\pi k\) for integers \(k\). If we take a step back and think of these families of solutions geometrically, we see we are finding the measures of all angles with a reference angle of \(\frac{\pi}{3}\). As a result, these solutions can be combined and we may write our solutions as \(x = \frac{\pi}{3} + \pi k\) and \(x = \frac{2\pi}{3} + \pi k\) for integers \(k\). To check the first family of solutions, we note that, depending on the integer \(k\), \(\sec\left(\frac{\pi}{3} + \pi k\right)\) doesn’t always equal \(\sec\left(\frac{\pi}{3}\right)\). However, it is true that for all integers \(k\), \(\sec\left(\frac{\pi}{3} + \pi k\right) = \pm \sec\left(\frac{\pi}{3}\right) = \pm 2\). (Can you show this?) As a result,

      \[\begin{array}{rclr} \sec^{2}\left(\frac{\pi}{3} + \pi k\right) & = & \left( \pm \sec\left(\frac{\pi}{3}\right)\right)^2 & \\[4pt] & = & (\pm 2)^2 & \\[4pt] & = & 4 & \\ \end{array}\nonumber\]

      The same holds for the family \(x =\frac{2\pi}{3} + \pi k\). The solutions which lie in \([0,2\pi)\) come from the values \(k = 0\) and \(k=1\), namely \(x = \frac{\pi}{3}\), \(\frac{2\pi}{3}\), \(\frac{4\pi}{3}\) and \(\frac{5\pi}{3}\). To confirm graphically, we use a reciprocal identity to rewrite the secant as cosine. The \(x\)-coordinates of the intersection points of \(y = \frac{1}{(\cos(x))^2}\) and \(y = 4\) verify our answers.

      Screen Shot 2022-05-17 at 12.00.38 AM.png
    5. The equation \(\tan\left(\frac{x}{2}\right) = -3\) has the form \(\tan(u) = -3\), whose solution is \(u = \arctan(-3) + \pi k\). Hence, \(\frac{x}{2} = \arctan(-3) + \pi k\), so \(x = 2\arctan(-3) + 2\pi k\) for integers \(k\). To check, we note

      \[\begin{array}{rclr} \tan\left(\frac{2\arctan(-3) + 2\pi k}{2}\right) & = & \tan\left( \arctan(-3) + \pi k \right) & \\[4pt] & = & \tan\left(\arctan(-3) \right) & \text{(the period of tangent is $\pi$)} \\[4pt] & = & -3 & (\text{See Theorem 10.27}) \\ \end{array}\nonumber\]

      To determine which of our answers lie in the interval \([0,2\pi)\), we first need to get an idea of the value of \(2\arctan(-3)\). While we could easily find an approximation using a calculator,5 we proceed analytically. Since \(-3 < 0\), it follows that \(-\frac{\pi}{2} < \arctan(-3) < 0\). Multiplying through by \(2\) gives \(-\pi < 2\arctan(-3) < 0\). We are now in a position to argue which of the solutions \(x = 2\arctan(-3) + 2\pi k\) lie in \([0,2\pi)\). For \(k = 0\), we get \(x = 2\arctan(-3) < 0\), so we discard this answer and all answers \(x = 2\arctan(-3) + 2\pi k\) where \(k < 0\). Next, we turn our attention to \(k = 1\) and get \(x = 2\arctan(-3) + 2\pi\). Starting with the inequality \(-\pi < 2\arctan(-3) < 0\), we add \(2\pi\) and get \(\pi < 2\arctan(-3) +2\pi < 2\pi\). This means \(x = 2\arctan(-3) + 2\pi\) lies in \([0,2\pi)\). Advancing \(k\) to \(2\) produces \(x = 2\arctan(-3) + 4\pi\). Once again, we get from \(-\pi < 2\arctan(-3) < 0\) that \(3\pi < 2\arctan(-3) + 4\pi < 4\pi\). Since this is outside the interval \([0,2\pi)\), we discard \(x = 2\arctan(-3) + 4\pi\) and all solutions of the form \(x = 2\arctan(-3) + 2\pi k\) for \(k > 2\). Graphically, we see \(y = \tan\left(\frac{x}{2}\right)\) and \(y = -3\) intersect only once on \([0,2\pi)\) at \(x = 2\arctan(-3) + 2\pi\approx 3.7851\).

    6. To solve \(\sin(2x) = 0.87\), we first note that it has the form \(\sin(u) = 0.87\), which has the family of solutions \(u = \arcsin(0.87) + 2\pi k\) or \(u =\pi - \arcsin(0.87) + 2\pi k\) for integers \(k\). Since the argument of sine here is \(2x\), we get \(2x = \arcsin(0.87) + 2\pi k\) or \(2x =\pi - \arcsin(0.87) + 2\pi k\) which gives \(x = \frac{1}{2} \arcsin(0.87) + \pi k\) or \(x =\frac{\pi}{2} - \frac{1}{2}\arcsin(0.87) + \pi k\) for integers \(k\). To check,

      \[\begin{array}{rclr} \sin\left(2\left[\frac{1}{2} \arcsin(0.87) + \pi k\right]\right) & = & \sin\left(\arcsin(0.87) + 2\pi k\right) & \\[4pt] & = & \sin\left(\arcsin(0.87)\right) & \text{(the period of sine is $2\pi$)} \\[4pt] & = & 0.87& (\text{See Theorem 10.26})\\ \end{array}\nonumber\]

      For the family \(x =\frac{\pi}{2} - \frac{1}{2}\arcsin(0.87) + \pi k\), we get

      \[\begin{array}{rclr} \sin\left(2\left[\frac{\pi}{2} - \frac{1}{2} \arcsin(0.87) + \pi k\right]\right) & = & \sin\left(\pi - \arcsin(0.87) + 2\pi k\right) & \\[4pt] & = & \sin\left(\pi - \arcsin(0.87)\right) & \text{(the period of sine is $2\pi$)} \\[4pt] & = & \sin\left(\arcsin(0.87)\right) & \text{($\sin(\pi - t) = \sin(t)$)} \\[4pt] & = & 0.87& (\text{See Theorem 10.26}) \\ \end{array}\nonumber\]

      To determine which of these solutions lie in \([0,2\pi)\), we first need to get an idea of the value of \(x=\frac{1}{2} \arcsin(0.87)\). Once again, we could use the calculator, but we adopt an analytic route here. By definition, \(0 < \arcsin(0.87) < \frac{\pi}{2}\) so that multiplying through by \(\frac{1}{2}\) gives us \(0 < \frac{1}{2} \arcsin(0.87) < \frac{\pi}{4}\). Starting with the family of solutions \(x = \frac{1}{2} \arcsin(0.87) + \pi k\), we use the same kind of arguments as in our solution to number 5 above and find only the solutions corresponding to \(k =0\) and \(k=1\) lie in \([0,2\pi)\): \(x = \frac{1}{2} \arcsin(0.87)\) and \(x = \frac{1}{2} \arcsin(0.87) + \pi\). Next, we move to the family \(x =\frac{\pi}{2} - \frac{1}{2}\arcsin(0.87) + \pi k\) for integers \(k\). Here, we need to get a better estimate of \(\frac{\pi}{2} - \frac{1}{2} \arcsin(0.87)\). From the inequality \(0 < \frac{1}{2}\arcsin(0.87) < \frac{\pi}{4}\), we first multiply through by \(-1\) and then add \(\frac{\pi}{2}\) to get \(\frac{\pi}{2} > \frac{\pi}{2} -\frac{1}{2} \arcsin(0.87) > \frac{\pi}{4}\), or \(\frac{\pi}{4} < \frac{\pi}{2} -\frac{1}{2} \arcsin(0.87) < \frac{\pi}{2}\). Proceeding with the usual arguments, we find the only solutions which lie in \([0,2\pi)\) correspond to \(k = 0\) and \(k=1\), namely \(x =\frac{\pi}{2} - \frac{1}{2}\arcsin(0.87)\) and \(x = \frac{3\pi}{2} - \frac{1}{2}\arcsin(0.87)\). All told, we have found four solutions to \(\sin(2x) = 0.87\) in \([0,2\pi)\): \(x =\frac{1}{2} \arcsin(0.87)\), \(x=\frac{1}{2} \arcsin(0.87) + \pi\), \(x =\frac{\pi}{2} - \frac{1}{2}\arcsin(0.87)\) and \(x = \frac{3\pi}{2} - \frac{1}{2}\arcsin(0.87)\). By graphing \(y = \sin(2x)\) and \(y = 0.87\), we confirm our results.

      Screen Shot 2022-05-17 at 12.35.50 AM.png

    Each of the problems in Example 10.7.1 featured one trigonometric function. If an equation involves two different trigonometric functions or if the equation contains the same trigonometric function but with different arguments, we will need to use identities and Algebra to reduce the equation to the same form as those given on page 857.

    Example 10.7.2

    Solve the following equations and list the solutions which lie in the interval \([0,2\pi)\). Verify your solutions on \([0,2\pi)\) graphically.

    1. \(3\sin^{3}(x) = \sin^{2}(x)\)
    2. \(\sec^{2}(x) = \tan(x) + 3\)
    3. \(\cos(2x) = 3\cos(x) - 2\)
    4. \(\cos(3x) = 2- \cos(x)\)
    5. \(\cos(3x) = \cos(5x)\)
    6. \(\sin(2x) =\sqrt{3} \cos(x)\)
    7. \(\sin(x)\cos\left(\frac{x}{2}\right) + \cos(x)\sin\left(\frac{x}{2}\right) = 1\)
    8. \(\cos(x) - \sqrt{3} \sin(x) = 2\)

    Solution.

    1. We resist the temptation to divide both sides of \(3\sin^{3}(x) = \sin^{2}(x)\) by \(\sin^{2}(x)\) (What goes wrong if you do?) and instead gather all of the terms to one side of the equation and factor.

      \[\begin{array}{rclr} 3\sin^{3}(x) & = & \sin^{2}(x) & \\ 3\sin^{3}(x) - \sin^{2}(x) & = & 0 & \\ \sin^{2}(x) (3 \sin(x) - 1) & = & 0 & \text{Factor out $\sin^{2}(x)$ from both terms.} \\ \end{array}\nonumber\]

      We get \(\sin^{2}(x) = 0\) or \(3\sin(x) - 1 = 0\). Solving for \(\sin(x)\), we find \(\sin(x) = 0\) or \(\sin(x) = \frac{1}{3}\). The solution to the first equation is \(x = \pi k\), with \(x = 0\) and \(x = \pi\) being the two solutions which lie in \([0,2\pi)\). To solve \(\sin(x) = \frac{1}{3}\), we use the arcsine function to get \(x = \arcsin\left(\frac{1}{3}\right) + 2\pi k\) or \(x = \pi - \arcsin\left(\frac{1}{3}\right) + 2\pi k\) for integers \(k\). We find the two solutions here which lie in \([0,2\pi)\) to be \(x = \arcsin\left(\frac{1}{3}\right)\) and \(x = \pi - \arcsin\left(\frac{1}{3}\right)\). To check graphically, we plot \(y = 3(\sin(x))^3\) and \(y = (\sin(x))^2\) and find the \(x\)-coordinates of the intersection points of these two curves. Some extra zooming is required near \(x=0\) and \(x=\pi\) to verify that these two curves do in fact intersect four times.6

    2. Analysis of \(\sec^{2}(x) = \tan(x) + 3\) reveals two different trigonometric functions, so an identity is in order. Since \(\sec^{2}(x) = 1 + \tan^{2}(x)\), we get

      \[\begin{array}{rclr} \sec^{2}(x) & = & \tan(x) + 3 & \\ 1 + \tan^{2}(x) & = & \tan(x) + 3& \text{(Since $\sec^{2}(x) = 1 + \tan^{2}(x)$.)} \\ \tan^{2}(x) - \tan(x) -2 & = & 0 & \\ u^2 - u - 2 & = & 0 & \text{Let $u = \tan(x)$.} \\ (u + 1)(u - 2) & = & 0 & \\ \end{array}\nonumber\]

      This gives \(u = -1\) or \(u = 2\). Since \(u = \tan(x)\), we have \(\tan(x) = -1\) or \(\tan(x) = 2\). From \(\tan(x) = -1\), we get \(x = -\frac{\pi}{4} + \pi k\) for integers \(k\). To solve \(\tan(x) = 2\), we employ the arctangent function and get \(x = \arctan(2) + \pi k\) for integers \(k\). From the first set of solutions, we get \(x = \frac{3\pi}{4}\) and \(x = \frac{5\pi}{4}\) as our answers which lie in \([0,2\pi)\). Using the same sort of argument we saw in Example 10.7.1, we get \(x=\arctan(2)\) and \(x = \pi + \arctan(2)\) as answers from our second set of solutions which lie in \([0,2\pi)\). Using a reciprocal identity, we rewrite the secant as a cosine and graph \(y = \frac{1}{(\cos(x))^2}\) and \(y = \tan(x) + 3\) to find the \(x\)-values of the points where they intersect.

      Screen Shot 2022-05-17 at 1.00.20 AM.png
    3. In the equation \(\cos(2x) = 3\cos(x) - 2\), we have the same circular function, namely cosine, on both sides but the arguments differ. Using the identity \(\cos(2x) = 2\cos^{2}(x) - 1\), we obtain a ‘quadratic in disguise’ and proceed as we have done in the past.

      \[\begin{array}{rclr} \cos(2x) & = & 3\cos(x) - 2 & \\ 2\cos^{2}(x) -1 & = & 3\cos(x) -2 & \text{(Since $\cos(2x) = 2\cos^{2}(x) -1$.)} \\ 2\cos^{2}(x) - 3\cos(x) +1 & = & 0 & \\ 2 u^2 - 3 u + 1 & = & 0 & \text{Let $u = \cos(x)$.}\\ (2u - 1)(u - 1) & = & 0 & \\ \end{array}\nonumber\]

      This gives \(u = \frac{1}{2}\) or \(u = 1\). Since \(u = \cos(x)\), we get \(\cos(x) = \frac{1}{2}\) or \(\cos(x) = 1\). Solving \(\cos(x) = \frac{1}{2}\), we get \(x = \frac{\pi}{3} + 2\pi k\) or \(x = \frac{5\pi}{3} + 2\pi k\) for integers \(k\). From \(\cos(x) = 1\), we get \(x = 2\pi k\) for integers \(k\). The answers which lie in \([0,2\pi)\) are \(x =0\), \(\frac{\pi}{3}\), and \(\frac{5\pi}{3}\). Graphing \(y = \cos(2x)\) and \(y = 3\cos(x) - 2\), we find, after a little extra effort, that the curves intersect in three places on \([0,2\pi)\), and the \(x\)-coordinates of these points confirm our results.

    4. To solve \(\cos(3x) = 2- \cos(x)\), we use the same technique as in the previous problem. From Example 10.4.3, number 4, we know that \(\cos(3x) = 4\cos^{3}(x) - 3\cos(x)\). This transforms the equation into a polynomial in terms of \(\cos(x)\).

      \[\begin{array}{rclr} \cos(3x) & = &2- \cos(x) & \\ 4\cos^{3}(x) - 3\cos(x) & = & 2- \cos(x) & \\ 2\cos^{3}(x) - 2\cos(x) -2 & = & 0 & \\ 4 u^3 - 2 u -2 & = & 0 & \text{Let $u = \cos(x)$.} \\ \end{array}\nonumber\]

      To solve \(4u^3-2u-2=0\), we need the techniques in Chapter 3 to factor \(4u^3-2u-2\) into \((u-1)\left(4u^2+4u+2\right)\). We get either \(u-1 = 0\) or \(4u^2+2u+2=0\), and since the discriminant of the latter is negative, the only real solution to \(4u^3-2u-2=0\) is \(u = 1\). Since \(u = \cos(x)\), we get \(\cos(x) = 1\), so \(x = 2\pi k\) for integers \(k\). The only solution which lies in \([0,2\pi)\) is \(x = 0\). Graphing \(y = \cos(3x)\) and \(y = 2- \cos(x)\) on the same set of axes over \([0,2\pi)\) shows that the graphs intersect at what appears to be \((0,1)\), as required.

      Screen Shot 2022-05-17 at 1.02.48 AM.png
    5. While we could approach \(\cos(3x) = \cos(5x)\) in the same manner as we did the previous two problems, we choose instead to showcase the utility of the Sum to Product Identities. From \(\cos(3x) = \cos(5x)\), we get \(\cos(5x) - \cos(3x) = 0\), and it is the presence of \(0\) on the right hand side that indicates a switch to a product would be a good move.7 Using Theorem 10.21, we have that \(\cos(5x) - \cos(3x) = - 2 \sin\left( \frac{5x + 3x}{2}\right)\sin\left( \frac{5x - 3x}{2}\right) = -2 \sin(4x)\sin(x)\). Hence, the equation \(\cos(5x) = \cos(3x)\) is equivalent to \(-2 \sin(4x) \sin(x) = 0\). From this, we get \(\sin(4x) = 0\) or \(\sin(x)\) = 0. Solving \(\sin(4x) = 0\) gives \(x = \frac{\pi}{4} k\) for integers \(k\), and the solution to \(\sin(x) = 0\) is \(x = \pi k\) for integers \(k\). The second set of solutions is contained in the first set of solutions,8 so our final solution to \(\cos(5x) = \cos(3x)\) is \(x = \frac{\pi}{4} k\) for integers \(k\). There are eight of these answers which lie in \([0,2\pi)\): \(x = 0\), \(\frac{\pi}{4}\), \(\frac{\pi}{2}\), \(\frac{3\pi}{4}\), \(\pi\), \(\frac{5\pi}{4}\), \(\frac{3\pi}{2}\) and \(\frac{7\pi}{4}\). Our plot of the graphs of \(y = \cos(3x)\) and \(y = \cos(5x)\) below (after some careful zooming) bears this out.
    6. In examining the equation \(\sin(2x) =\sqrt{3} \cos(x)\), not only do we have different circular functions involved, namely sine and cosine, we also have different arguments to contend with, namely \(2x\) and \(x\). Using the identity \(\sin(2x) = 2 \sin(x) \cos(x)\) makes all of the arguments the same and we proceed as we would solving any nonlinear equation – gather all of the nonzero terms on one side of the equation and factor.

      \[\begin{array}{rclr} \sin(2x) & = & \sqrt{3} \cos(x) & \\ 2 \sin(x) \cos(x) & = & \sqrt{3} \cos(x) & \text{(Since $\sin(2x) = 2\sin(x) \cos(x)$.)} \\ 2\sin(x) \cos(x) - \sqrt{3} \cos(x) & = & 0 & \\ \cos(x) (2 \sin(x) - \sqrt{3}) & = & 0 & \\ \end{array}\nonumber\]

      from which we get \(\cos(x) = 0\) or \(\sin(x) = \frac{\sqrt{3}}{2}\). From \(\cos(x) = 0\), we obtain \(x = \frac{\pi}{2} + \pi k\) for integers \(k\). From \(\sin(x) = \frac{\sqrt{3}}{2}\), we get \(x = \frac{\pi}{3} + 2\pi k\) or \(x = \frac{2\pi}{3} + 2\pi k\) for integers \(k\). The answers which lie in \([0,2\pi)\) are \(x = \frac{\pi}{2}\), \(\frac{3\pi}{2}\), \(\frac{\pi}{3}\) and \(\frac{2\pi}{3}\). We graph \(y = \sin(2x)\) and \(y = \sqrt{3} \cos(x)\) and, after some careful zooming, verify our answers.

      Screen Shot 2022-05-17 at 1.06.28 AM.png
    7. Unlike the previous problem, there seems to be no quick way to get the circular functions or their arguments to match in the equation \(\sin(x)\cos\left(\frac{x}{2}\right) + \cos(x)\sin\left(\frac{x}{2}\right) = 1\). If we stare at it long enough, however, we realize that the left hand side is the expanded form of the sum formula for \(\sin\left(x + \frac{x}{2}\right)\). Hence, our original equation is equivalent to \(\sin\left(\frac{3}{2} x\right) = 1\). Solving, we find \(x = \frac{\pi}{3} + \frac{4\pi}{3} k\) for integers \(k\). Two of these solutions lie in \([0,2\pi)\): \(x = \frac{\pi}{3}\) and \(x = \frac{5\pi}{3}\). Graphing \(y = \sin(x)\cos\left(\frac{x}{2}\right) + \cos(x)\sin\left(\frac{x}{2}\right)\) and \(y = 1\) validates our solutions.
    8. With the absence of double angles or squares, there doesn’t seem to be much we can do. However, since the arguments of the cosine and sine are the same, we can rewrite the left hand side of this equation as a sinusoid.9 To fit \(f(x) = \cos(x) - \sqrt{3} \sin(x)\) to the form \(A\sin(\omega t + \phi) + B\), we use what we learned in Example 10.5.3 and find \(A = 2\), \(B = 0\), \(\omega = 1\) and \(\phi = \frac{5\pi}{6}\). Hence, we can rewrite the equation \(\cos(x) - \sqrt{3} \sin(x) = 2\) as \(2 \sin\left(x + \frac{5\pi}{6}\right) = 2\), or \(\sin\left(x + \frac{5\pi}{6}\right) = 1\). Solving the latter, we get \(x = - \frac{\pi}{3} + 2\pi k\) for integers \(k\). Only one of these solutions, \(x = \frac{5\pi}{3}\), which corresponds to \(k=1\), lies in \([0,2\pi)\). Geometrically, we see that \(y = \cos(x) - \sqrt{3} \sin(x)\) and \(y = 2\) intersect just once, supporting our answer.

      Screen Shot 2022-05-17 at 1.15.16 AM.png

    We repeat here the advice given when solving systems of nonlinear equations in section 8.7 – when it comes to solving equations involving the trigonometric functions, it helps to just try something.

    Next, we focus on solving inequalities involving the trigonometric functions. Since these functions are continuous on their domains, we may use the sign diagram technique we’ve used in the past to solve the inequalities.10

    Example 10.7.3

    Solve the following inequalities on \([0,2\pi)\). Express your answers using interval notation and verify your answers graphically.

    1. \(2\sin(x) \leq 1\)
    2. \(\sin(2x) > \cos(x)\)
    3. \(\tan(x) \geq 3\)

    Solution

    1. We begin solving \(2\sin(x) \leq 1\) by collecting all of the terms on one side of the equation and zero on the other to get \(2\sin(x) - 1 \leq 0\). Next, we let \(f(x) = 2\sin(x) - 1\) and note that our original inequality is equivalent to solving \(f(x) \leq 0\). We now look to see where, if ever, \(f\) is undefined and where \(f(x) = 0\). Since the domain of \(f\) is all real numbers, we can immediately set about finding the zeros of \(f\). Solving \(f(x) = 0\), we have \(2\sin(x) - 1=0\) or \(\sin(x) = \frac{1}{2}\). The solutions here are \(x = \frac{\pi}{6} + 2\pi k\) and \(x = \frac{5\pi}{6} + 2\pi k\) for integers \(k\). Since we are restricting our attention to \([0,2\pi)\), only \(x = \frac{\pi}{6}\) and \(x = \frac{5\pi}{6}\) are of concern to us. Next, we choose test values in \([0,2\pi)\) other than the zeros and determine if \(f\) is positive or negative there. For \(x = 0\) we have \(f(0) = -1\), for \(x = \frac{\pi}{2}\) we get \(f\left(\frac{\pi}{2}\right) = 1\) and for \(x = \pi\) we get \(f(\pi) = -1\). Since our original inequality is equivalent to \(f(x) \leq 0\), we are looking for where the function is negative \((-)\) or \(0\), and we get the intervals \(\left[0, \frac{\pi}{6}\right] \cup \left[\frac{5\pi}{6}, 2\pi \right)\). We can confirm our answer graphically by seeing where the graph of \(y = 2\sin(x)\) crosses or is below the graph of \(y = 1\).

      Screen Shot 2022-05-17 at 1.24.57 AM.png

    2. We first rewrite \(\sin(2x) > \cos(x)\) as \(\sin(2x) - \cos(x) > 0\) and let \(f(x) = \sin(2x) - \cos(x)\). Our original inequality is thus equivalent to \(f(x) > 0\). The domain of \(f\) is all real numbers, so we can advance to finding the zeros of \(f\). Setting \(f(x) = 0\) yields \(\sin(2x) - \cos(x) = 0\), which, by way of the double angle identity for sine, becomes \(2\sin(x)\cos(x) - \cos(x) = 0\) or \(\cos(x) (2\sin(x) - 1) = 0\). From \(\cos(x) = 0\), we get \(x = \frac{\pi}{2} + \pi k\) for integers \(k\) of which only \(x = \frac{\pi}{2}\) and \(x = \frac{3\pi}{2}\) lie in \([0,2\pi)\). For \(2\sin(x) - 1 = 0\), we get \(\sin(x) = \frac{1}{2}\) which gives \(x = \frac{\pi}{6} + 2\pi k\) or \(x = \frac{5\pi}{6} + 2\pi k\) for integers \(k\). Of those, only \(x = \frac{\pi}{6}\) and \(x = \frac{5\pi}{6}\) lie in \([0,2\pi)\). Next, we choose our test values. For \(x =0\) we find \(f(0) = -1\); when \(x = \frac{\pi}{4}\) we get \(f\left(\frac{\pi}{4}\right) =1 - \frac{\sqrt{2}}{2} = \frac{2 - \sqrt{2}}{2}\); for \(x = \frac{3\pi}{4}\) we get \(f\left(\frac{3\pi}{4}\right) =-1 + \frac{\sqrt{2}}{2} = \frac{\sqrt{2} - 2}{2}\); when \(x=\pi\) we have \(f(\pi) = 1\), and lastly, for \(x = \frac{7\pi}{4}\) we get \(f\left(\frac{7\pi}{4}\right) = -1 - \frac{\sqrt{2}}{2} = \frac{-2 - \sqrt{2}}{2}\). We see \(f(x) > 0\) on \(\left(\frac{\pi}{6}, \frac{\pi}{2}\right) \cup \left(\frac{5\pi}{6}, \frac{3\pi}{2}\right)\), so this is our answer. We can use the calculator to check that the graph of \(y = \sin(2x)\) is indeed above the graph of \(y = \cos(x)\) on those intervals.

      Screen Shot 2022-05-17 at 1.29.58 AM.png

    3. Proceeding as in the last two problems, we rewrite \(\tan(x) \geq 3\) as \(\tan(x) - 3 \geq 0\) and let \(f(x) = \tan(x) - 3\). We note that on \([0,2\pi)\), \(f\) is undefined at \(x =\frac{\pi}{2}\) and \(\frac{3\pi}{2}\), so those values will need the usual disclaimer on the sign diagram.11 Moving along to zeros, solving \(f(x) = \tan(x) - 3 = 0\) requires the arctangent function. We find \(x = \arctan(3) + \pi k\) for integers \(k\) and of these, only \(x = \arctan(3)\) and \(x = \arctan(3) + \pi\) lie in \([0,2\pi)\). Since \(3 > 0\), we know \(0 < \arctan(3) < \frac{\pi}{2}\) which allows us to position these zeros correctly on the sign diagram. To choose test values, we begin with \(x=0\) and find \(f(0) = -3\). Finding a convenient test value in the interval \(\left(\arctan(3), \frac{\pi}{2}\right)\) is a bit more challenging. Keep in mind that the arctangent function is increasing and is bounded above by \(\frac{\pi}{2}\). This means that the number \(x = \arctan(117)\) is guaranteed12 to lie between \(\arctan(3)\) and \(\frac{\pi}{2}\). We see that \(f(\arctan(117)) = \tan(\arctan(117)) - 3 = 114\). For our next test value, we take \(x = \pi\) and find \(f(\pi) = -3\). To find our next test value, we note that since \(\arctan(3) < \arctan(117) < \frac{\pi}{2}\), it follows13 that \(\arctan(3) + \pi < \arctan(117) + \pi < \frac{3\pi}{2}\). Evaluating \(f\) at \(x = \arctan(117) + \pi\) yields \(f(\arctan(117)+\pi) = \tan(\arctan(117) + \pi) -3 = \tan(\arctan(117)) - 3 = 114\). We choose our last test value to be \(x = \frac{7\pi}{4}\) and find \(f\left(\frac{7\pi}{4}\right) = -4\). Since we want \(f(x) \geq 0\), we see that our answer is \(\left[ \arctan(3), \frac{\pi}{2}\right) \cup \left[\arctan(3)+\pi, \frac{3\pi}{2}\right)\). Using the graphs of \(y = \tan(x)\) and \(y = 3\), we see when the graph of the former is above (or meets) the graph of the latter.

      Screen Shot 2022-05-17 at 2.48.49 PM.png

    We close this section with an example that puts solving equations and inequalities to good use – finding domains of functions.

    Example 10.7.4

    Express the domain of the following functions using extended interval notation.14

    1. \(f(x) = \csc\left(2x + \frac{\pi}{3}\right)\)
    2. \(f(x) = \dfrac{\sin(x)}{2\cos(x) - 1}\)
    3. \(f(x) = \sqrt{1 - \cot(x)}\)

    Solution

    1. To find the domain of \(f(x) = \csc\left(2x + \frac{\pi}{3}\right)\), we rewrite \(f\) in terms of sine as \(f(x) = \frac{1}{\sin\left(2x + \frac{\pi}{3}\right)}\). Since the sine function is defined everywhere, our only concern comes from zeros in the denominator. Solving \(\sin\left(2x + \frac{\pi}{3}\right) = 0\), we get \(x = -\frac{\pi}{6} + \frac{\pi}{2} k\) for integers \(k\). In set-builder notation, our domain is \(\left\{x: x \neq-\frac{\pi}{6}+\frac{\pi}{2} k \text { for integers } k\right\}\). To help visualize the domain, we follow the old mantra ‘When in doubt, write it out!’ We get \(\left\{x: x \neq-\frac{\pi}{6}, \frac{2 \pi}{6},-\frac{4 \pi}{6}, \frac{5 \pi}{6},-\frac{7 \pi}{6}, \frac{8 \pi}{6}, \ldots\right\}\), where we have kept the denominators \(6\) throughout to help see the pattern. Graphing the situation on a numberline, we have

      Screen Shot 2022-05-17 at 3.05.46 PM.png

      Proceeding as we did on page 756 in Section 10.3.1, we let \(x_{k}\) denote the \(k\)th number excluded from the domain and we have \(x_{k} = -\frac{\pi}{6} + \frac{\pi}{2} k = \frac{(3k-1)\pi}{6}\) for integers \(k\). The intervals which comprise the domain are of the form \(\left(x_{k}, x_{k+1} \right) = \left(\frac{(3k-1)\pi}{6}, \frac{(3k+2)\pi}{6} \right)\) as \(k\) runs through the integers. Using extended interval notation, we have that the domain is

      \[\bigcup_{k = -\infty}^{\infty} \left(\dfrac{(3k-1)\pi}{6}, \dfrac{(3k+2)\pi}{6} \right)\nonumber\]

      We can check our answer by substituting in values of \(k\) to see that it matches our diagram.

    2. Since the domains of \(\sin(x)\) and \(\cos(x)\) are all real numbers, the only concern when finding the domain of \(f(x) = \frac{\sin(x)}{2\cos(x) - 1}\) is division by zero so we set the denominator equal to zero and solve. From \(2\cos(x) - 1 = 0\) we get \(\cos(x) = \frac{1}{2}\) so that \(x = \frac{\pi}{3} + 2\pi k\) or \(x = \frac{5\pi}{3} + 2\pi k\) for integers \(k\). Using set-builder notation, the domain is \(\left\{x: x \neq \frac{\pi}{3}+2 \pi k \text { and } x \neq \frac{5 \pi}{3}+2 \pi k \text { for integers } k\right\}\), or \(\left\{ x : x \neq \pm \frac{\pi}{3}, \pm \frac{5\pi}{3}, \pm \frac{7\pi}{3}, \pm \frac{11\pi}{3}, \ldots \right\}\), so we have

      Screen Shot 2022-05-17 at 3.09.46 PM.png

      Unlike the previous example, we have two different families of points to consider, and we present two ways of dealing with this kind of situation. One way is to generalize what we did in the previous example and use the formulas we found in our domain work to describe the intervals. To that end, we let \(a_{k} = \frac{\pi}{3} + 2\pi k = \frac{(6k+1)\pi}{3}\) and \(b_{k} = \frac{5\pi}{3} + 2\pi k = \frac{(6k+5) \pi}{3}\) for integers \(k\). The goal now is to write the domain in terms of the \(a\)’s an \(b\)’s. We find \(a_0 = \frac{\pi}{3}\), \(a_{1} = \frac{7\pi}{3}\), \(a_{-1} = -\frac{5\pi}{3}\), \(a_{2} = \frac{13\pi}{3}\), \(a_{-2} = -\frac{11\pi}{3}\), \(b_0 = \frac{5\pi}{3}\), \(b_{1} = \frac{11\pi}{3}\), \(b_{-1} = -\frac{\pi}{3}\), \(b_{2} = \frac{17\pi}{3}\) and \(b_{-2} = -\frac{7\pi}{3}\). Hence, in terms of the \(a\)’s and \(b\)’s, our domain is

      \[\ldots\left(a_{-2}, b_{-2}\right) \cup\left(b_{-2}, a_{-1}\right) \cup\left(a_{-1}, b_{-1}\right) \cup\left(b_{-1}, a_{0}\right) \cup\left(a_{0}, b_{0}\right) \cup\left(b_{0}, a_{1}\right) \cup\left(a_{1}, b_{1}\right) \cup \ldots\nonumber\]

      If we group these intervals in pairs, \(\left(a_{-2}, b_{-2} \right) \cup \left(b_{-2}, a_{-1} \right)\), \(\left(a_{-1}, b_{-1} \right)\cup \left(b_{-1}, a_0 \right)\), \(\left(a_0, b_0 \right)\cup \left(b_0, a_{1} \right)\) and so forth, we see a pattern emerge of the form \(\left(a_{k}, b_{k} \right)\cup \left(b_{k}, a_{k+1} \right)\) for integers \(k\) so that our domain can be written as

      \[\bigcup_{k=-\infty}^{\infty}\left(a_{k}, b_{k}\right) \cup\left(b_{k}, a_{k+1}\right)=\bigcup_{k=-\infty}^{\infty}\left(\frac{(6 k+1) \pi}{3}, \frac{(6 k+5) \pi}{3}\right) \cup\left(\frac{(6 k+5) \pi}{3}, \frac{(6 k+7) \pi}{3}\right)\nonumber\]

      A second approach to the problem exploits the periodic nature of \(f\). Since \(\cos(x)\) and \(\sin(x)\) have period \(2\pi\), it’s not too difficult to show the function \(f\) repeats itself every \(2\pi\) units.15 This means if we can find a formula for the domain on an interval of length \(2\pi\), we can express the entire domain by translating our answer left and right on the \(x\)-axis by adding integer multiples of \(2\pi\). One such interval that arises from our domain work is \(\left[\frac{\pi}{3}, \frac{7\pi}{3}\right]\). The portion of the domain here is \(\left(\frac{\pi}{3}, \frac{5\pi}{3}\right) \cup \left(\frac{5\pi}{3}, \frac{7\pi}{3}\right)\). Adding integer multiples of \(2\pi\), we get the family of intervals \(\left(\frac{\pi}{3} + 2\pi k, \frac{5\pi}{3} + 2\pi k \right) \cup \left(\frac{5\pi}{3} + 2\pi k, \frac{7\pi}{3} + 2\pi k\right)\) for integers \(k\). We leave it to the reader to show that getting common denominators leads to our previous answer.

    3. To find the domain of \(f(x) = \sqrt{1-\cot(x)}\), we first note that, due to the presence of the \(\cot(x)\) term, \(x \neq \pi k\) for integers \(k\). Next, we recall that for the square root to be defined, we need \(1 - \cot(x) \geq 0\). Unlike the inequalities we solved in Example 10.7.3, we are not restricted here to a given interval. Our strategy is to solve this inequality over \((0,\pi)\) (the same interval which generates a fundamental cycle of cotangent) and then add integer multiples of the period, in this case, \(\pi\). We let \(g(x) = 1 - \cot(x)\) and set about making a sign diagram for \(g\) over the interval \((0,\pi)\) to find where \(g(x) \geq 0\). We note that \(g\) is undefined for \(x = \pi k\) for integers \(k\), in particular, at the endpoints of our interval \(x = 0\) and \(x = \pi\). Next, we look for the zeros of \(g\). Solving \(g(x) = 0\), we get \(\cot(x) = 1\) or \(x = \frac{\pi}{4} + \pi k\) for integers \(k\) and only one of these, \(x = \frac{\pi}{4}\), lies in \((0,\pi)\). Choosing the test values \(x = \frac{\pi}{6}\) and \(x = \frac{\pi}{2}\), we get \(g\left(\frac{\pi}{6}\right) = 1 - \sqrt{3}\), and \(g\left(\frac{\pi}{2}\right) = 1\).

      Screen Shot 2022-05-17 at 3.17.28 PM.png

      We find \(g(x) \geq 0\) on \(\left[\frac{\pi}{4}, \pi \right)\). Adding multiples of the period we get our solution to consist of the intervals \(\left[\frac{\pi}{4} + \pi k, \pi + \pi k \right) = \left[\frac{(4k+1)\pi}{4}, (k+1)\pi \right)\). Using extended interval notation, we express our final answer as

      \[\bigcup_{k = -\infty}^{\infty} \left[\dfrac{(4k+1)\pi}{4}, (k+1)\pi \right)\nonumber\]

    We close this section with an example which demonstrates how to solve equations and inequalities involving the inverse trigonometric functions.

    Example 10.7.5

    Solve the following equations and inequalities analytically. Check your answers using a graphing utility.

    1. \(\arcsin (2 x)=\frac{\pi}{3}\)
    2. \(4 \arccos (x)-3 \pi=0\)
    3. \(3 \operatorname{arcsec}(2 x-1)+\pi=2 \pi\)
    4. \(4 \arctan ^{2}(x)-3 \pi \arctan (x)-\pi^{2}=0\)
    5. \(\pi^{2}-4 \arccos ^{2}(x)<0\)
    6. \(4 \operatorname{arccot}(3 x)>\pi\)
    Solution
    1. To solve \(\arcsin (2 x)=\frac{\pi}{3}\), we first note that \(\frac{\pi}{3}\) is in the range of the arcsine function (so a solution exists!) Next, we exploit the inverse property of sine and arcsine from Theorem 10.26 \[\begin{aligned} \arcsin (2 x) &=\frac{\pi}{3} \\ \sin (\arcsin (2 x)) &=\sin \left(\frac{\pi}{3}\right) \\ 2 x &=\frac{\sqrt{3}}{2} \quad \text { Since } \sin (\arcsin (u))=u \\ x &=\frac{\sqrt{3}}{4} \end{aligned}\nonumber\] Graphing \(y=\arcsin (2 x)\) and the horizontal line \(y=\frac{\pi}{3}\), we see they intersect at \(\frac{\sqrt{3}}{4} \approx 0.4430\).
    2. Our first step in solving \(4 \arccos (x)-3 \pi=0\) is to isolate the arccosine. Doing so, we get \(\arccos (x)=\frac{3 \pi}{4}\). Since \(\frac{3 \pi}{4}\) is in the range of arccosine, we may apply Theorem 10.26 \[\begin{aligned} \arccos (x) &=\frac{3 \pi}{4} \\ \cos (\arccos (x)) &=\cos \left(\frac{3 \pi}{4}\right) \\ x &=-\frac{\sqrt{2}}{2} \quad \text { Since } \cos (\arccos (u))=u \end{aligned}\nonumber\] The calculator confirms \(y=4 \arccos (x)-3 \pi\) crosses \(y=0\) (the x-axis) at \(-\frac{\sqrt{2}}{2} \approx-0.7071\).

      Screen Shot 2022-05-17 at 3.34.27 PM.png

    3. From \(3 \operatorname{arcsec}(2 x-1)+\pi=2 \pi\), we get \(\operatorname{arcsec}(2 x-1)=\frac{\pi}{3}\). As we saw in Section 10.6, there are two possible ranges for the arcsecant function. Fortunately, both ranges contain \(\frac{\pi}{3}\). Applying Theorem 10.28 / 10.29, we get \[\begin{aligned} \operatorname{arcsec}(2 x-1) &=\frac{\pi}{3} \\ \sec (\operatorname{arcsec}(2 x-1)) &=\sec \left(\frac{\pi}{3}\right) \\ 2 x-1 &=2 \quad \text { Since } \sec (\operatorname{arcsec}(u))=u \\ x &=\frac{3}{2} \end{aligned}\nonumber\] To check using our calculator, we need to graph \(y=3 \operatorname{arcsec}(2 x-1)+\pi\). To do so, we make use of the identity \(\operatorname{arcsec}(u)=\arccos \left(\frac{1}{u}\right)\) from Theorems 10.28 and 10.29.16 We see the graph of \(y=3 \arccos \left(\frac{1}{2 x-1}\right)+\pi\) and the horizontal line \(y=2 \pi\) intersect at \(\frac{3}{2}=1.5\).
    4. With the presence of both \(\arctan ^{2}(x)\left(=(\arctan (x))^{2}\right)\) and \(\arctan (x)\), we substitute \(u=\arctan (x)\). The equation \(4 \arctan ^{2}(x)-3 \pi \arctan (x)-\pi^{2}=0\) becomes \(4 u^{2}-3 \pi u-\pi^{2}=0\). Factoring,17 we get \((4 u+\pi)(u-\pi)=0\), so \(u=\arctan (x)=-\frac{\pi}{4}\) or \(u=\arctan (x)=\pi\). Since \(-\frac{\pi}{4}\) is in the range of arctangent, but \(\pi\) is not, we only get solutions from the first equation. Using Theorem 10.27, we get \[\begin{aligned} \arctan (x) &=-\frac{\pi}{4} \\ \tan (\arctan (x)) &=\tan \left(-\frac{\pi}{4}\right) \\
      x &=-1 \quad \text { Since } \tan (\arctan (u))=u \end{aligned}\nonumber\] The calculator verifies our result.

      Screen Shot 2022-05-17 at 3.53.39 PM.png

    5. Since the inverse trigonometric functions are continuous on their domains, we can solve inequalities featuring these functions using sign diagrams. Since all of the nonzero terms of \(\pi^{2}-4 \arccos ^{2}(x)<0\) are on one side of the inequality, we let \(f(x)=\pi^{2}-4 \arccos ^{2}(x)\) and note the domain of \(f\) is limited by the \(\arccos (x)\) to [−1, 1]. Next, we find the zeros of \(f\) by setting \(f(x)=\pi^{2}-4 \arccos ^{2}(x)=0\). We get \(\arccos (x)=\pm \frac{\pi}{2}\), and since the range of arccosine is \([0, \pi]\), we focus our attention on \(\arccos (x)=\frac{\pi}{2}\). Using Theorem 10.26, we get \(x=\cos \left(\frac{\pi}{2}\right)=0\) as our only zero. Hence, we have two test intervals, [−1, 0) and (0, 1]. Choosing test values \(x=\pm 1\), we get \(f(-1)=-3 \pi^{2}<0\) and \(f(1)=\pi^{2}>0\). Since we are looking for where \(f(x)=\pi^{2}-4 \arccos ^{2}(x)<0\), our answer is [−1, 0). The calculator confirms that for these values of \(x\), the graph of \(y=\pi^{2}-4 \arccos ^{2}(x)\) is below \(y=0\) (the x-axis).

      Screen Shot 2022-05-17 at 4.12.50 PM.png

    6. To begin, we rewrite \(4 \operatorname{arccot}(3 x)>\pi \text { as } 4 \operatorname{arccot}(3 x)-\pi>0\). We let \(f(x)=4 \operatorname{arccot}(3 x)-\pi\), and note the domain of \(f\) is all real numbers, \((-\infty, \infty)\). To find the zeros of \(f\), we set \(f(x)=4 \operatorname{arccot}(3 x)-\pi=0\) and solve. We get \(\operatorname{arccot}(3 x)=\frac{\pi}{4}\), and since \(\frac{\pi}{4}\) is in the range of arccotangent, we may apply Theorem 10.27 and solve \[\begin{aligned} \operatorname{arccot}(3 x) &=\frac{\pi}{4} \\ \cot (\operatorname{arccot}(3 x)) &=\cot \left(\frac{\pi}{4}\right) \\ 3 x &=1 \quad \text { Since } \cot (\operatorname{arccot}(u))=u . \\ x &=\frac{1}{3} \end{aligned}\nonumber\] Next, we make a sign diagram for \(f\). Since the domain of \(f\) is all real numbers, and there is only one zero of \(f\), \(x=\frac{1}{3}\), we have two test intervals, \(\left(-\infty, \frac{1}{3}\right)\) and \(\left(\frac{1}{3}, \infty\right)\). Ideally, we wish to find test values \(x\) in these intervals so that \(\operatorname{arccot}(4 x)\) corresponds to one of our oft-used ‘common’ angles. After a bit of computation,18 we choose \(x = 0\) for \(x<\frac{1}{3}\) and for \(x>\frac{1}{3}\), we choose \(x=\frac{\sqrt{3}}{3}\). We find \(f(0)=\pi>0\) and \(f\left(\frac{\sqrt{3}}{3}\right)=-\frac{\pi}{3}<0\). Since we are looking for where \(f(x)=4 \operatorname{arccot}(3 x)-\pi>0\), we get our answer \(\left(-\infty, \frac{1}{3}\right)\). To check graphically, we use the technique in number 2c of Example 10.6.5 in Section 10.6 to graph \(y=4 \operatorname{arccot}(3 x)\) and we see it is above the horizontal line \(y=\pi \text { on }\left(-\infty, \frac{1}{3}\right)=(-\infty, 0 . \overline{3})\).

      Screen Shot 2022-05-17 at 4.23.31 PM.png

    10.7.1 Exercises

    In Exercises 1 - 18, find of the exact solutions of the equation and then list those solutions which are in the interval \([0, 2\pi)\).

    1. \(\sin \left( 5x \right) = 0\)
    2. \(\cos \left( 3x \right) = \dfrac{1}{2}\)
    3. \(\sin \left( -2x \right) = \dfrac{\sqrt{3}}{2}\)
    4. \(\tan \left( 6x \right) = 1\)
    5. \(\csc \left( 4x \right) = -1\)
    6. \(\sec \left( 3x \right) = \sqrt{2}\)
    7. \(\cot \left( 2x \right) = -\dfrac{\sqrt{3}}{3}\)
    8. \(\cos \left( 9x \right) = 9\)
    9. \(\sin \left( \dfrac{x}{3} \right) = \dfrac{\sqrt{2}}{2}\)
    10. \(\cos \left( x + \dfrac{5\pi}{6} \right) = 0\)
    11. \(\sin \left( 2x - \dfrac{\pi}{3} \right) = -\dfrac{1}{2}\)
    12. \(2\cos \left( x + \dfrac{7\pi}{4} \right) = \sqrt{3}\)
    13. \(\csc(x) = 0\)
    14. \(\tan \left( 2x - \pi \right) = 1\)
    15. \(\tan^{2} \left( x \right) = 3\)
    16. \(\sec^{2} \left( x \right) = \dfrac{4}{3}\)
    17. \(\cos^{2} \left( x \right) = \dfrac{1}{2}\)
    18. \(\sin^{2} \left( x \right) = \dfrac{3}{4}\)

    In Exercises 19 - 42, solve the equation, giving the exact solutions which lie in \([0, 2\pi)\)

    1. \(\sin \left( x \right) = \cos \left( x \right)\)
    2. \(\sin \left( 2x \right) = \sin \left( x \right)\)
    3. \(\sin \left( 2x \right) = \cos \left( x \right)\)
    4. \(\cos \left( 2x \right) = \sin \left( x \right)\)
    5. \(\cos \left( 2x \right) = \cos \left( x \right)\)
    6. \(\cos(2x) = 2 - 5\cos(x)\)
    7. \(3\cos(2x) + \cos(x) + 2 = 0\)
    8. \(\cos(2x) = 5\sin(x) - 2\)
    9. \(3\cos(2x) = \sin(x) + 2\)
    10. \(2\sec^{2}(x) = 3 - \tan(x)\)
    11. \(\tan^{2}(x) = 1-\sec(x)\)
    12. \(\cot^{2}(x) = 3\csc(x) - 3\)
    13. \(\sec(x) = 2\csc(x)\)
    14. \(\cos(x)\csc(x)\cot(x) = 6-\cot^{2}(x)\)
    15. \(\sin(2x) = \tan(x)\)
    16. \(\cot^{4}(x) = 4\csc^{2}(x) - 7\)
    17. \(\cos(2x) + \csc^{2}(x) = 0\)
    18. \(\tan^{3} \left( x \right) = 3\tan \left( x \right)\)
    19. \(\tan^{2} \left( x \right) = \dfrac{3}{2} \sec \left( x \right)\)
    20. \(\cos^{3} \left( x \right) = -\cos \left( x \right)\)
    21. \(\tan (2x) - 2\cos(x) = 0\)
    22. \(\csc^{3}(x) + \csc^{2}(x) = 4\csc(x) + 4\)
    23. \(2\tan(x) = 1 - \tan^{2}(x)\)
    24. \(\tan \left( x \right) = \sec \left( x \right)\)

    In Exercises 43 - 58, solve the equation, giving the exact solutions which lie in \([0, 2\pi)\)

    1. \(\sin(6x) \cos(x) = -\cos(6x) \sin(x)\)
    2. \(\sin(3x)\cos(x) = \cos(3x) \sin(x)\)
    3. \(\cos(2x)\cos(x) + \sin(2x)\sin(x) = 1\)
    4. \(\cos(5x)\cos(3x) - \sin(5x)\sin(3x) = \dfrac{\sqrt{3}}{2}\)
    5. \(\sin(x) + \cos(x) = 1\)
    6. \(\sin(x) + \sqrt{3} \cos(x) = 1\)
    7. \(\sqrt{2} \cos(x) - \sqrt{2} \sin(x) = 1\)
    8. \(\sqrt{3} \sin(2x) + \cos(2x) = 1\)
    9. \(\cos(2x) - \sqrt{3} \sin(2x) = \sqrt{2}\)
    10. \(3\sqrt{3}\sin(3x) - 3\cos(3x) = 3\sqrt{3}\)
    11. \(\cos(3x) = \cos(5x)\)
    12. \(\cos(4x) = \cos(2x)\)
    13. \(\sin(5x) = \sin(3x)\)
    14. \(\cos(5x) = -\cos(2x)\)
    15. \(\sin(6x) + \sin(x) = 0\)
    16. \(\tan(x) = \cos(x)\)

    In Exercises 59 - 68, solve the equation.

    1. \(\arccos (2 x)=\pi\)
    2. \(\pi-2 \arcsin (x)=2 \pi\)
    3. \(4 \arctan (3 x-1)-\pi=0\)
    4. \(6 \operatorname{arccot}(2 x)-5 \pi=0\)
    5. \(4 \operatorname{arcsec}\left(\frac{x}{2}\right)=\pi\)
    6. \(12 \operatorname{arccsc}\left(\frac{x}{3}\right)=2 \pi\)
    7. \(9 \arcsin ^{2}(x)-\pi^{2}=0\)
    8. \(9 \arccos ^{2}(x)-\pi^{2}=0\)
    9. \(8 \operatorname{arccot}^{2}(x)+3 \pi^{2}=10 \pi \operatorname{arccot}(x)\)
    10. \(6 \arctan (x)^{2}=\pi \arctan (x)+\pi^{2}\)

    In Exercises 69 - 80, solve the inequality. Express the exact answer in interval notation, restricting your attention \(0 \leq x \leq 2 \pi\).

    1. \(\sin \left( x \right) \leq 0\)
    2. \(\tan \left( x \right) \geq \sqrt{3}\)
    3. \(\sec^{2} \left( x \right) \leq 4\)
    4. \(\cos^{2} \left( x \right) > \dfrac{1}{2}\)
    5. \(\cos \left( 2x \right) \leq 0\)
    6. \(\sin \left( x + \dfrac{\pi}{3} \right) > \dfrac{1}{2}\)
    7. \(\cot^{2} \left( x \right) \geq \dfrac{1}{3}\)
    8. \(2\cos(x) \geq 1\)
    9. \(\sin(5x) \geq 5\)
    10. \(\cos(3x) \leq 1\)
    11. \(\sec(x) \leq \sqrt{2}\)
    12. \(\cot(x) \leq 4\)

    In Exercises 81 - 86, solve the inequality. Express the exact answer in interval notation, restricting your attention to \(-\pi \leq x \leq \pi\).

    1. \(\cos \left( x \right) > \dfrac{\sqrt{3}}{2}\)
    2. \(\sin(x) > \dfrac{1}{3}\)
    3. \(\sec \left( x \right) \leq 2\)
    4. \(\sin^{2} \left( x \right) < \dfrac{3}{4}\)
    5. \(\cot \left( x \right) \geq -1\)
    6. \(\cos(x) \geq \sin(x)\)

    In Exercises 87 - 92, solve the inequality. Express the exact answer in interval notation, restricting your attention to \(-2 \pi \leq x \leq 2 \pi\).

    1. \(\csc \left( x \right) > 1\)
    2. \(\cos(x) \leq \dfrac{5}{3}\)
    3. \(\cot(x) \geq 5\)
    4. \(\tan^{2} \left( x \right) \geq 1\)
    5. \(\sin(2x) \geq \sin(x)\)
    6. \(\cos(2x) \leq \sin(x)\)

    In Exercises 93 - 92, solve the given inequality.

    1. \(\arcsin (2 x)>0\)
    2. \(3 \arccos (x) \leq \pi\)
    3. \(6 \operatorname{arccot}(7 x) \geq \pi\)
    4. \(\pi>2 \arctan (x)\)
    5. \(2 \arcsin (x)^{2}>\pi \arcsin (x)\)
    6. \(12 \arccos (x)^{2}+2 \pi^{2}>11 \pi \arccos (x)\)

    In Exercises 99 - 107, express the domain of the function using the extended interval notation. (See page 756 in Section 10.3.1 for details.)

    1. \(f(x)=\frac{1}{\cos (x)-1}\)
    2. \(f(x)=\frac{\cos (x)}{\sin (x)+1}\)
    3. \(f(x)=\sqrt{\tan ^{2}(x)-1}\)
    4. \(f(x)=\sqrt{2-\sec (x)}\)
    5. \(f(x)=\csc (2 x)\)
    6. \(f(x)=\frac{\sin (x)}{2+\cos (x)}\)
    7. \(f(x)=3 \csc (x)+4 \sec (x)\)
    8. \(f(x)=\ln (|\cos (x)|)\)
    9. \(f(x)=\arcsin (\tan (x))\)
    10. With the help of your classmates, determine the number of solutions to \(\sin(x) = \frac{1}{2}\) in \([0,2\pi)\). Then find the number of solutions to \(\sin(2x) = \frac{1}{2}\), \(\sin(3x) = \frac{1}{2}\) and \(\sin(4x) = \frac{1}{2}\) in \([0,2\pi)\). A pattern should emerge. Explain how this pattern would help you solve equations like \(\sin(11x) = \frac{1}{2}\). Now consider \(\sin\left(\frac{x}{2}\right) = \frac{1}{2}\), \(\sin\left(\frac{3x}{2}\right) = \frac{1}{2}\) and \(\sin\left(\frac{5x}{2}\right) = \frac{1}{2}\). What do you find? Replace \(\dfrac{1}{2}\) with \(-1\) and repeat the whole exploration.

    10.7.2. Answers

    1. \(x = \dfrac{\pi k}{5}; \; x = 0, \dfrac{\pi}{5}, \dfrac{2\pi}{5}, \dfrac{3\pi}{5}, \dfrac{4\pi}{5}, \pi, \dfrac{6\pi}{5}, \dfrac{7\pi}{5}, \dfrac{8\pi}{5}, \dfrac{9\pi}{5}\)
    2. \(x = \dfrac{\pi}{9} + \dfrac{2\pi k}{3}\) or \(x = \dfrac{5\pi}{9} + \dfrac{2\pi k}{3}; \; x = \dfrac{\pi}{9}, \dfrac{5\pi}{9}, \dfrac{7\pi}{9}, \dfrac{11\pi}{9}, \dfrac{13\pi}{9}, \dfrac{17\pi}{9}\)
    3. \(x = \dfrac{2\pi}{3} + \pi k\) or \(x = \dfrac{5\pi}{6} + \pi k; \; x = \dfrac{2\pi}{3}, \dfrac{5\pi}{6}, \dfrac{5\pi}{3}, \dfrac{11\pi}{6}\)
    4. \(x = \dfrac{\pi}{24} + \dfrac{\pi k}{6}; \; x = \dfrac{\pi}{24}, \dfrac{5\pi}{24}, \dfrac{3\pi}{8}, \dfrac{13\pi}{24}, \dfrac{17\pi}{24}, \dfrac{7\pi}{8}, \dfrac{25\pi}{24}, \dfrac{29\pi}{24}, \dfrac{11\pi}{8}, \dfrac{37\pi}{24}, \dfrac{41\pi}{24}, \dfrac{15\pi}{8}\)
    5. \(x = \dfrac{3\pi}{8} + \dfrac{\pi k}{2}; \; x = \dfrac{3\pi}{8}, \dfrac{7\pi}{8}, \dfrac{11\pi}{8}, \dfrac{15\pi}{8}\)
    6. \(x = \dfrac{\pi}{12} + \dfrac{2\pi k}{3}\) or \(x = \dfrac{7\pi}{12} + \dfrac{2\pi k}{3}; \; x = \dfrac{\pi}{12}, \dfrac{7\pi}{12}, \dfrac{3\pi}{4}, \dfrac{5\pi}{4}, \dfrac{17\pi}{12}, \dfrac{23\pi}{12}\)
    7. \(x = \dfrac{\pi}{3} + \dfrac{\pi k}{2}; \; x = \dfrac{\pi}{3}, \dfrac{5\pi}{6}, \dfrac{4\pi}{3}, \dfrac{11\pi}{6}\)
    8. No solution
    9. \(x = \dfrac{3\pi}{4} + 6\pi k\) or \(x = \dfrac{9\pi}{4} + 6\pi k; \; x = \dfrac{3\pi}{4}\)
    10. \(x = -\dfrac{\pi}{3} + \pi k; \; x = \dfrac{2\pi}{3}, \dfrac{5\pi}{3}\)
    11. \(x = \dfrac{3\pi}{4} + \pi k\) or \(x = \dfrac{13\pi}{12} + \pi k; \; x = \dfrac{\pi}{12}, \dfrac{3\pi}{4}, \dfrac{13\pi}{12}, \dfrac{7\pi}{4}\)
    12. \(x = -\dfrac{19\pi}{12} + 2\pi k\) or \(x = \dfrac{\pi}{12} + 2\pi k; \; x = \dfrac{\pi}{12}, \dfrac{5\pi}{12}\)
    13. No solution
    14. \(x = \dfrac{5\pi}{8} + \dfrac{\pi k}{2}; \; x = \dfrac{\pi}{8}, \dfrac{5\pi}{8}, \dfrac{9\pi}{8}, \dfrac{13\pi}{8}\)
    15. \(x = \dfrac{\pi}{3} + \pi k\) or \(x = \dfrac{2\pi}{3} + \pi k; \; x = \dfrac{\pi}{3}, \dfrac{2\pi}{3}, \dfrac{4\pi}{3}, \dfrac{5\pi}{3}\)
    16. \(x = \dfrac{\pi}{6} + \pi k\) or \(x = \dfrac{5\pi}{6} + \pi k; \; x = \dfrac{\pi}{6}, \dfrac{5\pi}{6}, \dfrac{7\pi}{6}, \dfrac{11\pi}{6}\)
    17. \(x = \dfrac{\pi}{4} + \dfrac{\pi k}{2}; \; x = \dfrac{\pi}{4}, \dfrac{3\pi}{4}, \dfrac{5\pi}{4}, \dfrac{7\pi}{4}\)
    18. \(x = \dfrac{\pi}{3} + \pi k\) or \(x = \dfrac{2\pi}{3} + \pi k; \; x = \dfrac{\pi}{3}, \dfrac{2\pi}{3}, \dfrac{4\pi}{3}, \dfrac{5\pi}{3}\)
    19. \(x = \dfrac{\pi}{4}, \dfrac{5\pi}{4}\)
    20. \(x = 0, \dfrac{\pi}{3}, \pi, \dfrac{5\pi}{3}\)
    21. \(x = \dfrac{\pi}{6}, \dfrac{\pi}{2}, \dfrac{5\pi}{6}, \dfrac{3\pi}{2}\)
    22. \(x = \dfrac{\pi}{6}, \dfrac{5\pi}{6}, \dfrac{3\pi}{2}\)
    23. \(x = 0, \dfrac{2\pi}{3}, \dfrac{4\pi}{3}\)
    24. \(x=\dfrac{\pi}{3}, \dfrac{5\pi}{3}\)
    25. \(x = \dfrac{2\pi}{3}, \dfrac{4\pi}{3}, \arccos\left(\dfrac{1}{3}\right), 2\pi -\arccos\left(\dfrac{1}{3}\right)\)
    26. \(x=\dfrac{\pi}{6}, \dfrac{5\pi}{6}\)
    27. \(x = \dfrac{7\pi}{6}, \dfrac{11\pi}{6}, \arcsin\left(\dfrac{1}{3}\right), \pi - \arcsin\left(\dfrac{1}{3}\right)\)
    28. \(x=\dfrac{3\pi}{4}, \dfrac{7\pi}{4}, \arctan\left(\dfrac{1}{2}\right), \pi +\arctan\left(\dfrac{1}{2}\right)\)
    29. \(x=0, \dfrac{2\pi}{3}, \dfrac{4\pi}{3}\)
    30. \(x=\dfrac{\pi}{6}, \dfrac{5\pi}{6}, \dfrac{\pi}{2}\)
    31. \(x=\arctan(2), \pi + \arctan(2)\)
    32. \(x = \dfrac{\pi}{6}, \dfrac{7\pi}{6}, \dfrac{5\pi}{6}, \dfrac{11\pi}{6}\)
    33. \(x = 0, \pi, \dfrac{\pi}{4}, \dfrac{3\pi}{4}, \dfrac{5\pi}{4}, \dfrac{7\pi}{4}\)
    34. \(x = \dfrac{\pi}{6}, \dfrac{\pi}{4}, \dfrac{3\pi}{4}, \dfrac{5\pi}{6}, \dfrac{7\pi}{6}, \dfrac{5\pi}{4}, \dfrac{7\pi}{4}, \dfrac{11\pi}{6}\)
    35. \(x = \dfrac{\pi}{2}, \dfrac{3\pi}{2}\)
    36. \(x = 0, \dfrac{\pi}{3}, \dfrac{2\pi}{3}, \pi, \dfrac{4\pi}{3}, \dfrac{5\pi}{3}\)
    37. \(x = \dfrac{\pi}{3}, \dfrac{5\pi}{3}\)
    38. \(x = \dfrac{\pi}{2}, \dfrac{3\pi}{2}\)
    39. \(x = \dfrac{\pi}{6}, \dfrac{\pi}{2}, \dfrac{5\pi}{6}, \dfrac{3\pi}{2}\)
    40. \(x = \dfrac{\pi}{6}, \dfrac{5\pi}{6}, \dfrac{7\pi}{6}, \dfrac{3\pi}{2}, \dfrac{11\pi}{6}\)
    41. \(x = \dfrac{\pi}{8}, \dfrac{5\pi}{8}, \dfrac{9\pi}{8}, \dfrac{13\pi}{8}\)
    42. No solution
    43. \(x = 0, \dfrac{\pi}{7}, \dfrac{2\pi}{7}, \dfrac{3\pi}{7}, \dfrac{4\pi}{7}, \dfrac{5\pi}{7}, \dfrac{6\pi}{7}, \pi, \dfrac{8\pi}{7}, \dfrac{9\pi}{7}, \dfrac{10\pi}{7}, \dfrac{11\pi}{7}, \dfrac{12\pi}{7}, \dfrac{13\pi}{7}\)
    44. \(x=0, \dfrac{\pi}{2}, \pi, \dfrac{3\pi}{2}\)
    45. \(x = 0\)
    46. \(x = \dfrac{\pi}{48}, \dfrac{11\pi}{48}, \dfrac{13\pi}{48}, \dfrac{23\pi}{48}, \dfrac{25\pi}{48}, \dfrac{35\pi}{48}, \dfrac{37\pi}{48}, \dfrac{47\pi}{48}, \dfrac{49\pi}{48}, \dfrac{59\pi}{48}, \dfrac{61\pi}{48}, \dfrac{71\pi}{48}, \dfrac{73\pi}{48}, \dfrac{83\pi}{48}, \dfrac{85\pi}{48}, \dfrac{95\pi}{48}\)
    47. \(x = 0, \dfrac{\pi}{2}\)
    48. \(x = \dfrac{\pi}{2}, \dfrac{11\pi}{6}\)
    49. \(x = \dfrac{\pi}{12}, \dfrac{17\pi}{12}\)
    50. \(x= 0, \pi, \dfrac{\pi}{3}, \dfrac{4\pi}{3}\)
    51. \(x = \dfrac{17 \pi}{24}, \dfrac{41 \pi}{24}, \dfrac{23\pi}{24}, \dfrac{47\pi}{24}\)
    52. \(x = \dfrac{\pi}{6}, \dfrac{5\pi}{18}, \dfrac{5\pi}{6}, \dfrac{17\pi}{18}, \dfrac{3\pi}{2}, \dfrac{29\pi}{18}\)
    53. \(x = 0, \dfrac{\pi}{4}, \dfrac{\pi}{2}, \dfrac{3\pi}{4}, \pi, \dfrac{5\pi}{4}, \dfrac{3\pi}{2}, \dfrac{7\pi}{4}\)
    54. \(x = 0, \dfrac{\pi}{3}, \dfrac{2\pi}{3}, \pi, \dfrac{4\pi}{3}, \dfrac{5\pi}{3}\)
    55. \(x = 0, \dfrac{\pi}{8}, \dfrac{3\pi}{8}, \dfrac{5\pi}{8}, \dfrac{7\pi}{8}, \pi, \dfrac{9\pi}{8}, \dfrac{11\pi}{8}, \dfrac{13\pi}{8}, \dfrac{15\pi}{8}\)
    56. \(x = \dfrac{\pi}{7}, \dfrac{\pi}{3}, \dfrac{3\pi}{7}, \dfrac{5\pi}{7}, \pi, \dfrac{9\pi}{7}, \dfrac{11\pi}{7}, \dfrac{5\pi}{3}, \dfrac{13\pi}{7}\)
    57. \(x = \dfrac{2\pi}{7}, \dfrac{4\pi}{7}, \dfrac{6\pi}{7}, \dfrac{8\pi}{7}, \dfrac{10\pi}{7}, \dfrac{12\pi}{7}, \dfrac{\pi}{5}, \dfrac{3\pi}{5}, \pi, \dfrac{7\pi}{5}, \dfrac{9\pi}{5}\)
    58. \(x = \arcsin \left( \dfrac{-1 + \sqrt{5}}{2} \right) \approx 0.6662, \pi - \arcsin \left( \dfrac{-1 + \sqrt{5}}{2} \right) \approx 2.4754\)
    59. \(x=-\frac{1}{2}\)
    60. \(x = −1\)
    61. \(x=\frac{2}{3}\)
    62. \(x=-\frac{\sqrt{3}}{2}\)
    63. \(x=2 \sqrt{2}\)
    64. \(x = 6\)
    65. \(x=\pm \frac{\sqrt{3}}{2}\)
    66. \(x=\frac{1}{2}\)
    67. \(x = −1, 0\)
    68. \(x=-\sqrt{3}\)
    69. \(\left[ \pi, 2\pi \right]\)
    70. \(\left[ \dfrac{\pi}{3}, \dfrac{\pi}{2} \right) \cup \left[ \dfrac{4\pi}{3}, \dfrac{3\pi}{2} \right)\)
    71. \(\left[ 0, \dfrac{\pi}{3} \right] \cup \left[ \dfrac{2\pi}{3}, \dfrac{4\pi}{3} \right] \cup \left[ \dfrac{5\pi}{3}, 2\pi \right]\)
    72. \(\left[ 0, \dfrac{\pi}{4} \right) \cup \left( \dfrac{3\pi}{4}, \dfrac{5\pi}{4} \right) \cup \left( \dfrac{7\pi}{4}, 2\pi \right]\)
    73. \(\left[ \dfrac{\pi}{4}, \dfrac{3\pi}{4} \right] \cup \left[ \dfrac{5\pi}{4}, \dfrac{7\pi}{4} \right]\)
    74. \(\left[ 0, \dfrac{\pi}{2} \right) \cup \left( \dfrac{11\pi}{6}, 2\pi \right]\)
    75. \(\left( 0, \dfrac{\pi}{3} \right] \cup \left[ \dfrac{2\pi}{3}, \pi \right) \cup \left( \pi, \dfrac{4\pi}{3} \right] \cup \left[ \dfrac{5\pi}{3}, 2\pi \right)\)
    76. \(\left[0, \dfrac{\pi}{3}\right] \cup \left[\dfrac{5\pi}{3}, 2\pi\right]\)
    77. No solution
    78. \([0, 2\pi]\)
    79. \(\left[0, \dfrac{\pi}{4} \right] \cup \left(\dfrac{\pi}{2}, \dfrac{3\pi}{2}\right) \cup \left[\dfrac{7\pi}{4}, 2\pi\right]\)
    80. \(\left[\text{arccot}(4), \pi \right) \cup \left[ \pi + \text{arccot}(4), 2\pi\right)\)
    81. \(\left( -\dfrac{\pi}{6}, \dfrac{\pi}{6} \right)\)
    82. \(\left( \arcsin\left(\dfrac{1}{3}\right), \pi - \arcsin\left(\dfrac{1}{3}\right) \right)\)
    83. \(\left[ -\pi, -\dfrac{\pi}{2} \right) \cup \left[ -\dfrac{\pi}{3}, \dfrac{\pi}{3} \right] \cup \left( \dfrac{\pi}{2}, \pi \right]\)
    84. \(\left( -\dfrac{2\pi}{3}, -\dfrac{\pi}{3} \right) \cup \left( \dfrac{\pi}{3}, \dfrac{2\pi}{3} \right)\)
    85. \(\left( -\pi, -\dfrac{\pi}{4} \right] \cup \left( 0, \dfrac{3\pi}{4} \right]\)
    86. \(\left[ -\dfrac{3\pi}{4}, \dfrac{\pi}{4} \right]\)
    87. \(\left( -2\pi, -\dfrac{3\pi}{2} \right) \cup \left( -\dfrac{3\pi}{2}, -\pi \right) \cup \left( 0, \dfrac{\pi}{2} \right) \cup \left( \dfrac{\pi}{2}, \pi \right)\)
    88. \([-2\pi, 2\pi]\)
    89. \(\left(-2\pi, \text{arccot}(5) - 2\pi\right] \cup \left(-\pi, \text{arccot}(5) - \pi\right] \cup \left(0, \text{arccot}(5)\right] \cup \left(\pi, \pi + \text{arccot}(5)\right]\)
    90. \(\left[ -\dfrac{7\pi}{4}, -\dfrac{3\pi}{2} \right) \cup \left( -\dfrac{3\pi}{2}, -\dfrac{5\pi}{4} \right] \cup \left[ -\dfrac{3\pi}{4}, -\dfrac{\pi}{2} \right) \cup \left( -\dfrac{\pi}{2}, -\dfrac{\pi}{4} \right] \cup \left[ \dfrac{\pi}{4}, \dfrac{\pi}{2} \right) \cup \left( \dfrac{\pi}{2}, \dfrac{3\pi}{4} \right] \cup \left[ \dfrac{5\pi}{4}, \dfrac{3\pi}{2} \right) \cup \left( \dfrac{3\pi}{2}, \dfrac{7\pi}{4} \right]\)
    91. \(\left[ -2\pi, -\dfrac{5\pi}{3} \right] \cup \left[ -\pi, -\dfrac{\pi}{3} \right] \cup \left[ 0, \dfrac{\pi}{3} \right] \cup \left[ \pi, \dfrac{5\pi}{3} \right]\)
    92. \(\left[-\frac{11 \pi}{6},-\frac{7 \pi}{6}\right] \cup\left[\frac{\pi}{6}, \frac{5 \pi}{6}\right] \cup,\left\{-\frac{\pi}{2}, \frac{3 \pi}{2}\right\}\)
    93. \(\left(0, \frac{1}{2}\right]\)
    94. \(\left[\frac{1}{2}, 1\right]\)
    95. \(\left(-\infty, \frac{\sqrt{3}}{7}\right]\)
    96. \((-\infty, \infty)\)
    97. \([-1,0)\)
    98. \(\left[-1,-\frac{1}{2}\right) \cup\left(\frac{\sqrt{2}}{2}, 1\right]\)
    99. \(\bigcup_{k=-\infty}^{\infty}(2 k \pi,(2 k+2) \pi)\)
    100. \(\bigcup_{k=-\infty}^{\infty}\left(\frac{(4 k-1) \pi}{2}, \frac{(4 k+3) \pi}{2}\right)\)
    101. \(\bigcup_{k=-\infty}^{\infty}\left\{\left[\frac{(4 k+1) \pi}{4}, \frac{(2 k+1) \pi}{2}\right) \cup\left(\frac{(2 k+1) \pi}{2}, \frac{(4 k+3) \pi}{4}\right]\right\}\)
    102. \(\bigcup_{k=-\infty}^{\infty}\left\{\left[\frac{(6 k-1) \pi}{3}, \frac{(6 k+1) \pi}{3}\right] \cup\left(\frac{(4 k+1) \pi}{2}, \frac{(4 k+3) \pi}{2}\right)\right\}\)
    103. \(\bigcup_{k=-\infty}^{\infty}\left(\frac{k \pi}{2}, \frac{(k+1) \pi}{2}\right)\)
    104. \((-\infty, \infty)\)
    105. \(\bigcup_{k=-\infty}^{\infty}\left(\frac{k \pi}{2}, \frac{(k+1) \pi}{2}\right)\)
    106. \(\bigcup_{k=-\infty}^{\infty}\left(\frac{(2 k-1) \pi}{2}, \frac{(2 k+1) \pi}{2}\right)\)
    107. \(\bigcup_{k=-\infty}^{\infty}\left[\frac{(4 k-1) \pi}{4}, \frac{(4 k+1) \pi}{4}\right]\)

    Reference

    1 See the comments at the beginning of Section 10.5 for a review of this concept.

    2 Don’t forget to divide \(2 \pi k\) by 3 as well!

    3 Do you see why?

    4 The reader is encouraged to see what happens if we had chosen the reciprocal identity \(\cot (3 x)=\frac{1}{\tan (3 x)}\) instead. The graph on the calculator appears identical, but what happens when you try to find the intersection points?

    5 Your instructor will let you know if you should abandon the analytic route at this point and use your calculator. But seriously, what fun would that be?

    6 Note that we are not counting the \((2 \pi, 0)\) in our solution set since \(x=2 \pi\) is not in the interval \([0,2 \pi)\). In the forthcoming solutions, remember that while \(x=2 \pi\) may be a solution to the equation, it isn’t counted among the solutions in \([0,2 \pi)\).

    7 As always, experience is the greatest teacher here!

    8 As always, when in doubt, write it out!

    9 We are essentially ‘undoing’ the sum / difference formula for cosine or sine, depending on which form we use, so this problem is actually closely related to the previous one!

    10 See page 214, Example 3.1.5, page 321, page 399, Example 6.3.2 and Example 6.4.2 for discussion of this technique.

    11 See page 321 for a discussion of the non-standard character known as the interrobang.

    12 We could have chosen any value \(\arctan (t)\) where \(t>3\).

    13 . . . by adding \(\pi\) through the inequality ...

    14 See page 756 for details about this notation.

    15 This doesn’t necessarily mean the period of \(f\) is \(2 \pi\). The tangent function is comprise of \(\cos (x)\) and \(\sin (x)\), but its period is half theirs. The reader is invited to investigate the period of \(f\).

    16 Since we are checking for solutions where arcsecant is positive, we know \(u=2 x-1 \geq 1\), and so the identity applies in both cases.

    17 It’s not as bad as it looks... don’t let the \(\pi\) throw you!

    18 Set \(3x\) equal to the cotangents of the ‘common angles’ and choose accordingly.


    This page titled 10.7: Trigonometric Equations and Inequalities is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Carl Stitz & Jeff Zeager via source content that was edited to the style and standards of the LibreTexts platform.