7.2.3 离散傅氏变换的主要性质