Tangent of Complement equals Cotangent

Theorem

 * $\map \tan {\dfrac \pi 2 - \theta} = \cot \theta$ for $\theta \ne n \pi$

where $\tan$ and $\cot$ are tangent and cotangent respectively.

That is, the cotangent of an angle is the tangent of its complement.

This relation is defined wherever $\sin \theta \ne 0$.

Proof
The above is valid only where $\sin \theta \ne 0$, as otherwise $\dfrac {\cos \theta} {\sin \theta}$ is undefined.

From Sine of Multiple of Pi it follows that this happens when $\theta \ne n \pi$.

Also see

 * Sine of Complement equals Cosine
 * Cosine of Complement equals Sine
 * Cotangent of Complement equals Tangent
 * Secant of Complement equals Cosecant
 * Cosecant of Complement equals Secant