cos2x-sin2x=√2cos(2x+π/4)是怎么来的?太久没练习函数,全都忘了