Secant of 45 Degrees

Theorem

 * $\sec 45^\circ = \sec \dfrac \pi 4 = \sqrt 2$

where $\sec$ denotes secant.