Tangent of 45 Degrees

Theorem

 * $\tan 45^\circ = \tan \dfrac \pi 4 = 1$

where $\tan$ denotes tangent.