>>824
12*sin(π/12)=3.1058だから
正十二角形でいうには
結構シビアな評価が必要ですね。