解
2cos²π/12-1
=cos(2×π/12)
=cos(π/6)
=√3/2
用到二倍角公式
cos2a=2cos²a-1