Ueber grösste Ganze. (Q1536902)

Eine unmittelbare Ableitung des Reciprocitätsgesetzes ist aus folgender Modification des Gauss'schen Lemmas möglich: ``Die ungerade positive Primzahl \(p\) ist quadratischer Rest oder Nichtrest der ungeraden positiven Primzahl \(q\), je nachdem die Anzahl der Zahlen \(1.\frac p2, \quad 2.\frac p2, \dotsm , \frac{q-1}{2}\cdot \frac p2\), welche zwischen einem ungeraden und dem darauf folgenden geraden Vielfachen von \(\frac q2\) gelegen sind, gerade oder ungerade ist.'' Diese Formulirung, welche in mehrfacher Hinsicht einen Ausblick auf das biquadratische Reciprocitätsetz gestattet, tritt hier als sehr specielle Folge einer allgemeinen Relation zwischen Summen von grössten ganzen Zahlen auf. Es bezeichne \[ a-1 \leqq [a] < a \text{ und } a-1 \leqq [a]'<a. \] Die reellen Functionen \(y=f_{21}(x)\) und deren inverse \(x=f_{12}(y)\) seien zwischen den Grenzen \(x=a\) und \(x=b\) endlich, stetig, eindeutig, \(b>a\), \(y\) dazwischen niemals abnehmend; \(F\) eine beliebige Function. Dann ist: \[ \sum_{x=[a]'+1}^{x=[b']} f([f_{21}(x)],x)= \sum_{y=[f_{21}(a)]}^{y=[f_{21}(b)]} \sum_{\xi y=[f_{12}(y)]'+1}^{\xi y=[f_{12}(y+1)]'} F(y, \xi y). \] Es werden mannigfaltige Specialisirungen dieser sehr umfassenden Formel gegeben, bei welchen Analogien mit Integralformeln hervortreten.