Tangent of 30 Degrees

Theorem

 * $\tan 30 = \tan \dfrac \pi 6 = \dfrac {\sqrt 3} 3$

where $\tan$ denotes tangent.