这是二倍角公式
1-2sin^2(x/2)=cosx
证明
cosx=cos(x/2+x/2)
=cos^2(x/2)-sin^2(x/2)
=1-sin^2(x/2)-sin^2(x/2)
=1-2sin^2(x/2)
1-cosx=2sin^2(x/2)