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