Tangent of 22.5 Degrees

Theorem

 * $\tan 22.5^\circ = \tan \dfrac \pi 8 = \sqrt 2 - 1$

where $\tan$ denotes tangent.