Tangent of 135 Degrees

Theorem

 * $\tan 135^\circ = \tan \dfrac {3 \pi} 4 = - 1$

where $\tan$ denotes tangent.