利用二倍角公式
cos2x=2(cosx)^2-1
(cos15°)^2=(1+cos30°)/2=(1+√3/2)/2=(2+√3)/4