展开 周期序列的离散傅里叶级数证明