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

Cette page a été validée par deux contributeurs.
96
RECHERCHES


premier de la forme positif ou négatif, est toujours non-résidu d’un nombre premier au moins plus petit que lui, nous allons passer à l’examen exact et général de la condition nécessaire pour qu’un nombre premier soit résidu ou non-résidu d’un autre.

Nous avons démontré plus haut que et sont résidus ou non-résidus de tous les nombres premiers qui sont respectivement résidus ou non-résidus des nombres et .

On trouve par induction, relativement aux nombres suivans, que, , , , , , , , , , , , , , , etc., sont résidus ou non-résidus de tous les nombres premiers qui, pris positivement, sont résidus ou non-résidus de ces nombres premiers. Cette induction s’établit facilement au moyen de la Table II.

Une légère attention suffit pour remarquer que parmi ces nombres premiers, ceux de la forme sont affectés du signe , et ceux de la forme , du signe .

131. Nous démontrerons bientôt généralement ce que l’induction nous a fait découvrir ; mais avant de l’entreprendre, il est nécessaire de faire voir toutes les conséquences de ce théorème supposé vrai et que nous énoncerons ainsi :

Tout nombre qui, pris positivement, est résidu ou non-résidu de aura, pour résidu ou non-résidu, ou selon que sera de la forme ou

Comme presque tout ce qu’on peut dire sur les résidus quadratiques est une suite de ce théorème, la dénomination du théorème fondamental dont nous nous servirons dorénavant, ne sera pas déplacée.

Pour exposer nos raisonnemens de la manière la plus courte, nous désignerons par , , , etc. les nombres premiers de la forme , par , , , etc. les nombres premiers de la forme , par , , , etc. les nombres quelconques de la forme , par , , , etc. les nombres quelconques de la forme . Enfin la lettre placée entre deux quantités, indiquera que la première est résidu de la seconde, et la lettre indiquera le contraire. Par exemple, indiqueront que est résidu de , et que est non-résidu de .

Maintenant,