>>831
そうでもないよ。
12* sin(π/12) = 3((√6)-(√2))
√6や√2は、知ってるもんだし（ｗ