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