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

La bibliothèque libre.
Cette page a été validée par deux contributeurs.
417
ARITHMÉTIQUES.

un travail intolérable, même pour le calculateur le plus infatigable.

Avant de se servir des méthodes suivantes, il est toujours très-utile d’essayer la division du nombre proposé , par quelques-uns des plus petits nombres premiers, comme , , , , etc. jusqu’à , ou encore plus loin, non-seulement afin de ne pas s’exposer à regretter d’avoir employé des méthodes recherchées et des artifices délicats pour trouver des nombres que la seule division aurait pu donner[1], mais encore parceque dans le cas où aucune division ne réussit, la seconde méthode emploie avec beaucoup de succès les restes qui en résultent. Ainsi, par exemple, si l’on doit décomposer en facteurs le nombre , la division par réussit deux fois, et ensuite la division par et par , d’où l’on tire


et il suffit de soumettre à un examen plus méthodique le nombre , qu’on trouve n’être divisible ni par , ni par , ni par , ni par . De même, étant proposé le nombre , nous supprimerons le facteur , et nous appliquerons les méthodes au quotient .

330. Le principe qui sert de base à la première méthode est le théorème suivant lequel tout nombre positif ou négatif qui est résidu quadratique d’un autre nombre , est aussi résidu de tout diviseur de . On sait que si n’est divisible par aucun nombre premier plus petit que , est certainement un nombre premier ; donc si tous les nombres premiers au-dessous de cette limite, qui divisent sont , , etc., le nombre sera composé des seuls nombres etc. ou de leurs puissances, ou bien il renfermera un seul facteur premier plus grand que , qui se trouve en divisant par , etc. autant de fois qu’il est possible. Désignant donc par l’ensemble de tous les nombres premiers au-dessous de , il suffit évidemment d’avoir tous les

diviseurs premiers de qui sont contenus dans . Or si l’on

  1. D’autant plus que, généralement parlant, de six nombres il y en a à peine un qui soit non-divisible par tous les nombres , , ,…….
G g g