离散傅立叶变换的性质