为什么cosx=2cos(x/2)^2-1?