![]() | ![]() |
An identity is an equation whose left and right sides are equal for all values of the variables in their respective implicit domains. Some trigonometric identities (i.e., identities involving trigonometric functions) that prove useful in a great many contexts are given below, with a discussion of why each must hold. While all of these identities can be proven without appealing to complex numbers, some are proven far more easily with them!
We have already discussed the first in the list above -- which is an immediate result of how we measure the magnitude of |z| for some z=cos(θ)+isin(θ) on the unit circle (i.e., when |z|=1). Recall, |z|2=Re(z)2+Im(z)2
The other two pythagorean identities listed are quick consequences of this relationship. The first being the result of dividing both sides by cos2θ, and the second being the result of dividing both sides by sin2θ instead, as the calculations below reveal:
cos2θcos2θ+sin2θcos2θ=1cos2θcos2θsin2θ+sin2θsin2θ=1sin2θ1+tan2θ=sec2θ1+cot2θ=csc2θExamining the next picture immediately reveals the three "even/odd function identities" given above. (You do of course remember how we defined "even" and "odd" functions when we introduced functions of the form (x)=xn, right?) To see how these three results can be deduced, consider the image below. Note the right triangles, sharing a common acute angle and hypotenuse length, must consequently be congruent. As such, the vertical sides of each are the same length.
The common length of the vertical sides tell us the associated y-coordinates for the red and blue angles have opposite signs, but the same magnitude, which in turn implies sin(−θ)=−sinθ.
Meanwhile, the horizontal side common to both triangles tells us the associated x-coordinates for these angles are identical, and thus cos(−θ)=cosθ.
Knowing the values of the sine and cosine for −θ, we can find the tangent for this angle as well,
tan(−θ)=sin(−θ)cos(−θ)=−sinθcosθ=−tanθWhy these hold has already been discussed. They are included here only as we should now start thinking of these as tools to argue more interesting results.
Proofs of these three identities particularly benefit from defining trig functions in terms of complex numbers! Consider the below:
cis(α±β)=cis(α)⋅cis(±β)=(cosα+isinα)(cosβ+isin(±β))=(cosα+isinα)(cosβ±isinβ)taking advantage of the even/odd property for sin(x)=[cosαcosβ∓sinαsinβ]+[sinαcosβ±cosαsinβ]⋅i Note the last line above results from simply expanding the product immediately before, replacing i2 with −1, and collecting the remaining multiples of i together.Now recall that zα±β is on the unit circle, so its real part and imaginary coefficient give the cosine and sine values of its argument, α±β, respectively. Thus, the first and second sum and difference identities are immediately established!
All that remains is to prove the related result for the tangent. Fortunately, once the above identities are established, this one is trivial:
tan(α±β)=sinαcosβ±cosαsinβcosαcosβ∓sinαsinβ=sinαcosβcosαcosβ±cosαsinβcosαcosβcosαcosβcosαcosβ∓sinαsinβcosαcosβafter dividing by cosαcosβto introduce tangents=tanα±tanβ1∓tanαtanβDirectly applying the sum formula to cos(θ+θ) and sin(θ+θ) would quickly give us formulas for cos2θ and sin2θ, but we instead again appeal to complex numbers as doing so provides an efficient way to establish more general results.
To see this, consider the below -- noting how the special product rules for the squares and cubes of binomials play a significant role. As a reminder of these special product rules, recall that (a+b)2=a2+2ab+b2 and (a+b)3=a3+3a2b+3ab2+b3.
Similar to how we began to prove the sum and difference formulas, cis(2θ)=cis2(θ)=(cosθ+isinθ)2=cos2θ+2isinθcosθ+i2sin2θby the special product rule for (a+b)2=(cos2θ−sin2θ)+(2sinθcosθ)⋅irecalling that i2=−1 and then collecting terms As argued before for the sum and difference formulas, remember that z2θ is on the unit circle, so its real part and imaginary coefficient give the values of cos2θ and sin2θ seen in the box above.
To find the triple angle formula we proceed similarly, noting: cis(3θ)=cis3(θ)=(cosθ+isinθ)3=cos3θ+3(cos2θ)(isinθ)+3(cosθ)(i2sin2θ)+i3sin3θby the special product rule for (a+b)3=(cos3θ−3cosθsin2θ)+(3cos2θsinθ−sin3θ)⋅irecalling that i2=−1, and therefore i3=−i Again recalling z3θ is on the unit circle, its real part and imaginary coefficient must give the values for cos3θ and sin3θ also seen in the box above.
The Pythagorean identity cos2θ+sin2θ=1 provides an easy way to find an alternate form for any expression involving either cos2θ or sin2θ, as we may solve it for these two expressions to find cos2θ=1−sin2θ and sin2θ=1−cos2θ Note that when we apply these to the double-angle identity for cosine, we can produce replacements for cos2θ that involve only a single trigonometric function. To see this, consider the following. cos2θ=cos2θ−sin2θ=cos2θ−(1−cos2θ)=2cos2θ−1
and
cos2θ=cos2θ−sin2θ=(1−sin2θ)−sin2θ=1−2sin2θWe may do something similar with the triple angle formulas, as seen below: cos3θ=cos3θ−3cosθsin2θ=cos3θ−3cosθ(1−cos2θ)=cos3θ−3cosθ+3cos3θ=4cos3θ−3cosθ and sin3θ=3cos2θsinθ−sin3θ=3(1−sin2θ)sinθ−sin3θ=3sinθ−3sin3θ−sin3θ=3sinθ−4sin3θ
Lastly, if we take these two alternate forms for cos2θ and solve for sin2θ and cos2θ, respectively -- we produce the half angle identities,
Knowing the half angle identities in the above form will be the most useful for applications in calculus. That said, why these identities are called the "half angle" identities is made more clear upon making a substitution of x=2θ and then taking a square root:
|cos(x2)|=√1+cosx2|sin(x2)|=√1−cosx2In this way, we can discover the magnitudes of the sine and cosine for half an angle if we know the cosine of the full angle. As for whether the sine and cosine are positive or negative, this is most easily managed by determining in which quadrant the half angle lies.
To prove that a trigonometric equation is an identity, one typically starts by trying to show that either one side of the proposed equality can be transformed into the other, or that both sides can be transformed into the same expression.
In other words, suppose A and B are some trigonometric expressions and we are trying to determine if A=B.
We hope that both expressions will simplify to some common form C, as if we can show the following:
A=A1B=B1=A2=B2=⋯and=B3=An=B4=C=⋯=Bm=Cthen we will know
A=A1=A2=⋯=An=C=Bm=⋯=B2=B1=Band thus,
A=BThat is our general "plan of attack" -- although, we might get lucky and the sequence of A1,A2,⋯ will terminate in B, or the sequence B1,B2,⋯ will terminate in A, which then shortens our argument a bit.
There are some basic strategies to help us get to that common form C as efficiently as possible:
Only manipulate one side of the proposed identity at a time. Start by attempting to simplify the more complicated side first, as which steps one should take will likely be more obvious for this side.
First "trigonometrically simplify" the side in question.
One should try rewriting all of trigonometric functions involved in terms of sines and cosines, unless there is a compelling reason not to do this.
Example
tanθ+2cscθ=(sinθcosθ)+2(1sinθ)=⋯Likewise, if you see trigonometric functions involving more than one angle measure, try to use known identities to rewrite things so that only a single angle measure is involved.
Example
cos2θ+sinθsin2θ+sin(−θ)=(cos2θ−sin2θ)+sinθ2sinθcosθ−sinθ=⋯If one side can be written in terms involving (perhaps multiple occurrences of) a single trigonometric function of a single angle measure, doing so may help. In particular, this often helps in cases where one side of the proposed identity is already in this form, and the other side consists of a mixture of trigonometric functions.
Example
cos2θcos(π/2−θ)=1−2sin2θsinθassuming we were trying to getthings in terms of only sine functions=⋯As the previous examples attest, trigonometrically simplifying an expression sometimes makes it algebraically more cumbersome. This can actually be a good thing -- as it gives us a direction to proceed. Specifically -- after trigonometrically simplifying a side of the proposed identity -- one can next focus on "algebraically simplifying" it.
Complex fractions (i.e., fractions with fractions in either the numerator or denominator) should be collapsed
Example
sinθcos2θ1+1cosθ=sinθcos2θ+cosθ after multiplying by cos2θcos2θ=⋯When fractional expressions appear in a sum or difference, these terms should be combined into a single fraction, finding common denominators as necessary. The resulting fractional expression may, upon factoring, admit a common factor that can be cancelled -- or may be simplified in some other fashion.
Example
1sin2θ+1cos2θ+sinθcos2θ−1sin2θcos2θ=cos2θ+sin2θ−1+sinθcos2θsin2θcos2θ=1−1+sinθcos2θsin2θcos2θ=sinθcos2θsin2θcos2θ=1sinθ=⋯Try to manipulate the side in question into the same "form" as the other side. For example, suppose one is attempting to simplify the left side of a proposed identity and the right side is a product. Then one should attempt to factor the left side, so that it is also expressed as a product.
Also, when the left and right sides get to the point where there is a partial "match", one should leave the matched parts alone from that point forward, and only manipulate the parts that still don't look like one another.
Example
Show sinθcos2θ−sinθ=−sin3θ is an identity.
Starting with the left side, we have...
sinθcos2θ−sinθ=sinθ(cos2θ−1)notice the right side, −sin3θ, is a product, sowe factor the left side to have the same form=⋯=sinθ(−sin2θ)working backwards from the sought expression belowwe expose a "match" of sinθ with the above=−sin3θTo fill in the missing steps above, we just need to "massage" (cos2θ−1) into (−sin2θ). This of course is immediate, given the Pythagorean identity cos2θ+sin2θ=1.
It may be the case that in the course of trying to prove a given equation is an identity, one begins to suspect that it is not.
In such situations, one should test whether the equation's left and right sides are actually equal by plugging in some values for the variables it contains. Remember, one only needs a single counter-example to prove an equation is not an identity.
If however, one tests a particular value (or set of values) and the left and right sides of the given equation agree in value, that particular test is inconclusive -- and a decision must be made whether to continue the search for a counter-example and test additional values, or to return to trying to prove the given equation is an identity.
To have the best chance of selecting values that will show a given equation is not an identity, one should keep the following in mind:
While picking angle measures that are integer multiples of π/2 will lend itself to easy evaluation of the expressions involved in the equation, such values will often fail to reveal an equation is not an identity due to the fact that either the sine or cosine for these angle measures will be zero.
Example
The following is clearly not an identity: sinθ=cosθ+sinθ. However, if one tests this with either θ=π/2 or θ=3π/2, the results will be inconclusive, as the left and right sides will have the same value (i.e., 1 in the first case, −1 in the second).
A similar problem presents itself when testing a proposed identity with angle measures that are odd integer multiples of π/4, but for a different reason. For these angle measures, recall the sine and cosine values are either identical or differ only in sign. This too can create inconclusive results for an equation that is not actually an identity.
Example
The following is clearly not an identity: 2sinθ=cosθ+sinθ. However, if one tests this with either θ=π/4 or θ=5π/4, the results will be inconclusive, as both sides evaluate to √2.
Testing a proposed identity with angle measures that are integer multiples of π/6 or π/3 (when reduced) can be good first choices, as the exact values of the trigonometric functions are easy to find, and the problems seen above don't occur.