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. ↵