Page:Gauss - Recherches arithmétiques, traduction Poullet-Delisle, 1807.djvu/46

La bibliothèque libre.
Cette page a été validée par deux contributeurs.
24
RECHERCHES

Si etc. sont tous les diviseurs de , l’unité et y compris, on aura . Par exemple, si , on aura

.


Démonstration. Si l’on multiplie tous les nombres premiers avec et non plus grands que lui par , de même tous les nombres premiers avec par , etc. ; on aura nombres tous non plus grands que  ; mais

1o . Tous ces nombres seront inégaux ; car il est évident que ceux qui proviennent du même diviseur de sont tous inégaux. D’ailleurs s’il en résultait deux égaux provenant de diviseurs différens et , et de nombres et qui leur soient respectivement premiers ; c’est-à-dire, si l’on avait , ou bien  ; en posant , (ce qui est permis ), il s’ensuivrait, puisque est premier avec et qu’il divise qu’il devrait aussi diviser , ce qui est absurde.

2o . Entre ces nombres on trouvera tous ceux qui composent la suite . En effet, soit un nombre quelconque qui ne surpasse pas , et le plus grand commun diviseur entre et , sera le diviseur de avec lequel sera premier. Donc le nombre se trouvera parmi ceux qui ont été produits par le diviseur  ;

3o . Il suit de là que le nombre total en est  ; donc

40. Si est le plus grand diviseur commun des nombres etc. on peut toujours déterminer les nombres etc. de manière qu’on ait etc.

Considérons d’abord deux nombres et seulement, et soit leur plus grand diviseur commun. Alors la congruence sera résoluble (no 30). Soit la racine , et que l’on fasse , on aura ,

S’il