7.2.2 离散傅氏变换的定义