On Gauss's sums (Q1520798)

Neuer Beweis der Formel \(\sum_0^{n-1}e^{\frac{s^22\pi i}{n}}=i^{(\frac{n-1}{2})^2}\sqrt n\) mit positiv genommener Wurzel \(\sqrt n\) aus der ungeraden Zahl \(n\). Nennt man die linke Seite der Formel kurz \(S\) und schreibt \(S=i^{(\frac{n-1}{2})^2}R\), so findet man leicht \(R^2=n\). Um das Vorzeichen von \(R=\pm\sqrt n\) zu bestimmen, beweist der Verf. die Gleichung \(R=\sum_0^{4n-1}\cos 8s^2\omega=\sum_1^{4n-1}\sin 8s^2\omega\) mit \(\omega=\frac{\pi}{64n}\). Aus der Gleichung: \(\cos 2\omega \sin 8s^2\omega+\sin 2\omega \cos 8s^2\omega=\frac{\sin^2(2s+1)^2\omega-\sin^2(2s-1)^2\omega}{\sin 8s\omega}\) folgt durch Summation von \(s=1\) bis \(s=4n-1\) für \((\cos 2\omega+\sin 2\omega)R\) eine Darstellung als Summe lauter positiver Glieder. Es ist somit \(R=+\sqrt{n.}\)