Sign of Tangent

Theorem
Let $x$ be a real number.

Then:

where $\tan$ denotes the tangent function.

Proof
From Tangent is Sine divided by Cosine:
 * $\tan x = \dfrac {\sin x} {\cos x}$

Since $n$ is an integer, $n$ is either odd or even.

Case 1
If $n$ is odd, let $m$ be an integer such that $n = 2 m + 1$.


 * $n \pi < x < \left({n + \frac 1 2}\right) \pi \implies \left({2 m + 1}\right) \pi < x < \left({2m + \dfrac 3 2}\right) \pi$

From Sign of Sine, $\sin x$ is negative.

From Sign of Cosine, $\cos x$ is positive.

Therefore $\tan x = \dfrac {\sin x} {\cos x} < 0$.