离散傅里叶变换性质证明