√2sin(x/2+π/4)cos(x/2)=√2/2sin(x+π/4)+ 1/2 怎么得到的