8.2 Other Trigonometric Identities
In Section 8.1, we saw the utility of identities in finding the values of the circular functions of a given angle as well as 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. We observed the even and odd properties of the circular functions graphically in Sections 7.3 and 7.5. Here, we take the time to prove these properties from first principles. We state the theorem below for reference.
We start by proving and .
Consider an angle plotted in standard position. Let be the angle coterminal with with . (We can construct the angle by rotating counter-clockwise from the positive -axis to the terminal side of as pictured below.) and are coterminal, so and
We now consider the angles and . As is coterminal with , there is some integer such that . Hence, . Because is an integer, so is , which means is coterminal with . Therefore, and
Let and denote the points on the terminal sides of and , respectively, which lie on the Unit Circle. By definition, the coordinates of are and the coordinates of are
Because and sweep out congruent central sectors of the Unit Circle, it follows that the points and are symmetric about the -axis. Thus, and
The cosines and sines of and are the same as those for and , respectively, thus we get and , as required.
As we saw in Section 7.5, the remaining four circular functions `inherit’ their even/odd nature from sine and cosine courtesy of the Reciprocal and Quotient Identities, Theorem 8.1.
Our next set of identities establish how the cosine function handles sums and differences of angles.
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 and , coterminal with and , respectively, each of which measure between and radians. Because and are coterminal, as are and , it follows that is coterminal with . Consider the case below where .
Because the angles and are congruent, the distance between and is equal to the distance between and .[1] The distance formula, Equation 1.1, yields
Squaring both sides, we expand the left hand side of this equation as
From the Pythagorean Identities, and , so
Turning our attention to the right hand side of our equation, we find
Once again, we simplify , so that
Putting it all together, we get , which simplifies to: .
Given and , and , and and are all coterminal pairs of angles, we have established the identity: .
For the case where , we can apply the above argument to the angle to obtain the identity . Using this formula in conjunction with the Even Identity of cosine gives us the result in this case, too:
To get the sum identity for cosine, we use the difference formula along with the Even/Odd Identities
We put these newfound identities to good use in the following example.
Example 8.2.1
Example 8.2.1.1
Compute the exact value of .
Solution:
Compute the exact value of
In order to use Theorem 8.5 to find , we need to write as a sum or difference of angles whose cosines and sines we know. One way to do so is to write . We find:
Example 8.2.1.2
Verify the identity: .
Solution:
Verify the identity:
Using Theorem 8.5 gives:
Example 8.2.1.3
Suppose is a Quadrant I angle with and is a Quadrant IV angle with . Determine the exact value of .
Solution:
Suppose is a Quadrant I angle with and is a Quadrant IV angle with . Determine the exact value of
Per Theorem 8.5, we know . Hence, we need to find the sines and cosines of and to complete the problem.
We are given , so our first task is to find . We can quickly get using the Pythagorean Identity . We get , choosing the positive root because is a Quadrant I angle.
Next, we need the and . , so we immediately get courtesy of the Reciprocal and Quotient Identities.
To get , we employ the Pythagorean Identity: Here, as is a Quadrant IV angle, we get
Finally, we get:
The identity verified in Example 8.2.1, namely, , is the first of the celebrated `cofunction’ identities.
From , we get: , 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.
The Cofunction Identities enable us to derive the sum and difference formulas for sine. We first convert to sine to cosine and expand:
We can derive the difference formula for sine by rewriting as and using the sum formula and the Even / Odd Identities. Again, we leave the details to the reader.
We try out these new identities in the next example.
Example 8.2.2
Example 8.2.2.1
Compute the exact value of
Solution:
Compute the exact value of
As in Example 8.2.1, we need to write the angle as a sum or difference of common angles. The denominator of suggests a combination of angles with denominators and . One such combination[2] is . Applying Theorem 8.7, we get
Example 8.2.2.2
Suppose is a Quadrant II angle with , and is a Quadrant III angle with . Compute the exact value of .
Solution:
Suppose is a Quadrant II angle with , and is a Quadrant III angle with . Compute the exact value of .
In order to find using Theorem 8.7, we need to find and both and .
To find , we use the Pythagorean Identity . We get , the negative, here, owing to the fact that is a Quadrant II angle.
We now set about finding and . We have several ways to proceed at this point, but as there isn’t a direct way to get from to either or , we opt for a more geometric approach as presented in Section 7.4.
Because is a Quadrant III angle with , we know the point is on the terminal side of as illustrated.[3]
We find , so per Theorem 7.10, and
At last, we have
Example 8.2.2.3
Derive a formula for in terms of and .
Solution:
Derive a formula for in terms of and .
We can start by expanding using a quotient identity and then the sum formulas
As and , it looks as though if we divide both numerator and denominator by we will have what we want
Naturally, this formula is limited to those cases where all of the tangents are defined.
The formula developed in Exercise 8.2.2 for can be used to find a formula for by rewriting the difference as a sum, and using the odd property of tangent. (The reader is encouraged to fill in the details.) Below we summarize all of the sum and difference formulas.
In the statement of Theorem 8.8, 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,
If we set in the sum formulas in Theorem 8.8, we obtain the following `Double Angle’ Identities:
The three different forms for can be explained by our ability to `exchange’ squares of cosine and sine via the Pythagorean Identity. For instance, if we substitute into the first formula for , we get .
It is interesting to note that to determine the value of , only one piece of information is required: either or . To determine , however, it appears that we must know both and . In the next example, we show how we can find knowing just one piece of information, namely
Example 8.2.3
Example 8.2.3.1
Suppose lies on the terminal side of when is plotted in standard position.
Compute and and determine the quadrant in which the terminal side of the angle lies when it is plotted in standard position.
Solution:
Suppose lies on the terminal side of when is plotted in standard position. Compute and .
We sketch the terminal side of below. Using Theorem 7.4 from Section 7.2.2 with and , we find . Hence, and .
Theorem 8.9 gives us three different formulas to choose from to find . Using the first formula,[4] we get:
For , we get
Both cosine and sine of are negative, the terminal side of , when plotted in standard position, lies in Quadrant III. To see this more clearly, we plot the terminal side of , along with the terminal side of .
Note that in order to find the point on the terminal side of of a circle of radius , we use Theorem 7.4 again and find
Example 8.2.3.2
If for , find an expression for in terms of .
Solution:
If for , find an expression for in terms of .
If your first reaction to `‘ is `No it’s not, !’ then you have indeed learned something, and we take comfort in that.
While we have mostly used `‘ to represent the -coordinate of the point the terminal side of an angle , here, `‘ represents the quantity and our task is to express in terms of .
As a result of , what remains is to express in terms of .
Substituting into the Pythagorean Identity, we get , or . Given , , and thus .
Our final answer is .
Example 8.2.3.3
Verify the identity: .
Solution:
Verify the identity: .
We start with the right hand side of the identity and note that . Next, we use the Reciprocal and Quotient Identities to rewrite and in terms of and :
Example 8.2.3.4
Express as a polynomial in terms of
Solution:
Express as a polynomial in terms of .
In Theorem 8.9, one of the formulas for , namely , expresses as a polynomial in terms of . We are now asked to find such an identity for .
Using the sum formula for cosine, we begin with
Our ultimate goal is to express the right hand side in terms of only. To that end, we substitute and which yields:
Finally, we exchange courtesy of the Pythagorean Identity, and get
Hence, .
In the last problem in Example 8.2.3, we saw how we could rewrite as sums of powers of . In Calculus, we have occasion to do the reverse; that is, reduce the power of cosine and sine.
Solving the identity for and the identity for results in the aptly-named `Power Reduction’ formulas below.
Our next example is a typical application of Theorem 8.10 that you’ll likely see in Calculus.
Example 8.2.4
Example 8.2.4
Rewrite as a sum and difference of cosines to the first power.
Solution:
We begin with a straightforward application of Theorem 8.10
Next, we apply the power reduction formula to to finish the reduction
Another application of the Power Reduction Formulas is the Half Angle Formulas. To start, we apply the Power Reduction Formula to
We can obtain a formula for 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 8.11 Half Angle Formulas
For all applicable angles ,
where the choice of depends on the quadrant in which the terminal side of lies.
Example 8.2.5
Example 8.2.5.1
Use a half angle formula to compute the exact value of .
Solution:
Use a half angle formula to compute the exact value of .
To use the half angle formula, we note that and is a Quadrant I angle, so its cosine is positive. Thus we have
Back in Example 8.2.1, we found by using the difference formula for cosine. The reader is encouraged to prove that these two expressions are equal algebraically.
Example 8.2.5.2
Suppose with . Determine .
Solution:
Suppose with . Determine .
If , then , which means corresponds to a Quadrant IV angle. Hence, , so we choose the negative root formula from Theorem 8.11:
Example 8.2.5.3
Use the identity given in number 3 of Example 8.2.3 to derive the identity
Solution:
Use the identity given in number 3 of Example 8.2.3 to derive the identity .
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 3 of Example 8.2.3 and manipulate it into the identity we are asked to prove.
The identity we are asked to start with is . If we are to use this to derive an identity for , it seems reasonable to proceed by replacing each occurrence of with
We now have the we need, but we somehow need to get a factor of involved. We substitute , and continue to manipulate our given identity by converting secants to cosines.
Finally, we apply a power reduction formula, and then solve for
Our next batch of identities, the Product to Sum Formulas,[5] are easily verified by expanding each of the right hand sides in accordance with Theorem 8.8 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.
Related to the Product to Sum Formulas are the Sum to Product Formulas, which we will have need of in Section 8.3.2. These are essentially restatements of the Product to Sum Formulas (by re-labeling the arguments of the sine and cosine functions) and as such, their proofs are left as exercises.
Example 8.2.6
Example 8.2.6.1
Write as a sum.
Solution:
Write as a sum.
Identifying and , we find
where the last equality is courtesy of the even identity for cosine, .
Example 8.2.6.2
Write as a product.
Solution:
Write as a product.
Identifying and yields
where the last equality is courtesy of the odd identity for sine, .
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.
8.2.1 Sinusoids, Revisted
We first studied sinusoids in Section 7.3. Using the sum formulas for sine and cosine, we can expand the forms given to us in Theorem 7.7:
and
As we’ll see in the next example, recognizing these `expanded’ forms of sinusoids allows us to graph functions as sinusoids which, at first glance, don’t appear to fit the forms of either or .
Example 8.2.7
Example 8.2.7.1
Consider the function .
Write a formula for in the form for .
Check your answers analytically using identities.
Solution:
Write a formula for in the form for .
The key to this problem is to use the expanded forms of the sinusoid formulas and match up corresponding coefficients. We start by equating with the expanded form of :
If we take and , we get:
To determine and , a bit more work is involved. We get started by equating the coefficients of the trigonometric functions on either side of the equation.
On the left hand side, the coefficient of is , while on the right hand side, it is . As this equation is to hold for all real numbers, we must have that .
Similarly, we find by equating the coefficients of that . In conjunction with , we have a system of two (nonlinear) equations and two unknowns.
As usual, our first task is to reduce this system of two equations and two unknowns to one equation and one unknown. We can temporarily eliminate the dependence on by using a Pythagorean Identity. From , we multiply through by to get .
In our case, and , hence
We can choose , and then find associated with this choice[6].
Substituting into our two equations, and , we get and . After some rearrangement, and . One such angle which satisfies this criteria is .
Hence, one way to write as a sinusoid is .
We can check our answer using the sum formula for cosine :
Example 8.2.7.2
Consider the function .
Write a formula for in the form for .
Check your answers analytically using identities.
Solution:
Write a formula for in the form for .
Proceeding as before, we equate with the expanded form of of the sinusoid to get:
Taking and , we get . We equate[7] the coefficients of on either side and get and .
Using as before, we get , and again we choose .
This means , or , and , so . One such angle which meets these criteria is .
Hence, we have .
Checking our work analytically, we have
A couple of remarks about Example 8.2.7 are in order. First, had we chosen instead of as we worked through Example 8.2.7, our final answers would have looked different. The reader is encouraged to rework Example 8.2.7 using to see what these differences are, and then for a challenging exercise, use identities to show that the formulas are all equivalent.[8]
It is important to note that in order for the technique presented in Example 8.2.7 to fit a function into one of the forms in Theorem 7.7, the frequencies of the sine and cosine terms must match. For example, in the Exercises, you’ll be asked to write in the form of and above, and because both the sine and cosine terms have frequency , this is possible.
However, a function such as cannot be written in the form of or . The quickest way to see this is to examine its graph below which is decidedly not a sinusoid. That being said, we can still analyze this curve using identities.
Using our result from number 2 Example 8.2.6, we may rewrite . Grouping factors, we can view as the curve with a variable amplitude, .
Overlaying the graphs of with the (dashed) graphs of and , we can see the role these two curves play in the graph of . They create a kind of `wave envelope’ for the graph of . This is an example of the beats phenomenon. Note that when written as a product of sinusoids, it is always the lower frequency factor which creates the `wave-envelope’ of the curve.
Note that in order to rewrite a sum or difference of sine and cosine functions with different frequencies into a product using the sum to product identities, Theorem 8.13, we need the amplitudes of each term to be the same. We explore more examples of these functions and this behavior in the Exercises.
8.2.2 Section Exercises
In Exercises 1 – 6, use the Even / Odd Identities to verify the identity. Assume all quantities are defined.
In Exercises 7 – 21, 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.
- If is a Quadrant IV angle with , and , where , find
- If , where , and is a Quadrant II angle with , find
- If , where , and where , find
- If , where , and , where , find
In Exercises 26 – 35, use Example 8.2.7 as a guide to show that the function is a sinusoid by rewriting it in the forms and for and .
- In Exercises 26 – 35, you should have noticed a relationship between the phases for the and . Show that if , then where .
- Let be an angle measured in radians and let be a point on the terminal side of when it is drawn in standard position. Use Theorem 7.4 and the sum identity for sine in Theorem 8.7 to show that (with ) can be rewritten as .
- Two (seemingly) different formulas to model the hours of daylight are given here, : and . Use the difference identities for sine to expand and . How different are they?
In Exercises 39 – 53, verify the identity.[9]
In Exercises 54 – 63, use the Half Angle Formulas to find the exact value. You may have need of the Quotient, Reciprocal or Even/Odd Identities as well.
- (compare with Exercise 7)
- (compare with Exercise 9)
- (compare with Exercise 16)
- (compare with Exercise 18)
In Exercises 64 – 73, use the given information about to compute the exact values of
- where
- where
- where
- where
- where
- where
- where
- where
- where
- where
In Exercises 74 – 88, verify the identity. Assume all quantities are defined.
- (HINT: Use the result to 84.)
- Suppose is a Quadrant I angle with . Verify the following formulas
- Discuss with your classmates how each of the formulas, if any, in Exercise 89 change if we change assume is a Quadrant II, III, or IV angle.
- Suppose is a Quadrant I angle with . Verify the following formulas
- Discuss with your classmates how each of the formulas, if any, in Exercise 91 change if we change assume is a Quadrant II, III, or IV angle.
- If for , find an expression for in terms of .
- If for , find an expression for in terms of .
- If where is a Quadrant II angle, find an expression for in terns of .
- If for , find an expression for in terms of .
- If for , find an expression for in terms of .
- If for , find an expression for in terms of .
- Show that for all .
- Let be a Quadrant III angle with . Show that this is not enough information to determine the sign of by first assuming and then assuming and computing in both cases.
- Without using your calculator, show that .
- In part 4 of Example 8.2.3, we wrote as a polynomial in terms of . In Exercise 84, we had you verify an identity which expresses as a polynomial in terms of . Can you find a polynomial in terms of for ? ? Can you find a pattern so that could be written as a polynomial in cosine for any natural number ?
- In Exercise 80, we has you verify an identity which expresses as a polynomial in terms of . Can you do the same for ? What about for ? If not, what goes wrong?
In Exercises 104 – 109, verify the identity by graphing the right and left hand using a graphing utility.
In Exercises 110 – 115, write the given product as a sum. Note: you may need to use an Even/Odd Identity to match the answer provided.
In Exercises 116 – 121, write the given sum as a product. Note: you may need to use an Even/Odd or Cofunction Identity to match the answer provided.
In Exercises 122 – 125, using the remarks following Example 8.2.7 as a guide, rewrite the given function as a product of sinusoids. Identify the functions which create the `wave envelope.’ Check your answer by graphing the function along with the `wave-envelope’ using a graphing utility.
- 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.
- In the picture we've drawn, the triangles and are congruent, which is even better. However, could be 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. ↵
- It takes some trial and error to find this combination. One alternative is to convert to degrees ↵
- Note that even though , we cannot take and . Recall that and are the and coordinates on a specific circle, the Unit Circle. As we'll see shortly, lies on a circle of , so not the Unit Circle. ↵
- We invite the reader to check this answer using the other two formulas. ↵
- 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. ↵
- Remember choosing results in a different but equally correct phase shift. ↵
- Be careful here! ↵
- The general equations to fit a function of the form into one of the forms in Theorem 7.7 are explored in Exercise 36. ↵
- Note: numbers 39 and 40 are the conversion formulas stated in Theorem 7.6 in Section 7.3. ↵