On the function \(\sum^{x={\frac {q 1}2}}_{x=1} \left[\frac {px}q \right]\) (Q1532945)

Mit Hülfe des Euklidischen Algorithmus lässt sich leicht der folgende Satz beweisen: Zwei Functionen \(F(p,q)\) und \(F_1(p,q)\) stimmen für alle ganzzahligen Werte ihrer Argumente überein, wenn 1) \(F(p,p)=F_1(p,p)\) für jeden ganzzahligen Wert von \(p\) und 2) für beliebige ganzzahlige \(p,q,\lambda\) die Gleichungen \[ F(p+\lambda q,q)-F(p,q)=F_1(p+\lambda q,q)-F_1(p,q), \] \[ F(p,q+\lambda p)-F(p,q)=F_1(p,q+\lambda p)-F_1(p,q) \] gültig sind. Dieser Satz lässt sich benutzen zur Auswertung der beiden Functionen \(\psi (p,q)\pm\psi (q,p)\), wo die Function \(\psi(p,q)\) für ungerade positive Werte von \(p\) und \(q\) durch die im Titel angegebene Summe dargestellt wird, und zur Definition der Function für negative \(q\) die Formel \(\psi(p,-q)=-\psi(p,q)\) gelten soll. Für die erstere Function ergiebt sich auf diese Weise die Formel \[ \psi (p,q)+\psi (q,p)=\frac {p-1}2\;\frac {q-1}2- \frac {\varepsilon -1}2\;\frac {\delta -1}2, \] wo \(\epsilon\) und \(\delta\) beziehungsweise die Vorzeichen von \(p\) und \(q\) bedeuten. Diese Formel enhält, wie man sieht, das Reciprocitätsgesetz für quadratische Reste.