Tangent of 15 Degrees

Theorem

 * $\tan 15^\circ = \tan \dfrac {\pi} {12} = 2 - \sqrt 3$

where $\tan$ denotes tangent.