cos(π/6)=1-2[sin(π/12)]^2
所以sin(π/12)=√[(1-cos(π/6)/2]=√[(3-√3)/6]