2\cdot \frac{\sqrt{3}}{2} = 2\cos{\pi \over 6}