Die Riemannsche Zetafunktion ist die analytische Fortsetzung der für Re(s)>1 durch definierten Funktion. Sie kodiert die Verteilung der Primzahlen: der Primzahlsatz folgt aus der für alle Nullstellen gültigen Ungleichung Re(s)

Lagrange und vor allem Gauß hatten sich mit der Frage befaßt, welche ganzen Zahlen durch eine gegebene ganzzahlige, binäre, quadratische Form ax2+bxy+cy2 dargestellt werden können, und sie hatten auch einige Resultate für ganzzahlige quadratische Formen in mehr als zwei Variablen erzielt. Abschließende Resultate gab es dort aber nicht und selbst die abschließende Behandlung der binären…