Cosine of 30 Degrees

Theorem

 * $\cos 30^\circ = \cos \dfrac \pi 6 = \dfrac {\sqrt 3} 2$

where $\cos$ denotes the cosine.