Tangent of 60 Degrees

Theorem

 * $\tan 60^\circ = \tan \dfrac \pi 3 = \sqrt 3$

where $\tan$ denotes tangent.