In Section 12.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 11.3 and 11.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.) Since and are coterminal, and .
Figure 12.1Figure 12.2
We now consider the angles and . Since is coterminal with , there is some integer so that . Hence, . Since 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 .
Since and sweep out congruent central sectors of the Unit Circle, it follows that the points and are symmetric about the -axis. Thus, and .
Since the cosines and sines of and are the same as those for and , respectively, we get and , as required.
As we saw in Section 11.5, the remaining four circular functions `inherit' their even/odd nature from sine and cosine courtesy of the Reciprocal and Quotient Identities, Theorem 12.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. Since and are coterminal, as are and , it follows that is coterminal with . Consider the case below where .
Figure 12.3Figure 12.4
Since the angles and are congruent, the distance between and is equal to the distance between and .1 The distance formula, Equation A.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: .
Since 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.
The identity verified in Example 12.2.1, namely, , is the first of the celebrated `cofunction' identities. These identities were first hinted at in Exercise in Section B.2.
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.
The formula developed in Exercise 12.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 12.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 12.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 .
In the last problem in Example 12.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 12.10 that you'll likely see in Calculus.
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.
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 12.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 12.4. 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.
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.
Sinusoids, Revisited
We first studied sinusoids in Section 11.3. Using the sum formulas for sine and cosine, we can expand the forms given to us in Theorem 11.6:
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 .
A couple of remarks about Example 12.2.7 are in order. First, had we chosen instead of as we worked through Example 12.2.7, our final answers would have looked different. The reader is encouraged to rework Example 12.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 12.2.7 to fit a function into one of the forms in Theorem 11.6, the frequencies of the sine and cosine terms much match. For example, in the Exercises, you'll be asked to write in the form of and above, and since 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.
Figure 12.9
Using our result from number Example 12.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 12.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.
Exercises
In Exercises -, use the Even / Odd Identities to verify the identity. Assume all quantities are defined.
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.
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 -, use Example 12.2.7 as a guide to show that the function is a sinusoid by rewriting it in the forms and for and .
In Exercises -, 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 11.3 and the sum identity for sine in Theorem 12.7 to show that (with ) can be rewritten as .
In Example 11.3.5 in Section 11.3, we developed two (seemingly) different formulas to model the hours of daylight, : and . Use the difference identities for sine to expand and . How different are they?
In Exercise -, use the results from Exercise in Section 11.4:
and Exercise in Section 12.1:
to help you find the derivatives of the sine and cosine functions.
Verify for ,
Show .
HINT:
Find the equation of the tangent line to the graph of at , and .
Check your answers graphically.
Verify for ,
Show .
Find the equation of the tangent line to the graph of at , and .
Find the equation of the tangent line to the graph of at , and .
Check your answers graphically.
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.
(compare with Exercise )
(compare with Exercise )
(compare with Exercise )
(compare with Exercise )
In Exercises -, use the given information about to find the exact values of
where
where
where
where
where
where
where
where
where
where
In Exercises -, verify the identity. Assume all quantities are defined.
(HINT: Use the result to.)
Suppose is a Quadrant I angle with . Verify the following formulas
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 . Verify the following formulas
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 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 of Example 12.2.3, we wrote as a polynomial in terms of . In Exercise, 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, 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 -, verify the identity by graphing the right and left hand using a graphing utility.
In Exercises -, write the given product as a sum. Note: you may need to use an Even/Odd Identity to match the answer provided.
In Exercises -, 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 -, using the remarks following Example 12.2.7 on page 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.
Answers
at : ; at : at :
at : ; at : at :
at : ; at : at :
, , wave-envelope: .
, , wave-envelope: .
, , wave-envelope: .
, , wave-envelope: .
Adapted from Precalculus, Preliminary 4th Edition (integrated calculus), 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.
These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or ADA Title II. Every page is built against an automated accessibility gate, and the published editions will meet ADA Title II requirements when they release in late September 2026. If something is unusable, please tell us.