为什么cos^2[π/2-(π/4+x)]=cos^2(π/4-x)呢