Secant of 135 Degrees

Theorem

 * $\sec 135^\circ = \sec \dfrac {3 \pi} 4 = - \sqrt 2$

where $\sec$ denotes secant.