函数y=2cos^2(x-π/4)-1的的最小正周期