Vestiges d'une terminale S spcialit Le petit thorme de Fermat : une dmonstration

Petit thorme de Fermat

Si p est un entier naturel premier et a un autre entier naturel premier avec p alors :

a p 1 1 est divisible par p

autrement dit a p 1 1 modulo p

Consquence : si p est un entier premier et si PGCD ( a; p ) = 1 alors a p a modulo p .

D'aprs ce qui prcde, nous pouvons affirmer que :

6

8 1 modulo 7

11

10

10 modulo 11

Donc p divise le produit a. ( n k ) . Mais comment il est premier avec a alors en

application du thorme de Gauss, il divise ncessairement le facteur n k .
Or cette diffrence n k est comprise entre 1 et p 1 car nous avons 1 k < n p 1 .
Donc p ne peut diviser cette diffrence n k .
Supposer que deux restes rk et rn peuvent tre gaux nous a amen une contradiction.
Conclusion : les p 1 restes rk sont tous distincts deux deux. Ils prennent tous des
valeurs diffrentes. Comme les p 1 restes rk sont tous compris entre
1 et p 1


p 1 valeurs possibles

La preuve de ce thorme
Cette dmonstration comporte plusieurs phases.

p divise-t-il les p 1 premiers multiples de a que sont a; 2.a;3.a; ; ( p 1) .a ?

Procdons par l'absurde et supposons que p divise l'un de ces multiples k.a .
Comme p est premier avec le second facteur a alors en application du thorme de Gauss,
p divise ncessairement k.
Or k est un entier naturel compris entre 1 et p 1 . Il est donc infrieur strictement p et
ce dernier ne peut donc pas le diviser.
Notre supposition nous amne une contradiction avec ce que nous savons vrai. Elle tait
donc errone.
Conclusion : l'entier premier p ne divise aucun des multiples a; 2.a;3.a; ; ( p 1) .a .
 Les restes des divisions euclidiennes par p des multiples a; 2.a;3.a; ; ( p 1) .a .

L'entier premier p ne divisant pas les p 1 premiers multiples de a, les restes des
divisions euclidiennes de chacun d'eux par p sont non nuls.
Pour fixer les ides, appelons rk le reste de la division euclidienne du multiple k.a par p.
Chacun de ces restes rk est tel que

0 < rk < p

Non nul car p ne divise pas k.a
et strictement infrieur au diviseur p

 Deux de ces restes rk et rn peuvent-ils tre gaux ?

Procdons par l'absurde. Supposons qu'il existe deux entiers distincts k et n compris entre
1 et p 1 tels que rk = rn .
Quand on travaille avec deux entiers distincts, l'un est ncessairement plus grand que
l'autre. Pour fixer les ides, disons que k < n .
Si q k et q n dsignent les quotients des divisions euclidiennes des multiples k.a et n.a

k.a = q k .p + rk d 'o rk = k.a q k .p

par p alors nous avons :
.
n.a = q n .p + rn d 'o rn = n.a q n .p
Les deux restes rk et rn tant gaux, il vient alors :

k.a q k .p = n.a q n .p p. ( q k q n ) = a. ( n k )

alors chacun des p 1 entiers 1; 2;3; ; p 1 est le reste d'une seule division euclidienne
d'un des p 1 premiers multiples de a par p. Et rciproquement !
Autrement dit : un entier = Un reste.
 La dernire carte.
Chacun des p 1 multiples k.a est congru modulo p son reste rk .
Justement intressons-nous au produit de ces p 1 premiers multiples de a.
1.a 2.a ( p 1) .a = 1 2 ( p 1) a p 1
Or chaque multiple k.a est congru son reste rk modulo p. Il vient alors :
1.a 2.a ( p 1) .a

r1 r2 rp 1


modulo p = 1 2 ( p 1) modulo p

Chacun est gal l'un

des p 1 entiers 1;2;;p 1

Donc la diffrence 1 2 ( p 1) a p 1 1 2 ( p 1) est congrue 0 modulo p.



Facteurs...

...communs

Autrement dit, l'entier p divise le produit 1 2 ( p 1) . a p 1 1 .

Comme p est un nombre premier alors il est premier avec chacun des entiers 1; 2; ; p 1 .

En application du thorme de Gauss, il ne peut donc diviser que le facteur a p 1 1 .

D'o le thorme.
Prcision : tout entier naturel premier p est premier avec tous ceux qui le prcdent.
Si un entier naturel p est premier alors ses seuls diviseurs dans
sont 1 et lui-mme.
Soit n un entier naturel compris entre 1 et p 1 c'est--dire strictement infrieur p.

On pose = PGCD ( p; n ) . L'entier naturel est un diviseur commun de p et n dans
.

Comme est un diviseur de p alors il est soit gal 1, soit gal p.
Comme est un diviseur de n alors n < p .
Conclusion : le PGCD ne peut tre gal qu' 1. Tout entier premier est premier avec tous
les entiers naturels non nuls 1; 2; ; p 1 qui le prcdent.

Un doc de Jrme ONILLON distribu par la taverne de l'Irlandais(www.tanopah.com)