Properties of Real Cosine Function

Theorem
Let $x \in \R$ be a real number.

Let $\cos x$ be the cosine of $x$.

Then:

Also see

 * Properties of Real Sine Function