y=2cos^2（x-π/4）-1=cos(2X-π/2)=sin2x,所以最小正周期T=π为什么可以这样化？有没有什么公式？cos2a=2cos²a-1,cos(π/2-a)=sina