Cotangent of Complement equals Tangent

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\theta \ne \paren {2 n + 1} \dfrac \pi 2$

Then:

$\map \cot {\dfrac \pi 2 - \theta} = \tan \theta$


where:

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

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

Corollary 1

Let $x \ne \paren {4 n + 1} \dfrac \pi 4$

Then:

$\ds \map \cot {\dfrac \pi 4 + x } = \map \tan {\dfrac \pi 4 - x}$


Corollary 2

Let $x \ne \paren {4 n + 1} \dfrac \pi 4$

Then:

$\ds \map \cot {\dfrac \pi 4 - x } = \map \tan {\dfrac \pi 4 + x}$


Proof

\(\ds \map \cot {\frac \pi 2 - \theta}\) \(=\) \(\ds \frac {\map \cos {\frac \pi 2 - \theta} } {\map \sin {\frac \pi 2 - \theta} }\) Cotangent is Cosine divided by Sine
\(\ds \) \(=\) \(\ds \frac {\sin \theta} {\cos \theta}\) Sine and Cosine of Complementary Angles
\(\ds \) \(=\) \(\ds \tan \theta\) Tangent is Sine divided by Cosine


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

From Cosine of Half-Integer Multiple of Pi it follows that this happens when $\theta \ne \paren {2 n + 1} \dfrac \pi 2$.

$\blacksquare$


Also see


Sources