Tangent of 67.5 Degrees

Theorem

 * $\tan 67.5^\circ = \tan \dfrac {3 \pi} 8 = \sqrt 2 + 1$

where $\tan$ denotes tangent.