Quadratisches Reziprozitätsgesetz/Ergänzungssatz 2/Fakt/Beweis

Beweis

Wir benutzen Fakt und haben zu bestimmen, wie viele der Zahlen , , in liegen. Nun ist genau dann, wenn ist (alle zu betrachtenden Vielfachen von sind kleiner als ). Dies ist äquivalent zu und wir haben das kleinste mit dieser Eigenschaft zu finden. Ist ein Vielfaches von , so ist das kleinste und insgesamt gibt es in diesem Fall

solche . Diese Anzahl ist bei gerade und bei ungerade, was das Ergebnis in diesen Fällen ergibt.

Es sei also nun bzw. . Dann ist das kleinste derart, dass ist, gleich , und es gibt insgesamt

solche . Diese Anzahl ist bei ungerade und bei gerade, was die Behauptung in diesen Fällen ergibt.