\frac{\sqrt{3}}{2} = \sin \frac{\pi}{3} = \cos \frac{\pi}{6}