I am trying to prove the following relation related to the Quantum Fourier Transform:
$$\sum_{y=0}^{N-1}e^{2\pi i\frac{x}{N}y} = \begin{cases}0 & \text{if } x\neq 0\mod N \\ N & \text{if } x=0\mod N\end{cases}.$$
I could not find the proof anywhere. What are the possible ways to proceed?