Estoy trabajando en una tarea en la que parte de ella está mostrando que la $S_k=0$ incluso $k$ $S_k=1$ por extraño $k$, donde
$$S_k:=\sum_{j=0}^{n}\cos(k\pi x_j)= \frac{1}{2}\sum_{j=0}^{n}(e^{ik\pi x_{j}}+e^{-ik\pi x_{j}}) $$
Aquí $x_j=j/(n+1)$.
Por lo tanto, trabajando a través del álgebra:
$$\frac{1}{2}\sum_{j=0}^{n} e^{ik\pi x_{j}} +e^{-ik\pi x_{j}}) =\dots =\frac{1}{2}\cdot\frac{1-e^{ik\pi}}{1-e^{\frac{ik\pi}{n+1}}}+\frac{1}{2}\cdot\frac{1-e^{-ik\pi}}{1-e^{-\frac{ik\pi}{n+1}}} $$
Obviamente $S_k=0$ incluso $k$'s, ya que $e^{i\pi\cdot\text{even integer}}=1$. Pero cuando $k$ es impar llegamos $$\frac{1}{1-e^{\frac{ik\pi}{n+1}}}+\frac{1}{1-e^{-\frac{ik\pi}{n+1}}}$$ que no es, obviamente, uno para mí, al menos. Wolfram alpha confirma es igual a 1.
Mi pregunta: ¿Cómo hace uno para ver que es igual a 1?