First, let's remember our negative angle rules (N for Negative), since it turns out you can always use these rules to derive any of the identities below from any of the other ones!
(N1: Negative Angle Negates )
(N2: Negative Angle Doesn't Change )
The way I split these is into three groups of identities:
(A1: Addition of Sines)
(A2: Addition of Cosines)
(A3: Addition of Tangents)
(M1: Sine Double Angle)
(M2: Cosine Double Angle)
(M3: Tangent Double Angle)
(Also known as the Pythagorean Identities)
(S1: Pythagorean Identity)
(S2: Pythagorean Tangent-Squared)
(S3: Pythagorean Cotangent-Squared)
From today: Verify the identity you have, that
Though we saw today how there are many, many ways you could verify this, using the identities you know, we also saw that probably the fastest way would be using the following steps (to go from the left-hand side to the right-hand side ):
a. Break into , since this transforms the multiplication happening inside our into an addition, meaning that we can use our Addition Identities from above.
b. Use our identity (A2: Addition of Cosines) to turn this addition inside the cosine into an addition of trig functions without any additions happening inside of them. With as both our and values, we get
c. We're close, since we now have the term that we wanted, but it came with an extra term that we need to get rid of. So, since we see that the Pythagorean Identities are the ones that can help us when we have squared terms, let's take a look at the main one:
d. We know we want to get rid of the term in , so let's solve this Pythagorean identity for , which will give us a way to rewrite this term:
So, we've derived a new identity, that anywhere we see we can always rewrite it as ! So, let's rewrite the term in the expression we had arrived at above:
and we're done! We started from , and used valid identities (and stuff derived from these identities) throughout to arrive at , as desired.
The one you mentioned from class: Verify that
In this case, as you mentioned in how you solved it, it isn't so bad identity-wise, instead it really requires a lot of algebra and cancelling stuff out. Starting from the right-hand side this time, we carry out the following steps (where I'm not including full explanations just because, you've already solved it! But, wanted to include so we have a bunch of examples in one place)
a. Transform into :
b. Combine the terms in the denominator, so that it becomes a single fraction:
c. Now we can "flip" the denominator, since division by a fraction is equivalent to multiplication by its reciprocal:
d. And now we can multiply the big parentheses term through by to get
e. We can factor a out of the numerator to get
f. And now the cosine in the numerator and one of the cosines in the denominator cancel out, giving us
as we wanted to show!
New problem! Verify the identity
Here, like I promised at the end of our session, we have an example where there are two totally-valid paths to the solution!
Path 1:
a. Use fraction rules to turn the left-hand side into a subtraction of two fractions:
b. We see that the left fraction (before the minus sign) just turns into a , while the right fraction (after the minus sign) is exactly our definition of (since is defined as the reciprocal of ), giving us
Now, using the same Pythagorean identity reasoning we used in steps c and d of Problem 1 above, we know that we can rewrite as just , giving us the result we wanted to verify!
Path 2:
Here, at the beginning, we could use our (S3: Pythogrean Tangent Squared) identity from above, to turn that into :
Note that we only apply this identity to the numerator, rather than both numerator and denominator, because the numerator is the part of the problem that has that pesky term we're trying to get rid of, to simplify the expression. Since we did that, we see that the terms in the numerator indeed cancel, giving us
Now we can just use our definitions of these two functions to simplify our whole expression, write them just in terms of our two basic trig functions and :
and since dividing by a fraction is equivalent to multiplying by its reciprocal,
and the terms cancel, giving us just , as we wanted to verify!
Verify
a. Remember that "conjugate multiplication" is just that weird trick with fractions where you can sometimes get a simpler term by multiplying the numerator and the denominator by the "conjugate" of the denominator: here, let's look at the term on the left-hand side and see what happens if we multiply both the numerator and the denominator by the conjugate of the denominator, which is :
b. Even though it seemed like multiplying the denominator by its conjugate might give some really big gross messy term, in fact once we FOILed we found that a bunch of terms cancel, since
and the middle two terms cancel each other out.
c. So, with the fraction we're left with, first note that by the same reasoning as in steps c and d of Problem 1 above, we can use our Pythagorean identity to rewrite the in the denominator as :
d. Now, we can also factor a term out of the numerator, to get
e. This means that the term in the numerator cancels out one of the terms in the denominator, so we're left with
which is what we wanted to show!
Working these out on your own will be so so helpful, if you have additional time before the test!