Secant of 75 Degrees

Theorem

 * $\sec 75^\circ = \sec \dfrac {5 \pi} {12} = \sqrt 6 + \sqrt 2$

where $\sec$ denotes secant.