22、信号处理中的插值、采样与量化

信号处理中的插值、采样与量化

1. Sinc 乘积展开公式证明

目标是证明乘积展开式：
[
\frac{\sin(\pi t)}{\pi t} = \prod_{n = 1}^{\infty} \left(1 - \frac{t^2}{n^2}\right)
]
这里给出两种证明方法。

1.1 欧拉证明法

考虑 $N$ 为奇数时的 $N$ 次单位根，包括 $z = 1$ 以及 $N - 1$ 个形如 $z = e^{\pm j\omega_N k}$（$k = 1, \cdots, \frac{N - 1}{2}$，$\omega_N = \frac{2\pi}{N}$）的复共轭根。将复共轭根两两分组，可将多项式 $z^N - 1$ 因式分解为：
[
z^N - 1 = (z - 1) \prod_{k = 1}^{\frac{N - 1}{2}} \left(z^2 - 2z\cos(\omega_N k) + 1\right)
]
将其推广可得：
[
z^N - a^N = (z - a) \prod_{k = 1}^{\frac{N - 1}{2}} \left(z^2 - 2az\cos(\omega_N k) + a^2\right)
]
令 $z = (1 + \frac{x}{N})$，$a = (1 - \frac{x}{N})$，得到：
[
\left(1 + \frac{x}{N}\right)^N - \left(1 - \frac{x}{N}\right)^N = 4\frac{x}{N} \prod_{k = 1