Cosine of 60 Degrees

Theorem

 * $\cos 60^\circ = \cos \dfrac \pi 3 = \dfrac 1 2$

where $\cos$ denotes the cosine.