X_k = \sum_{n=0}^{N-1} x_n \cdot e^{-i2\pi \frac{k}{N}n}

x_n = \frac{1}{N} \sum_{k=0}^{N-1} X_k \cdot e^{i2\pi \tfrac{k}{N} n}