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

Haec pagina emendata est
95
praeparatio ad disquisitionem generalem.

par vel impar) adeoque necessario per numerum aliquem primum formae vel divisibilis, productum enim ex quotcunque numeris formae et neque formam neque hanc habere potest. Sit hic , eritque . At ipsius non-residuum erit (art. 112), adeoque etiam [1] et . Q. E. D.


126.

Sed numerum quemvis primum formae positive acceptum semper alicuius numeri primi ipso minoris non-residuum esse, per artificia tam obvia demonstrari nequit. Quum autem haec veritas maximi sit momenti, demonstrationem rigorosam, quamvis aliquantum prolixa sit, praeterire non possumus. Praemittimus sequens


Lemma. Si habentur duae series numerorum, , (utrum terminorum multitudo in utraque eadem sit necne, nihil interest) ita comparatae, ut, denotante numerum quemcunque primum aut numeri primi potestatem, terminum aliquem secundae seriei (sive etiam plures) metientem, totidem ad minimum termini in serie prima sint per divisibiles, quot sunt in secunda: tum dico productum ex omnibus numeris divisibile fore per productum ex omnibus numeris .

Exempl. Constet e numeris 12, 18, 45; ex his 3, 4, 5, 6, 9. Tum divisibiles erunt per 2, 4, 3, 9, 5 in 2, 1, 3, 2, 1 termini, in 2, 1, 3, 1, 1 termini, respective; productum autem omnium terminorum = 9720 divisibile est per productum omnium terminorum , 3240.

Demonstr. Sit productum ex omnibus terminis , , productum omnium terminorum seriei , . Patet quemvis numerum primum, qui sit divisor ipsius , etiam ipsius divisorem fore. Iam ostendemus quemvis factorem primum ipsius , in totidem ad minimum dimensiones habere, quot habeat in . Esto talis divisor , ponaturque, in serie terminos esse per divisibiles, terminos per divisibiles, terminos per divisibiles etc., similia denotent literae , , etc. pro serie , perspicieturque facile, in habere

  1. Art. 98. Patet enim esse residuum ipsius per non divisibile, nam alias etiam numerus primus per foret divisibilis. Q. E. A.