On a representation of the Legendre symbol. (Q1502552): Difference between revisions

Es seien \(p\), \(q\) verschiedene ungerade Primzahlen, \(x\), \(y\) Unbestimmte und \[ X - 1 + x + x^2 +\cdots+ x^{p-1},\quad Y - 1 + y + y^2 = +\cdots+ y^{q-1}, \] \[ P - \Pi(x^a - y^b)(x^ay^b - 1), \] wo \(a\) die Werte 1, 2, ..., \(\frac{p-1}2\), \(b\) die Werte 1, 2, ..., \(\frac{q-1}2\) durchläuft. Dann ist das Legendresche Symbol \[ \left(\frac qp\right) - P^{pq} + [X) + [Y),\tag{1} \] wo \([\varphi)\) eine durch \(\varphi\) algebraisch teilbare Funktion bezeichnet. Aus dieser Darstellung ergibt sich, ähnlich wie bei Eisenstein, ein einfacher Beweis des quadratischen Reziprozitätsgesetzes. Auch läßt sich durch die Substitution \[ x - e^{\frac{4\pi i}p},\quad y - e^{\frac{4\pi i}q} \] aus (1) die Eisensteinsche Darstellung (vgl. J. für Math. 29, 177, 1845) des Legendreschen Symbols \[ \left(\frac qp\right) - \Pi 4\left(\sin^2\frac{2b\pi}q - \sin^2\frac{2a\pi}p\right) \] herleiten.