Cotangent of 15 Degrees

Theorem

 * $\cot 15^\circ = \cot \dfrac {\pi} {12} = 2 + \sqrt 3$

where $\cot$ denotes cotangent.