证明时域离散傅里叶变换DTFT[X(n)]定义式

笔者在一开始学习数字信号处理的时候，对这个定义式等式最右侧式子如何出来的有些疑问，现将证明过程po出，希望可以为遇到困难的同学提供一些帮助。
证明准备过程（明确采样定理）

2.数字频率和模拟频率的转化关系
ω（rad）=Ω（rad/s）·t（s）
接下来利用傅里叶变化定义式对Xa（t）进行FT（Fourier Transform）

ps：字实在是丑，见谅，见谅
定义式得证。