展开 离散傅里叶变换周期性证明