cosx=sin(π/2-x)=sin[2(π/4-x/2)]=2sin(π/4-x/2)cos(π/4-x/2)
所以原式=4cos(π/4-x/2)
=4cos(x/2-π/4)