离散傅立叶变换及其性质