Is there a way to perform the finite sum $\sum_{m = 1}^n \exp(2 \pi i k (\sqrt5) ^m)$?, m even.
I am trying to show a specific sequence is not equidistributed, and so I'd like to show that Weyl's criterion fails, but I am not sure how to perform this sum, since it is not a geometric series.