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

E Wikisource
Haec pagina emendata est
94
de congruentiis secundi gradus.

erit. Q. E. D. — At primi numeri formae In vel omnes methodos hucusque traditas eludunt. Ceterum etiam haec demonstratio ab ill. La Grange primum est detecta l. c. — Infra Sect. VII. docebimus generaliter, expressionem semper ad formam reduci posse, (ubi signum superius est accipiendum, quando est numerus primus formae , inferius, quando est formae ), denotantibus , functiones rationales ipsius , a fractionibus liberas. Hanc discerptionem ill. La Grange ultra casum non perfecit v. l. c. p. 352.


Praeparatio ad disquisitionem generalem.
125.

Quoniam igitur methodi praecedentes ad demonstrationes generales stabiliendas non sufficiunt, iam tempus est, aliam ab hoc defectu liberam exponere. Initium facimus a theoremate, cuius demonstratio satis diu operam nostram elusit, quamvis primo aspectu tam obvium videatur, ut quidam ne necessitatem quidem demonstrationis intellexerint. Est vero hoc: Quemvis numerum, praeter quadrata positive sumta, aliquorum numerorum primorum non-residuum esse. Quia vero hoc theoremate tantummodo tamquam auxiliari ad alia demonstranda usuri sumus, alios casus hic non explicamus quam quibus ad hunc finem indigemus. De reliquis casibus postea sponte idem constabit. Ostendemus itaque, quemvis numerum primum formae , sive positive sive negative accipiatur[1], non-residuum esse aliquorum numerorum primorum, et quidem (si ) talium qui ipso sint minores.

Primo, quando numerus primus , formae (, sed , ), negative sumendus proponitur, sit numerus par proxime maior quam , tum facilis perspicitur, semper fore sive . At est formae , autem residuum quadraticum ipsius (quoniam ); quodsi igitur est numerus primus, ipsius non-residuum erit; sin minus, necessario factor aliquis ipsius formae erit; et quum etiam huius residuum esse debeat, ipsius non-residuum erit. Q. E. D.

Pro numeris primis positive sumendis duos casus distinguimus. Primo sit numerus primus formae . Sit numerus quicunque positivus . Tum erit numerus positivus formae vel (prout


  1. autem excipi oportere per se manifestum est.