
Proving Trigonometric Identities (page 2 of 3)
I can't tell which side is more complicated, but I do see a difference of squares on the LHS, so I think I'll start there.
sin^{4}(x) – cos^{4}(x) = (sin^{2}(x) + cos^{2}(x))(sin^{2}(x) – cos^{2}(x))
The first factor, sin^{2}(x) + cos^{2}(x), is always equal to 1, so I can ignore it. This leaves me with:
sin^{2}(x) – cos^{2}(x)
Hmm... I'm not seeing much of anything here. But I do know, glancing back at the RHS of the identity, that I need more sines and fewer cosines. I think I'll try using the Pythagorean identity that simplified that first factor, but in a slightly different form. If sin^{2}(x) + cos^{2}(x) = 1, then cos^{2}(x) = 1 – sin^{2}(x), and:
sin^{2}(x) – cos^{2}(x) = sin^{2}(x) – (1 – sin^{2}(x)) = sin^{2}(x) – 1 + sin^{2}(x) = 2sin^{2}(x) – 1
And that's what I needed. For my handin work, I'll put it all together:
sin^{4}(x) – cos^{4}(x) = (sin^{2}(x) + cos^{2}(x))(sin^{2}(x) – cos^{2}(x))
= 1(sin^{2}(x) – cos^{2}(x)) = sin^{2}(x) – cos^{2}(x) = sin^{2}(x) – (1 – sin^{2}(x))
= sin^{2}(x) – 1 + sin^{2}(x) = sin^{2}(x) + sin^{2}(x) – 1 = 2sin^{2}(x) – 1
I think I'll start by multiplying out the LHS:
1 – cos^{2}(α) + cos^{2}(α) – cos4(α) = 1 – cos^{4}(α)
That doesn't seem to have gotten me anywhere. What if I apply the Pythagorean identity to that first factor? Then I'll get:
(1 – cos^{2}(α))(1 + cos^{2}(α)) = sin^{2}(α)[1 + cos^{2}(α)]
Hmm... That doesn't seem to have helped, either. Okay, what happens if I work on the other side? I can factor a squared sine out of the two terms:
sin^{2}(α)[2 – sin^{2}(α)]
If I break off a 1 from the 2, I can use that same Pythagorean identity again. (I think I'm detecting a theme....)
sin^{2}(α)[1 – sin^{2}(α) + 1] = sin^{2}(α)[1 – sin^{2}(α) + sin^{2}(α) + cos^{2}(α)]
= sin^{2}(α)[1 + cos^{2}(α)]
Wait a minute! That's the same thing I ended up with on the LHS! Aha!
While what I've done so far is not a proof, I have managed to get the two sides to meet in the middle. And sometimes that seems to be the only way to do a proof: work on the two sides until they meet in the middle, and then write something that looks like magic. I'm going to start with the LHS, work down to where the two sides meet, and then work up the RHS until I get back to the original identity:
(1 – cos^{2}(α))(1 + cos^{2}(α)) = sin^{2}(α)[1 + cos^{2}(α)]
= sin^{2}(α)[1 + cos^{2}(α) – sin^{2}(α) + sin^{2}(α)]
= sin^{2}(α)[1 – sin^{2}(α) + sin^{2}(α) + cos^{2}(α)]
= sin^{2}(α)[1 – sin^{2}(α) + 1]
= sin^{2}(α)[2 – sin^{2}(α)]
= 2sin^{2}(α) – sin^{4}(α)
This is how the textbook authors come up with those magical proofs, where you wonder how on earth they ever came up with one or another of the steps. There will be times you'll need to do this. But, for your handin work, make sure you do the work the right way: Work down one side to the meeting place, and then hop over to the other side and work back up to the starting place. Only by showing your steps in that way will your proof be valid.
Clearly, the LHS is the more complicated side, so I'll start there, and will convert everything to sines and cosines:
The first fraction simplifies to the tangent, and the second fraction simplifies to 1.
What I'm left with is one of the Pythagorean identities:
tan^{2}(θ) + 1 = sec^{2}(θ)
...and that's what I needed to end up with. Putting it all together:
In addition to the "working on the more complicated side" and the "converting to sines and cosines" tricks, there is one other trick that hardly ever comes up, but you might want to be familiar with it....
Original URL: http://www.purplemath.com/modules/proving2.htm
Copyright 2009 Elizabeth Stapel; All Rights Reserved.
Terms of Use:
http://www.purplemath.com/terms.htm