Secant of 15 Degrees

Theorem

 * $\sec 15^\circ = \sec \dfrac \pi {12} = \sqrt 6 - \sqrt 2$

where $\sec$ denotes secant.