cos(-x)=1-2sin平方(-x/2)=1-2sin平方(x/2)
cosx=1-2sin平方(x/2)
左=右
所以
cos(-x)=cosx