Secant of 255 Degrees

Theorem

 * $\sec 255^\circ = \sec \dfrac {17 \pi} {12} = - \left({\sqrt 6 + \sqrt 2}\right)$

where $\sec$ denotes secant.