Let $q=e^{2\pi i/m}$, $a\in\mathbb{R}$ and $1\leq j\leq m-1$. I would like to prove that:
$$(a-1)\sum\_{n=0}^{m-1} q^n\frac{\prod\_{k=0}^{j-2} (q^{n+k+1}-a)}{\prod\_{k=0}^{j} (aq^{n+k}-1)}=0.$$


For $j=1$ I can prove it by induction: the left-hand side of the expression factors as $$\frac{\prod\_{1<d|m}\Phi\_d}{aq^m-1}$$ where $\Phi\_d$ is the $d$th cyclotomic polynomial and the product runs over all divisors of $m$ (besides $1$). For larger values of $j$ I cannot guess a formula. For small values of $m$ I have checked that it is true.


I can also verify this identity for several values of $a$, such as $0,1$ and $\infty$. The $(a-1)$ in the numerator is necessary as without it there is a pole at $a=1$.


Is this a known identity? Can anyone point me towards a proof of the general case? 



A curious Gauss-Sum type identity
Perhaps, this can be simplified; but here is some (more or less general) computation. One can easily see how far it can be generalized.


Every term of the sum reads
$$
 q^n\frac{\prod\_{k=0}^{j-2}(q^{n+k+1}-a)}{\prod\_{k=0}^j(aq^{n+k}-1)}
 =q^n\frac{(-1)^{j+1}\prod\_{k=1}^{j-1}(a-q^{n+k})}
 {q^{n(j+1)}q^{j(j+1)/2}\prod\_{k=0}^j(a-q^{-n-k})}
 =Cq^{-nj}\frac{\prod\_{k=1}^{j-1}(a-q^{n+k})\prod\_{k=1}^{m-j-1}(a-q^{-n+k})}
 {\prod\_{k=0}^{m-1}(a-q^{-n-k})}\\
 =\frac{C}{(a^m-1)}\cdot
 t\_n^j\prod\_{k=1}^{j-1}(a-t\_n^{-1}q^k)\prod\_{k=1}^{m-j-1}(a-t\_nq^k)
$$
here $C=(-1)^{j+1}q^{-j(j+1)/2}$ is a constant and $t\_n=q^{-n}$. Thus we need to show that the sum of the values of Laurent polynomial 
$$
 P(t)=t^j\prod\_{k=1}^{j-1}(a-t^{-1}q^k)\prod\_{k=1}^{m-j-1}(a-tq^k)
$$
at all $m$th degree roots of unity vanishes. In fact, expanding the brackets, we see that $P$ is a usual polynomial, and all its monomials have degrees from $1$ to $m-1$; Thus the claim follows from $\sum\_{n=0}^{m-1}q^{nk}=0$ for all $k=1,2,\dots,m-1$.


**REMARK.** Since the numerator is a polynomial in $a$, the identity also holds for all complex $a$, and even the poles at the roots of unity cancel.


