Tangent of 255 Degrees

Theorem

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

where $\tan$ denotes tangent.