#デジタル信号 の #スペクトル
ℱ[y_d]=(1/τ)Σ{k=-∞→∞}F(ω-kΩ)
は #周期 Ωの #周期関数 だから…
「ω軸上で長さΩかつ高さτの #矩形関数」
τ・rect(ω / (Ω/2))
をかければ
1周期ぶんのF(ω)を切り出せる!
※rect(x)=
1 (-1≦x≦1)
0 (otherwise)

#逆離散時間フーリエ変換 の式に
「定数倍を加味した #サンプリング」済みの
#スペクトル F_d(ω)を代入
DTFT^{-1}[ F_d(ω) ]
=
(τ/2π)∫{0→2π/τ} F_d(ω)e^(jnτω) dω
=
(τ/2π)∫{0→2π/τ}{
(2π/Nτ) F(ω) δ_{Ω/M}(ω) e^(jnτω)
}dω
続