6.3.1 离散傅里叶变换推导