### Downsampling Theorem (Aliasing Theorem)

**Theorem:**For all ,

*Proof:*Let denote the frequency index in the aliased spectrum, and let . Then is length , where is the downsampling factor. We have

*samples*every samples. This can be expressed in the previous formula by defining which ranges only over the nonzero samples:

#### Illustration of the Downsampling/Aliasing Theorem in Matlab

>> N=4; >> x = 1:N; >> X = fft(x); >> x2 = x(1:2:N); >> fft(x2) % FFT(Downsample(x,2)) ans = 4 -2 >> (X(1:N/2) + X(N/2 + 1:N))/2 % (1/2) Alias(X,2) ans = 4 -2

**Next Section:**

Zero Padding Theorem (Spectral Interpolation)

**Previous Section:**

Stretch Theorem (Repeat Theorem)