证明实值平稳序列的谱密度是偶函数