On the distribution of quadratic residues (Q5920818)

Die von \textit{O. Perron} in seiner Arbeit ``Bemerkungen über quadratische Reste'' [Math. Z. 56, 122--130 (1952; Zbl 0048.03002)] bewiesene additive Anordnungseigenschaft der Legendresymbole läßt sich wie folgt als Orthogonalitatsrelation formulieren. Satz. Mit den Vektoren \(\mathfrak e_i\), \(i=0,\ldots,p\) bilden auch die \((p+1)\) Vektoren \[ \begin{aligned}\mathfrak q_i &=\frac 1{\sqrt p}\left\{\left(\frac ip\right)\mathfrak e_0+\left(\frac{i+1}{p}\right)\mathfrak e_1+\ldots+\left(\frac{i+p-1}{p} \right)\mathfrak e_{p-1}+\mathfrak e_p\right\}; \quad i=0,\ldots,p-1, \\ \mathfrak q_p &= \frac 1{\sqrt p} (\mathfrak e_0+\mathfrak e_1+\ldots+\mathfrak e_{p-1})\end{aligned} \] eine orthonormierte Basis des \(V_{p+1}\). An Hand dieses Satzes liefert der Vektorraumkalkül Aussagen über Legendresymbole. Als Anwendungsbeispiel der Methode wird so bewiesen, daß es für jede rationale Primzahl \(p\) in der (zyklisch geschlossenen) Folge \([1], [2], \ldots, [p-1]\) der primen Restklasysen modulo \(p\) mindestens eine Teilfolge von \((p-1)/2\) aufeinander folgenden primen Restklassen gibt, unter denen die Restklassen, die aus quadratischen Resten bestehen, um mindestens \(\{\sqrt p/2\}\) überwiegen, wobei \(\{\sqrt p/2\}\) die am nächsten bei \(\sqrt p/2\) liegende ganze Zahl ist.