Pagina:Gauss, Carl Friedrich - Werke (1870).djvu/120

Haec pagina emendata est
110
de congruentiis secundi gradus.


144.

Casus octavus. Quando est formae (), formae , atque sive , non poterit esse . (Casus ultimus supra).

Demonstratio perinde procedit ut in casu praecedenti.


Methodus analoga, theorema art. 114 demonstrandi.
145.

In demonstratt. praecc. semper pro e valorem parem accepimus (artt. 137, 144); observare convenit, etiam valorem imparem adhiberi potuisse, sed tum plures adhuc distinctiones introducendae fuissent. Qui his disquisitionibus delectantur, haud inutile facient, si vires suas in evolutione horum casuum exercitent. Praeterea theoremata ad residua et pertinentia tunc supponi debuissent; quum vero nostra demonstratio absque his theorematibus sit perfecta, novam hinc methodum nanciscimur, illa demonstrandi. Quae minime est contemnenda, quum methodi, quibus supra pro demonstratione theorematis, esse residuum cuiusvis numeri primi formae , usi sumus, minus directae videri possint. Reliquos casus (qui ad numeros primos formarum , , spectant) per methodos supra traditas demonstratos, illudque theorema tantummodo per inductionem inventum esse supponemus; hanc autem inductionem per sequentes reflexiones ad certitudinis gradum evehemus.

Si omnium numerorum primorum formae residuum non esset, ponatur minimus primus huius formae, cuius non-residuum , , ita ut pro omnibus primis ipso minoribus theorema valeat. Tum accipiatur numerus aliquis primus , cuius non-residuum (qualem dari ex art. 129 facile deducitur). Sit hic eritque per theor. fund. . Hinc fit . — Sit itaque , ita ut sit impar atque . Tum duo casus erunt distinguendi.

I. Quando per non est divisibilis. Sit eritque positivus, formae vel formae (prout est formae vel ), , atque per non divisibilis. Iam omnes factores primi ipsius in quatuor classes distribuantur, sint scilicet formae , formae , formae , formae ; productum e factoribus primae classis sit , producta e factoribus secundae, tertiae, quartae classis respective, , , [1].

  1. Si ex aliqua classe nulli factores adessent, loco producti ex his scribere oporteret.