10.4 Trigonometric Identities

In Section 10.3, we saw the utility of the Pythagorean Identities in Theorem 10.8 along with the Quotient and Reciprocal Identities in Theorem 10.6. Not only did these identities help us compute the values of the circular functions for angles, they were also useful in simplifying expressions involving the circular functions. In this section, we introduce several collections of identities which have uses in this course and beyond. Our first set of identities is the `Even / Odd' identities.¹

Two wavy curves, green and rust, rise and fall in opposite rhythm between the horizontal axis and a flat navy line at height one, and a slider positions a vertical stack of two segments, green then rust, that reaches exactly from the axis to the flat line. Moving the slider changes how the stack is divided between the two colors, the green part lengthening where the green curve is high and the rust part lengthening where the rust curve is high, while the top of the stack stays pinned to the flat line at every position. Adjustable parameter: Input a (a) = 0.7. Viewing window: x from -8.64 to 8.64, y from -4.84 to 5.84. — The green curve is sin²x, the rust curve is cos²x, and the navy line is their sum, which is the constant 1 for every x: that flat line is the Pythagorean Identity drawn. At the input a chosen by the slider, the green segment rises from the axis to height sin²a and the rust segment continues from there to height 1, so the two squares are stacked into the unit exactly. Slide a and the two segments trade length, one growing as the other shrinks, while their total never moves.

Theorem

Even / Odd Identities: For all applicable angles $θ$ ,

$\cos (- θ) = \cos (θ)$
$\sec (- θ) = \sec (θ)$
$\sin (- θ) = - \sin (θ)$
$\csc (- θ) = - \csc (θ)$
$\tan (- θ) = - \tan (θ)$
$\cot (- θ) = - \cot (θ)$

In light of the Quotient and Reciprocal Identities, Theorem 10.6, it suffices to show $\cos (- θ) = \cos (θ)$ and $\sin (- θ) = - \sin (θ)$ . The remaining four circular functions can be expressed in terms of $\cos (θ)$ and $\sin (θ)$ so the proofs of their Even / Odd Identities are left as exercises. Consider an angle $θ$ plotted in standard position. Let $θ sub 0$ be the angle coterminal with $θ$ with $0 less than or equal to θ sub 0 less than 2 ⁢ π$ . (We can construct the angle $θ sub 0$ by rotating counter-clockwise from the positive $x$ -axis to the terminal side of $θ$ as pictured below.) Since $θ$ and $θ sub 0$ are coterminal, $cos ⁡ open parenthesis θ close parenthesis equals cos ⁡ open parenthesis θ sub 0 close parenthesis$ and $sin ⁡ open parenthesis θ close parenthesis equals sin ⁡ open parenthesis θ sub 0 close parenthesis$ .

Coordinate-plane figure. — **Figure 10.139**

We now consider the angles $- θ$ and $minus θ sub 0$ . Since $θ$ is coterminal with $θ sub 0$ , there is some integer $k$ so that $θ = θ_{0} + 2 π \cdot k$ . Therefore, $- θ = - θ_{0} - 2 π \cdot k = - θ_{0} + 2 π \cdot (- k)$ . Since $k$ is an integer, so is $(- k)$ , which means $- θ$ is coterminal with $minus θ sub 0$ . Hence, $\cos (- θ) = \cos (- θ_{0})$ and $\sin (- θ) = \sin (- θ_{0})$ . Let $P$ and $Q$ denote the points on the terminal sides of $θ sub 0$ and $minus θ sub 0$ , respectively, which lie on the Unit Circle. By definition, the coordinates of $P$ are $open parenthesis cos ⁡ open parenthesis θ sub 0 close parenthesis, sin ⁡ open parenthesis θ sub 0 close parenthesis close parenthesis$ and the coordinates of $Q$ are $(\cos (- θ_{0}), \sin (- θ_{0}))$ . Since $θ sub 0$ and $minus θ sub 0$ sweep out congruent central sectors of the Unit Circle, it follows that the points $P$ and $Q$ are symmetric about the $x$ -axis. Thus, $\cos (- θ_{0}) = \cos (θ_{0})$ and $\sin (- θ_{0}) = - \sin (θ_{0})$ . Since the cosines and sines of $θ sub 0$ and $minus θ sub 0$ are the same as those for $θ$ and $- θ$ , respectively, we get $\cos (- θ) = \cos (θ)$ and $\sin (- θ) = - \sin (θ)$ , as required. The Even / Odd Identities are readily demonstrated using any of the `common angles' noted in Section 10.2. Their true utility, however, lies not in computation, but in simplifying expressions involving the circular functions. In fact, our next batch of identities makes heavy use of the Even / Odd Identities.

Theorem

Sum and Difference Identities for Cosine: For all angles $α$ and $β$ ,

$\cos (α + β) = \cos (α) \cos (β) - \sin (α) \sin (β)$
$\cos (α - β) = \cos (α) \cos (β) + \sin (α) \sin (β)$

We first prove the result for differences. As in the proof of the Even / Odd Identities, we can reduce the proof for general angles $α$ and $β$ to angles $α sub 0$ and $β sub 0$ , coterminal with $α$ and $β$ , respectively, each of which measure between $0$ and $2 ⁢ π$ radians. Since $α$ and $α sub 0$ are coterminal, as are $β$ and $β sub 0$ , it follows that $α - β$ is coterminal with $α sub 0 minus β sub 0$ . Consider the case below where $α sub 0 greater than or equal to β sub 0$ .

Since the angles $P O Q$ and $A O B$ are congruent, the distance between $P$ and $Q$ is equal to the distance between $A$ and $B$ .² The distance formula, Equation 1.1, yields

$\begin{matrix} \sqrt{{(\cos (α_{0}) - \cos (β_{0}))}^{2} + {(\sin (α_{0}) - \sin (β_{0}))}^{2}} & = & \sqrt{{(\cos (α_{0} - β_{0}) - 1)}^{2} + {(\sin (α_{0} - β_{0}) - 0)}^{2}} \end{matrix}$

Squaring both sides, we expand the left hand side of this equation as

$\begin{matrix} {(\cos (α_{0}) - \cos (β_{0}))}^{2} + {(\sin (α_{0}) - \sin (β_{0}))}^{2} & = & \cos^{2} (α_{0}) - 2 \cos (α_{0}) \cos (β_{0}) + \cos^{2} (β_{0}) \\ + \sin^{2} (α_{0}) - 2 \sin (α_{0}) \sin (β_{0}) + \sin^{2} (β_{0}) \\ = & \cos^{2} (α_{0}) + \sin^{2} (α_{0}) + \cos^{2} (β_{0}) + \sin^{2} (β_{0}) \\ - 2 \cos (α_{0}) \cos (β_{0}) - 2 \sin (α_{0}) \sin (β_{0}) \end{matrix}$

From the Pythagorean Identities, $\cos^{2} (α_{0}) + \sin^{2} (α_{0}) = 1$ and $\cos^{2} (β_{0}) + \sin^{2} (β_{0}) = 1$ , so

$\begin{matrix} {(\cos (α_{0}) - \cos (β_{0}))}^{2} + {(\sin (α_{0}) - \sin (β_{0}))}^{2} & = & 2 - 2 \cos (α_{0}) \cos (β_{0}) - 2 \sin (α_{0}) \sin (β_{0}) \end{matrix}$

Turning our attention to the right hand side of our equation, we find

$\begin{matrix} {(\cos (α_{0} - β_{0}) - 1)}^{2} + {(\sin (α_{0} - β_{0}) - 0)}^{2} & = & \cos^{2} (α_{0} - β_{0}) - 2 \cos (α_{0} - β_{0}) + 1 + \sin^{2} (α_{0} - β_{0}) \\ = & 1 + \cos^{2} (α_{0} - β_{0}) + \sin^{2} (α_{0} - β_{0}) - 2 \cos (α_{0} - β_{0}) \end{matrix}$

Once again, we simplify $\cos^{2} (α_{0} - β_{0}) + \sin^{2} (α_{0} - β_{0}) = 1$ , so that

$\begin{matrix} {(\cos (α_{0} - β_{0}) - 1)}^{2} + {(\sin (α_{0} - β_{0}) - 0)}^{2} & = & 2 - 2 \cos (α_{0} - β_{0}) \end{matrix}$

Putting it all together, we get $2 - 2 \cos (α_{0}) \cos (β_{0}) - 2 \sin (α_{0}) \sin (β_{0}) = 2 - 2 \cos (α_{0} - β_{0})$ , which simplifies to: $\cos (α_{0} - β_{0}) = \cos (α_{0}) \cos (β_{0}) + \sin (α_{0}) \sin (β_{0})$ . Since $α$ and $α sub 0$ , $β$ and $β sub 0$ and $α - β$ and $α sub 0 minus β sub 0$ are all coterminal pairs of angles, we have $\cos (α - β) = \cos (α) \cos (β) + \sin (α) \sin (β)$ . For the case where $α sub 0 less than or equal to β sub 0$ , we can apply the above argument to the angle $β sub 0 minus α sub 0$ to obtain the identity $\cos (β_{0} - α_{0}) = \cos (β_{0}) \cos (α_{0}) + \sin (β_{0}) \sin (α_{0})$ . Applying the Even Identity of cosine, we get $\cos (β_{0} - α_{0}) = \cos (- (α_{0} - β_{0})) = \cos (α_{0} - β_{0})$ , and we get the identity in this case, too.

To get the sum identity for cosine, we use the difference formula along with the Even/Odd Identities

$\cos (α + β) = \cos (α - (- β)) = \cos (α) \cos (- β) + \sin (α) \sin (- β) = \cos (α) \cos (β) - \sin (α) \sin (β)$

We put these newfound identities to good use in the following example.

Example 1

Find the exact value of $cos ⁡ open parenthesis 15 degrees close parenthesis$ .
Verify the identity: $\cos (\frac{π}{2} - θ) = \sin (θ)$ .

In order to use Theorem 10.13 to find $cos ⁡ open parenthesis 15 degrees close parenthesis$ , we need to write $15 degrees$ as a sum or difference of angles whose cosines and sines we know. One way to do so is to write $15^{\circ} = 45^{\circ} - 30^{\circ}$ .
$\begin{matrix} \cos (15^{\circ}) & = & \cos (45^{\circ} - 30^{\circ}) \\ = & \cos (45^{\circ}) \cos (30^{\circ}) + \sin (45^{\circ}) \sin (30^{\circ}) \\ = & (\frac{\sqrt{2}}{2}) (\frac{\sqrt{3}}{2}) + (\frac{\sqrt{2}}{2}) (\frac{1}{2}) \\ = & \frac{\sqrt{6} + \sqrt{2}}{4} \end{matrix}$
In a straightforward application of Theorem 10.13, we find
$\begin{matrix} \cos (\frac{π}{2} - θ) & = & \cos (\frac{π}{2}) \cos (θ) + \sin (\frac{π}{2}) \sin (θ) \\ = & (0) (\cos (θ)) + (1) (\sin (θ)) \\ = & \sin (θ) \end{matrix}$

The identity verified in Example 10.4.1, namely, $\cos (\frac{π}{2} - θ) = \sin (θ)$ , is the first of the celebrated `cofunction' identities. These identities were first hinted at in Exercise in Section 10.2. From $\sin (θ) = \cos (\frac{π}{2} - θ)$ , we get:

$\sin (\frac{π}{2} - θ) = \cos (\frac{π}{2} - [\frac{π}{2} - θ]) = \cos (θ),$

which says, in words, that the `co'sine of an angle is the sine of its `co'mplement. Now that these identities have been established for cosine and sine, the remaining circular functions follow suit. The remaining proofs are left as exercises.

Theorem

Cofunction Identities: For all applicable angles $θ$ ,

$\cos (\frac{π}{2} - θ) = \sin (θ)$
$\sin (\frac{π}{2} - θ) = \cos (θ)$
$\sec (\frac{π}{2} - θ) = \csc (θ)$
$\csc (\frac{π}{2} - θ) = \sec (θ)$
$\tan (\frac{π}{2} - θ) = \cot (θ)$
$\cot (\frac{π}{2} - θ) = \tan (θ)$

With the Cofunction Identities in place, we are now in the position to derive the sum and difference formulas for sine. To derive the sum formula for sine, we convert to cosines using a cofunction identity, then expand using the difference formula for cosine

$\begin{matrix} \sin (α + β) & = & \cos (\frac{π}{2} - (α + β)) \\ = & \cos ([\frac{π}{2} - α] - β) \\ = & \cos (\frac{π}{2} - α) \cos (β) + \sin (\frac{π}{2} - α) \sin (β) \\ = & \sin (α) \cos (β) + \cos (α) \sin (β) \end{matrix}$

We can derive the difference formula for sine by rewriting $\sin (α - β)$ as $\sin (α + (- β))$ and using the sum formula and the Even / Odd Identities. Again, we leave the details to the reader.

Theorem

Sum and Difference Identities for Sine: For all angles $α$ and $β$ ,

$\sin (α + β) = \sin (α) \cos (β) + \cos (α) \sin (β)$
$\sin (α - β) = \sin (α) \cos (β) - \cos (α) \sin (β)$

Example 2

Find the exact value of $\sin (\frac{19 π}{12})$
If $α$ is a Quadrant II angle with $\sin (α) = \frac{5}{13}$ , and $β$ is a Quadrant III angle with $tan ⁡ open parenthesis β close parenthesis equals 2$ , find $\sin (α - β)$ .
Derive a formula for $\tan (α + β)$ in terms of $\tan (α)$ and $\tan (β)$ .

As in Example 10.4.1, we need to write the angle $\frac{19 π}{12}$ as a sum or difference of common angles. The denominator of $12$ suggests a combination of angles with denominators $3$ and $4$ . One such combination is $\frac{19 π}{12} = \frac{4 π}{3} + \frac{π}{4}$ . Applying Theorem 10.15, we get
$\begin{matrix} \sin (\frac{19 π}{12}) & = & \sin (\frac{4 π}{3} + \frac{π}{4}) \\ = & \sin (\frac{4 π}{3}) \cos (\frac{π}{4}) + \cos (\frac{4 π}{3}) \sin (\frac{π}{4}) \\ = & (- \frac{\sqrt{3}}{2}) (\frac{\sqrt{2}}{2}) + (- \frac{1}{2}) (\frac{\sqrt{2}}{2}) \\ = & \frac{- \sqrt{6} - \sqrt{2}}{4} \end{matrix}$
In order to find $\sin (α - β)$ using Theorem 10.15, we need to find $\cos (α)$ and both $\cos (β)$ and $\sin (β)$ . To find $\cos (α)$ , we use the Pythagorean Identity $\cos^{2} (α) + \sin^{2} (α) = 1$ . Since $\sin (α) = \frac{5}{13}$ , we have $\cos^{2} (α) + {(\frac{5}{13})}^{2} = 1$ , or $\cos (α) = \pm \frac{12}{13}$ . Since $α$ is a Quadrant II angle, $\cos (α) = - \frac{12}{13}$ . We now set about finding $\cos (β)$ and $\sin (β)$ . We have several ways to proceed, but the Pythagorean Identity $1 + \tan^{2} (β) = \sec^{2} (β)$ is a quick way to get $\sec (β)$ , and hence, $\cos (β)$ . With $tan ⁡ open parenthesis β close parenthesis equals 2$ , we get $1 + 2^{2} = \sec^{2} (β)$ so that $\sec (β) = \pm \sqrt{5}$ . Since $β$ is a Quadrant III angle, we choose $\sec (β) = - \sqrt{5}$ so $\cos (β) = \frac{1}{\sec (β)} = \frac{1}{- \sqrt{5}} = - \frac{\sqrt{5}}{5}$ . We now need to determine $\sin (β)$ . We could use The Pythagorean Identity $\cos^{2} (β) + \sin^{2} (β) = 1$ , but we opt instead to use a quotient identity. From $\tan (β) = \frac{\sin (β)}{\cos (β)}$ , we have $\sin (β) = \tan (β) \cos (β)$ so we get $\sin (β) = (2) (- \frac{\sqrt{5}}{5}) = - \frac{2 \sqrt{5}}{5}$ . We now have all the pieces needed to find $\sin (α - β)$ :
$\begin{matrix} \sin (α - β) & = & \sin (α) \cos (β) - \cos (α) \sin (β) \\ = & (\frac{5}{13}) (- \frac{\sqrt{5}}{5}) - (- \frac{12}{13}) (- \frac{2 \sqrt{5}}{5}) \\ = & - \frac{29 \sqrt{5}}{65} \end{matrix}$
We can start expanding $\tan (α + β)$ using a quotient identity and our sum formulas
$\begin{matrix} \tan (α + β) & = & \frac{\sin (α + β)}{\cos (α + β)} \\ = & \frac{\sin (α) \cos (β) + \cos (α) \sin (β)}{\cos (α) \cos (β) - \sin (α) \sin (β)} \end{matrix}$
Since $\tan (α) = \frac{\sin (α)}{\cos (α)}$ and $\tan (β) = \frac{\sin (β)}{\cos (β)}$ , it looks as though if we divide both numerator and denominator by $\cos (α) \cos (β)$ we will have what we want
$\begin{matrix} \tan (α + β) & = & \frac{\sin (α) \cos (β) + \cos (α) \sin (β)}{\cos (α) \cos (β) - \sin (α) \sin (β)} \cdot \frac{\frac{1}{\cos (α) \cos (β)}}{\frac{1}{\cos (α) \cos (β)}} \\ = & \frac{\frac{\sin (α) \cos (β)}{\cos (α) \cos (β)} + \frac{\cos (α) \sin (β)}{\cos (α) \cos (β)}}{\frac{\cos (α) \cos (β)}{\cos (α) \cos (β)} - \frac{\sin (α) \sin (β)}{\cos (α) \cos (β)}} \\ = & \frac{\frac{\sin (α) \cos (β)}{\cos (α) \cos (β)} + \frac{\cos (α) \sin (β)}{\cos (α) \cos (β)}}{\frac{\cos (α) \cos (β)}{\cos (α) \cos (β)} - \frac{\sin (α) \sin (β)}{\cos (α) \cos (β)}} \\ = & \frac{\tan (α) + \tan (β)}{1 - \tan (α) \tan (β)} \end{matrix}$
Naturally, this formula is limited to those cases where all of the tangents are defined.

The formula developed in Exercise 10.4.2 for $\tan (α + β)$ can be used to find a formula for $\tan (α - β)$ by rewriting the difference as a sum, $\tan (α + (- β))$ , and the reader is encouraged to fill in the details. Below we summarize all of the sum and difference formulas for cosine, sine and tangent.

Theorem

Sum and Difference Identities: For all applicable angles $α$ and $β$ ,

$\cos (α \pm β) = \cos (α) \cos (β) \mp \sin (α) \sin (β)$
$\sin (α \pm β) = \sin (α) \cos (β) \pm \cos (α) \sin (β)$
$\tan (α \pm β) = \frac{\tan (α) \pm \tan (β)}{1 \mp \tan (α) \tan (β)}$

In the statement of Theorem 10.16, we have combined the cases for the sum ` $+$ ' and difference `' of angles into one formula. The convention here is that if you want the formula for the sum ` $+$ ' of two angles, you use the top sign in the formula; for the difference, `', use the bottom sign. For example,

$\tan (α - β) = \frac{\tan (α) - \tan (β)}{1 + \tan (α) \tan (β)}$

If we specialize the sum formulas in Theorem 10.16 to the case when $α = β$ , we obtain the following `Double Angle' Identities.

Theorem

Double Angle Identities: For all applicable angles $θ$ ,

$\cos (2 θ) = {\begin{matrix} \cos^{2} (θ) - \sin^{2} (θ) \\ 2 \cos^{2} (θ) - 1 \\ 1 - 2 \sin^{2} (θ) \end{matrix}$
$sin ⁡ open parenthesis 2 ⁢ θ close parenthesis equals 2 ⁢ sin ⁡ open parenthesis θ close parenthesis ⁢ cos ⁡ open parenthesis θ close parenthesis$
$\tan (2 θ) = \frac{2 \tan (θ)}{1 - \tan^{2} (θ)}$

The three different forms for $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$ can be explained by our ability to `exchange' squares of cosine and sine via the Pythagorean Identity $\cos^{2} (θ) + \sin^{2} (θ) = 1$ and we leave the details to the reader. It is interesting to note that to determine the value of $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$ , only one piece of information is required: either $\cos (θ)$ or $\sin (θ)$ . To determine $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$ , however, it appears that we must know both $\sin (θ)$ and $\cos (θ)$ . In the next example, we show how we can find $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$ knowing just one piece of information, namely $\tan (θ)$ .

Example 3

Suppose $P ⁢ open parenthesis minus 3, 4 close parenthesis$ lies on the terminal side of $θ$ when $θ$ is plotted in standard position. Find $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$ and $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$ and determine the quadrant in which the terminal side of the angle $2 ⁢ θ$ lies when it is plotted in standard position.
If $\sin (θ) = x$ for $- \frac{π}{2} \leq θ \leq \frac{π}{2}$ , find an expression for $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$ in terms of $x$ .
Verify the identity: $\sin (2 θ) = \frac{2 \tan (θ)}{1 + \tan^{2} (θ)}$ .
Express $cos ⁡ open parenthesis 3 ⁢ θ close parenthesis$ as a polynomial in terms of $\cos (θ)$ .

Using Theorem 10.3 from Section 10.2 with $x = - 3$ and $y equals 4$ , we find $r = \sqrt{x^{2} + y^{2}} = 5$ . Hence, $\cos (θ) = - \frac{3}{5}$ and $\sin (θ) = \frac{4}{5}$ . Applying Theorem 10.17, we get $\cos (2 θ) = \cos^{2} (θ) - \sin^{2} (θ) = {(- \frac{3}{5})}^{2} - {(\frac{4}{5})}^{2} = - \frac{7}{25}$ , and $\sin (2 θ) = 2 \sin (θ) \cos (θ) = 2 (\frac{4}{5}) (- \frac{3}{5}) = - \frac{24}{25}$ . Since both cosine and sine of $2 ⁢ θ$ are negative, the terminal side of $2 ⁢ θ$ , when plotted in standard position, lies in Quadrant III.
If your first reaction to ` $\sin (θ) = x$ ' is `No it's not, $\cos (θ) = x$ !' then you have indeed learned something, and we take comfort in that. However, context is everything. Here, ` $x$ ' is just a variable - it does not necessarily represent the $x$ -coordinate of the point on The Unit Circle which lies on the terminal side of $θ$ , assuming $θ$ is drawn in standard position. Here, $x$ represents the quantity $\sin (θ)$ , and what we wish to know is how to express $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$ in terms of $x$ . We will see more of this kind of thing in Section 10.6, and, as usual, this is something we need for Calculus. Since $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis equals 2 ⁢ sin ⁡ open parenthesis θ close parenthesis ⁢ cos ⁡ open parenthesis θ close parenthesis$ , we need to write $\cos (θ)$ in terms of $x$ to finish the problem. We substitute $x = \sin (θ)$ into the Pythagorean Identity, $\cos^{2} (θ) + \sin^{2} (θ) = 1$ , to get $\cos^{2} (θ) + x^{2} = 1$ , or $\cos (θ) = \pm \sqrt{1 - x^{2}}$ . Since $- \frac{π}{2} \leq θ \leq \frac{π}{2}$ , $cos ⁡ open parenthesis θ close parenthesis greater than or equal to 0$ , and thus $\cos (θ) = \sqrt{1 - x^{2}}$ . Our final answer is $\sin (2 θ) = 2 \sin (θ) \cos (θ) = 2 x \sqrt{1 - x^{2}}$ .
We start with the right hand side of the identity and note that $1 + \tan^{2} (θ) = \sec^{2} (θ)$ . From this point, we use the Reciprocal and Quotient Identities to rewrite $\tan (θ)$ and $\sec (θ)$ in terms of $\cos (θ)$ and $\sin (θ)$ :
$\begin{matrix} \frac{2 \tan (θ)}{1 + \tan^{2} (θ)} & = & \frac{2 \tan (θ)}{\sec^{2} (θ)} = \frac{2 (\frac{\sin (θ)}{\cos (θ)})}{\frac{1}{\cos^{2} (θ)}} = 2 (\frac{\sin (θ)}{\cos (θ)}) \cos^{2} (θ) \\ = & 2 (\frac{\sin (θ)}{\cos (θ)}) \cos (θ) \cos (θ) = 2 \sin (θ) \cos (θ) = \sin (2 θ) \end{matrix}$
In Theorem 10.17, one of the formulas for $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$ , namely $\cos (2 θ) = 2 \cos^{2} (θ) - 1$ , expresses $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$ as a polynomial in terms of $\cos (θ)$ . We are now asked to find such an identity for $cos ⁡ open parenthesis 3 ⁢ θ close parenthesis$ . Using the sum formula for cosine, we begin with
$\begin{matrix} \cos (3 θ) & = & \cos (2 θ + θ) \\ = & \cos (2 θ) \cos (θ) - \sin (2 θ) \sin (θ) \end{matrix}$
Our ultimate goal is to express the right hand side in terms of $\cos (θ)$ only. We substitute $\cos (2 θ) = 2 \cos^{2} (θ) - 1$ and $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis equals 2 ⁢ sin ⁡ open parenthesis θ close parenthesis ⁢ cos ⁡ open parenthesis θ close parenthesis$ which yields
$\begin{matrix} \cos (3 θ) & = & \cos (2 θ) \cos (θ) - \sin (2 θ) \sin (θ) \\ = & (2 \cos^{2} (θ) - 1) \cos (θ) - (2 \sin (θ) \cos (θ)) \sin (θ) \\ = & 2 \cos^{3} (θ) - \cos (θ) - 2 \sin^{2} (θ) \cos (θ) \end{matrix}$
Finally, we exchange $\sin^{2} (θ)$ for $1 minus cos squared ⁡ open parenthesis θ close parenthesis$ courtesy of the Pythagorean Identity, and get
$\begin{matrix} \cos (3 θ) & = & 2 \cos^{3} (θ) - \cos (θ) - 2 \sin^{2} (θ) \cos (θ) \\ = & 2 \cos^{3} (θ) - \cos (θ) - 2 (1 - \cos^{2} (θ)) \cos (θ) \\ = & 2 \cos^{3} (θ) - \cos (θ) - 2 \cos (θ) + 2 \cos^{3} (θ) \\ = & 4 \cos^{3} (θ) - 3 \cos (θ) \end{matrix}$
and we are done.

In the last problem in Example 10.4.3, we saw how we could rewrite $cos ⁡ open parenthesis 3 ⁢ θ close parenthesis$ as sums of powers of $\cos (θ)$ . In Calculus, we have occasion to do the reverse; that is, reduce the power of cosine and sine. Solving the identity $\cos (2 θ) = 2 \cos^{2} (θ) - 1$ for $\cos^{2} (θ)$ and the identity $\cos (2 θ) = 1 - 2 \sin^{2} (θ)$ for $\sin^{2} (θ)$ results in the aptly-named `Power Reduction' formulas below.

Theorem

Power Reduction Formulas: For all angles $θ$ ,

$\cos^{2} (θ) = \frac{1 + \cos (2 θ)}{2}$
$\sin^{2} (θ) = \frac{1 - \cos (2 θ)}{2}$

Example 4

Rewrite $\sin^{2} (θ) \cos^{2} (θ)$ as a sum and difference of cosines to the first power.

We begin with a straightforward application of Theorem 10.18

$\begin{matrix} \sin^{2} (θ) \cos^{2} (θ) & = & (\frac{1 - \cos (2 θ)}{2}) (\frac{1 + \cos (2 θ)}{2}) \\ = & \frac{1}{4} (1 - \cos^{2} (2 θ)) \\ = & \frac{1}{4} - \frac{1}{4} \cos^{2} (2 θ) \end{matrix}$

Next, we apply the power reduction formula to $cos squared ⁡ open parenthesis 2 ⁢ θ close parenthesis$ to finish the reduction

$\begin{matrix} \sin^{2} (θ) \cos^{2} (θ) & = & \frac{1}{4} - \frac{1}{4} \cos^{2} (2 θ) \\ = & \frac{1}{4} - \frac{1}{4} (\frac{1 + \cos (2 (2 θ))}{2}) \\ = & \frac{1}{4} - \frac{1}{8} - \frac{1}{8} \cos (4 θ) \\ = & \frac{1}{8} - \frac{1}{8} \cos (4 θ) \end{matrix}$

Another application of the Power Reduction Formulas is the Half Angle Formulas. To start, we apply the Power Reduction Formula to $\cos^{2} (\frac{θ}{2})$

$\cos^{2} (\frac{θ}{2}) = \frac{1 + \cos (2 (\frac{θ}{2}))}{2} = \frac{1 + \cos (θ)}{2} .$

We can obtain a formula for $\cos (\frac{θ}{2})$ by extracting square roots. In a similar fashion, we may obtain a half angle formula for sine, and by using a quotient formula, obtain a half angle formula for tangent. We summarize these formulas below.

Theorem

Half Angle Formulas: For all applicable angles $θ$ ,

$\cos (\frac{θ}{2}) = \pm \sqrt{\frac{1 + \cos (θ)}{2}}$
$\sin (\frac{θ}{2}) = \pm \sqrt{\frac{1 - \cos (θ)}{2}}$
$\tan (\frac{θ}{2}) = \pm \sqrt{\frac{1 - \cos (θ)}{1 + \cos (θ)}}$

where the choice of $\pm$ depends on the quadrant in which the terminal side of $\frac{θ}{2}$ lies.

Example 5

Use a half angle formula to find the exact value of $cos ⁡ open parenthesis 15 degrees close parenthesis$ .
Suppose $minus π less than or equal to θ less than or equal to 0$ with $\cos (θ) = - \frac{3}{5}$ . Find $\sin (\frac{θ}{2})$ .
Use the identity given in number of Example 10.4.3 to derive the identity
$\tan (\frac{θ}{2}) = \frac{\sin (θ)}{1 + \cos (θ)}$

To use the half angle formula, we note that $15^{\circ} = \frac{30^{\circ}}{2}$ and since $15 degrees$ is a Quadrant I angle, its cosine is positive. Thus we have
$\begin{matrix} \cos (15^{\circ}) & = & + \sqrt{\frac{1 + \cos (30^{\circ})}{2}} = \sqrt{\frac{1 + \frac{\sqrt{3}}{2}}{2}} \\ = & \sqrt{\frac{1 + \frac{\sqrt{3}}{2}}{2} \cdot \frac{2}{2}} = \sqrt{\frac{2 + \sqrt{3}}{4}} = \frac{\sqrt{2 + \sqrt{3}}}{2} \end{matrix}$
Back in Example 10.4.1, we found $cos ⁡ open parenthesis 15 degrees close parenthesis$ by using the difference formula for cosine. In that case, we determined $\cos (15^{\circ}) = \frac{\sqrt{6} + \sqrt{2}}{4}$ . The reader is encouraged to prove that these two expressions are equal.
If $minus π less than or equal to θ less than or equal to 0$ , then $- \frac{π}{2} \leq \frac{θ}{2} \leq 0$ , which means $\sin (\frac{θ}{2}) < 0$ . Theorem 10.19 gives
$\begin{matrix} \sin (\frac{θ}{2}) & = & - \sqrt{\frac{1 - \cos (θ)}{2}} = - \sqrt{\frac{1 - (- \frac{3}{5})}{2}} \\ = & - \sqrt{\frac{1 + \frac{3}{5}}{2} \cdot \frac{5}{5}} = - \sqrt{\frac{8}{10}} = - \frac{2 \sqrt{5}}{5} \end{matrix}$
Instead of our usual approach to verifying identities, namely starting with one side of the equation and trying to transform it into the other, we will start with the identity we proved in number of Example 10.4.3 and manipulate it into the identity we are asked to prove. The identity we are asked to start with is $\sin (2 θ) = \frac{2 \tan (θ)}{1 + \tan^{2} (θ)}$ . If we are to use this to derive an identity for $\tan (\frac{θ}{2})$ , it seems reasonable to proceed by replacing each occurrence of $θ$ with $\frac{θ}{2}$
$\begin{matrix} \sin (2 (\frac{θ}{2})) & = & \frac{2 \tan (\frac{θ}{2})}{1 + \tan^{2} (\frac{θ}{2})} \\ \sin (θ) & = & \frac{2 \tan (\frac{θ}{2})}{1 + \tan^{2} (\frac{θ}{2})} \end{matrix}$
We now have the $\sin (θ)$ we need, but we somehow need to get a factor of $1 plus cos ⁡ open parenthesis θ close parenthesis$ involved. To get cosines involved, recall that $1 + \tan^{2} (\frac{θ}{2}) = \sec^{2} (\frac{θ}{2})$ . We continue to manipulate our given identity by converting secants to cosines and using a power reduction formula
$\begin{matrix} \sin (θ) & = & \frac{2 \tan (\frac{θ}{2})}{1 + \tan^{2} (\frac{θ}{2})} \\ \sin (θ) & = & \frac{2 \tan (\frac{θ}{2})}{\sec^{2} (\frac{θ}{2})} \\ \sin (θ) & = & 2 \tan (\frac{θ}{2}) \cos^{2} (\frac{θ}{2}) \\ \sin (θ) & = & 2 \tan (\frac{θ}{2}) (\frac{1 + \cos (2 (\frac{θ}{2}))}{2}) \\ \sin (θ) & = & \tan (\frac{θ}{2}) (1 + \cos (θ)) \\ \tan (\frac{θ}{2}) & = & \frac{\sin (θ)}{1 + \cos (θ)} \end{matrix}$

Our next batch of identities, the Product to Sum Formulas,³ are easily verified by expanding each of the right hand sides in accordance with Theorem 10.16 and as you should expect by now we leave the details as exercises. They are of particular use in Calculus, and we list them here for reference.

Theorem

Product to Sum Formulas: For all angles $α$ and $β$ ,

$\cos (α) \cos (β) = \frac{1}{2} [\cos (α - β) + \cos (α + β)]$
$\sin (α) \sin (β) = \frac{1}{2} [\cos (α - β) - \cos (α + β)]$
$\sin (α) \cos (β) = \frac{1}{2} [\sin (α - β) + \sin (α + β)]$

Related to the Product to Sum Formulas are the Sum to Product Formulas, which we will have need of in Section 10.7. These are easily verified using the Product to Sum Formulas, and as such, their proofs are left as exercises.

Theorem

Sum to Product Formulas: For all angles $α$ and $β$ ,

$\cos (α) + \cos (β) = 2 \cos (\frac{α + β}{2}) \cos (\frac{α - β}{2})$
$\cos (α) - \cos (β) = - 2 \sin (\frac{α + β}{2}) \sin (\frac{α - β}{2})$
$\sin (α) \pm \sin (β) = 2 \sin (\frac{α \pm β}{2}) \cos (\frac{α \mp β}{2})$

Example 6

Write $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis ⁢ cos ⁡ open parenthesis 6 ⁢ θ close parenthesis$ as a sum.
Write $sin ⁡ open parenthesis θ close parenthesis minus sin ⁡ open parenthesis 3 ⁢ θ close parenthesis$ as a product.

Identifying $α equals 2 ⁢ θ$ and $β equals 6 ⁢ θ$ , we find
$\begin{matrix} \cos (2 θ) \cos (6 θ) & = & \frac{1}{2} [\cos (2 θ - 6 θ) + \cos (2 θ + 6 θ)] \\ = & \frac{1}{2} \cos (- 4 θ) + \frac{1}{2} \cos (8 θ) \\ = & \frac{1}{2} \cos (4 θ) + \frac{1}{2} \cos (8 θ), \end{matrix}$
where the last equality is courtesy of the even identity for cosine, $\cos (- 4 θ) = \cos (4 θ)$ .
Identifying $α = θ$ and $β equals 3 ⁢ θ$ yields
$\begin{matrix} \sin (θ) - \sin (3 θ) & = & 2 \sin (\frac{θ - 3 θ}{2}) \cos (\frac{θ + 3 θ}{2}) \\ = & 2 \sin (- θ) \cos (2 θ) \\ = & - 2 \sin (θ) \cos (2 θ), \end{matrix}$
where the last equality is courtesy of the odd identity for sine, $\sin (- θ) = - \sin (θ)$ .

The reader is reminded that all of the identities presented in this section which regard the circular functions as functions of angles (in radian measure) apply equally well to the circular (trigonometric) functions regarded as functions of real numbers. In Exercises - in Section 10.5, we see how some of these identities manifest themselves geometrically as we study the graphs of the these functions. In the upcoming Exercises, however, you need to do all of your work analytically without graphs.

Exercises

In Exercises -, use the Even / Odd Identities to verify the identity. Assume all quantities are defined.

$\sin (3 π - 2 θ) = - \sin (2 θ - 3 π)$
$\cos (- \frac{π}{4} - 5 t) = \cos (5 t + \frac{π}{4})$
$\tan (- t^{2} + 1) = - \tan (t^{2} - 1)$
$\csc (- θ - 5) = - \csc (θ + 5)$
$\sec (- 6 t) = \sec (6 t)$
$\cot (9 - 7 θ) = - \cot (7 θ - 9)$

In Exercises -, use the Sum and Difference Identities to find the exact value. You may have need of the Quotient, Reciprocal or Even / Odd Identities as well.

$cos ⁡ open parenthesis 75 degrees close parenthesis$
$sec ⁡ open parenthesis 165 degrees close parenthesis$
$sin ⁡ open parenthesis 105 degrees close parenthesis$
$csc ⁡ open parenthesis 195 degrees close parenthesis$
$cot ⁡ open parenthesis 255 degrees close parenthesis$
$tan ⁡ open parenthesis 375 degrees close parenthesis$
$\cos (\frac{13 π}{12})$
$\sin (\frac{11 π}{12})$
$\tan (\frac{13 π}{12})$
$\cos (\frac{7 π}{12})$
$\tan (\frac{17 π}{12})$
$\sin (\frac{π}{12})$
$\cot (\frac{11 π}{12})$
$\csc (\frac{5 π}{12})$
$\sec (- \frac{π}{12})$
If $α$ is a Quadrant IV angle with $\cos (α) = \frac{\sqrt{5}}{5}$ , and $\sin (β) = \frac{\sqrt{10}}{10}$ , where $\frac{π}{2} < β < π$ , find
1. $\cos (α + β)$
2. $\sin (α + β)$
3. $\tan (α + β)$
1. $\cos (α - β)$
2. $\sin (α - β)$
3. $\tan (α - β)$
If $csc ⁡ open parenthesis α close parenthesis equals 3$ , where $0 < α < \frac{π}{2}$ , and $β$ is a Quadrant II angle with $\tan (β) = - 7$ , find
1. $\cos (α + β)$
2. $\sin (α + β)$
3. $\tan (α + β)$
1. $\cos (α - β)$
2. $\sin (α - β)$
3. $\tan (α - β)$
If $\sin (α) = \frac{3}{5}$ , where $0 < α < \frac{π}{2}$ , and $\cos (β) = \frac{12}{13}$ where $\frac{3 π}{2} < β < 2 π$ , find
1. $\sin (α + β)$
2. $\cos (α - β)$
3. $\tan (α - β)$
If $\sec (α) = - \frac{5}{3}$ , where $\frac{π}{2} < α < π$ , and $\tan (β) = \frac{24}{7}$ , where $π < β < \frac{3 π}{2}$ , find
1. $\csc (α - β)$
2. $\sec (α + β)$
3. $\cot (α + β)$

In Exercises -, verify the identity.

$\cos (θ - π) = - \cos (θ)$
$\sin (π - θ) = \sin (θ)$
$\tan (θ + \frac{π}{2}) = - \cot (θ)$
$\sin (α + β) + \sin (α - β) = 2 \sin (α) \cos (β)$
$\sin (α + β) - \sin (α - β) = 2 \cos (α) \sin (β)$
$\cos (α + β) + \cos (α - β) = 2 \cos (α) \cos (β)$
$\cos (α + β) - \cos (α - β) = - 2 \sin (α) \sin (β)$
$\frac{\sin (α + β)}{\sin (α - β)} = \frac{1 + \cot (α) \tan (β)}{1 - \cot (α) \tan (β)}$
$\frac{\cos (α + β)}{\cos (α - β)} = \frac{1 - \tan (α) \tan (β)}{1 + \tan (α) \tan (β)}$
$\frac{\tan (α + β)}{\tan (α - β)} = \frac{\sin (α) \cos (α) + \sin (β) \cos (β)}{\sin (α) \cos (α) - \sin (β) \cos (β)}$
$\frac{\sin (t + h) - \sin (t)}{h} = \cos (t) (\frac{\sin (h)}{h}) + \sin (t) (\frac{\cos (h) - 1}{h})$
$\frac{\cos (t + h) - \cos (t)}{h} = \cos (t) (\frac{\cos (h) - 1}{h}) - \sin (t) (\frac{\sin (h)}{h})$
$\frac{\tan (t + h) - \tan (t)}{h} = (\frac{\tan (h)}{h}) (\frac{\sec^{2} (t)}{1 - \tan (t) \tan (h)})$

In Exercises -, use the Half Angle Formulas to find the exact value. You may have need of the Quotient, Reciprocal or Even / Odd Identities as well.

$cos ⁡ open parenthesis 75 degrees close parenthesis$ (compare with Exercise )
$sin ⁡ open parenthesis 105 degrees close parenthesis$ (compare with Exercise )
$cos ⁡ open parenthesis 67.5 degrees close parenthesis$
$sin ⁡ open parenthesis 157.5 degrees close parenthesis$
$tan ⁡ open parenthesis 112.5 degrees close parenthesis$
$\cos (\frac{7 π}{12})$ (compare with Exercise )
$\sin (\frac{π}{12})$ (compare with Exercise )
$\cos (\frac{π}{8})$
$\sin (\frac{5 π}{8})$
$\tan (\frac{7 π}{8})$

In Exercises -, use the given information about $θ$ to find the exact values of

$sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$
$\sin (\frac{θ}{2})$
$cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$
$\cos (\frac{θ}{2})$
$tan ⁡ open parenthesis 2 ⁢ θ close parenthesis$
$\tan (\frac{θ}{2})$
$\sin (θ) = - \frac{7}{25}$ where $\frac{3 π}{2} < θ < 2 π$
$\cos (θ) = \frac{28}{53}$ where $0 < θ < \frac{π}{2}$
$\tan (θ) = \frac{12}{5}$ where $π < θ < \frac{3 π}{2}$
$csc ⁡ open parenthesis θ close parenthesis equals 4$ where $\frac{π}{2} < θ < π$
$\cos (θ) = \frac{3}{5}$ where $0 < θ < \frac{π}{2}$
$\sin (θ) = - \frac{4}{5}$ where $π < θ < \frac{3 π}{2}$
$\cos (θ) = \frac{12}{13}$ where $\frac{3 π}{2} < θ < 2 π$
$\sin (θ) = \frac{5}{13}$ where $\frac{π}{2} < θ < π$
$\sec (θ) = \sqrt{5}$ where $\frac{3 π}{2} < θ < 2 π$
$\tan (θ) = - 2$ where $\frac{π}{2} < θ < π$

In Exercises -, verify the identity. Assume all quantities are defined.

${(\cos (θ) + \sin (θ))}^{2} = 1 + \sin (2 θ)$
${(\cos (θ) - \sin (θ))}^{2} = 1 - \sin (2 θ)$
$\tan (2 θ) = \frac{1}{1 - \tan (θ)} - \frac{1}{1 + \tan (θ)}$
$\csc (2 θ) = \frac{\cot (θ) + \tan (θ)}{2}$
$8 \sin^{4} (θ) = \cos (4 θ) - 4 \cos (2 θ) + 3$
$8 \cos^{4} (θ) = \cos (4 θ) + 4 \cos (2 θ) + 3$
$\sin (3 θ) = 3 \sin (θ) - 4 \sin^{3} (θ)$
$\sin (4 θ) = 4 \sin (θ) \cos^{3} (θ) - 4 \sin^{3} (θ) \cos (θ)$
$32 \sin^{2} (θ) \cos^{4} (θ) = 2 + \cos (2 θ) - 2 \cos (4 θ) - \cos (6 θ)$
$32 \sin^{4} (θ) \cos^{2} (θ) = 2 - \cos (2 θ) - 2 \cos (4 θ) + \cos (6 θ)$
$\cos (4 θ) = 8 \cos^{4} (θ) - 8 \cos^{2} (θ) + 1$
$\cos (8 θ) = 128 \cos^{8} (θ) - 256 \cos^{6} (θ) + 160 \cos^{4} (θ) - 32 \cos^{2} (θ) + 1$ (HINT: Use the result to.)
$\sec (2 θ) = \frac{\cos (θ)}{\cos (θ) + \sin (θ)} + \frac{\sin (θ)}{\cos (θ) - \sin (θ)}$
$\frac{1}{\cos (θ) - \sin (θ)} + \frac{1}{\cos (θ) + \sin (θ)} = \frac{2 \cos (θ)}{\cos (2 θ)}$
$\frac{1}{\cos (θ) - \sin (θ)} - \frac{1}{\cos (θ) + \sin (θ)} = \frac{2 \sin (θ)}{\cos (2 θ)}$

In Exercises -, write the given product as a sum. You may need to use an Even/Odd Identity.

$cos ⁡ open parenthesis 3 ⁢ θ close parenthesis ⁢ cos ⁡ open parenthesis 5 ⁢ θ close parenthesis$
$sin ⁡ open parenthesis 2 ⁢ θ close parenthesis ⁢ sin ⁡ open parenthesis 7 ⁢ θ close parenthesis$
$sin ⁡ open parenthesis 9 ⁢ θ close parenthesis ⁢ cos ⁡ open parenthesis θ close parenthesis$
$cos ⁡ open parenthesis 2 ⁢ θ close parenthesis ⁢ cos ⁡ open parenthesis 6 ⁢ θ close parenthesis$
$sin ⁡ open parenthesis 3 ⁢ θ close parenthesis ⁢ sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$
$cos ⁡ open parenthesis θ close parenthesis ⁢ sin ⁡ open parenthesis 3 ⁢ θ close parenthesis$

In Exercises -, write the given sum as a product. You may need to use an Even/Odd or Cofunction Identity.

$cos ⁡ open parenthesis 3 ⁢ θ close parenthesis plus cos ⁡ open parenthesis 5 ⁢ θ close parenthesis$
$sin ⁡ open parenthesis 2 ⁢ θ close parenthesis minus sin ⁡ open parenthesis 7 ⁢ θ close parenthesis$
$cos ⁡ open parenthesis 5 ⁢ θ close parenthesis minus cos ⁡ open parenthesis 6 ⁢ θ close parenthesis$
$\sin (9 θ) - \sin (- θ)$
$\sin (θ) + \cos (θ)$
$\cos (θ) - \sin (θ)$
Suppose $θ$ is a Quadrant I angle with $\sin (θ) = x$ . Verify the following formulas
1. $\cos (θ) = \sqrt{1 - x^{2}}$
2. $\sin (2 θ) = 2 x \sqrt{1 - x^{2}}$
3. $\cos (2 θ) = 1 - 2 x^{2}$
Discuss with your classmates how each of the formulas, if any, in Exercise change if we change assume $θ$ is a Quadrant II, III, or IV angle.
Suppose $θ$ is a Quadrant I angle with $\tan (θ) = x$ . Verify the following formulas
1. $\cos (θ) = \frac{1}{\sqrt{x^{2} + 1}}$
2. $\sin (θ) = \frac{x}{\sqrt{x^{2} + 1}}$
1. $\sin (2 θ) = \frac{2 x}{x^{2} + 1}$
2. $\cos (2 θ) = \frac{1 - x^{2}}{x^{2} + 1}$
Discuss with your classmates how each of the formulas, if any, in Exercise change if we change assume $θ$ is a Quadrant II, III, or IV angle.
If $\sin (θ) = \frac{x}{2}$ for $- \frac{π}{2} < θ < \frac{π}{2}$ , find an expression for $cos ⁡ open parenthesis 2 ⁢ θ close parenthesis$ in terms of $x$ .
If $\tan (θ) = \frac{x}{7}$ for $- \frac{π}{2} < θ < \frac{π}{2}$ , find an expression for $sin ⁡ open parenthesis 2 ⁢ θ close parenthesis$ in terms of $x$ .
If $\sec (θ) = \frac{x}{4}$ for $0 < θ < \frac{π}{2}$ , find an expression for $\ln | \sec (θ) + \tan (θ) |$ in terms of $x$ .
Show that $\cos^{2} (θ) - \sin^{2} (θ) = 2 \cos^{2} (θ) - 1 = 1 - 2 \sin^{2} (θ)$ for all $θ$ .
Let $θ$ be a Quadrant III angle with $\cos (θ) = - \frac{1}{5}$ . Show that this is not enough information to determine the sign of $\sin (\frac{θ}{2})$ by first assuming $3 π < θ < \frac{7 π}{2}$ and then assuming $π < θ < \frac{3 π}{2}$ and computing $\sin (\frac{θ}{2})$ in both cases.
Without using your calculator, show that $\frac{\sqrt{2 + \sqrt{3}}}{2} = \frac{\sqrt{6} + \sqrt{2}}{4}$
In part of Example 10.4.3, we wrote $cos ⁡ open parenthesis 3 ⁢ θ close parenthesis$ as a polynomial in terms of $\cos (θ)$ . In Exercise, we had you verify an identity which expresses $cos ⁡ open parenthesis 4 ⁢ θ close parenthesis$ as a polynomial in terms of $\cos (θ)$ . Can you find a polynomial in terms of $\cos (θ)$ for $cos ⁡ open parenthesis 5 ⁢ θ close parenthesis$ ? $cos ⁡ open parenthesis 6 ⁢ θ close parenthesis$ ? Can you find a pattern so that $\cos (n θ)$ could be written as a polynomial in cosine for any natural number $n$ ?
In Exercise, we has you verify an identity which expresses $sin ⁡ open parenthesis 3 ⁢ θ close parenthesis$ as a polynomial in terms of $\sin (θ)$ . Can you do the same for $sin ⁡ open parenthesis 5 ⁢ θ close parenthesis$ ? What about for $sin ⁡ open parenthesis 4 ⁢ θ close parenthesis$ ? If not, what goes wrong?
Verify the Even / Odd Identities for tangent, secant, cosecant and cotangent.
Verify the Cofunction Identities for tangent, secant, cosecant and cotangent.
Verify the Difference Identities for sine and tangent.
Verify the Product to Sum Identities.
Verify the Sum to Product Identities.

Answers

$\cos (75^{\circ}) = \frac{\sqrt{6} - \sqrt{2}}{4}$
$\sec (165^{\circ}) = - \frac{4}{\sqrt{2} + \sqrt{6}} = \sqrt{2} - \sqrt{6}$
$\sin (105^{\circ}) = \frac{\sqrt{6} + \sqrt{2}}{4}$
$\csc (195^{\circ}) = \frac{4}{\sqrt{2} - \sqrt{6}} = - (\sqrt{2} + \sqrt{6})$
$\cot (255^{\circ}) = \frac{\sqrt{3} - 1}{\sqrt{3} + 1} = 2 - \sqrt{3}$
$\tan (375^{\circ}) = \frac{3 - \sqrt{3}}{3 + \sqrt{3}} = 2 - \sqrt{3}$
$\cos (\frac{13 π}{12}) = - \frac{\sqrt{6} + \sqrt{2}}{4}$
$\sin (\frac{11 π}{12}) = \frac{\sqrt{6} - \sqrt{2}}{4}$
$\tan (\frac{13 π}{12}) = \frac{3 - \sqrt{3}}{3 + \sqrt{3}} = 2 - \sqrt{3}$
$\cos (\frac{7 π}{12}) = \frac{\sqrt{2} - \sqrt{6}}{4}$
$\tan (\frac{17 π}{12}) = 2 + \sqrt{3}$
$\sin (\frac{π}{12}) = \frac{\sqrt{6} - \sqrt{2}}{4}$
$\cot (\frac{11 π}{12}) = - (2 + \sqrt{3})$
$\csc (\frac{5 π}{12}) = \sqrt{6} - \sqrt{2}$
$\sec (- \frac{π}{12}) = \sqrt{6} - \sqrt{2}$
1. $\cos (α + β) = - \frac{\sqrt{2}}{10}$
2. $\sin (α + β) = \frac{7 \sqrt{2}}{10}$
1. $\tan (α + β) = - 7$
2. $\cos (α - β) = - \frac{\sqrt{2}}{2}$
1. $\sin (α - β) = \frac{\sqrt{2}}{2}$
2. $\tan (α - β) = - 1$
1. $\cos (α + β) = - \frac{4 + 7 \sqrt{2}}{30}$
2. $\sin (α + β) = \frac{28 - \sqrt{2}}{30}$
1. $\tan (α + β) = \frac{- 28 + \sqrt{2}}{4 + 7 \sqrt{2}} = \frac{63 - 100 \sqrt{2}}{41}$
2. $\cos (α - β) = \frac{- 4 + 7 \sqrt{2}}{30}$
1. $\sin (α - β) = - \frac{28 + \sqrt{2}}{30}$
2. $\tan (α - β) = \frac{28 + \sqrt{2}}{4 - 7 \sqrt{2}} = - \frac{63 + 100 \sqrt{2}}{41}$
1. $\sin (α + β) = \frac{16}{65}$
2. $\cos (α - β) = \frac{33}{65}$
3. $\tan (α - β) = \frac{56}{33}$
1. $\csc (α - β) = - \frac{5}{4}$
2. $\sec (α + β) = \frac{125}{117}$
3. $\cot (α + β) = \frac{117}{44}$
$\cos (75^{\circ}) = \frac{\sqrt{2 - \sqrt{3}}}{2}$
$\sin (105^{\circ}) = \frac{\sqrt{2 + \sqrt{3}}}{2}$
$\cos ({67.5}^{\circ}) = \frac{\sqrt{2 - \sqrt{2}}}{2}$
$\sin ({157.5}^{\circ}) = \frac{\sqrt{2 - \sqrt{2}}}{2}$
$\tan ({112.5}^{\circ}) = - \sqrt{\frac{2 + \sqrt{2}}{2 - \sqrt{2}}} = - 1 - \sqrt{2}$
$\cos (\frac{7 π}{12}) = - \frac{\sqrt{2 - \sqrt{3}}}{2}$
$\sin (\frac{π}{12}) = \frac{\sqrt{2 - \sqrt{3}}}{2}$
$\cos (\frac{π}{8}) = \frac{\sqrt{2 + \sqrt{2}}}{2}$
$\sin (\frac{5 π}{8}) = \frac{\sqrt{2 + \sqrt{2}}}{2}$
$\tan (\frac{7 π}{8}) = - \sqrt{\frac{2 - \sqrt{2}}{2 + \sqrt{2}}} = 1 - \sqrt{2}$
- $\sin (2 θ) = - \frac{336}{625}$
- $\sin (\frac{θ}{2}) = \frac{\sqrt{2}}{10}$
- $\cos (2 θ) = \frac{527}{625}$
- $\cos (\frac{θ}{2}) = - \frac{7 \sqrt{2}}{10}$
- $\tan (2 θ) = - \frac{336}{527}$
- $\tan (\frac{θ}{2}) = - \frac{1}{7}$
- $\sin (2 θ) = \frac{2520}{2809}$
- $\sin (\frac{θ}{2}) = \frac{5 \sqrt{106}}{106}$
- $\cos (2 θ) = - \frac{1241}{2809}$
- $\cos (\frac{θ}{2}) = \frac{9 \sqrt{106}}{106}$
- $\tan (2 θ) = - \frac{2520}{1241}$
- $\tan (\frac{θ}{2}) = \frac{5}{9}$
- $\sin (2 θ) = \frac{120}{169}$
- $\sin (\frac{θ}{2}) = \frac{3 \sqrt{13}}{13}$
- $\cos (2 θ) = - \frac{119}{169}$
- $\cos (\frac{θ}{2}) = - \frac{2 \sqrt{13}}{13}$
- $\tan (2 θ) = - \frac{120}{119}$
- $\tan (\frac{θ}{2}) = - \frac{3}{2}$
- $\sin (2 θ) = - \frac{\sqrt{15}}{8}$
- $\sin (\frac{θ}{2}) = \frac{\sqrt{8 + 2 \sqrt{15}}}{4}$
- $\cos (2 θ) = \frac{7}{8}$
- $\cos (\frac{θ}{2}) = \frac{\sqrt{8 - 2 \sqrt{15}}}{4}$
- $\tan (2 θ) = - \frac{\sqrt{15}}{7}$
- $\tan (\frac{θ}{2}) = \sqrt{\frac{8 + 2 \sqrt{15}}{8 - 2 \sqrt{15}}} \tan (\frac{θ}{2}) = 4 + \sqrt{15}$
- $\sin (2 θ) = \frac{24}{25}$
- $\sin (\frac{θ}{2}) = \frac{\sqrt{5}}{5}$
- $\cos (2 θ) = - \frac{7}{25}$
- $\cos (\frac{θ}{2}) = \frac{2 \sqrt{5}}{5}$
- $\tan (2 θ) = - \frac{24}{7}$
- $\tan (\frac{θ}{2}) = \frac{1}{2}$
- $\sin (2 θ) = \frac{24}{25}$
- $\sin (\frac{θ}{2}) = \frac{2 \sqrt{5}}{5}$
- $\cos (2 θ) = - \frac{7}{25}$
- $\cos (\frac{θ}{2}) = - \frac{\sqrt{5}}{5}$
- $\tan (2 θ) = - \frac{24}{7}$
- $\tan (\frac{θ}{2}) = - 2$
- $\sin (2 θ) = - \frac{120}{169}$
- $\sin (\frac{θ}{2}) = \frac{\sqrt{26}}{26}$
- $\cos (2 θ) = \frac{119}{169}$
- $\cos (\frac{θ}{2}) = - \frac{5 \sqrt{26}}{26}$
- $\tan (2 θ) = - \frac{120}{119}$
- $\tan (\frac{θ}{2}) = - \frac{1}{5}$
- $\sin (2 θ) = - \frac{120}{169}$
- $\sin (\frac{θ}{2}) = \frac{5 \sqrt{26}}{26}$
- $\cos (2 θ) = \frac{119}{169}$
- $\cos (\frac{θ}{2}) = \frac{\sqrt{26}}{26}$
- $\tan (2 θ) = - \frac{120}{119}$
- $\tan (\frac{θ}{2}) = 5$
- $\sin (2 θ) = - \frac{4}{5}$
- $\sin (\frac{θ}{2}) = \frac{\sqrt{50 - 10 \sqrt{5}}}{10}$
- $\cos (2 θ) = - \frac{3}{5}$
- $\cos (\frac{θ}{2}) = - \frac{\sqrt{50 + 10 \sqrt{5}}}{10}$
- $\tan (2 θ) = \frac{4}{3}$
- $\tan (\frac{θ}{2}) = - \sqrt{\frac{5 - \sqrt{5}}{5 + \sqrt{5}}} \tan (\frac{θ}{2}) = \frac{5 - 5 \sqrt{5}}{10}$
- $\sin (2 θ) = - \frac{4}{5}$
- $\sin (\frac{θ}{2}) = \frac{\sqrt{50 + 10 \sqrt{5}}}{10}$
- $\cos (2 θ) = - \frac{3}{5}$
- $\cos (\frac{θ}{2}) = \frac{\sqrt{50 - 10 \sqrt{5}}}{10}$
- $\tan (2 θ) = \frac{4}{3}$
- $\tan (\frac{θ}{2}) = \sqrt{\frac{5 + \sqrt{5}}{5 - \sqrt{5}}} \tan (\frac{θ}{2}) = \frac{5 + 5 \sqrt{5}}{10}$
$\frac{\cos (2 θ) + \cos (8 θ)}{2}$
$\frac{\cos (5 θ) - \cos (9 θ)}{2}$
$\frac{\sin (8 θ) + \sin (10 θ)}{2}$
$\frac{\cos (4 θ) + \cos (8 θ)}{2}$
$\frac{\cos (θ) - \cos (5 θ)}{2}$
$\frac{\sin (2 θ) + \sin (4 θ)}{2}$
$2 ⁢ cos ⁡ open parenthesis 4 ⁢ θ close parenthesis ⁢ cos ⁡ open parenthesis θ close parenthesis$
$- 2 \cos (\frac{9}{2} θ) \sin (\frac{5}{2} θ)$
$2 \sin (\frac{11}{2} θ) \sin (\frac{1}{2} θ)$
$2 ⁢ cos ⁡ open parenthesis 4 ⁢ θ close parenthesis ⁢ sin ⁡ open parenthesis 5 ⁢ θ close parenthesis$
$\sqrt{2} \cos (θ - \frac{π}{4})$
$- \sqrt{2} \sin (θ - \frac{π}{4})$
$1 - \frac{x^{2}}{2}$
$\frac{14 x}{x^{2} + 49}$
$\ln | x + \sqrt{x^{2} - 16} | - \ln (4)$

As mentioned at the end of Section 10.2, properties of the circular functions when thought of as functions of angles in radian measure hold equally well if we view these functions as functions of real numbers. Not surprisingly, the Even / Odd properties of the circular functions are so named because they identify cosine and secant as even functions, while the remaining four circular functions are odd. (See Section 1.6.) ↩
In the picture we've drawn, the triangles $P O Q$ and $A O B$ are congruent, which is even better. However, $α sub 0 minus β sub 0$ could be $0$ or it could be $π$ , neither of which makes a triangle. It could also be larger than $π$ , which makes a triangle, just not the one we've drawn. You should think about those three cases. ↩
These are also known as the Prosthaphaeresis Formulas and have a rich history. The authors recommend that you conduct some research on them as your schedule allows. ↩

Adapted from Precalculus, 3rd corrected edition, by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.