Cotangent of 255 Degrees

From ProofWiki
Jump to navigation Jump to search

Theorem

$\cot 255 \degrees = \cot \dfrac {17 \pi} {12} = 2 - \sqrt 3$

where $\cot$ denotes cotangent.


Proof

\(\ds \cot 255 \degrees\) \(=\) \(\ds \map \cot {360 \degrees - 105 \degrees}\)
\(\ds \) \(=\) \(\ds -\cot 105 \degrees\) Cotangent of Conjugate Angle
\(\ds \) \(=\) \(\ds 2 - \sqrt 3\) Cotangent of $105 \degrees$

$\blacksquare$


Sources