Trigonometric functions

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}} \DeclareMathOperator {\proj }{\vec {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$

We review trigonometric functions.

What are trigonometric functions?

A trigonometric function is a function that relates a measure of an angle of a right triangle to a ratio of the triangle’s sides.

The basic trigonometric functions are cosine and sine. They are called “trigonometric” because they relate measures of angles to measurements of triangles. Given a right triangle

we define $\cos (\theta ) = \frac {\text {adjacent}}{\text {hypotenuse}}\qquad \text {and}\qquad \sin (\theta ) = \frac {\text {opposite}}{\text {hypotenuse}}.$ Note, the values of sine and cosine do not depend on the scale of the triangle. Being very explicit, if we scale a triangle by a scale factor $k$ ,

$\cos (\theta ) = \frac {k\cdot \text {adjacent}}{k\cdot \text {hypotenuse}} =\frac {\text {adjacent}}{\text {hypotenuse}}$ and $\sin (\theta ) = \frac {k\cdot \text {opposite}}{k\cdot \text {hypotenuse}} = \frac {\text {opposite}}{\text {hypotenuse}}.$

At this point we could simply assume that whenever we draw a triangle for computing sine and cosine, that the hypotenuse will be $1$ . We can do this because we are simply scaling the triangle, and as we see above, this makes absolutely no difference when computing sine and cosine. Hence, when the hypotenuse is $1$ , we find that a convenient way to think about sine and cosine is via the unit circle:

If we consider all possible combinations of ratios of

adjacent, opposite, hypotenuse,

(allowing the adjacent and opposite to be negative, as on the unit circle) we obtain all of the trigonometric functions.

The trigonometric functions are: $\begin {aligned} \cos (\theta ) &= \frac {\text {adj}}{\text {hyp}}\\ \sec (\theta ) &= \frac {1}{\cos (\theta )}\\ \tan (\theta ) &= \frac {\sin (\theta )}{\cos (\theta )}\qquad \end {aligned} \qquad \begin {aligned} \sin (\theta ) &= \frac {\text {opp}}{\text {hyp}}\\ \csc (\theta ) &= \frac {1}{\sin (\theta )}\\ \cot (\theta ) &= \frac {\cos (\theta )}{\sin (\theta )} \end {aligned}$ where the domain of sine and cosine is all real numbers, and the other trigonometric functions are defined precisely when their denominators are nonzero.

Which of the following expressions are equal to $\sec (\theta )$ ?

$\frac {1}{\cos (\theta )}$ $\frac {1}{\sin (\theta )}$ $\frac {\text {adj}}{\text {hyp}}$ $\frac {\text {hyp}}{\text {adj}}$ $\frac {\tan (\theta )}{\sin (\theta )}$ $\frac {1}{\sin (\theta )\cdot \cot (\theta )}$

Note, $\frac {\tan (\theta )}{\sin (\theta )}\ne \sec (\theta )$ , and $\frac {1}{\sin (\theta )\cdot \cot (\theta )}\ne \sec (\theta )$ since they differ when $\theta =0$ .

Connections to inverse functions

Trigonometric functions arise frequently in problems, and often we are interested in finding specific angle measures. For instance, you may want to find some angle $\theta$ such that $\cos (\theta ) = .7$ Hence we want to be able to “undo” trigonometric functions. However, since trigonometric functions are not one-to-one, meaning there are are infinitely many angles with $\cos (\theta ) = .7$ , it is impossible to find a true inverse function for $\cos (\theta )$ . Nevertheless, it is useful to have something like an inverse to these functions, however imperfect. The usual approach is to pick out some collection of angles that produce all possible values exactly once. If we “discard” all other angles, the resulting function has a proper inverse. In other words, we are restricting the domain of the trigonometric function in order to find an inverse. The function $\cos (\theta )$ takes on all values between $-1$ and $1$ exactly once on the interval $[0,\pi ]$ .

If we restrict the domain of $\cos (\theta )$ to this interval, then this restricted function is one-to-one and hence has an inverse.

What arc on the unit circle corresponds to the restricted domain described above of $\cos (\theta )$ ?

In a similar fashion, we need to restrict the domain of sine to be able to take an inverse. The function $\sin (\theta )$ takes on all values between $-1$ and $1$ exactly once on the interval $[-\pi /2,\pi /2]$ .

If we restrict the domain of $\sin (\theta )$ to this interval, then this restricted function is one-to-one and thus has an inverse.

What arc on the unit circle corresponds to the restricted domain described above of $\sin (\theta )$ ?

By examining both sine and cosine on restricted domains, we can now produce functions arcsine and arccosine:

The functions $\arccos (x)\qquad \text {and}\qquad \arcsin (x)$ are called “arc” because they give the angle that cosine or sine used to produce their value. It is quite common to write $\arccos (x) = \cos ^{-1}(x)\qquad \text {and}\qquad \arcsin (x) = \sin ^{-1}(x).$ However, this notation is misleading as $\cos ^{-1}(x)$ and $\sin ^{-1}(x)$ are not true inverse functions of cosine and sine. Recall that a function and its inverse undo each other in either order, for example, $\sqrt [3]{x^3}=x\qquad \text {and}\qquad \left (\sqrt [3]{x}\right )^3=x.$ Since arcsine is the inverse of sine restricted to the interval $[-\pi /2,\pi /2]$ , this does not work with sine and arcsine, for example $\arcsin (\sin (\pi ))=0.$ though it is true that $\sin (\arcsin (x)) = x\qquad \text {and}\qquad \cos (\arccos (x)) = x.$

Which of the following statements is true?

$\sin ^{-1}(x)$ is the inverse function of $\sin (x)$ $\sin \left (\sin ^{-1}\left (\frac {1}{2}\right )\right ) = \frac {1}{2}$ $\sin ^{-1}\left (\sin \left (\frac {5\pi }{2}\right )\right ) = \frac {5\pi }{2}$ $\sin ^{-1}(x) = \frac {1}{\sin (x)}$

Compute: $\arccos (\cos (5\pi /3))$

The issue here is that $5\pi /3$ might not be in the range of arccosine. To find our missing number, we’ll check with a unit circle that we’ve decorated with the domain of arccosine:

Since the points $5\pi /3$ and $\pi /3$ have the same $x$ -coordinate, $\cos (5\pi /3) = \cos (\pi /3)$ . Hence $\arccos (\cos (5\pi /3)) = \pi /3.$

Now that you have a feel for how $\arcsin (x)$ and $\arccos (x)$ behave, let’s examine tangent.

What arc on the unit circle corresponds to the restricted domain described above of $\tan (\theta )$ ?

Again, only working on a restricted domain of tangent, we can produce an inverse function, arctangent. Here we see a plot of $\arctan (x)$ , the inverse function of $\tan (\theta )$ when its domain is restricted to the interval $(-\pi /2,\pi /2)$ .

Compute: $\arctan (\tan (5\pi /3))$

The issue here is that $5\pi /3$ might not be in the range of arctangent. To find our missing number, we’ll check with a unit circle that we’ve decorated with the domain of arctangent:

Since the points $5\pi /3$ and $-\pi /3$ have the same $x$ and $y$ -coordinates, $\arctan (\tan (5\pi /3)) = -\pi /3.$

Now we give some facts of other trigonometric and “inverse” trigonometric functions.

$\arccos (x) = \theta$ means that $\cos (\theta ) = x$ and $0\le \theta \le \pi$ . The domain of $\arccos (x)$ is $-1\le x\le 1$ .
$\arcsin (x) = \theta$ means that $\sin (\theta ) = x$ and $-\frac {\pi }{2}\le \theta \le \frac {\pi }{2}$ . The domain of $\arcsin (x)$ is $-1\le x\le 1$ .
$\arctan (x) = \theta$ means that $\tan (\theta ) = x$ and $-\frac {\pi }{2}< \theta < \frac {\pi }{2}$ . The domain of $\arctan (x)$ is $-\infty <x<\infty$ .
$\arccot (x) = \theta$ means that $\cot (\theta ) = x$ and $0< \theta < \pi$ . The domain of $\arccot (x)$ is $-\infty <x<\infty$ .
$\arcsec (x) = \theta$ means that $\sec (\theta ) = x$ and $0\le \theta \le \pi$ with $\theta \ne \pi /2$ . The domain of $\arcsec (x)$ is all $x$ with absolute value greater than $1$ .
$\arccsc (x) = \theta$ means that $\csc (\theta ) = x$ and $-\frac {\pi }{2}\le \theta \le \frac {\pi }{2}$ with $\theta \ne 0$ . The domain of $\arccsc (x)$ is all $x$ with absolute value greater than $1$ .

The power of the Pythagorean Theorem

The Pythagorean Theorem is probably the most famous theorem in all of mathematics.

Pythagorean Theorem Given a right triangle:

We have that: $a^2 + b^2 = c^2$

The Pythagorean Theorem gives several key trigonometric identities.

Pythagorean Identities The following hold: $\cos ^2\theta +\sin ^2\theta = 1 \qquad 1 + \tan ^2\theta = \sec ^2\theta \qquad \cot ^2\theta + 1 = \csc ^2\theta$

From the unit circle we can see

via the Pythagorean Theorem that $\cos ^2(t) + \sin ^2(t) = 1.$ If we divide this expression by $\answer [given]{\cos ^2(t)}$ we obtain $1 + \tan ^2(t) = \sec ^2(t)$ and if we divide $\cos ^2(t) + \sin ^2(t) = 1$ by $\answer [given]{\sin ^2(t)}$ we obtain $\cot ^2(t) + 1 = \csc ^2(t).$

We can simplify expressions using the Pythagorean Theorem

Suppose that $\arctan (3/5) = \theta$ . Compute $\sin (\theta )$ .

If $\arctan (3/5) = \theta$ , then $\begin{align*} \tan(\arctan(3/5)) &= \tan(\theta)\\ \answer[given]{3/5} &= \tan(\theta). \end{align*}$ Now we will use the Pythagorean Theorem to deduce $\sin (\theta )$ . If $\tan (\theta )=3/5$ , the triangle in question must be similar to this triangle:

From this triangle and our work above, we see that $\sin (\theta ) = \answer [given]{3/\sqrt {3^2+5^2}}.$

We’ll also use the Pythagorean Theorem to help us simplify abstract expressions into ones we can compute with ease.

Simplify $\tan (\arccos (x))$

Start by saying $\theta = \arccos (x)$ This means $\tan (\arccos (x)) = \tan (\theta )$ . Apply cosine to both sides of the equation above, $\begin{align*} \cos(\theta) &= \cos(\arccos(x))\\ \cos(\theta) &= \answer[given]{x}. \end{align*}$ Now we will use the Pythagorean Theorem to deduce $\tan (\theta )$ . If $\cos (\theta )=x$ , the triangle in question must be similar to this triangle:

From this triangle and our work above, we see that $\tan (\arccos (x)) = \tan (\theta ) = \answer [given]{\frac {\sqrt {1-x^2}}{x}}.$