Cotangent of 255 Degrees

Theorem

 * $\cot 255^\circ = \cot \dfrac {17 \pi} {12} = 2 - \sqrt 3$

where $\cot$ denotes cotangent.