title: Théorème de Sophie Germain
text: # Théorème de Sophie Germain
  
  En théorie des nombres, Sophie Germain a démontré le théorème suivant, au cours de ses recherches sur le dernier théorème de Fermat.
  
     Soit p un nombre premier pour lequel il existe au moins un nombre « auxiliaire », i.e. un autre nombre premier θ vérifiant les deux conditions suivantes :
     * deux classes modulo θ consécutives et non nulles ne peuvent être simultanément des puissances p-ièmes ;
  
     * p lui-même (modulo θ) n'est pas une puissance p-ième.
  
     Alors, si trois entiers x, y, z vérifient $x^p$ + $y^p$ = $z^p,$ l'un au moins des trois est divisible par $p^2.$
  
  ## Remarques
  
  * A fortiori, l'un au moins des trois est divisible par p (c'est ce qu'on appelle le « premier cas » du dernier théorème de Fermat). C'est le plus souvent sous cette forme amoindrie et parfois pire que le théorème de Sophie Germain est énoncé.
  * Un « auxiliaire » de p est nécessairement de la forme 2Np + 1 pour un certain entier N.
  * Si p est un nombre premier de Sophie Germain, l'existence d'un θ auxiliaire est assurée : il suffit de prendre θ = 2p + 1. Mais le théorème de Sophie Germain s'applique à d'autres situations (par exemple : p = 3, θ = 13). Elle exhiba un tel θ pour tout premier p < 100, et calcula même, pour ces p, tous les entiers N ≤ 10 pour lesquels 2Np + 1 est un auxiliaire.
  * Sophie Germain démontra ce théorème comme corollaire d'un autre de ses théorèmes, moins connu : sous les mêmes hypothèses, l'un au moins des trois entiers x, y, z est divisible par θ. Ce résultat était bien plus crucial dans son approche du dernier théorème de Fermat : elle espérait en effet parvenir à montrer que pour une infinité de nombres premiers p, peut-être même tous sauf un nombre fini, le nombre d'auxiliaires θ est infini. Elle avait démontré que 3 n'a que deux auxiliaires : 7 et 13. Mais son « grand plan » était voué à l'échec : en 1829, Libri démontra que 3 et 4 n'ont qu'un nombre fini d'auxiliaires et affirma la même chose pour tout nombre premier plus grand, ce que Dickson confirma en 1909.
  * L'hypothèse 1 équivaut $à^,$ l'hypothèse 1' suivante : si $x^p$ + $y^p$ ≡ $z^p$ mod θ alors l'un au moins des trois entiers x, y, z est divisible par θ.
  
  Si $x^p$ + $y^p$ ≡ $z^p$ mod θ avec x, y et z non divisibles par θ alors, en notant a un inverse mod θ de $x^p,$ les classes mod θ de $(ay)^p$ et $(az)^p$ sont non nulles et consécutives. Réciproquement, si deux puissances p-ièmes $y^p$ et $z^p$ ont des classes mod θ non nulles et consécutives alors 1 + $y^p$ ≡ $z^p$ mod θ et aucun des trois entiers 1, y, z n'est divisible par θ.
  
  ## Démonstration
  
  Supposons que $x^p$ + $y^p$ = $z^p.$ Notons a = x/d, b = y/d et c = –z/d où d est le PGCD de x, y et z. Alors, $a^p$ + $b^p$ + $c^p$ = 0 et a, b, c sont premiers entre eux deux à deux. Les entiers
  
  $A:=\sum _{k=0}^{p-1}b^{p-1-k}(-c)^{k},\quad B:=\sum _{k=0}^{p-1}c^{p-1-k}(-a)^{k},\quad C:=\sum _{k=0}^{p-1}a^{p-1-k}(-b)^{k}$
  
  vérifient les identités remarquables :
  
  $(-a)^{p}=(b+c)A\quad (-b)^{p}=(c+a)B,\quad (-c)^{p}=(a+b)C.$
  
  * p est le seul facteur premier possible commun à b + c et A (et de même pour c + a et B et pour a + b et C) :Si un nombre premier q divise b + c et A alors, mod q, b ≢ 0 (puisque b et c sont premiers entre eux) tandis que 0 ≡ A ≡ $pb^{p–1},$ donc q = p.
  * a, b ou c est divisible par p :On raisonne par l'absurde en supposant qu'aucun ne l'est. D'après ce qui précède, il existe alors des entiers α, α', β, β', γ et γ' tels que
  
  | $b+c=\alpha ^{p},$ | $A=\alpha '^{p},$ | $-a=\alpha \alpha ',$ |
  | - | - | - |
  | $c+a=\beta ^{p},$ | $B=\beta '^{p},$ | $-b=\beta \beta ',$ |
  | $a+b=\gamma ^{p},$ | $C=\gamma '^{p},$ | $-c=\gamma \gamma '.$ |
  
  D'après l'hypothèse 1' (équivalente à 1), on peut supposer par exemple que c est divisible par θ. Alors, θ ne divise ni α ni β (diviseurs respectifs de a et b donc premiers avec c) mais il divise 2c = $α^p$ + $β^p$ – $γ^p$ donc, à nouveau d'après l'hypothèse 1', il divise γ. Donc mod θ, a + b = $γ^p$ ≡ 0 et γ' $^p$ = C ≡ $pa^{p–1}$ ≡ $pβ^{p(p–1)}$ si bien que p est une puissance p-ième, ce qui contredit l'hypothèse 2.
  
  * a, b ou c est même divisible par $p^2$ :Supposons par exemple que c'est c qui est divisible par p. L'entier w := a + b est alors divisible par p (car congru à $–c^p$ mod p d'après le petit théorème de Fermat) donc dans$C={\frac {a^{p}+b^{p}}{a+b}}={\frac {a^{p}+(w-a)^{p}}{w}}=\sum _{k=0}^{p-1}{p \choose k}w^{p-1-k}(-a)^{k},$tous les termes de la somme sont divisibles par $p^2$ sauf le dernier, qui n'est divisible que par p. Comme (a + b)C est une puissance p-ième, on en déduit que a + b est divisible par $p^{p–1}.$ On n'a plus γ, γ' vérifiant les équations ci-dessus, mais on a encore α, α', β, β'. Comme $p^2$ divise a + b = $α^p$ + $β^p$ – 2c, il suffit, pour prouver qu'il divise bien c, de vérifier que $α^p$ + $β^p$ est divisible par $p^2.$ Comme on sait déjà qu'il est divisible par p, c'est-à-dire (à nouveau d'après le petit théorème de Fermat) que l'entier v := α + β l'est, dans$\alpha ^{p}+\beta ^{p}=\alpha ^{p}+(v-\alpha )^{p}=\sum _{k=0}^{p-1}{p \choose k}v^{p-k}(-\alpha )^{k},$tous les termes de la somme sont divisibles par $p^2,$ ce qui conclut.
  