12.2 离散傅里叶变换定义式的导出