Une dmonstration du thorme de Wilson

Par Mathtous
I) L'nonc

p tant un entier naturel suprieur 1, on a : p premier (p - 1) ! + 1 est multiple de p. On peut donner cet nonc direntes formes quivalentes : premier (p - 1) ! + 1 0 [modulo p]. premier (p - 1) ! 1 [modulo p]. premier (p 1)! = 1 si on se place dans Z/pZ.
II) Cas p = 2

2 est videmment premier, et on a : (2 - 1) ! + 1 = 2 qui est bien un multiple de 2. Le thorme tant vident pour p = 2, on supposera donc, dans la suite, que p > 2.
III) Cas p

>2

A) Dmonstration de la partie directe Soit donc p premier ( impair puisque suprieur 2 ). Z/pZ est donc un corps. Tout lment non nul a de ce corps peut tre reprsent par un lment unique a de l'ensemble E = {1, 2, ..., p 1}. Cet lment non nul a possde donc un inverse unique , tel que a = . b b 1 Ou bien a = , ou bien a = . b b
a = a2 = a2 = ( ( + = b 1 1 0 a 1) a 1) 0 ou a = 1 puisque Z/pZ est un corps. a=1 Les seuls lments gaux leur inverse sont donc et 1 = p 1. 1

Tous les autres sont dirents de leur inverse. Donc, le produit (p 1)! s'crit : ( 1 ( ... p 3 p 2 1) 2) Les deux premiers facteurs donnent 1, et les suivants s'associent 2 par 2 pour donner 1 puisque pour eux, chaque lment est dirent de son inverse, et que la liste contient donc les paires formes d'un lment et de son inverse. Donc : (p 1)! = 1 : la proprit est dmontre. B) Dmonstration de la rciproque Supposons cette fois que (p -1) ! +1 0 [modulo p] ( pour p > 2). 1

Il existe donc un entier k tel que (p -1) ! +kp = 1. Soit alors x un entier ( positif ) infrieur p : il gure parmi les facteurs de (p -1) ! donc (p -1) ! peut s'crire sous la forme u.x o u est un entier. On a donc u.x + k.p = 1, ce qui d'aprs l'galit de Bzout signie que p et x sont premiers entre eux. p est donc premier avec tous les entiers ( positifs ) qui lui sont infrieurs : il est donc lui-mme premier. La rciproque est dmontre, et donc aussi le thorme.
IV) Un critre de primalit ? ?

(p - 1 ) ! + 1 multiple de p p premier. Ne pourrait-on pas envisager d'utiliser ce rsultat pour tester si un entier p est premier ? Pour ce faire, on va prendre un exemple : p = 127. Pour savoir si p est premier, il existe plusieurs mthodes, mais ce jour tous les algorithmes pour tester si un entier est premier sont de complexit exponentielle. Pour l'exemple choisi, je vais utiliser ( an de comparaison ) deux mthodes : A) la mthode  lmentaire  consistant essayer tous les diviseurs ventuels suprieurs 1, jusqu' en trouver un infrieur p ( auquel cas p n'est pas premier ), ou jusqu' concurrence d'avoir essay un diviseur dont le carr dpasse p ( auquel cas p est premier ). Evidemment, si on procde  manuellement , on ne va essayer que des diviseurs ventuels premiers. Ainsi, pour p = 127 : 127 est impair, donc pas divisible par 2. 1+2+7 = 10 non multiple de 3, donc 127 n'est pas divisible par 3. 127 est termin par 7, donc non multiple de 5. 127 = 718 + 1, donc 127 n'est pas divisible par 7. (1 + 7 ) - 2 = 6 non multiple de 11, donc 127 n'est pas divisible par 11. 127 = 139 + 10, donc 127 n'est pas divisible par 13. 132 = 169 > 127, donc c'est termin : 127 est premier. Remarquons que toutes ces considrations s'eectuent  de tte , sans poser d'opration. On utilise ici des critres de divisibilit, et seules les divisions par 7 et par 13 doivent tre eectues ( mais mentalement ). B) En essayant d'utiliser le thorme de Wilson ( partie rciproque ) : Il faut commencer par calculer 126 ! . Et dj le rsultat comporte plus de 200 chires dcimaux ( si j'ai bien compt ... ). On peut utiliser ma calculatrice arithmtique que l'on peut se procurer en cliquant sur le lien bleu. Elle permet de manipuler ( sans approximation, de manire exacte ! ) des nombres de cette taille. Il faut ensuite ajouter 1, puis diviser le rsultat par 127 pour voir si le reste est nul. C'est bien le cas, donc 127 est premier. J'ai recommenc avec d'autres nombres ( tests premiers par la mthode A ) : 293 , 307 , 2

401 , 457 : la vrication avec le thorme de Wilson fonctionne. J'ai recommenc avec 479 ( qui est premier ) : cette fois, rien ne va plus : 478 ! est tellement grand qu'il dpasse les capacits de calcul de ma calculatrice arithmtique, ce qui explique que j'obtienne un rsultat faux. Mais avec un logiciel plus prcis et un ordinateur plus puissant ? Cela ne ferait que retarder le dpassement de capacit. Or, on utilise aujourd'hui des nombres premiers de plusieurs centaines de chires. Les factorielles seraient tellement gigantesques qu'elles en seraient inutilisables. En conclusion, et jusqu' preuve du contraire, le thorme de Wilson reste donc un joli rsultat purement thorique.