title: Lemme de Gauss (théorie des nombres)
text: # Lemme de Gauss (théorie des nombres)
  
  Le lemme de Gauss en théorie des nombres donne une condition nécessaire et suffisante pour qu'un entier soit un résidu quadratique modulo un nombre premier. Il a été introduit et démontré par Gauss dans ses preuves de la loi de réciprocité $quadratique^,$ et est utilisé dans plusieurs des nombreuses preuves ultérieures de cette loi.
  
  ## Énoncé
  
  Soient $p$ un nombre premier impair et $a$ un entier non divisible par $p$. Alors
  
  $\left({\frac {a}{p}}\right)=(-1)^{n}$
  
  où $\left({\frac {a}{p}}\right)$ est le symbole de Legendre et $n$ est défini de la façon suivante :
  
     On considère les entiers $a,2a,3a,\dots ,{\frac {p-1}{2}}a$ et leurs plus petits résidus positifs ${\bmod {p}}$.
     Parmi ces $(p-1)/2$ entiers distincts compris entre $1$ et $p-1$, $n$ est le nombre de ceux qui sont plus grands que $p/2$.
  
  ou encore, de façon équivalente :
  
     $n$ est le nombre d'entiers négatifs parmi $r(a),r(2a),\ldots ,r\left({\frac {p-1}{2}}a\right)$, en désignant par $r(k)$, pour tout entier $k$, l'unique entier de l'intervalle $\left]-p/2,p/2\right[$ congru à $k{\bmod {p}}$.
  
  ## Application
  
  La deuxième « loi complémentaire » de la loi de réciprocité quadratique se déduit du lemme de Gauss.
  
  ## Preuve
  
  Une preuve assez simple de ce lemme utilise le même principe que l'une des démonstrations du petit théorème de Fermat, en évaluant de deux façons le produit modulo p de ces (p – 1)/2 entiers.
  
  ## Autre preuve, par la théorie du transfert
  
  De par sa définition, l'application qui à a associe $(–1)^n$ est un morphisme de transfert du groupe abélien G = (ℤ/pℤ)* dans le sous-groupe Q = {–1, +1}. D'après le théorème d'évaluation du transfert, on en déduit que l'image de a par ce morphisme est égale à $a^m$ où m désigne l'indice de Q dans G, c'est-à-dire m = (p – 1)/2, ce qui conclut.
  
  