7.3 Trigonometric identities
7.3.1 Identities for and
None of this document is prose (it’s all my ramblings on mathematics, and an exposition of all the things I failed to grasp explained in probably what is far too much verbosity) but if you thought the rest of it was bad (in terms of being dry) then this section is probably worse.
Here is a list of a bunch of trigonometric identities which are useful.
Let be a real number, then
Proof: geometry (and hence omitted).
Proof: The \sayeasy way to prove this is using complex numbers. I was going to point out that they can be proven by using triangles, however, as previously mentioned geometry is not my thing. For a geometric proof see https://www.youtube.com/watch?v=2SlvKnlVx7U. In the "complex numbers" section of this document there’s a proof of this identity which uses the properties of complex numbers.
Proof: This also serves as an easy way to remember the identities (or, to recall them if needed). This is derived from Equation 7.7 by replacing and with , and then simplifying a bit:
We also have a similar identity for
This is derived for 7.8 in a similar way to how the double-angle formula for cos is derived: replace and with , and simplify.
7.3.2 Identities for
7.3.3 Secant, cosecant, cotangent and friends
These are a pain to remember. All of these functions are defined as the reciprocal of a trig function (I remember someone saying that they’re not exactly defined like this because, mumble, mumble division by zero, mumble, mumble), but the basic idea is this:
Here’s a helpful trick for remembering this
7.3.4 Proving trigonometric identities
This is a standard application of the general method of proving identities (as in Section 6.2); we pick one side (and my usual heuristic is to always start with the more complex side) and work toward the other side.
In this case we start with
This seems like a reasonable thing to do (we must often form an \sayansatz - that is, an educated guess and try to apply this; this was my first one, but always remember the story of the mouse - as in Section 2.4 - we can always try something else if the first idea does not work), and we can proceed by unrolling some definitions
|By the Pythagorean identity||(7.24)|