Sign of Cosine

Theorem
For all integer $n$:

where $\cos$ is the real cosine function.

Proof
Proof by induction:

Base case
For $n = 0$, it follows from Sine and Cosine are Periodic on Reals/Corollary.

Induction Hypothesis
This is our induction hypothesis:

Now we need to show true for $n=k+1$:

Induction Step
This is our induction step:

Also:

The result follows by induction.

For negative $n$:

Induction Hypothesis
This is our induction hypothesis:

Now we need to show true for $n=k-1$:

Induction Step
This is our induction step:

Also:

The result follows by induction.

Also see

 * Sign of Sine
 * Sign of Tangent
 * Sign of Cosecant
 * Sign of Secant
 * Sign of Tangent