cos2x=2(cosx)^2-1 这个公式你应该知道吧
所以
cosx=2(cos(x/2))^2-1
1-cos=1-(2(cos(x/2))^2-1)
=2-2(cos(x/2))^2
=等式左边...