Trigonometric Identities


Definitions

Sine and Cosine give the y- and x- coordinates of angles:

, ,

(Clearly it would make more sense for ‘cosine’ to be the simpler name and ‘sine’ to be the derivative one. Oh well.)

Since and are the x- and y- coordinates of the unit circle , we have:

of course and vice-versa. Also, and .


Symmetries and Translation Formulas

(sine is odd)

(cosine is even)

Therefore: is odd because it’s a ratio even to odd, etc.

Shifting or by quarter turns causes them to rotate through four functions:

Shifting or by quarter turns traverses the list in the opposite direction:

Both of these are just statements that the graphs of , , , and look the same but are translated differently.


Angle formulas

Angle addition formulas:

Double-angle formulas:

General multiples are most easily handled through

Half-angle:

(though the square root can be negative if is negative, so if is in , so only if is allowed to be greater than without wrapping around.)

(the sign is negative if is negative, so, if is in ).

Product-to-sum:

Sum-to-product:

Powers:


Geometric identities

For a triangle with angles and side lengths :

(Law of Sines)

(Law of Cosines = general case of Pythagorean Theorem)

If , then

If , then: (Ptolemy’s Theorem)

On spheres with radius R, the Pythagorean Theorem becomes

(as , , so this becomes

And the Law of Cosines becomes:

or


Inverse functions

It’s really antiquated to call these instead of , in my opinion, but whatever.

Domain and Range:

Inverse trig functions require some fanangling with their domains to keep things behaving like proper inverses. takes values in (the range of ) and typically returns , though that’s a convention. has the same range and typically returns values in .

gives real results for all real inputs (since the range of tangent is all reals) and typically has range

There’s also , the oriented / two-argument / sign-preserved arctan function, which I don’t feel like going into here. It is usually what you actually want in code.


Symmetries

These are, unsurprisingly, inverted forms of the regular trigonometric symmetry identities above.


Other Formulas

Inversions:

Relationships between trig and inverse trig functions can be thought of as relationships between parts of a triangle. For example, is “the angle that gives ratio x”. Then must be the ratio such a triangle. If , then let , so and .

Logarithm definitions:


Calculus

Limits:


Derivatives:

(by the product / division rule)

Inverse function derivatives (defined except where denominators would be 0):

Inverse functions can also be defined as integrals:


Non-trivial integrals:


Taylor Series:

Clearly the sum of series for gives the series for

The series for other trig functions are awkward and use special functions. Some of the inverse ones are okay, though:

Miscellaneous series:


Hyperbolic functions

Hyperbolic trig functions are defined on hyperbolic angles the same way regular trig functions are defined on circular angles, with the unit hyperbola as the graph of the function .

A ‘hyperbolic angle’ rotates from 0 to as the point on the unit hyperbola approaches the asymptote , and towards as it approaches . As with trig functions, gives the x-coordinate and gives the y coordinate.

Anyway, it’s a chore to store a lot of intuition about hyperbolic functions, or to write down a lot of identities. The important ones are:

And you can just grab the rest here.