Seja $n$ um inteiro positivo tal que 

$$\mathrm{sen}\frac{\pi }{2n}=\sqrt{\frac{2-\sqrt{3}}{4}}$$