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

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


généralement vraie, ne peut être résidu d’aucun nombre de la forme ou  ; or s’il peut y en avoir de tels, soit le plus petit de tous, et qu’on ait . Si l’on prend, comme plus haut, impair et , sera de la forme ou , suivant que sera de la forme ou  ; mais, de ce qu’on a et , il est facile de déduire que est et comme serait aussi résidu de , il s’ensuivrait que ne serait pas le plus petit nombre dont est le résidu, ce qui est contre l’hypothèse. Donc sera nécessairement non-résidu de tous les nombres de la forme ou .

En combinant cette proposition avec celles du no 111, on en déduit les théorèmes suivans :

I. et sont non-résidus de tous les nombres premiers de la forme comme nous l’avons déjà trouvé.

II. est non-résidu et résidu de tous les nombres premiers de la forme

Au reste, nous aurions pu prendre pair dans les deux démonstrations ; mais alors il eût fallu distinguer le cas où est de la forme , de celui où il est de la forme  ; d’ailleurs la marche est absolument la même et n’est sujette à aucune difficulté.

114. Il nous reste encore à traiter le cas où le nombre premier est de la forme  ; mais il échappe à la méthode précédente et demande des artifices tout-à-fait particuliers.

Soit, pour le module premier , une racine primitive quelconque , on aura (no 62 )  ; cette congruence peut se mettre sous la forme , ou  ; d’où il suit que et sont résidus de  ; mais comme est un quarré non-divisible par le module, et seront aussi résidus (no 98 ).

115. Il ne sera pas inutile d’ajouter encore une autre démonstration de ce théorème, qui a le même rapport avec celle que nous venons de donner, que la seconde démonstration du théorème du no 108, a avec la première. Les gens instruits s’appercevront facilement que ces deux démonstrations ne sont pas aussi différentes qu’elles le paraissent au premier aspect, tant dans le premier cas que dans le second.

2